Safe Haskell	None
Language	Haskell2010

Ouroboros.Consensus.Protocol.Praos.Views

Synopsis

Documentation

View of the block header required by the Praos protocol.

Constructors

Fields

hvPrevHash ∷ !PrevHash
Hash of the previous block
hvVK ∷ !(VKey 'BlockIssuer)
verification key of block issuer
hvVrfVK ∷ !(VerKeyVRF (VRF crypto))
VRF verification key for block issuer
hvVrfRes ∷ !(CertifiedVRF (VRF crypto) InputVRF)
VRF result
hvOCert ∷ !(OCert crypto)
operational certificate
hvSlotNo ∷ !SlotNo
Slot
hvSigned ∷ !(HeaderBody crypto)
Header which must be signed
hvSignature ∷ !(SignedKES (KES crypto) (HeaderBody crypto))
KES Signature of the header

Constructors

LedgerView
Fields lvPoolDistr ∷ PoolDistr Stake distribution lvMaxHeaderSize ∷ !Word16 Maximum header size lvMaxBodySize ∷ !Word32 Maximum block body size lvProtocolVersion ∷ !ProtVer Current protocol version

Instances details

Show LedgerView Source #
Instance details Defined in Ouroboros.Consensus.Protocol.Praos.Views Methods showsPrec ∷ Int → LedgerView → ShowS # show ∷ LedgerView → String # showList ∷ [LedgerView] → ShowS #