cardano-ledger-byron-test
Safe HaskellSafe-Inferred
LanguageHaskell2010

Test.Cardano.Chain.Elaboration.Block

Description

This module provides functionality for translating abstract blocks into concrete blocks. The abstract blocks are generated according the small-step rules for the blockchain (also called the blockchain specification).

Synopsis

Documentation

abEnvToCfgEnvironment CHAINConfig Source #

Make a genesis configuration from an initial abstract environment of the trace.

elaborateAbstractToConcreteIdMapsConfigDCertChainValidationStateBlock → (Block, AbstractToConcreteIdMaps) Source #

Elaborate an abstract block into a concrete block (without annotations).

rcDCert Source #

Arguments

HasCallStack 
VKey

Key for which the delegation certificate is being constructed.

BlockCount

Chain stability parameter

State CHAIN 
DCert 

Re-construct an abstract delegation certificate from the abstract state.

We need to do this because the delegation certificate is included in the block.

data AbstractToConcreteIdMaps Source #

Instances

Instances details
Monoid AbstractToConcreteIdMaps Source # 
Instance details

Defined in Test.Cardano.Chain.Elaboration.Block

Semigroup AbstractToConcreteIdMaps Source # 
Instance details

Defined in Test.Cardano.Chain.Elaboration.Block

Generic AbstractToConcreteIdMaps Source # 
Instance details

Defined in Test.Cardano.Chain.Elaboration.Block

Associated Types

type Rep AbstractToConcreteIdMapsTypeType Source #

Show AbstractToConcreteIdMaps Source # 
Instance details

Defined in Test.Cardano.Chain.Elaboration.Block

Eq AbstractToConcreteIdMaps Source # 
Instance details

Defined in Test.Cardano.Chain.Elaboration.Block

type Rep AbstractToConcreteIdMaps Source # 
Instance details

Defined in Test.Cardano.Chain.Elaboration.Block

type Rep AbstractToConcreteIdMaps = D1 ('MetaData "AbstractToConcreteIdMaps" "Test.Cardano.Chain.Elaboration.Block" "cardano-ledger-byron-1.0.2.0-inplace-cardano-ledger-byron-test" 'False) (C1 ('MetaCons "AbstractToConcreteIdMaps" 'PrefixI 'True) (S1 ('MetaSel ('Just "transactionIds") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map TxId TxId)) :*: S1 ('MetaSel ('Just "proposalIds") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map UpId UpId))))