Safe Haskell | None |
---|---|
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 :: ! Natural
- lvMaxBodySize :: ! Natural
- 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 |
|
newtype Ticked ( LedgerView c) Source # |
Ledger view at a particular slot |
Defined in Ouroboros.Consensus.Protocol.Praos |