cardano-ledger-core-1.14.0.0: Core components of Cardano ledgers from the Shelley release on.
Safe HaskellSafe-Inferred
LanguageHaskell2010

Cardano.Ledger.BHeaderView

Synopsis

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

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.