| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Cardano.Ledger.Block
Synopsis
- data Block h era = Block {
- blockHeader ∷ !h
- blockBody ∷ !(BlockBody era)
- bheader ∷ Block h era → h
- bbody ∷ Block h era → BlockBody era
- data BbodySignal era = EraBlockHeader h era ⇒ BbodySignal (Block h era)
- class Era era ⇒ EraBlockHeader h era where
- blockIssuerBlockHeaderG ∷ SimpleGetter (Block h era) (KeyHash 'BlockIssuer)
- blockHeaderSizeBlockHeaderG ∷ SimpleGetter (Block h era) Int
- blockBodySizeBlockHeaderL ∷ Lens' (Block h era) Word32
- blockBodyHashBlockHeaderL ∷ Lens' (Block h era) (Hash HASH EraIndependentBlockBody)
- slotNoBlockHeaderL ∷ Lens' (Block h era) SlotNo
- protVerBlockHeaderL ∷ Lens' (Block h era) ProtVer
- neededTxInsForBlock ∷ ∀ h era. EraBlockBody era ⇒ Block h era → Set TxIn
Documentation
Constructors
| Block | |
Fields
| |
Instances
bheader ∷ Block h era → h Source #
Deprecated: In favor of blockHeader
data BbodySignal era Source #
Constructors
| EraBlockHeader h era ⇒ BbodySignal (Block h era) |
class Era era ⇒ EraBlockHeader h era where Source #
Methods
blockIssuerBlockHeaderG ∷ SimpleGetter (Block h era) (KeyHash 'BlockIssuer) Source #
blockHeaderSizeBlockHeaderG ∷ SimpleGetter (Block h era) Int Source #
blockBodySizeBlockHeaderL ∷ Lens' (Block h era) Word32 Source #
blockBodyHashBlockHeaderL ∷ Lens' (Block h era) (Hash HASH EraIndependentBlockBody) Source #
neededTxInsForBlock ∷ ∀ h era. EraBlockBody era ⇒ Block h era → Set TxIn Source #
The validity of any individual block depends only on a subset of the UTxO stored in the ledger state. This function returns the transaction inputs corresponding to the required UTxO for a given Block.
This function will be used by the consensus layer to enable storing
the UTxO on disk. In particular, given a block, the consensus layer
will use neededTxInsForBlock to retrieve the needed UTxO from disk
and present only those to the ledger.