cardano-ledger-core-1.22.0.0: Core components of Cardano ledgers from the Shelley release on.
Safe HaskellNone
LanguageHaskell2010

Cardano.Ledger.Block

Synopsis

Documentation

data Block h era Source #

Constructors

Block 

Fields

Instances

Instances details
(NFData h, NFData (BlockBody era)) ⇒ NFData (Block h era) Source # 
Instance details

Defined in Cardano.Ledger.Block

Methods

rnf ∷ Block h era → () #

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.22.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.22.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))))

blockHeaderL ∷ ∀ h era f. Functor f ⇒ (h → f h) → Block h era → f (Block h era) Source #

blockBodyL ∷ ∀ h era f. Functor f ⇒ (BlockBody era → f (BlockBody era)) → Block h era → f (Block h era) Source #

bheader ∷ Block h era → h Source #

Deprecated: In favor of blockHeader

bbody ∷ Block h era → BlockBody era Source #

Deprecated: In favor of blockBody

data TPraosBbodySignal era Source #

Constructors

(TPraosEraBlockHeader h era, EraBlockHeader h era) ⇒ TPraosBbodySignal (Block h era) 

data PraosBbodySignal era Source #

Constructors

(PraosEraBlockHeader h era, EraBlockHeader h era) ⇒ PraosBbodySignal (Block h era) 

data LeiosBbodySignal era Source #

Constructors

