ouroboros-consensus-cardano-test-0.1.0.0: Test of the instantation of the Ouroboros consensus layer used by Cardano
Safe HaskellNone
LanguageHaskell2010

Test.Consensus.Cardano.Examples

Synopsis

Setup

Examples

exampleEraMismatchByronMismatchEraInfo (CardanoEras Crypto) Source #

Applying a Shelley thing to a Byron ledger

exampleEraMismatchShelleyMismatchEraInfo (CardanoEras Crypto) Source #

Applying a Byron thing to a Shelley ledger

examplesExamples (CardanoBlock Crypto) Source #

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

Orphan instances

Inject Serialised 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 BoundIndex xs x → Serialised x → Serialised (HardForkBlock xs) Source #

Inject SomeResult Source # 
Instance details

Methods

inject ∷ ∀ x (xs ∷ [Type]). CanHardFork xs ⇒ Exactly xs BoundIndex xs x → SomeResult x → SomeResult (HardForkBlock xs) Source #

Inject Examples Source # 
Instance details

Methods

inject ∷ ∀ x (xs ∷ [Type]). CanHardFork xs ⇒ Exactly xs BoundIndex xs x → Examples x → Examples (HardForkBlock xs) Source #