ouroboros-consensus:unstable-cardano-testlib
Safe HaskellNone
LanguageHaskell2010

Test.Consensus.Cardano.Examples

Synopsis

Setup

codecConfig ∷ CardanoCodecConfig Crypto Source #

Examples

exampleApplyTxErrWrongEraByron ∷ ApplyTxErr (CardanoBlock Crypto) Source #

exampleApplyTxErrWrongEraShelley ∷ ApplyTxErr (CardanoBlock Crypto) Source #

exampleEraMismatchByron ∷ MismatchEraInfo (CardanoEras Crypto) Source #

Applying a Shelley thing to a Byron ledger

exampleEraMismatchShelley ∷ MismatchEraInfo (CardanoEras Crypto) Source #

Applying a Byron thing to a Shelley ledger

exampleQueryAnytimeShelley ∷ SomeBlockQuery (BlockQuery (CardanoBlock Crypto)) Source #

exampleQueryEraMismatchByron ∷ SomeBlockQuery (BlockQuery (CardanoBlock Crypto)) Source #

exampleQueryEraMismatchShelley ∷ SomeBlockQuery (BlockQuery (CardanoBlock Crypto)) Source #

exampleResultAnytimeShelley ∷ SomeResult (CardanoBlock Crypto) Source #

exampleResultEraMismatchByron ∷ SomeResult (CardanoBlock Crypto) Source #

exampleResultEraMismatchShelley ∷ SomeResult (CardanoBlock Crypto) Source #

examples ∷ Examples (CardanoBlock Crypto) Source #

The examples: the examples from each individual era lifted in to CardanoBlock and the multi-era examples.

Orphan instances

Inject Examples Source # 
Instance details

Methods

inject ∷ ∀ x (xs ∷ [Type]). (CanHardFork xs, HasCanonicalTxIn xs, HasHardForkTxOut xs) ⇒ InjectionIndex xs x → Examples x → Examples (HardForkBlock xs) Source #

Inject SomeResult Source # 
Instance details

Methods

inject ∷ ∀ x (xs ∷ [Type]). (CanHardFork xs, HasCanonicalTxIn xs, HasHardForkTxOut xs) ⇒ InjectionIndex xs x → SomeResult x → SomeResult (HardForkBlock xs) Source #

Inject (Serialised ∷ Type → Type) Source #

In reality, an era tag would be prepended, but we're testing that the encoder doesn't care what the bytes are.

Instance details

Methods

inject ∷ ∀ x (xs ∷ [Type]). (CanHardFork xs, HasCanonicalTxIn xs, HasHardForkTxOut xs) ⇒ InjectionIndex xs x → Serialised x → Serialised (HardForkBlock xs) Source #