| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Cardano.Chain.Byron.API.Validation
Description
Auxiliary definitions to make working with the Byron ledger easier
Synopsis
- applyChainTick ∷ Config → SlotNumber → ChainValidationState → ChainValidationState
- validateBlock ∷ MonadError ChainValidationError m ⇒ Config → ValidationMode → ABlock ByteString → HeaderHash → ChainValidationState → m ChainValidationState
- validateBoundary ∷ MonadError ChainValidationError m ⇒ Config → ABoundaryBlock ByteString → ChainValidationState → m ChainValidationState
Documentation
applyChainTick ∷ Config → SlotNumber → ChainValidationState → ChainValidationState Source #
Apply chain tick
This is the part of block processing that depends only on the slot number of the block: We update
- The update state
- The delegation state
- The last applied slot number
NOTE: The spec currently only updates the update state here; this is not good enough. Fortunately, updating the delegation state and slot number here (currently done in body processing) is at least conform spec, as these updates are conform spec. See
https://github.com/intersectmbo/cardano-ledger/issues/1046 https://github.com/input-output-hk/ouroboros-network/issues/1291
validateBlock ∷ MonadError ChainValidationError m ⇒ Config → ValidationMode → ABlock ByteString → HeaderHash → ChainValidationState → m ChainValidationState Source #
validateBoundary ∷ MonadError ChainValidationError m ⇒ Config → ABoundaryBlock ByteString → ChainValidationState → m ChainValidationState Source #
Apply a boundary block
NOTE: The cvsLastSlot calculation must match the one in abobHdrSlotNo.