cardano-protocol-tpraos-1.2.0.1: Cardano Protocol: Transitional Praos

Index

ActiveSlotCardano.Protocol.TPraos.Rules.Overlay
assertBoundedNaturalCardano.Protocol.TPraos.BHeader
bhashCardano.Protocol.TPraos.BHeader
BHBody 
1 (Type/Class)Cardano.Protocol.TPraos.BHeader
2 (Data Constructor)Cardano.Protocol.TPraos.BHeader
bhbodyCardano.Protocol.TPraos.BHeader
BHeader 
1 (Type/Class)Cardano.Protocol.TPraos.BHeader
2 (Data Constructor)Cardano.Protocol.TPraos.BHeader
bheaderBlockNoCardano.Protocol.TPraos.BHeader
bheaderEtaCardano.Protocol.TPraos.BHeader
bheaderLCardano.Protocol.TPraos.BHeader
bheaderOCertCardano.Protocol.TPraos.BHeader
bheaderPrevCardano.Protocol.TPraos.BHeader
bHeaderSizeCardano.Protocol.TPraos.BHeader
bheaderSlotNoCardano.Protocol.TPraos.BHeader
bheaderVkCardano.Protocol.TPraos.BHeader
bheaderVrfVkCardano.Protocol.TPraos.BHeader
bhHashCardano.Protocol.TPraos.BHeader
BlockHashCardano.Protocol.TPraos.BHeader
bnonceCardano.Protocol.TPraos.BHeader
BoundedNaturalCardano.Protocol.TPraos.BHeader
bprotverCardano.Protocol.TPraos.BHeader
bsizeCardano.Protocol.TPraos.BHeader
bvMaxValueCardano.Protocol.TPraos.BHeader
bvValueCardano.Protocol.TPraos.BHeader
ChainDepState 
1 (Type/Class)Cardano.Protocol.TPraos.API
2 (Data Constructor)Cardano.Protocol.TPraos.API
ChainTransitionError 
1 (Type/Class)Cardano.Protocol.TPraos.API
2 (Data Constructor)Cardano.Protocol.TPraos.API
checkLeaderNatValueCardano.Protocol.TPraos.BHeader
checkLeaderValueCardano.Protocol.TPraos.BHeader, Cardano.Protocol.TPraos.API
classifyOverlaySlotCardano.Protocol.TPraos.Rules.Overlay
CounterTooSmallOCERTCardano.Protocol.TPraos.Rules.OCert
csLabNonceCardano.Protocol.TPraos.API
csProtocolCardano.Protocol.TPraos.API
csTicknCardano.Protocol.TPraos.API
currentIssueNoCardano.Protocol.TPraos.OCert
currentLedgerViewCardano.Protocol.TPraos.API
futureLedgerViewCardano.Protocol.TPraos.API
FutureLedgerViewError 
1 (Type/Class)Cardano.Protocol.TPraos.API
2 (Data Constructor)Cardano.Protocol.TPraos.API
GenesisHashCardano.Protocol.TPraos.BHeader
getLeaderScheduleCardano.Protocol.TPraos.API
GetLedgerViewCardano.Protocol.TPraos.API
HashHeader 
1 (Type/Class)Cardano.Protocol.TPraos.BHeader
2 (Data Constructor)Cardano.Protocol.TPraos.BHeader
hashHeaderToNonceCardano.Protocol.TPraos.BHeader
hBbsizeCardano.Protocol.TPraos.BHeader
initialChainDepStateCardano.Protocol.TPraos.API
InvalidKesSignatureOCERTCardano.Protocol.TPraos.Rules.OCert
InvalidSignatureOCERTCardano.Protocol.TPraos.Rules.OCert
issuerIDfromBHBodyCardano.Protocol.TPraos.BHeader
KESAfterEndOCERTCardano.Protocol.TPraos.Rules.OCert
KESBeforeStartOCERTCardano.Protocol.TPraos.Rules.OCert
KESPeriod 
1 (Type/Class)Cardano.Protocol.TPraos.OCert
2 (Data Constructor)Cardano.Protocol.TPraos.OCert
kesPeriodCardano.Protocol.TPraos.OCert
labBlockNoCardano.Protocol.TPraos.BHeader
labHashCardano.Protocol.TPraos.BHeader
labSlotNoCardano.Protocol.TPraos.BHeader
LastAppliedBlock 
1 (Type/Class)Cardano.Protocol.TPraos.BHeader
2 (Data Constructor)Cardano.Protocol.TPraos.BHeader
lastAppliedHashCardano.Protocol.TPraos.BHeader
LedgerView 
1 (Type/Class)Cardano.Protocol.TPraos.API
2 (Data Constructor)Cardano.Protocol.TPraos.API
lookupInOverlayScheduleCardano.Protocol.TPraos.Rules.Overlay
lvChainChecksCardano.Protocol.TPraos.API
lvDCardano.Protocol.TPraos.API
lvExtraEntropyCardano.Protocol.TPraos.API
lvGenDelegsCardano.Protocol.TPraos.API
lvPoolDistrCardano.Protocol.TPraos.API
makeHeaderViewCardano.Protocol.TPraos.BHeader
mkInitialShelleyLedgerViewCardano.Protocol.TPraos.API
mkSeedCardano.Protocol.TPraos.BHeader
NoCounterForKeyHashOCERTCardano.Protocol.TPraos.Rules.OCert
NonActiveSlotCardano.Protocol.TPraos.Rules.Overlay
NotActiveSlotOVERLAYCardano.Protocol.TPraos.Rules.Overlay
OBftSlotCardano.Protocol.TPraos.Rules.Overlay
OCERTCardano.Protocol.TPraos.Rules.OCert
OCert 
1 (Type/Class)Cardano.Protocol.TPraos.OCert
2 (Data Constructor)Cardano.Protocol.TPraos.OCert
OCertEnv 
1 (Type/Class)Cardano.Protocol.TPraos.OCert, Cardano.Protocol.TPraos.Rules.OCert
2 (Data Constructor)Cardano.Protocol.TPraos.OCert, Cardano.Protocol.TPraos.Rules.OCert
ocertEnvGenDelegsCardano.Protocol.TPraos.OCert, Cardano.Protocol.TPraos.Rules.OCert
ocertEnvStPoolsCardano.Protocol.TPraos.OCert, Cardano.Protocol.TPraos.Rules.OCert
OcertFailureCardano.Protocol.TPraos.Rules.Overlay
ocertKESPeriodCardano.Protocol.TPraos.OCert
ocertNCardano.Protocol.TPraos.OCert
OcertPredicateFailureCardano.Protocol.TPraos.Rules.OCert
ocertSigmaCardano.Protocol.TPraos.OCert
OCertSignable 
1 (Type/Class)Cardano.Protocol.TPraos.OCert
2 (Data Constructor)Cardano.Protocol.TPraos.OCert
ocertToSignableCardano.Protocol.TPraos.OCert
ocertVkHotCardano.Protocol.TPraos.OCert
OVERLAYCardano.Protocol.TPraos.Rules.Overlay
OverlayEnv 
1 (Type/Class)Cardano.Protocol.TPraos.Rules.Overlay
2 (Data Constructor)Cardano.Protocol.TPraos.Rules.Overlay
OverlayFailureCardano.Protocol.TPraos.Rules.Prtcl
OverlayPredicateFailureCardano.Protocol.TPraos.Rules.Overlay
overlaySlotsCardano.Protocol.TPraos.Rules.Overlay
PraosCryptoCardano.Protocol.TPraos.API
PredicateFailureCardano.Protocol.TPraos.Rules.OCert, Cardano.Protocol.TPraos.Rules.Overlay, Cardano.Protocol.TPraos.Rules.Tickn, Cardano.Protocol.TPraos.Rules.Updn, Cardano.Protocol.TPraos.Rules.Prtcl
PrevHashCardano.Protocol.TPraos.BHeader
prevHashToNonceCardano.Protocol.TPraos.BHeader
PRTCLCardano.Protocol.TPraos.Rules.Prtcl
PrtclEnv 
1 (Type/Class)Cardano.Protocol.TPraos.Rules.Prtcl
2 (Data Constructor)Cardano.Protocol.TPraos.Rules.Prtcl
PrtclPredicateFailureCardano.Protocol.TPraos.Rules.Prtcl
PrtclState 
1 (Type/Class)Cardano.Protocol.TPraos.Rules.Prtcl
2 (Data Constructor)Cardano.Protocol.TPraos.Rules.Prtcl
prtlSeqChecksCardano.Protocol.TPraos.Rules.Prtcl
PrtlSeqFailureCardano.Protocol.TPraos.Rules.Prtcl
reupdateChainDepStateCardano.Protocol.TPraos.API
seedEtaCardano.Protocol.TPraos.BHeader
seedLCardano.Protocol.TPraos.BHeader
slotsPerKESPeriodCardano.Protocol.TPraos.OCert
StateCardano.Protocol.TPraos.Rules.Prtcl
tickChainDepStateCardano.Protocol.TPraos.API
TICKNCardano.Protocol.TPraos.Rules.Tickn
TicknEnv 
1 (Type/Class)Cardano.Protocol.TPraos.Rules.Tickn
2 (Data Constructor)Cardano.Protocol.TPraos.Rules.Tickn
ticknEnvCandidateNonceCardano.Protocol.TPraos.Rules.Tickn
ticknEnvExtraEntropyCardano.Protocol.TPraos.Rules.Tickn
ticknEnvHashHeaderNonceCardano.Protocol.TPraos.Rules.Tickn
TicknPredicateFailureCardano.Protocol.TPraos.Rules.Tickn
TicknState 
1 (Type/Class)Cardano.Protocol.TPraos.Rules.Tickn
2 (Data Constructor)Cardano.Protocol.TPraos.Rules.Tickn
ticknStateEpochNonceCardano.Protocol.TPraos.Rules.Tickn
ticknStatePrevHashNonceCardano.Protocol.TPraos.Rules.Tickn
unHashHeaderCardano.Protocol.TPraos.BHeader
unKESPeriodCardano.Protocol.TPraos.OCert
UnknownGenesisKeyOVERLAYCardano.Protocol.TPraos.Rules.Overlay
updateChainDepStateCardano.Protocol.TPraos.API
UPDNCardano.Protocol.TPraos.Rules.Updn
UpdnEnv 
1 (Type/Class)Cardano.Protocol.TPraos.Rules.Updn
2 (Data Constructor)Cardano.Protocol.TPraos.Rules.Updn
UpdnFailureCardano.Protocol.TPraos.Rules.Prtcl
UpdnPredicateFailureCardano.Protocol.TPraos.Rules.Updn
UpdnState 
1 (Type/Class)Cardano.Protocol.TPraos.Rules.Updn
2 (Data Constructor)Cardano.Protocol.TPraos.Rules.Updn
VRFKeyBadLeaderValueCardano.Protocol.TPraos.Rules.Overlay
VRFKeyBadNonceCardano.Protocol.TPraos.Rules.Overlay
VRFKeyUnknownCardano.Protocol.TPraos.Rules.Overlay
VRFKeyWrongVRFKeyCardano.Protocol.TPraos.Rules.Overlay
VRFLeaderValueTooBigCardano.Protocol.TPraos.Rules.Overlay
WrongBlockNoPrtclSeqCardano.Protocol.TPraos.Rules.Prtcl
WrongBlockSequencePrtclSeqCardano.Protocol.TPraos.Rules.Prtcl
WrongGenesisColdKeyOVERLAYCardano.Protocol.TPraos.Rules.Overlay
WrongGenesisVRFKeyOVERLAYCardano.Protocol.TPraos.Rules.Overlay
WrongSlotIntervalPrtclSeqCardano.Protocol.TPraos.Rules.Prtcl