Safe Haskell	None
Language	Haskell2010

Serokell.Arbitrary

Contents

Description

Arbitrary instances for Serokell datatypes

Documentation

Constructors

NoBytes
Fields getVariant :: Variant

Instances

Eq VariantNoBytes Source #
Methods (==) :: VariantNoBytes -> VariantNoBytes -> Bool # (/=) :: VariantNoBytes -> VariantNoBytes -> Bool #
Show VariantNoBytes Source #
Methods showsPrec :: Int -> VariantNoBytes -> ShowS # show :: VariantNoBytes -> String # showList :: [VariantNoBytes] -> ShowS #
Generic VariantNoBytes Source #
Associated Types type Rep VariantNoBytes :: * -> * # Methods from :: VariantNoBytes -> Rep VariantNoBytes x # to :: Rep VariantNoBytes x -> VariantNoBytes #
Arbitrary VariantNoBytes Source #
Methods arbitrary :: Gen VariantNoBytes # shrink :: VariantNoBytes -> [VariantNoBytes] #
type Rep VariantNoBytes Source #
type Rep VariantNoBytes = D1 (MetaData "VariantNoBytes" "Serokell.Arbitrary" "serokell-util-0.1.3.4-7fQU5cWZf40nfuqyW6LzU" True) (C1 (MetaCons "NoBytes" PrefixI True) (S1 (MetaSel (Just Symbol "getVariant") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Variant)))

Constructors

OnlyBytes
Fields getVarBytes :: Variant

Instances

Eq VariantOnlyBytes Source #
Methods (==) :: VariantOnlyBytes -> VariantOnlyBytes -> Bool # (/=) :: VariantOnlyBytes -> VariantOnlyBytes -> Bool #
Show VariantOnlyBytes Source #
Methods showsPrec :: Int -> VariantOnlyBytes -> ShowS # show :: VariantOnlyBytes -> String # showList :: [VariantOnlyBytes] -> ShowS #
Generic VariantOnlyBytes Source #
Associated Types type Rep VariantOnlyBytes :: * -> * # Methods from :: VariantOnlyBytes -> Rep VariantOnlyBytes x # to :: Rep VariantOnlyBytes x -> VariantOnlyBytes #
Arbitrary VariantOnlyBytes Source #
Methods arbitrary :: Gen VariantOnlyBytes # shrink :: VariantOnlyBytes -> [VariantOnlyBytes] #
type Rep VariantOnlyBytes Source #
type Rep VariantOnlyBytes = D1 (MetaData "VariantOnlyBytes" "Serokell.Arbitrary" "serokell-util-0.1.3.4-7fQU5cWZf40nfuqyW6LzU" True) (C1 (MetaCons "OnlyBytes" PrefixI True) (S1 (MetaSel (Just Symbol "getVarBytes") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Variant)))

Orphan instances

Arbitrary VerificationRes Source #
Methods arbitrary :: Gen VerificationRes # shrink :: VerificationRes -> [VerificationRes] #
Arbitrary JsonByteString Source #
Methods arbitrary :: Gen JsonByteString # shrink :: JsonByteString -> [JsonByteString] #
Arbitrary Variant Source #
Methods arbitrary :: Gen Variant # shrink :: Variant -> [Variant] #