Safe Haskell	None
Language	Haskell2010

Cardano.Ledger.Huddle.Gen

Contents

MonadGen
CBORGen
Term generators
Lifted generators
Antigen

Synopsis

module Test.QuickCheck.GenT
module Codec.CBOR.Cuddle.CDDL.CBORGenerator
data Term
- = TInt !Int
- | TInteger !Integer
- | TBytes !ByteString
- | TBytesI !ByteString
- | TString !Text
- | TStringI !Text
- | TList ![Term]
- | TListI ![Term]
- | TMap ![(Term, Term)]
- | TMapI ![(Term, Term)]
- | TTagged !Word64 !Term
- | TBool !Bool
- | TNull
- | TSimple !Word8
- | THalf !Float
- | TFloat !Float
- | TDouble !Double
data WrappedTerm
- = S Term
- | P Term Term
- | G [WrappedTerm]
genRule ∷ ∀ (rule ∷ Symbol) era. HuddleRule rule era ⇒ CBORGen Term
genArrayTerm ∷ MonadGen m ⇒ [Term] → m Term
genBytesTerm ∷ MonadGen m ⇒ ByteString → m Term
genStringTerm ∷ MonadGen m ⇒ Text → m Term
genMapTerm ∷ MonadGen m ⇒ [(Term, Term)] → m Term
arbitrary ∷ ∀ a m. (MonadGen m, Arbitrary a) ⇒ m a
scale ∷ MonadGen m ⇒ (Int → Int) → m a → m a
shuffle ∷ MonadGen m ⇒ [a] → m [a]
module Test.AntiGen

MonadGen

module Test.QuickCheck.GenT

CBORGen

module Codec.CBOR.Cuddle.CDDL.CBORGenerator

Term generators

data Term Source #

A general CBOR term, which can be used to serialise or deserialise arbitrary CBOR terms for interoperability or debugging. This type is essentially a direct reflection of the CBOR abstract syntax tree as a Haskell data type.

The Term type also comes with a Serialise instance, so you can easily use decode :: Decoder Term to directly decode any arbitrary CBOR value into Haskell with ease, and likewise with encode.

Since: cborg-0.2.0.0

Constructors

TInt !Int
TInteger !Integer
TBytes !ByteString
TBytesI !ByteString
TString !Text
TStringI !Text
TList ![Term]
TListI ![Term]
TMap ![(Term, Term)]
TMapI ![(Term, Term)]
TTagged !Word64 !Term
TBool !Bool
TNull
TSimple !Word8
THalf !Float
TFloat !Float
TDouble !Double

Instances

Instances details

EncCBOR Term
Instance details Defined in Cardano.Ledger.Binary.Encoding.EncCBOR Methods encCBOR ∷ Term → Encoding Source #
Read Term
Instance details Defined in Codec.CBOR.Term Methods readsPrec ∷ Int → ReadS Term # readList ∷ ReadS [Term] # readPrec ∷ ReadPrec Term # readListPrec ∷ ReadPrec [Term] #
Show Term
Instance details Defined in Codec.CBOR.Term Methods showsPrec ∷ Int → Term → ShowS # show ∷ Term → String # showList ∷ [Term] → ShowS #
Eq Term
Instance details Defined in Codec.CBOR.Term Methods (==) ∷ Term → Term → Bool # (/=) ∷ Term → Term → Bool #
Ord Term
Instance details Defined in Codec.CBOR.Term Methods compare ∷ Term → Term → Ordering # (<) ∷ Term → Term → Bool # (<=) ∷ Term → Term → Bool # (>) ∷ Term → Term → Bool # (>=) ∷ Term → Term → Bool # max ∷ Term → Term → Term # min ∷ Term → Term → Term #

data WrappedTerm Source #

Constructors

S Term	Single term
P Term Term	Pair term
G [WrappedTerm]	Group term

Instances

Instances details

Show WrappedTerm
Instance details Defined in Codec.CBOR.Cuddle.CDDL.CBORGenerator Methods showsPrec ∷ Int → WrappedTerm → ShowS # show ∷ WrappedTerm → String # showList ∷ [WrappedTerm] → ShowS #
Eq WrappedTerm
Instance details Defined in Codec.CBOR.Cuddle.CDDL.CBORGenerator Methods (==) ∷ WrappedTerm → WrappedTerm → Bool # (/=) ∷ WrappedTerm → WrappedTerm → Bool #
Ord WrappedTerm
Instance details Defined in Codec.CBOR.Cuddle.CDDL.CBORGenerator Methods compare ∷ WrappedTerm → WrappedTerm → Ordering # (<) ∷ WrappedTerm → WrappedTerm → Bool # (<=) ∷ WrappedTerm → WrappedTerm → Bool # (>) ∷ WrappedTerm → WrappedTerm → Bool # (>=) ∷ WrappedTerm → WrappedTerm → Bool # max ∷ WrappedTerm → WrappedTerm → WrappedTerm # min ∷ WrappedTerm → WrappedTerm → WrappedTerm #

genRule ∷ ∀ (rule ∷ Symbol) era. HuddleRule rule era ⇒ CBORGen Term Source #

A function for generating a term from a rule. The HuddleRule constraint ensures that the rule is actually defined in that era.

genArrayTerm ∷ MonadGen m ⇒ [Term] → m Term Source #

genBytesTerm ∷ MonadGen m ⇒ ByteString → m Term Source #

genStringTerm ∷ MonadGen m ⇒ Text → m Term Source #

genMapTerm ∷ MonadGen m ⇒ [(Term, Term)] → m Term Source #

Lifted generators

arbitrary ∷ ∀ a m. (MonadGen m, Arbitrary a) ⇒ m a Source #

scale ∷ MonadGen m ⇒ (Int → Int) → m a → m a Source #

shuffle ∷ MonadGen m ⇒ [a] → m [a] Source #

Antigen

module Test.AntiGen