Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Cardano.Ledger.Block
Documentation
Instances
(EraSegWits era, DecCBOR (Annotator h), Typeable h) ⇒ DecCBOR (Annotator (Block h era)) Source # | |
Generic (Block h era) Source # | |
(Era era, Show (TxSeq era), Show h) ⇒ Show (Block h era) Source # | |
(Era era, EncCBORGroup (TxSeq era), EncCBOR h) ⇒ ToCBOR (Block h era) Source # | |
(EraSegWits era, DecCBOR h, DecCBOR (TxSeq era)) ⇒ DecCBOR (Block h era) Source # | |
(Era era, EncCBORGroup (TxSeq era), EncCBOR h) ⇒ EncCBOR (Block h era) Source # | |
(Era era, Eq (TxSeq era), Eq h) ⇒ Eq (Block h era) Source # | |
(Era era, NoThunks (TxSeq era), NoThunks h) ⇒ NoThunks (Block h era) Source # | |
type Rep (Block h era) Source # | |
Defined in Cardano.Ledger.Block type Rep (Block h era) = D1 ('MetaData "Block" "Cardano.Ledger.Block" "cardano-ledger-core-1.18.0.0-inplace" 'False) (C1 ('MetaCons "Block" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 h) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (TxSeq era)))) |
neededTxInsForBlock ∷ ∀ h era. EraSegWits 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.