| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Ouroboros.Consensus.Protocol.Praos.Views
Synopsis
- data HeaderView crypto = HeaderView {
- hvPrevHash ∷ !PrevHash
- hvVK ∷ !(VKey 'BlockIssuer)
- 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 = LedgerView {}
Documentation
data HeaderView crypto Source #
View of the block header required by the Praos protocol.
Constructors
| HeaderView | |
Fields
| |
data LedgerView Source #
Constructors
| LedgerView | |
Fields
| |
Instances
| Show LedgerView Source # | |
Defined in Ouroboros.Consensus.Protocol.Praos.Views Methods showsPrec ∷ Int → LedgerView → ShowS # show ∷ LedgerView → String # showList ∷ [LedgerView] → ShowS # | |