Safe Haskell	Safe-Inferred
Language	Haskell2010

Cardano.Ledger.BHeaderView

Synopsis

data BHeaderView c = BHeaderView {
- bhviewID ∷ KeyHash 'BlockIssuer c
- bhviewBSize ∷ Word32
- bhviewHSize ∷ Int
- bhviewBHash ∷ Hash c EraIndependentBlockBody
- bhviewSlot ∷ SlotNo
}
isOverlaySlot ∷ SlotNo → UnitInterval → SlotNo → Bool

Documentation

data BHeaderView c Source #

BHeaderView provides an interface between block headers from different Cardano protocols and packages that should be agnostic of Cardano protocol specific details, such as those in TPraos, Praos, Genesis, etc.

In particular, the BBODY rule comprises most of the ledger logic and should work independently of the protocol. The values in BHeaderView provide BBODY all the data that it needs from the block headers.

Constructors

BHeaderView

Fields

bhviewID ∷ KeyHash 'BlockIssuer c
The block issuer. In the TPraos protocol, this can be a Genesis delegate, everywhere else it is the stake pool ID.
bhviewBSize ∷ Word32
The purported size (in bytes) of the block body.
bhviewHSize ∷ Int
The purported size (in bytes) of the block header.
bhviewBHash ∷ Hash c EraIndependentBlockBody
The purported hash of the block body.
bhviewSlot ∷ SlotNo
The slot for which this block was submitted to the chain.

isOverlaySlot Source #

Arguments

∷ SlotNo	The first slot of the given epoch.
→ UnitInterval	The decentralization parameter.
→ SlotNo	The slot to check.
→ Bool

Determine if the given slot is reserved for the overlay schedule.