(LeiosEraBlockHeader h era, EraBlockHeader h era) ⇒ LeiosBbodySignal (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 #

slotNoBlockHeaderL ∷ Lens' (Block h era) SlotNo Source #

class Era era ⇒ TPraosEraBlockHeader h era Source #

class Era era ⇒ PraosEraBlockHeader h era where Source #

Methods

protVerBlockHeaderL ∷ Lens' (Block h era) ProtVer Source #

class Era era ⇒ LeiosEraBlockHeader h era where Source #

Minimal complete definition

versionInfoBlockHeaderL, ebReferencesAnnouncementBlockHeaderL

Methods

prevNonceBlockHeaderL ∷ Lens' (Block h era) Nonce Source #

versionInfoBlockHeaderL ∷ Lens' (Block h era) BlockHeaderVersionInfo Source #

ebReferencesAnnouncementBlockHeaderL ∷ Lens' (Block h era) (StrictMaybe EbReferencesAnnouncement) Source #

data BlockHeaderVersionInfo Source #

Version information reported by the block producer in the block header.

It has the same wire format as ProtVer, but neither field is validated upon decoding. See https://github.com/IntersectMBO/cardano-ledger/issues/5763.

Constructors

BlockHeaderVersionInfo 

Fields

Instances

Instances details
DecCBOR BlockHeaderVersionInfo Source # 
Instance details

Defined in Cardano.Ledger.Block

Methods

decCBOR ∷ Decoder s BlockHeaderVersionInfo Source #

dropCBOR ∷ Proxy BlockHeaderVersionInfo → Decoder s () Source #

label ∷ Proxy BlockHeaderVersionInfo → Text Source #

EncCBOR BlockHeaderVersionInfo Source # 
Instance details

Defined in Cardano.Ledger.Block

Methods

encCBOR ∷ BlockHeaderVersionInfo → Encoding Source #

NFData BlockHeaderVersionInfo Source # 
Instance details

Defined in Cardano.Ledger.Block

Methods

rnf ∷ BlockHeaderVersionInfo → () #

Generic BlockHeaderVersionInfo Source # 
Instance details

Defined in Cardano.Ledger.Block

Associated Types

type Rep BlockHeaderVersionInfo 
Instance details

Defined in Cardano.Ledger.Block

type Rep BlockHeaderVersionInfo = D1 ('MetaData "BlockHeaderVersionInfo" "Cardano.Ledger.Block" "cardano-ledger-core-1.22.0.0-inplace" 'False) (C1 ('MetaCons "BlockHeaderVersionInfo" 'PrefixI 'True) (S1 ('MetaSel ('Just "bhviHighestSupportedMajorVersion") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Word32) :*: S1 ('MetaSel ('Just "bhviSelfReportedSoftwareTag") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Word32)))

Methods

from ∷ BlockHeaderVersionInfo → Rep BlockHeaderVersionInfo x #

to ∷ Rep BlockHeaderVersionInfo x → BlockHeaderVersionInfo #

Show BlockHeaderVersionInfo Source # 
Instance details

Defined in Cardano.Ledger.Block

Methods

showsPrec ∷ Int → BlockHeaderVersionInfo → ShowS #

show ∷ BlockHeaderVersionInfo → String #

showList ∷ [BlockHeaderVersionInfo] → ShowS #

Eq BlockHeaderVersionInfo Source # 
Instance details

Defined in Cardano.Ledger.Block

Methods

(==) ∷ BlockHeaderVersionInfo → BlockHeaderVersionInfo → Bool #

(/=) ∷ BlockHeaderVersionInfo → BlockHeaderVersionInfo → Bool #

Ord BlockHeaderVersionInfo Source # 
Instance details

Defined in Cardano.Ledger.Block

Methods

compare ∷ BlockHeaderVersionInfo → BlockHeaderVersionInfo → Ordering #

(<) ∷ BlockHeaderVersionInfo → BlockHeaderVersionInfo → Bool #

(<=) ∷ BlockHeaderVersionInfo → BlockHeaderVersionInfo → Bool #

(>) ∷ BlockHeaderVersionInfo → BlockHeaderVersionInfo → Bool #

(>=) ∷ BlockHeaderVersionInfo → BlockHeaderVersionInfo → Bool #

max ∷ BlockHeaderVersionInfo → BlockHeaderVersionInfo → BlockHeaderVersionInfo #

min ∷ BlockHeaderVersionInfo → BlockHeaderVersionInfo → BlockHeaderVersionInfo #

NoThunks BlockHeaderVersionInfo Source # 
Instance details

Defined in Cardano.Ledger.Block

Methods

noThunks ∷ Context → BlockHeaderVersionInfo → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → BlockHeaderVersionInfo → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy BlockHeaderVersionInfo → String Source #

type Rep BlockHeaderVersionInfo Source # 
Instance details

Defined in Cardano.Ledger.Block

type Rep BlockHeaderVersionInfo = D1 ('MetaData "BlockHeaderVersionInfo" "Cardano.Ledger.Block" "cardano-ledger-core-1.22.0.0-inplace" 'False) (C1 ('MetaCons "BlockHeaderVersionInfo" 'PrefixI 'True) (S1 ('MetaSel ('Just "bhviHighestSupportedMajorVersion") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Word32) :*: S1 ('MetaSel ('Just "bhviSelfReportedSoftwareTag") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Word32)))

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.

data EbReferencesAnnouncement Source #

Announcement of Endorser Block (EB) references.

Constructors

EbReferencesAnnouncement 

Fields

Instances

Instances details
DecCBOR EbReferencesAnnouncement Source # 
Instance details

Defined in Cardano.Ledger.Block

Methods

decCBOR ∷ Decoder s EbReferencesAnnouncement Source #

dropCBOR ∷ Proxy EbReferencesAnnouncement → Decoder s () Source #

label ∷ Proxy EbReferencesAnnouncement → Text Source #

EncCBOR EbReferencesAnnouncement Source # 
Instance details

Defined in Cardano.Ledger.Block

Methods

encCBOR ∷ EbReferencesAnnouncement → Encoding Source #

NFData EbReferencesAnnouncement Source # 
Instance details

Defined in Cardano.Ledger.Block

Methods

rnf ∷ EbReferencesAnnouncement → () #

Generic EbReferencesAnnouncement Source # 
Instance details

Defined in Cardano.Ledger.Block

Associated Types

type Rep EbReferencesAnnouncement 
Instance details

Defined in Cardano.Ledger.Block

type Rep EbReferencesAnnouncement = D1 ('MetaData "EbReferencesAnnouncement" "Cardano.Ledger.Block" "cardano-ledger-core-1.22.0.0-inplace" 'False) (C1 ('MetaCons "EbReferencesAnnouncement" 'PrefixI 'True) (S1 ('MetaSel ('Just "ebReferencesAnnouncementHash") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (SafeHash EraIndependentEbReferences)) :*: S1 ('MetaSel ('Just "ebReferencesAnnouncementSize") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Word32)))

Methods

from ∷ EbReferencesAnnouncement → Rep EbReferencesAnnouncement x #

to ∷ Rep EbReferencesAnnouncement x → EbReferencesAnnouncement #

Show EbReferencesAnnouncement Source # 
Instance details

Defined in Cardano.Ledger.Block

Methods

showsPrec ∷ Int → EbReferencesAnnouncement → ShowS #

show ∷ EbReferencesAnnouncement → String #

showList ∷ [EbReferencesAnnouncement] → ShowS #

Eq EbReferencesAnnouncement Source # 
Instance details

Defined in Cardano.Ledger.Block

Methods

(==) ∷ EbReferencesAnnouncement → EbReferencesAnnouncement → Bool #

(/=) ∷ EbReferencesAnnouncement → EbReferencesAnnouncement → Bool #

NoThunks EbReferencesAnnouncement Source # 
Instance details

Defined in Cardano.Ledger.Block

Methods

noThunks ∷ Context → EbReferencesAnnouncement → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → EbReferencesAnnouncement → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy EbReferencesAnnouncement → String Source #

type Rep EbReferencesAnnouncement Source # 
Instance details

Defined in Cardano.Ledger.Block

type Rep EbReferencesAnnouncement = D1 ('MetaData "EbReferencesAnnouncement" "Cardano.Ledger.Block" "cardano-ledger-core-1.22.0.0-inplace" 'False) (C1 ('MetaCons "EbReferencesAnnouncement" 'PrefixI 'True) (S1 ('MetaSel ('Just "ebReferencesAnnouncementHash") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (SafeHash EraIndependentEbReferences)) :*: S1 ('MetaSel ('Just "ebReferencesAnnouncementSize") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Word32)))