HORIZON HASKELLDocslts/ghc-9.14.xd82dee82026-10-12Search names, modules, packages, or :: a typeCtrl K

GHC 9.14.1 · lts/ghc-9.14.x · d82dee8 · 2026-10-12

Modulecardano-protocol-0.1.0.0Haskell2010

Cardano.Protocol.Praos.BlockHeader

Block header associated with Praos.

The choice of whether to associate the header with the ledger era or the protocol is a little arbitrary. Functionally the header contains things which are associated with both ledger and protocol, and which are used by both.

We choose to associate the header with the protocol, since it more strongly binds in that direction, and to assist with the mental picture that the protocol is concerned with the block header, while the ledger is concerned with the block body. However, in order to more cleanly illustrate which parts of the header are _strictly_ protocol concerns, we also provide a view of the header (in Ouroboros.Consensus.Protocol.Praos.Views, in ouroboros-consensus) which extracts just the fields needed for the Praos protocol. This also allows us to hide the more detailed construction of the header.

  • 2 types
  • 4 values
newtypenewtype Header crypto
#

Full header type, carrying its own memoised bytes.

Instances13Eq, Show, Generic, NoThunks, ToCBOR, DecCBOR, …
datadata HeaderBody crypto
#

The body of the header is the part which gets hashed to form the hash chain.

Constructors

Instances8Eq, Show, Generic, NoThunks, SignableRepresentation, DecCBOR, …