| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Ouroboros.Consensus.Protocol.Praos.Views
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 ∷ !Natural
- lvMaxBodySize ∷ !Natural
- lvProtocolVersion ∷ !ProtVer
Documentation
data HeaderView crypto Source #
View of the block header required by the Praos protocol.
Constructors
| HeaderView | |
Fields
| |
data LedgerView crypto Source #
Constructors
| LedgerView | |
Fields
| |
Instances
| Show (LedgerView crypto) Source # | |
Defined in Ouroboros.Consensus.Protocol.Praos.Views | |
| newtype Ticked (LedgerView c) Source # | Ledger view at a particular slot |
Defined in Ouroboros.Consensus.Protocol.Praos | |