Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Synopsis
- data HeaderView crypto = HeaderView {
- hvPrevHash ∷ !(PrevHash crypto)
- hvVK ∷ !(VKey 'BlockIssuer crypto)
- hvVrfVK ∷ !(VerKeyVRF (VRF crypto))
- hvVrfRes ∷ !(CertifiedVRF (VRF crypto) InputVRF)
- hvOCert ∷ !(OCert crypto)
- hvSlotNo ∷ !SlotNo
- hvSigned ∷ !(HeaderBody crypto)
- hvSignature ∷ !(SignedKES (KES crypto) (HeaderBody crypto))
- data LedgerView crypto = LedgerView {
- lvPoolDistr ∷ PoolDistr crypto
- lvMaxHeaderSize ∷ !Word16
- lvMaxBodySize ∷ !Word32
- lvProtocolVersion ∷ !ProtVer
Documentation
data HeaderView crypto Source #
View of the block header required by the Praos protocol.
HeaderView | |
|
data LedgerView crypto Source #
LedgerView | |
|
Instances
Show (LedgerView crypto) Source # | |
Defined in Ouroboros.Consensus.Protocol.Praos.Views showsPrec ∷ Int → LedgerView crypto → ShowS # show ∷ LedgerView crypto → String # showList ∷ [LedgerView crypto] → ShowS # |