Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Auxiliary definitions to make working with the Byron ledger easier
Synopsis
- getDelegationMap ∷ ChainValidationState → Map
- getMaxBlockSize ∷ ChainValidationState → Word32
- module Cardano.Chain.Byron.API.Validation
- module Cardano.Chain.Byron.API.Mempool
- module Cardano.Chain.Byron.API.Protocol
- reAnnotateBlock ∷ EpochSlots → ABlock () → ABlock ByteString
- reAnnotateBoundary ∷ ProtocolMagicId → ABoundaryBlock () → ABoundaryBlock ByteString
- reAnnotateUsing ∷ ∀ f a. Functor f ⇒ (f a → Encoding) → (∀ s. Decoder s (f ByteSpan)) → f a → f ByteString
- abobMatchesBody ∷ ABlockOrBoundaryHdr ByteString → ABlockOrBoundary ByteString → Bool
Extract info from chain state
Applying blocks
Applying transactions
Protocol
Annotations
reAnnotateBlock ∷ EpochSlots → ABlock () → ABlock ByteString Source #
reAnnotateUsing ∷ ∀ f a. Functor f ⇒ (f a → Encoding) → (∀ s. Decoder s (f ByteSpan)) → f a → f ByteString Source #
Generalization of reAnnotate
Headers
abobMatchesBody ∷ ABlockOrBoundaryHdr ByteString → ABlockOrBoundary ByteString → Bool Source #
Check if a block matches its header
For EBBs, we're currently being more permissive here and not performing any header-body validation but only checking whether an EBB header and EBB block were provided. This seems to be fine as it won't cause any loss of consensus with the old `cardano-sl` nodes.