Data.GenValidity.ByteString

Documentation

genStrictByteStringBy :: Gen Word8 -> Gen ByteString

genTrulyUncheckedStrictByteString :: Gen ByteString

WARNING: Unchecked ByteStrings are seriously broken.

The pointer may still point to something which is fine, but the offset and length will most likely be complete nonsense. This will most-likely lead to segfaults.

This means that genUnchecked will generate seriously broken ByteString values. This is intended. If you need valid ByteString values, use GenValid instead.

Make sure to not use any test suite combinators or property combinators that involve GenInvalid (like genValiditySpec) on types that contain ByteString values.

shrinkTrulyUncheckedStrictByteString :: ByteString -> [ByteString]

genLazyByteStringBy :: Gen Word8 -> Gen ByteString

genLazyByteStringByStrictByteString :: Gen ByteString -> Gen ByteString

genTrulyUncheckedLazyByteString :: Gen ByteString

WARNING: Unchecked ByteStrings are seriously broken.

See genTrulyUncheckedStrictByteString

shrinkTrulyUncheckedLazyByteString :: ByteString -> [ByteString]

Orphan instances

(TypeError (Text "The GenUnchecked Data.ByteString.Lazy.ByteString is disabled:" :$$: Text "Do not instantiate GenUnchecked, instantiate GenValid instead") :: Constraint) => GenUnchecked ByteString

Methods

genUnchecked :: Gen ByteString

shrinkUnchecked :: ByteString -> [ByteString]

GenUnchecked ShortByteString

Methods

genUnchecked :: Gen ShortByteString

shrinkUnchecked :: ShortByteString -> [ShortByteString]

(TypeError (Text "The GenUnchecked Data.ByteString.ByteString is disabled:" :$$: Text "Do not instantiate GenUnchecked, instantiate GenValid instead") :: Constraint) => GenUnchecked ByteString

Methods

genUnchecked :: Gen ByteString

shrinkUnchecked :: ByteString -> [ByteString]

GenValid ByteString

Methods

genValid :: Gen ByteString

shrinkValid :: ByteString -> [ByteString]

GenValid ShortByteString

Methods

genValid :: Gen ShortByteString

shrinkValid :: ShortByteString -> [ShortByteString]

GenValid ByteString

genValid = SB.pack <$> genValid
shrinkValid = fmap SB.pack . shrinkValid . SB.unpack

Methods

genValid :: Gen ByteString

shrinkValid :: ByteString -> [ByteString]