Safe Haskell	None
Language	Haskell2010

Cardano.Ledger.Block

Synopsis

data Block h era = Block {
- blockHeader ∷ !h
- blockBody ∷ !(BlockBody era)
}
neededTxInsForBlock ∷ ∀ h era. EraBlockBody era ⇒ Block h era → Set TxIn

Documentation

data Block h era Source #

Constructors

Block
Fields blockHeader ∷ !h blockBody ∷ !(BlockBody era)

Instances

Instances details

(EraBlockBody era, DecCBOR (Annotator h), Typeable h) ⇒ DecCBOR (Annotator (Block h era)) Source #

Instance details

Defined in Cardano.Ledger.Block

Methods

decCBOR ∷ Decoder s (Annotator (Block h era)) Source #

dropCBOR ∷ Proxy (Annotator (Block h era)) → Decoder s () Source #

label ∷ Proxy (Annotator (Block h era)) → Text Source #

(Era era, EncCBORGroup (BlockBody era), EncCBOR h, Typeable h) ⇒ ToCBOR (Block h era) Source #

Instance details

Defined in Cardano.Ledger.Block

Methods

toCBOR ∷ Block h era → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (Block h era) → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [Block h era] → Size Source #

(Era era, EncCBORGroup (BlockBody era), EncCBOR h) ⇒ EncCBOR (Block h era) Source #

Instance details

Defined in Cardano.Ledger.Block

Methods

encCBOR ∷ Block h era → Encoding Source #

Generic (Block h era) Source #

Instance details

Defined in Cardano.Ledger.Block

Associated Types

type Rep (Block h era)

Instance details

Defined in Cardano.Ledger.Block

type Rep (Block h era) = D1 ('MetaData "Block" "Cardano.Ledger.Block" "cardano-ledger-core-1.19.0.0-inplace" 'False) (C1 ('MetaCons "Block" 'PrefixI 'True) (S1 ('MetaSel ('Just "blockHeader") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 h) :*: S1 ('MetaSel ('Just "blockBody") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (BlockBody era))))

Methods

from ∷ Block h era → Rep (Block h era) x #

to ∷ Rep (Block h era) x → Block h era #

(Era era, Show (BlockBody era), Show h) ⇒ Show (Block h era) Source #

Instance details

Defined in Cardano.Ledger.Block

Methods

showsPrec ∷ Int → Block h era → ShowS #

show ∷ Block h era → String #

showList ∷ [Block h era] → ShowS #

(Era era, Eq (BlockBody era), Eq h) ⇒ Eq (Block h era) Source #

Instance details

Defined in Cardano.Ledger.Block

Methods

(==) ∷ Block h era → Block h era → Bool #

(/=) ∷ Block h era → Block h era → Bool #

(Era era, NoThunks (BlockBody era), NoThunks h) ⇒ NoThunks (Block h era) Source #

Instance details

Defined in Cardano.Ledger.Block

Methods

noThunks ∷ Context → Block h era → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → Block h era → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (Block h era) → String Source #

type Rep (Block h era) Source #

Instance details

Defined in Cardano.Ledger.Block

type Rep (Block h era) = D1 ('MetaData "Block" "Cardano.Ledger.Block" "cardano-ledger-core-1.19.0.0-inplace" 'False) (C1 ('MetaCons "Block" 'PrefixI 'True) (S1 ('MetaSel ('Just "blockHeader") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 h) :*: S1 ('MetaSel ('Just "blockBody") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (BlockBody era))))

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.