Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Synopsis
- allowedDelegators ∷ Config → Set KeyHash
- getDelegationMap ∷ ChainValidationState → Map
- getProtocolParams ∷ ChainValidationState → ProtocolParameters
- getMaxBlockSize ∷ ChainValidationState → Word32
- reAnnotateBlock ∷ EpochSlots → ABlock () → ABlock ByteString
- reAnnotateBoundary ∷ ProtocolMagicId → ABoundaryBlock () → ABoundaryBlock ByteString
- reAnnotateMagic ∷ ProtocolMagic → AProtocolMagic ByteString
- reAnnotateMagicId ∷ ProtocolMagicId → Annotated ProtocolMagicId 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 genesis config
Extract info from chain state
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.