| 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 #
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
| |