Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Following the convention from Data.ByteString, this module is intended to be
imported qualified
. For example:
import qualified Test.SmallCheck.Series.ByteString as B.Series
Synopsis
- replicateA :: Series m ByteString
- replicate0 :: Series m ByteString
- replicateW8 :: Word8 -> Series m ByteString
- enumW8s :: Series m ByteString
- enumAlphabet :: Series m ByteString
- enumList :: [Word8] -> Series m ByteString
- jack :: Series m ByteString
Replication
replicateA :: Series m ByteString Source #
A ByteString
Series
that grows by replicating
the 97
Word8
, which encodes the 'a'
Char
in ASCII
.
>>>
list 4 replicateA
["","a","aa","aaa","aaaa"]
Use this when you don't care about the Word8
inside ByteString
.
replicate0 :: Series m ByteString Source #
A ByteString
Series
that grows by replicating
the 0
Word8
.
>>>
list 4 replicate0
["","\NUL","\NUL\NUL","\NUL\NUL\NUL","\NUL\NUL\NUL\NUL"]
replicateW8 :: Word8 -> Series m ByteString Source #
A ByteString
Series
that grows by replicating
the given Word8
.
>>>
list 4 $ replicateW8 64
["","@","@@","@@@","@@@@"]
Enumeration
enumW8s :: Series m ByteString Source #
A ByteString
Series
that grows by enumerating
every Word8
.
>>>
list 4 enumW8s
["","\NUL","\NUL\SOH","\NUL\SOH\STX","\NUL\SOH\STX\ETX"]
enumAlphabet :: Series m ByteString Source #
A ByteString
Series
that grows by enumerating
the Word8
s which encode the latin alphabet in ASCII
.
>>>
list 4 enumAlphabet
["","a","ab","abc","abcd"]
enumList :: [Word8] -> Series m ByteString Source #
A ByteString
Series
that grows by enumerating
every Word8
in the given list.
>>>
import Data.Char (ord)
>>>
list 4 . enumList $ fmap (fromIntegral . ord) "abc"
["","a","ab","abc"]
Printing
jack :: Series m ByteString Source #
A ByteString
Series
that grows with ASCII
dummy English words encoded in ASCII
.
This is useful when you want to print Series
.
>>>
let s = list 20 jack
>>>
take 3 s
["","All","All work"]>>>
last s
"All work and no play makes Jack a dull boy. All work and no play makes Jack a dull boy."