Test.QuickCheck.Utf8

Documentation

genValidUtf8 :: Gen Text

Generate a possibly-empty valid UTF-8 Text value.

shrinkValidUtf8 :: Text -> [Text]

Shrink a possible-empty valid UTF-8 Text value.

utf8BS :: Gen ByteString

Generate a possibly-empty sequence of bytes which represent a valid UTF-8 code point.

shrinkUtf8BS :: ByteString -> [ByteString]

Shrink a possible-empty sequence of bytes which represent a valid UTF-8 code point.

genValidUtf81 :: Gen Text

Like genValidUtf8, but does not allow empty Text values.

shrinkValidUtf81 :: Text -> [Text]

List genValidUtf8, bute does not allow empty Text values.

utf8BS1 :: Gen ByteString

Like utf8BS, but does not allow empty ByteStrings.

shrinkUtf8BS1 :: ByteString -> [ByteString]

Like shrinkUtf8BS, but does not allow empty ByteStrings.

Generators for single characters

genChar :: Gen Char

Generate a valid Char. Note that this is UTF-16, not UTF-8, but the intent is the same: the Arbitrary instance for Char in quickcheck makes no attempt to generate valid non-ASCII characters at this time.

genUtf8Character :: Gen ByteString

A valid UTF-8 character, one to three bytes long.

oneByte :: Gen ByteString

Single-byte UTF-8 (i.e., a standard ASCII byte with a cleared MSB).

twoByte :: Gen ByteString

threeByte :: Gen ByteString