Check that the certified VRF output, when used as a natural, is valid for being slot leader.
Modulecardano-protocol-tpraos-1.6.0.0
Cardano.Protocol.TPraos.API
- 6 types
- 2 classes
- 9 values
- Packagecardano-protocol-tpraos-1.6.0.0
- Exports17
- LicenceApache-2.0
- SourceBlockHeader.hs
Deprecated. Use mkInitialShelleyForecast and forecastToTPraosLedgerView instead.
Constructors
Instances9Eq, Ord, Show, Generic, NFData, NoThunks, …
Eq HashHeaderDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.HashesOrd HashHeaderDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.HashesShow HashHeaderDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.HashesGeneric HashHeaderDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.HashesNFData HashHeaderDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.HashesNoThunks HashHeaderDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.HashesDecCBOR HashHeaderDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.HashesEncCBOR HashHeaderDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Hashestype Rep HashHeader = D1 ('MetaDataDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Hashes"HashHeader"
"Cardano.Ledger.Hashes"
"cardano-ledger-core-1.21.0.0-HG71GU5V9Tb4NBnJzzlL6"
'True) (C1 ('MetaCons"HashHeader"
'PrefixI 'True) (S1 ('MetaSel ('Just"unHashHeader"
) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Hash HASH EraIndependentBlockHeader))))
Constructors
Instances9Eq, Show, Generic, NoThunks, FromCBOR, ToCBOR, …
Eq ChainDepStateDefined in cardano-protocol-tpraos-1.6.0.0 · Cardano.Protocol.TPraos.APIShow ChainDepStateDefined in cardano-protocol-tpraos-1.6.0.0 · Cardano.Protocol.TPraos.APIGeneric ChainDepStateDefined in cardano-protocol-tpraos-1.6.0.0 · Cardano.Protocol.TPraos.APINoThunks ChainDepStateDefined in cardano-protocol-tpraos-1.6.0.0 · Cardano.Protocol.TPraos.APIFromCBOR ChainDepStateDefined in cardano-protocol-tpraos-1.6.0.0 · Cardano.Protocol.TPraos.APIToCBOR ChainDepStateDefined in cardano-protocol-tpraos-1.6.0.0 · Cardano.Protocol.TPraos.APIDecCBOR ChainDepStateDefined in cardano-protocol-tpraos-1.6.0.0 · Cardano.Protocol.TPraos.APIEncCBOR ChainDepStateDefined in cardano-protocol-tpraos-1.6.0.0 · Cardano.Protocol.TPraos.APItype Rep ChainDepState = D1 ('MetaDataDefined in cardano-protocol-tpraos-1.6.0.0 · Cardano.Protocol.TPraos.API"ChainDepState"
"Cardano.Protocol.TPraos.API"
"cardano-protocol-tpraos-1.6.0.0-2s4nlofx1FCDfF2AvDG7gs"
'False) (C1 ('MetaCons"ChainDepState"
'PrefixI 'True) (S1 ('MetaSel ('Just"csProtocol"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 PrtclState) :*: (S1 ('MetaSel ('Just"csTickn"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 TicknState) :*: S1 ('MetaSel ('Just"csLabNonce"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Nonce))))
Constructors
Instances5Eq, Show, Generic, NoThunks, Rep
Crypto c => Eq (ChainTransitionError c)Defined in cardano-protocol-tpraos-1.6.0.0 · Cardano.Protocol.TPraos.APICrypto c => Show (ChainTransitionError c)Defined in cardano-protocol-tpraos-1.6.0.0 · Cardano.Protocol.TPraos.APIGeneric (ChainTransitionError c)Defined in cardano-protocol-tpraos-1.6.0.0 · Cardano.Protocol.TPraos.APICrypto c => NoThunks (ChainTransitionError c)Defined in cardano-protocol-tpraos-1.6.0.0 · Cardano.Protocol.TPraos.APItype Rep (ChainTransitionError c) = D1 ('MetaDataDefined in cardano-protocol-tpraos-1.6.0.0 · Cardano.Protocol.TPraos.API"ChainTransitionError"
"Cardano.Protocol.TPraos.API"
"cardano-protocol-tpraos-1.6.0.0-2s4nlofx1FCDfF2AvDG7gs"
'True) (C1 ('MetaCons"ChainTransitionError"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmpty (PredicateFailure (PRTCL c))))))
Constructors
FutureLedgerViewError (NonEmpty (PredicateFailure (EraRule"TICKF"
era)))
Instances2Eq, Show
Eq (PredicateFailure (EraRuleDefined in cardano-protocol-tpraos-1.6.0.0 · Cardano.Protocol.TPraos.API"TICKF"
era)) => Eq (FutureLedgerViewError era)Show (PredicateFailure (EraRuleDefined in cardano-protocol-tpraos-1.6.0.0 · Cardano.Protocol.TPraos.API"TICKF"
era)) => Show (FutureLedgerViewError era)
class
class (STS (EraRule "TICKF"
era), BaseM (EraRule "TICKF"
era) ~ ShelleyBase, Environment (EraRule "TICKF"
era) ~ (), State (EraRule "TICKF"
era) ~ NewEpochState era, Signal (EraRule "TICKF"
era) ~ SlotNo, EraGov era, EraCertState era) => GetLedgerView era whereDeprecated. Use ShelleyEraForecast for TPraos eras (Shelley-Alonzo) or EraForecast for Praos eras (Babbage+) instead.
Methods
currentLedgerView :: NewEpochState era -> LedgerViewfutureLedgerView :: MonadError (FutureLedgerViewError era) m => Globals -> NewEpochState era -> SlotNo -> m LedgerView
Instances7GetLedgerView, …
GetLedgerView AllegraEraDefined in cardano-protocol-tpraos-1.6.0.0 · Cardano.Protocol.TPraos.APIGetLedgerView AlonzoEraDefined in cardano-protocol-tpraos-1.6.0.0 · Cardano.Protocol.TPraos.APIGetLedgerView BabbageEraDefined in cardano-protocol-tpraos-1.6.0.0 · Cardano.Protocol.TPraos.APIGetLedgerView ConwayEraDefined in cardano-protocol-tpraos-1.6.0.0 · Cardano.Protocol.TPraos.APIGetLedgerView DijkstraEraDefined in cardano-protocol-tpraos-1.6.0.0 · Cardano.Protocol.TPraos.APIGetLedgerView MaryEraDefined in cardano-protocol-tpraos-1.6.0.0 · Cardano.Protocol.TPraos.APIGetLedgerView ShelleyEraDefined in cardano-protocol-tpraos-1.6.0.0 · Cardano.Protocol.TPraos.API
Deprecated. In favor of TPraosLedgerView
Constructors
Instances6Eq, Show, Generic, NFData, NoThunks, Rep
Eq LedgerViewDefined in cardano-protocol-tpraos-1.6.0.0 · Cardano.Protocol.TPraos.APIShow LedgerViewDefined in cardano-protocol-tpraos-1.6.0.0 · Cardano.Protocol.TPraos.APIGeneric LedgerViewDefined in cardano-protocol-tpraos-1.6.0.0 · Cardano.Protocol.TPraos.APINFData LedgerViewDefined in cardano-protocol-tpraos-1.6.0.0 · Cardano.Protocol.TPraos.APINoThunks LedgerViewDefined in cardano-protocol-tpraos-1.6.0.0 · Cardano.Protocol.TPraos.APItype Rep LedgerView = D1 ('MetaDataDefined in cardano-protocol-tpraos-1.6.0.0 · Cardano.Protocol.TPraos.API"LedgerView"
"Cardano.Protocol.TPraos.API"
"cardano-protocol-tpraos-1.6.0.0-2s4nlofx1FCDfF2AvDG7gs"
'False) (C1 ('MetaCons"LedgerView"
'PrefixI 'True) ((S1 ('MetaSel ('Just"lvD"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 UnitInterval) :*: S1 ('MetaSel ('Just"lvExtraEntropy"
) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Nonce)) :*: (S1 ('MetaSel ('Just"lvPoolDistr"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 PoolDistr) :*: (S1 ('MetaSel ('Just"lvGenDelegs"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 GenDelegs) :*: S1 ('MetaSel ('Just"lvChainChecks"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ChainChecksPParams)))))
Instances1PraosCrypto
PraosCrypto StandardCryptoDefined in cardano-protocol-tpraos-1.6.0.0 · Cardano.Protocol.TPraos.API
Constructors
Instances6Eq, Show, Generic, NFData, NoThunks, Rep
Eq TPraosLedgerViewDefined in cardano-protocol-tpraos-1.6.0.0 · Cardano.Protocol.TPraos.APIShow TPraosLedgerViewDefined in cardano-protocol-tpraos-1.6.0.0 · Cardano.Protocol.TPraos.APIGeneric TPraosLedgerViewDefined in cardano-protocol-tpraos-1.6.0.0 · Cardano.Protocol.TPraos.APINFData TPraosLedgerViewDefined in cardano-protocol-tpraos-1.6.0.0 · Cardano.Protocol.TPraos.APINoThunks TPraosLedgerViewDefined in cardano-protocol-tpraos-1.6.0.0 · Cardano.Protocol.TPraos.APItype Rep TPraosLedgerView = D1 ('MetaDataDefined in cardano-protocol-tpraos-1.6.0.0 · Cardano.Protocol.TPraos.API"TPraosLedgerView"
"Cardano.Protocol.TPraos.API"
"cardano-protocol-tpraos-1.6.0.0-2s4nlofx1FCDfF2AvDG7gs"
'False) (C1 ('MetaCons"TPraosLedgerView"
'PrefixI 'True) ((S1 ('MetaSel ('Just"tplvD"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 UnitInterval) :*: S1 ('MetaSel ('Just"tplvExtraEntropy"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Nonce)) :*: (S1 ('MetaSel ('Just"tplvPoolDistr"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 PoolDistr) :*: (S1 ('MetaSel ('Just"tplvGenDelegs"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 GenDelegs) :*: S1 ('MetaSel ('Just"tplvChainChecks"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ChainChecksPParams)))))