Copyright	(c) 2014-2017 Bryan O'Sullivan
License	BSD-style
Maintainer	bos@serpentine.com
Stability	stable
Portability	portable
Safe Haskell	Safe
Language	Haskell98

Test.QuickCheck.Unicode

Contents

Newtype wrapper for convenience
Generators
- Helpers
- Basic generators
Predicates
Shrinking functions

Description

QuickCheck Generator and shrink functions for testing software that uses Unicode data.

The default Arbitrary instance for the Char type intentionally generates only ASCII values. This can lead to a false sense of security in cases where Unicode compliance is required, as encodings that span multiple bytes or code units will simply not be exercised at all.

This module deliberately avoids using the text and bytestring packages to avoid pulling in extra dependencies.

Synopsis

data Unicode a
char :: Gen Char
string :: Gen String
string1 :: Gen String
list :: Gen a -> Gen [a]
list1 :: Gen a -> Gen [a]
planes :: [(Int, Gen Int)]
ascii :: Gen Int
plane0 :: Gen Int
plane1 :: Gen Int
plane2 :: Gen Int
plane14 :: Gen Int
reserved :: Int -> Bool
shrinkChar :: Char -> [Char]

Newtype wrapper for convenience

data Unicode a Source #

A wrapper for Char and String, for which the Arbitrary instance generates full-Unicode characters.

Instances

Instances details

Eq a => Eq (Unicode a) Source #
Instance details Defined in Test.QuickCheck.Unicode Methods (==) :: Unicode a -> Unicode a -> Bool (/=) :: Unicode a -> Unicode a -> Bool
Ord a => Ord (Unicode a) Source #
Instance details Defined in Test.QuickCheck.Unicode Methods compare :: Unicode a -> Unicode a -> Ordering (<) :: Unicode a -> Unicode a -> Bool (<=) :: Unicode a -> Unicode a -> Bool (>) :: Unicode a -> Unicode a -> Bool (>=) :: Unicode a -> Unicode a -> Bool max :: Unicode a -> Unicode a -> Unicode a min :: Unicode a -> Unicode a -> Unicode a
Read a => Read (Unicode a) Source #
Instance details Defined in Test.QuickCheck.Unicode Methods readsPrec :: Int -> ReadS (Unicode a) readList :: ReadS [Unicode a] readPrec :: ReadPrec (Unicode a) readListPrec :: ReadPrec [Unicode a]
Show a => Show (Unicode a) Source #
Instance details Defined in Test.QuickCheck.Unicode Methods showsPrec :: Int -> Unicode a -> ShowS show :: Unicode a -> String showList :: [Unicode a] -> ShowS
Arbitrary (Unicode Char) Source #
Instance details Defined in Test.QuickCheck.Unicode Methods arbitrary :: Gen (Unicode Char) Source # shrink :: Unicode Char -> [Unicode Char] Source #
Arbitrary (Unicode [Char]) Source #
Instance details Defined in Test.QuickCheck.Unicode Methods arbitrary :: Gen (Unicode [Char]) Source # shrink :: Unicode [Char] -> [Unicode [Char]] Source #