| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Cardano.Ledger.Huddle.Gen
Synopsis
- module Test.QuickCheck.GenT
- module Codec.CBOR.Cuddle.CDDL.Custom.Core
- module Codec.CBOR.Cuddle.CDDL.Custom.Generator
- data Term
- 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
- module Codec.CBOR.Cuddle.CDDL.Custom.Validator
- 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
Custom core
Term generators
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 Termencode.
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 |
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.
genBytesTerm ∷ MonadGen m ⇒ ByteString → m Term Source #
Term validators
Lifted generators
Antigen
module Test.AntiGen