Copyright	(c) 2014-2017 Bryan O'Sullivan
License	BSD-style
Maintainer	bos@serpentine.com
Stability	stable
Portability	portable
Safe Haskell	Safe-Inferred
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

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

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