Haskoin.Util.Arbitrary.Util

Documentation

arbitraryBS :: Gen ByteString

Arbitrary strict ByteString.

arbitraryBS1 :: Gen ByteString

Arbitrary non-empty strict ByteString

arbitraryBSn :: Int -> Gen ByteString

Arbitrary strict ByteString of a given length

arbitraryBSS :: Gen ShortByteString

Arbitrary ShortByteString.

arbitraryBSS1 :: Gen ShortByteString

Arbitrary non-empty ShortByteString

arbitraryBSSn :: Int -> Gen ShortByteString

Arbitrary ShortByteString of a given length

arbitraryMaybe :: Gen a -> Gen (Maybe a)

Generate a Maybe from a Gen a

arbitraryNetwork :: Gen Network

Generate an Network

arbitraryUTCTime :: Gen UTCTime

Arbitrary UTCTime that generates dates after 01 Jan 1970 01:00:00 CET

data SerialBox

Constructors

forall a.(Show a, Eq a, Typeable a, Serial a) => SerialBox (Gen a)

data JsonBox

Constructors

forall a.(Show a, Eq a, Typeable a, ToJSON a, FromJSON a) => JsonBox (Gen a)

data NetBox

Constructors

forall a.(Show a, Eq a, Typeable a) => NetBox (Network -> a -> Value, Network -> a -> Encoding, Network -> Value -> Parser a, Gen (Network, a))

data ReadBox

Constructors

forall a.(Read a, Show a, Eq a, Typeable a) => ReadBox (Gen a)

testIdentity :: [SerialBox] -> [ReadBox] -> [JsonBox] -> [NetBox] -> Spec

testSerial :: (Eq a, Show a, Typeable a, Serial a) => Gen a -> Spec

Generate binary identity tests

testRead :: (Eq a, Read a, Show a, Typeable a) => Gen a -> Spec

Generate Read/Show identity tests

testJson :: (Eq a, Show a, Typeable a, ToJSON a, FromJSON a) => Gen a -> Spec

Generate Data.Aeson identity tests

testNetJson :: (Eq a, Show a, Typeable a) => (Network -> a -> Value) -> (Network -> a -> Encoding) -> (Network -> Value -> Parser a) -> Gen (Network, a) -> Spec

Generate Data.Aeson identity tests for type that need the Network

arbitraryNetData :: Arbitrary a => Gen (Network, a)

genNetData :: Gen a -> Gen (Network, a)