ouroboros-consensus-cardano-0.20.0.0: The instantation of the Ouroboros consensus layer used by Cardano
Safe HaskellSafe-Inferred
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 ∷ SomeSecond BlockQuery (CardanoBlock Crypto) Source #

exampleQueryEraMismatchByron ∷ SomeSecond BlockQuery (CardanoBlock Crypto) Source #

exampleQueryEraMismatchShelley ∷ SomeSecond 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 ⇒ Exactly xs Bound → Index xs x → Examples x → Examples (HardForkBlock xs) Source #

Inject SomeResult Source # 
Instance details

Methods

inject ∷ ∀ x (xs ∷ [Type]). CanHardFork xs ⇒ Exactly xs Bound → Index 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 ⇒ Exactly xs Bound → Index xs x → Serialised x → Serialised (HardForkBlock xs) Source #