| Safe Haskell | None |
|---|---|
| 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 PraosLedgerView = PraosLedgerView {}
- forecastToPraosLedgerView ∷ ∀ (t ∷ Timeline) era. EraForecast era ⇒ Forecast t era → PraosLedgerView
Documentation
data HeaderView crypto Source #
View of the block header required by the Praos protocol.
Constructors
| HeaderView | |
Fields
| |
data PraosLedgerView Source #
Constructors
| PraosLedgerView | |
Fields
| |
Instances
| Show PraosLedgerView Source # | |
Defined in Ouroboros.Consensus.Protocol.Praos.Views Methods showsPrec ∷ Int → PraosLedgerView → ShowS # show ∷ PraosLedgerView → String # showList ∷ [PraosLedgerView] → ShowS # | |
forecastToPraosLedgerView ∷ ∀ (t ∷ Timeline) era. EraForecast era ⇒ Forecast t era → PraosLedgerView Source #
Build a PraosLedgerView from a ledger EraForecast