Safe Haskell	Safe-Inferred
Language	Haskell2010

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

abEnvToCfg ∷ Environment CHAIN → Config
elaborate ∷ AbstractToConcreteIdMaps → Config → DCert → ChainValidationState → Block → (Block, AbstractToConcreteIdMaps)
elaborateBS ∷ AbstractToConcreteIdMaps → Config → DCert → ChainValidationState → Block → (ABlock ByteString, AbstractToConcreteIdMaps)
rcDCert ∷ HasCallStack ⇒ VKey → BlockCount → State CHAIN → DCert
data AbstractToConcreteIdMaps = AbstractToConcreteIdMaps {
- transactionIds ∷ !(Map TxId TxId)
- proposalIds ∷ !(Map UpId UpId)
}

Documentation

abEnvToCfg ∷ Environment CHAIN → Config Source #

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

elaborate ∷ AbstractToConcreteIdMaps → Config → DCert → ChainValidationState → Block → (Block, AbstractToConcreteIdMaps) Source #

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

elaborateBS ∷ AbstractToConcreteIdMaps → Config → DCert → ChainValidationState → Block → (ABlock ByteString, AbstractToConcreteIdMaps) Source #

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 #

Constructors

AbstractToConcreteIdMaps
Fields transactionIds ∷ !(Map TxId TxId) proposalIds ∷ !(Map UpId UpId)

Instances

Instances details

Monoid AbstractToConcreteIdMaps Source #
Instance details Defined in Test.Cardano.Chain.Elaboration.Block Methods mempty ∷ AbstractToConcreteIdMaps Source # mappend ∷ AbstractToConcreteIdMaps → AbstractToConcreteIdMaps → AbstractToConcreteIdMaps Source # mconcat ∷ [AbstractToConcreteIdMaps] → AbstractToConcreteIdMaps Source #
Semigroup AbstractToConcreteIdMaps Source #
Instance details Defined in Test.Cardano.Chain.Elaboration.Block Methods (<>) ∷ AbstractToConcreteIdMaps → AbstractToConcreteIdMaps → AbstractToConcreteIdMaps Source # sconcat ∷ NonEmpty AbstractToConcreteIdMaps → AbstractToConcreteIdMaps Source # stimes ∷ Integral b ⇒ b → AbstractToConcreteIdMaps → AbstractToConcreteIdMaps Source #
Generic AbstractToConcreteIdMaps Source #
Instance details Defined in Test.Cardano.Chain.Elaboration.Block Associated Types type Rep AbstractToConcreteIdMaps ∷ Type → Type Source # Methods from ∷ AbstractToConcreteIdMaps → Rep AbstractToConcreteIdMaps x Source # to ∷ Rep AbstractToConcreteIdMaps x → AbstractToConcreteIdMaps Source #
Show AbstractToConcreteIdMaps Source #
Instance details Defined in Test.Cardano.Chain.Elaboration.Block Methods showsPrec ∷ Int → AbstractToConcreteIdMaps → ShowS Source # show ∷ AbstractToConcreteIdMaps → String Source # showList ∷ [AbstractToConcreteIdMaps] → ShowS Source #
Eq AbstractToConcreteIdMaps Source #
Instance details Defined in Test.Cardano.Chain.Elaboration.Block Methods (==) ∷ AbstractToConcreteIdMaps → AbstractToConcreteIdMaps → Bool Source # (/=) ∷ AbstractToConcreteIdMaps → AbstractToConcreteIdMaps → Bool Source #
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-test-1.5.2.0-inplace" '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))))