shelley-spec-ledger-0.1.0.0

Index

$sel:unBlocksMade:BlocksMadeShelley.Spec.Ledger.EpochBoundary
$sel:unStake:StakeShelley.Spec.Ledger.EpochBoundary, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
$sel:_delegations:SnapShotShelley.Spec.Ledger.EpochBoundary, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
$sel:_feeSS:SnapShotsShelley.Spec.Ledger.EpochBoundary, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
$sel:_poolParams:SnapShotShelley.Spec.Ledger.EpochBoundary, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
$sel:_pstakeGo:SnapShotsShelley.Spec.Ledger.EpochBoundary, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
$sel:_pstakeMark:SnapShotsShelley.Spec.Ledger.EpochBoundary, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
$sel:_pstakeSet:SnapShotsShelley.Spec.Ledger.EpochBoundary, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
$sel:_stake:SnapShotShelley.Spec.Ledger.EpochBoundary, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
*-Shelley.Spec.Ledger.Slot
+*Shelley.Spec.Ledger.Slot
-*Shelley.Spec.Ledger.Slot
<+>Cardano.Ledger.Val
<->Cardano.Ledger.Val
<×>Cardano.Ledger.Val
==>Shelley.Spec.Ledger.BaseTypes
AccountState 
1 (Type/Class)Shelley.Spec.Ledger.LedgerState, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
2 (Data Constructor)Shelley.Spec.Ledger.LedgerState, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
acnt_Shelley.Spec.Ledger.STS.Deleg, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
ActiveSlotShelley.Spec.Ledger.OverlaySchedule, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
ActiveSlotCoeffShelley.Spec.Ledger.BaseTypes
activeSlotCoeffShelley.Spec.Ledger.BaseTypes, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
activeSlotLogShelley.Spec.Ledger.BaseTypes
activeSlotValShelley.Spec.Ledger.BaseTypes
addDeltaCardano.Ledger.Torsor
addDeltaCoinShelley.Spec.Ledger.Coin
Addr 
1 (Type/Class)Shelley.Spec.Ledger.Address, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
2 (Data Constructor)Shelley.Spec.Ledger.Address, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
AddrBootstrapShelley.Spec.Ledger.Address, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
ADDRHASHCardano.Ledger.Crypto
addrWitsShelley.Spec.Ledger.Tx
addrWits'Shelley.Spec.Ledger.Tx
adoptGenesisDelegsShelley.Spec.Ledger.STS.Tick
aggregateUtxoCoinByCredentialShelley.Spec.Ledger.EpochBoundary
AnnotatedDataCardano.Ledger.Core
ApplyBlockShelley.Spec.Ledger.API.Validation, Shelley.Spec.Ledger.API
applyBlockShelley.Spec.Ledger.API.Validation, Shelley.Spec.Ledger.API
applyDecayShelley.Spec.Ledger.Rewards
applyRUpdShelley.Spec.Ledger.LedgerState
applyTickShelley.Spec.Ledger.API.Validation, Shelley.Spec.Ledger.API
ApplyTxShelley.Spec.Ledger.API.Mempool, Shelley.Spec.Ledger.API
ApplyTxError 
1 (Type/Class)Shelley.Spec.Ledger.API.Mempool, Shelley.Spec.Ledger.API
2 (Data Constructor)Shelley.Spec.Ledger.API.Mempool, Shelley.Spec.Ledger.API
applyTxsShelley.Spec.Ledger.API.Mempool, Shelley.Spec.Ledger.API
asWitnessShelley.Spec.Ledger.Keys
BShelley.Spec.Ledger.MetaData, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
BadInputsUTxOShelley.Spec.Ledger.STS.Utxo
balanceShelley.Spec.Ledger.UTxO, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
bbHashShelley.Spec.Ledger.BlockChain, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
BBODYShelley.Spec.Ledger.STS.Bbody
bbodyShelley.Spec.Ledger.BlockChain, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
bbodyAccountShelley.Spec.Ledger.STS.Bbody
BbodyEnv 
1 (Type/Class)Shelley.Spec.Ledger.STS.Bbody
2 (Data Constructor)Shelley.Spec.Ledger.STS.Bbody
BbodyFailureShelley.Spec.Ledger.STS.Chain
bbodyPpShelley.Spec.Ledger.STS.Bbody
BbodyPredicateFailureShelley.Spec.Ledger.STS.Bbody
bBodySizeShelley.Spec.Ledger.BlockChain
BbodyState 
1 (Type/Class)Shelley.Spec.Ledger.STS.Bbody
2 (Data Constructor)Shelley.Spec.Ledger.STS.Bbody
bhashShelley.Spec.Ledger.BlockChain, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
BHBody 
1 (Type/Class)Shelley.Spec.Ledger.BlockChain, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
2 (Data Constructor)Shelley.Spec.Ledger.BlockChain, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
bhbodyShelley.Spec.Ledger.BlockChain, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
BHeader 
1 (Type/Class)Shelley.Spec.Ledger.BlockChain, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
2 (Data Constructor)Shelley.Spec.Ledger.BlockChain, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
bheaderShelley.Spec.Ledger.BlockChain, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
bheaderBlockNoShelley.Spec.Ledger.BlockChain, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
bheaderEtaShelley.Spec.Ledger.BlockChain, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
bheaderLShelley.Spec.Ledger.BlockChain, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
bheaderOCertShelley.Spec.Ledger.BlockChain, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
bheaderPrevShelley.Spec.Ledger.BlockChain, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
bHeaderSizeShelley.Spec.Ledger.BlockChain, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
bheaderSlotNoShelley.Spec.Ledger.BlockChain, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
bheaderVkShelley.Spec.Ledger.BlockChain, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
bheaderVrfVkShelley.Spec.Ledger.BlockChain, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
bhHashShelley.Spec.Ledger.BlockChain, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
Block 
1 (Type/Class)Shelley.Spec.Ledger.BlockChain, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
2 (Data Constructor)Shelley.Spec.Ledger.BlockChain, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
Block'Shelley.Spec.Ledger.BlockChain, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
BlockHashShelley.Spec.Ledger.BlockChain, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
BlockIssuerShelley.Spec.Ledger.Keys, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
BlockNo 
1 (Data Constructor)Shelley.Spec.Ledger.Slot
2 (Type/Class)Shelley.Spec.Ledger.Slot
BlockSizeTooLargeCHAINShelley.Spec.Ledger.STS.Chain
BlocksMade 
1 (Type/Class)Shelley.Spec.Ledger.EpochBoundary
2 (Data Constructor)Shelley.Spec.Ledger.EpochBoundary
BlockTransitionError 
1 (Type/Class)Shelley.Spec.Ledger.API.Validation, Shelley.Spec.Ledger.API
2 (Data Constructor)Shelley.Spec.Ledger.API.Validation, Shelley.Spec.Ledger.API
bnonceShelley.Spec.Ledger.BlockChain
BootstrapAddress 
1 (Type/Class)Shelley.Spec.Ledger.Address
2 (Data Constructor)Shelley.Spec.Ledger.Address
bootstrapAddressAttrsSizeShelley.Spec.Ledger.Address
bootstrapKeyHashShelley.Spec.Ledger.Address
bootstrapWitKeyHashShelley.Spec.Ledger.Address.Bootstrap
BootstrapWitness 
1 (Type/Class)Shelley.Spec.Ledger.Address.Bootstrap, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
2 (Data Constructor)Shelley.Spec.Ledger.Address.Bootstrap, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
bootWitsShelley.Spec.Ledger.Tx
bprotverShelley.Spec.Ledger.BlockChain, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
bsizeShelley.Spec.Ledger.BlockChain, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
bwAttributesShelley.Spec.Ledger.Address.Bootstrap, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
bwChainCodeShelley.Spec.Ledger.Address.Bootstrap, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
bwKeyShelley.Spec.Ledger.Address.Bootstrap, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
bwSigShelley.Spec.Ledger.Address.Bootstrap, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
byronShelley.Spec.Ledger.Address
calculatePoolDistrShelley.Spec.Ledger.STS.NewEpoch, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
CBORGroup 
1 (Type/Class)Shelley.Spec.Ledger.Serialization
2 (Data Constructor)Shelley.Spec.Ledger.Serialization
CborSeq 
1 (Type/Class)Shelley.Spec.Ledger.Serialization
2 (Data Constructor)Shelley.Spec.Ledger.Serialization
ccMaxBBSizeShelley.Spec.Ledger.STS.Chain
ccMaxBHSizeShelley.Spec.Ledger.STS.Chain
ccProtocolVersionShelley.Spec.Ledger.STS.Chain
CertifiedVRFShelley.Spec.Ledger.Keys, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
CHAINShelley.Spec.Ledger.STS.Chain, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
chainCandidateNonceShelley.Spec.Ledger.STS.Chain, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
chainChecks 
1 (Function)Shelley.Spec.Ledger.STS.Chain
2 (Function)Shelley.Spec.Ledger.API.Validation, Shelley.Spec.Ledger.API
ChainChecksData 
1 (Type/Class)Shelley.Spec.Ledger.STS.Chain
2 (Data Constructor)Shelley.Spec.Ledger.STS.Chain
ChainCode 
1 (Type/Class)Shelley.Spec.Ledger.Address.Bootstrap
2 (Data Constructor)Shelley.Spec.Ledger.Address.Bootstrap
ChainDataCardano.Ledger.Core
ChainDepState 
1 (Type/Class)Shelley.Spec.Ledger.API.Protocol, Shelley.Spec.Ledger.API
2 (Data Constructor)Shelley.Spec.Ledger.API.Protocol, Shelley.Spec.Ledger.API
chainEpochNonceShelley.Spec.Ledger.STS.Chain, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
chainEvolvingNonceShelley.Spec.Ledger.STS.Chain, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
chainLastAppliedBlockShelley.Spec.Ledger.STS.Chain, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
chainNesShelley.Spec.Ledger.STS.Chain, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
chainOCertIssueShelley.Spec.Ledger.STS.Chain, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
ChainPredicateFailureShelley.Spec.Ledger.STS.Chain
chainPrevEpochNonceShelley.Spec.Ledger.STS.Chain, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
ChainState 
1 (Type/Class)Shelley.Spec.Ledger.STS.Chain, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
2 (Data Constructor)Shelley.Spec.Ledger.STS.Chain, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
ChainTransitionError 
1 (Type/Class)Shelley.Spec.Ledger.API.Protocol, Shelley.Spec.Ledger.API
2 (Data Constructor)Shelley.Spec.Ledger.API.Protocol, Shelley.Spec.Ledger.API
checkLeaderValueShelley.Spec.Ledger.BlockChain
circulationShelley.Spec.Ledger.LedgerState
classifyOverlaySlotShelley.Spec.Ledger.OverlaySchedule, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
coerceKeyRoleShelley.Spec.Ledger.Keys, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
Coin 
1 (Type/Class)Shelley.Spec.Ledger.Coin, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
2 (Data Constructor)Shelley.Spec.Ledger.Coin, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
coinCardano.Ledger.Val
coinToRationalShelley.Spec.Ledger.Coin
Compact 
1 (Type/Class)Cardano.Ledger.Compactible
2 (Data Constructor)Cardano.Ledger.Compactible
CompactAddrShelley.Spec.Ledger.CompactAddr
compactAddrShelley.Spec.Ledger.CompactAddr
CompactCoinShelley.Spec.Ledger.Coin
CompactFormCardano.Ledger.Compactible, Shelley.Spec.Ledger.Coin
CompactibleCardano.Ledger.Compactible
computeRandomnessStabilisationWindowShelley.Spec.Ledger.StabilityWindow, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
computeStabilityWindowShelley.Spec.Ledger.StabilityWindow, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
ConflictingMetaDataHashShelley.Spec.Ledger.STS.Utxow
consumedShelley.Spec.Ledger.LedgerState
CorruptRewardUpdateShelley.Spec.Ledger.STS.NewEpoch
CounterTooSmallOCERTShelley.Spec.Ledger.STS.Ocert
createRUpdShelley.Spec.Ledger.LedgerState
CredentialShelley.Spec.Ledger.Credential, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
Crypto 
1 (Type/Class)Cardano.Ledger.Crypto
2 (Type/Class)Cardano.Ledger.Era
csLabNonceShelley.Spec.Ledger.API.Protocol, Shelley.Spec.Ledger.API
csProtocolShelley.Spec.Ledger.API.Protocol, Shelley.Spec.Ledger.API
csTicknShelley.Spec.Ledger.API.Protocol, Shelley.Spec.Ledger.API
currentIssueNoShelley.Spec.Ledger.OCert
currentLedgerViewShelley.Spec.Ledger.API.Protocol, Shelley.Spec.Ledger.API
DCertShelley.Spec.Ledger.TxBody, Shelley.Spec.Ledger.Delegation.Certificates, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
DCertDelegShelley.Spec.Ledger.TxBody, Shelley.Spec.Ledger.Delegation.Certificates, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
DCertGenesisShelley.Spec.Ledger.TxBody, Shelley.Spec.Ledger.Delegation.Certificates, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
DCertMirShelley.Spec.Ledger.TxBody, Shelley.Spec.Ledger.Delegation.Certificates, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
DCertPoolShelley.Spec.Ledger.TxBody, Shelley.Spec.Ledger.Delegation.Certificates, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
decayFactorShelley.Spec.Ledger.LedgerState
decodeListShelley.Spec.Ledger.Serialization
decodeMapShelley.Spec.Ledger.Serialization
decodeMapContentsShelley.Spec.Ledger.Serialization
decodeMapTraverseShelley.Spec.Ledger.Serialization
decodeMaybeShelley.Spec.Ledger.Serialization
decodeNullMaybeShelley.Spec.Ledger.Serialization
decodeRecordNamedShelley.Spec.Ledger.Serialization
decodeRecordSumShelley.Spec.Ledger.Serialization
decodeSeqShelley.Spec.Ledger.Serialization
decodeSetShelley.Spec.Ledger.Serialization
decodeSignedDSIGNShelley.Spec.Ledger.Keys
decodeSignedKESShelley.Spec.Ledger.Keys
decodeStrictSeqShelley.Spec.Ledger.Serialization
decodeVerKeyKESShelley.Spec.Ledger.Keys
decodeVerKeyVRFShelley.Spec.Ledger.Keys
decodeWitsShelley.Spec.Ledger.Tx
decompactAddrShelley.Spec.Ledger.CompactAddr
DELEGShelley.Spec.Ledger.STS.Deleg, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
DelegateShelley.Spec.Ledger.TxBody, Shelley.Spec.Ledger.Delegation.Certificates, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
DelegateeNotRegisteredDELEGShelley.Spec.Ledger.STS.Delegs
Delegation 
1 (Type/Class)Shelley.Spec.Ledger.TxBody, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
2 (Data Constructor)Shelley.Spec.Ledger.TxBody, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
DelegCertShelley.Spec.Ledger.TxBody, Shelley.Spec.Ledger.Delegation.Certificates, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
delegCWitnessShelley.Spec.Ledger.Delegation.Certificates
DelegEnv 
1 (Type/Class)Shelley.Spec.Ledger.STS.Deleg, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
2 (Data Constructor)Shelley.Spec.Ledger.STS.Deleg, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
DelegFailureShelley.Spec.Ledger.STS.Delpl
DelegPredicateFailureShelley.Spec.Ledger.STS.Deleg
DELEGSShelley.Spec.Ledger.STS.Delegs, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
delegsAccountShelley.Spec.Ledger.STS.Delegs, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
DelegsEnv 
1 (Type/Class)Shelley.Spec.Ledger.STS.Delegs, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
2 (Data Constructor)Shelley.Spec.Ledger.STS.Delegs, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
DelegsFailureShelley.Spec.Ledger.STS.Ledger
delegsIxShelley.Spec.Ledger.STS.Delegs, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
delegsppShelley.Spec.Ledger.STS.Delegs, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
DelegsPredicateFailureShelley.Spec.Ledger.STS.Delegs
delegsSlotNoShelley.Spec.Ledger.STS.Delegs, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
delegsTxShelley.Spec.Ledger.STS.Delegs, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
DELPLShelley.Spec.Ledger.STS.Delpl, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
delPlAcntShelley.Spec.Ledger.STS.Delpl, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
DelplEnv 
1 (Type/Class)Shelley.Spec.Ledger.STS.Delpl, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
2 (Data Constructor)Shelley.Spec.Ledger.STS.Delpl, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
DelplFailureShelley.Spec.Ledger.STS.Delegs
delPlPpShelley.Spec.Ledger.STS.Delpl, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
DelplPredicateFailureShelley.Spec.Ledger.STS.Delpl
delPlPtrShelley.Spec.Ledger.STS.Delpl, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
delplSlotNoShelley.Spec.Ledger.STS.Delpl, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
DeltaCardano.Ledger.Torsor
DeltaCoin 
1 (Type/Class)Shelley.Spec.Ledger.Coin
2 (Data Constructor)Shelley.Spec.Ledger.Coin
deltaFShelley.Spec.Ledger.LedgerState, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
deltaRShelley.Spec.Ledger.LedgerState, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
deltaTShelley.Spec.Ledger.LedgerState, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
depositPoolChangeShelley.Spec.Ledger.LedgerState
DeRegKeyShelley.Spec.Ledger.TxBody, Shelley.Spec.Ledger.Delegation.Certificates, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
describeValidationErrShelley.Spec.Ledger.Genesis, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
deserialiseAddrShelley.Spec.Ledger.Address
deserialiseAddrStakeRefShelley.Spec.Ledger.Address
deserialiseRewardAcntShelley.Spec.Ledger.Address
desirabilityShelley.Spec.Ledger.Rewards
diffWitHashesShelley.Spec.Ledger.LedgerState
DnsNameShelley.Spec.Ledger.BaseTypes
dnsToTextShelley.Spec.Ledger.BaseTypes
DPState 
1 (Type/Class)Shelley.Spec.Ledger.LedgerState, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
2 (Data Constructor)Shelley.Spec.Ledger.LedgerState, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
DSIGNCardano.Ledger.Crypto
DSignableShelley.Spec.Ledger.Keys
DState 
1 (Type/Class)Shelley.Spec.Ledger.LedgerState, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
2 (Data Constructor)Shelley.Spec.Ledger.LedgerState, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
DuplicateGenesisDelegateDELEGShelley.Spec.Ledger.STS.Deleg
DuplicateGenesisVRFDELEGShelley.Spec.Ledger.STS.Deleg
Duration 
1 (Type/Class)Shelley.Spec.Ledger.Slot
2 (Data Constructor)Shelley.Spec.Ledger.Slot
emptyAccountShelley.Spec.Ledger.LedgerState
emptyDelegationShelley.Spec.Ledger.LedgerState
emptyDPStateShelley.Spec.Ledger.LedgerState
emptyDStateShelley.Spec.Ledger.LedgerState
emptyEpochStateShelley.Spec.Ledger.LedgerState
emptyGenesisStakingShelley.Spec.Ledger.Genesis, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
emptyInstantaneousRewardsShelley.Spec.Ledger.LedgerState
emptyLedgerStateShelley.Spec.Ledger.LedgerState
emptyNonMyopicShelley.Spec.Ledger.Rewards
emptyPParamsShelley.Spec.Ledger.PParams
emptyPParamsUpdateShelley.Spec.Ledger.PParams
emptyPPPUpdatesShelley.Spec.Ledger.PParams
emptyPPUPStateShelley.Spec.Ledger.LedgerState
emptyPStateShelley.Spec.Ledger.LedgerState
emptyRewardUpdateShelley.Spec.Ledger.LedgerState
emptySnapShotShelley.Spec.Ledger.EpochBoundary
emptySnapShotsShelley.Spec.Ledger.EpochBoundary
emptyUTxOStateShelley.Spec.Ledger.LedgerState
encodedGroupSizeExprShelley.Spec.Ledger.Serialization
encodeFoldableShelley.Spec.Ledger.Serialization
encodeFoldableEncoderShelley.Spec.Ledger.Serialization
encodeFoldableMapEncoderShelley.Spec.Ledger.Serialization
encodeNullMaybeShelley.Spec.Ledger.Serialization
encodeSignedDSIGNShelley.Spec.Ledger.Keys
encodeSignedKESShelley.Spec.Ledger.Keys
encodeVerKeyKESShelley.Spec.Ledger.Keys
encodeVerKeyVRFShelley.Spec.Ledger.Keys
EPOCHShelley.Spec.Ledger.STS.Epoch
EpochFailureShelley.Spec.Ledger.STS.NewEpoch
EpochInfoShelley.Spec.Ledger.Slot
epochInfoShelley.Spec.Ledger.BaseTypes, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
epochInfoEpochShelley.Spec.Ledger.Slot
epochInfoFirstShelley.Spec.Ledger.Slot
epochInfoSizeShelley.Spec.Ledger.Slot
EpochNo 
1 (Data Constructor)Shelley.Spec.Ledger.Slot
2 (Type/Class)Shelley.Spec.Ledger.Slot
EpochNotLongEnoughShelley.Spec.Ledger.Genesis, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
EpochPredicateFailureShelley.Spec.Ledger.STS.Epoch
EpochSize 
1 (Data Constructor)Shelley.Spec.Ledger.Slot
2 (Type/Class)Shelley.Spec.Ledger.Slot
EpochState 
1 (Type/Class)Shelley.Spec.Ledger.LedgerState, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
2 (Data Constructor)Shelley.Spec.Ledger.LedgerState, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
EraCardano.Ledger.Era
EraIndependentBlockBodyShelley.Spec.Ledger.Hashing
EraIndependentTxShelley.Spec.Ledger.Hashing
EraIndependentTxBodyShelley.Spec.Ledger.Hashing, Shelley.Spec.Ledger.TxBody
EraIndependentWitVKeyShelley.Spec.Ledger.Hashing
eraIndTxBodyHashShelley.Spec.Ledger.TxBody
esAccountStateShelley.Spec.Ledger.LedgerState, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
esLStateShelley.Spec.Ledger.LedgerState, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
esNonMyopicShelley.Spec.Ledger.LedgerState, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
esPpShelley.Spec.Ledger.LedgerState, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
esPrevPpShelley.Spec.Ledger.LedgerState, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
esSnapshotsShelley.Spec.Ledger.LedgerState, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
evalNativeMultiSigScriptShelley.Spec.Ledger.Tx
ExpiredUTxOShelley.Spec.Ledger.STS.Utxo
extractKeyHashWitnessSetShelley.Spec.Ledger.Tx
FeeTooSmallUTxOShelley.Spec.Ledger.STS.Utxo
fGenDelegGenKeyHashShelley.Spec.Ledger.LedgerState
fGenDelegSlotShelley.Spec.Ledger.LedgerState
FixedPointShelley.Spec.Ledger.BaseTypes
fpPrecisionShelley.Spec.Ledger.BaseTypes
FromCBORGroupShelley.Spec.Ledger.Serialization
fromCBORGroupShelley.Spec.Ledger.Serialization
fromCompactCardano.Ledger.Compactible
fromSMaybeShelley.Spec.Ledger.BaseTypes
FutureGenDeleg 
1 (Type/Class)Shelley.Spec.Ledger.LedgerState
2 (Data Constructor)Shelley.Spec.Ledger.LedgerState
futureLedgerViewShelley.Spec.Ledger.API.Protocol, Shelley.Spec.Ledger.API
FutureLedgerViewError 
1 (Type/Class)Shelley.Spec.Ledger.API.Protocol, Shelley.Spec.Ledger.API
2 (Data Constructor)Shelley.Spec.Ledger.API.Protocol, Shelley.Spec.Ledger.API
futureProposalsShelley.Spec.Ledger.LedgerState, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
genDelegKeyHashShelley.Spec.Ledger.Keys, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
GenDelegPair 
1 (Type/Class)Shelley.Spec.Ledger.Keys, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
2 (Data Constructor)Shelley.Spec.Ledger.Keys, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
GenDelegs 
1 (Type/Class)Shelley.Spec.Ledger.Keys, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
2 (Data Constructor)Shelley.Spec.Ledger.Keys, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
genDelegVrfHashShelley.Spec.Ledger.Keys, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
GenesisShelley.Spec.Ledger.Keys, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
GenesisCredential 
1 (Type/Class)Shelley.Spec.Ledger.Credential
2 (Data Constructor)Shelley.Spec.Ledger.Credential
genesisCWitnessShelley.Spec.Ledger.Delegation.Certificates
GenesisDelegateShelley.Spec.Ledger.Keys, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
GenesisDelegCert 
1 (Type/Class)Shelley.Spec.Ledger.TxBody, Shelley.Spec.Ledger.Delegation.Certificates, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
2 (Data Constructor)Shelley.Spec.Ledger.TxBody, Shelley.Spec.Ledger.Delegation.Certificates, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
GenesisHashShelley.Spec.Ledger.BlockChain, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
GenesisKeyNotInMappingDELEGShelley.Spec.Ledger.STS.Deleg
genesisStateShelley.Spec.Ledger.LedgerState
genesisUtxOShelley.Spec.Ledger.Genesis, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
getAddrShelley.Spec.Ledger.Address
getFilteredUTxOShelley.Spec.Ledger.API.Wallet, Shelley.Spec.Ledger.API
getGKeysShelley.Spec.Ledger.LedgerState
getKeyCombinationShelley.Spec.Ledger.Scripts, Shelley.Spec.Ledger.Tx
getKeyCombinationsShelley.Spec.Ledger.Scripts, Shelley.Spec.Ledger.Tx
getKeyHashShelley.Spec.Ledger.Address
getLeaderScheduleShelley.Spec.Ledger.API.Wallet, Shelley.Spec.Ledger.API
GetLedgerViewShelley.Spec.Ledger.API.Protocol, Shelley.Spec.Ledger.API
getMultiSigBytesShelley.Spec.Ledger.Scripts
getNetworkShelley.Spec.Ledger.Address
getNonMyopicMemberRewardsShelley.Spec.Ledger.API.Wallet, Shelley.Spec.Ledger.API
getPtrShelley.Spec.Ledger.Address
getRewardAcntShelley.Spec.Ledger.Address
getRwdCredShelley.Spec.Ledger.Address, Shelley.Spec.Ledger.TxBody, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
getRwdNetworkShelley.Spec.Ledger.Address, Shelley.Spec.Ledger.TxBody, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
getScriptHash 
1 (Function)Shelley.Spec.Ledger.Address
2 (Function)Shelley.Spec.Ledger.UTxO
getTopRankedPoolsShelley.Spec.Ledger.Rewards
getTotalStakeShelley.Spec.Ledger.API.Wallet, Shelley.Spec.Ledger.API
getUTxOShelley.Spec.Ledger.API.Wallet, Shelley.Spec.Ledger.API
getVariableLengthNatShelley.Spec.Ledger.Address
GKeys 
1 (Type/Class)Shelley.Spec.Ledger.Keys
2 (Data Constructor)Shelley.Spec.Ledger.Keys
Globals 
1 (Type/Class)Shelley.Spec.Ledger.BaseTypes, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
2 (Data Constructor)Shelley.Spec.Ledger.BaseTypes, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
groupRecordShelley.Spec.Ledger.Serialization
HASHCardano.Ledger.Crypto
HashShelley.Spec.Ledger.Keys, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
HashAnnotatedShelley.Spec.Ledger.Hashing
hashAnnotatedShelley.Spec.Ledger.Hashing
HashBBodyShelley.Spec.Ledger.BlockChain, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
HashHeader 
1 (Type/Class)Shelley.Spec.Ledger.BlockChain, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
2 (Data Constructor)Shelley.Spec.Ledger.BlockChain, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
hashHeaderToNonceShelley.Spec.Ledger.BlockChain
HashIndexShelley.Spec.Ledger.Hashing
hashKeyShelley.Spec.Ledger.Keys, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
hashMetaDataShelley.Spec.Ledger.MetaData
hashMultiSigScriptShelley.Spec.Ledger.Scripts, Shelley.Spec.Ledger.Tx
hashScriptShelley.Spec.Ledger.Tx
hashVerKeyVRFShelley.Spec.Ledger.Keys, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
hashWithSerialiserShelley.Spec.Ledger.Keys
HasKeyRoleShelley.Spec.Ledger.Keys
hBbsizeShelley.Spec.Ledger.BlockChain
HeaderSizeTooLargeCHAINShelley.Spec.Ledger.STS.Chain
Histogram 
1 (Type/Class)Shelley.Spec.Ledger.Rewards
2 (Data Constructor)Shelley.Spec.Ledger.Rewards
IShelley.Spec.Ledger.MetaData, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
incrBlocksShelley.Spec.Ledger.BlockChain
IndividualPoolStake 
1 (Type/Class)Shelley.Spec.Ledger.Delegation.Certificates
2 (Data Constructor)Shelley.Spec.Ledger.Delegation.Certificates
individualPoolStakeShelley.Spec.Ledger.Delegation.Certificates, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
individualPoolStakeVrfShelley.Spec.Ledger.Delegation.Certificates
initialFundsPseudoTxInShelley.Spec.Ledger.Genesis, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
initialLedgerStateUTXOWShelley.Spec.Ledger.STS.Utxow
initialShelleyStateShelley.Spec.Ledger.STS.Chain, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
injectCardano.Ledger.Val
InputSetEmptyUTxOShelley.Spec.Ledger.STS.Utxo
InstantaneousRewards 
1 (Type/Class)Shelley.Spec.Ledger.LedgerState, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
2 (Data Constructor)Shelley.Spec.Ledger.LedgerState, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
InsufficientForInstantaneousRewardsDELEGShelley.Spec.Ledger.STS.Deleg
interval0Shelley.Spec.Ledger.BaseTypes
intervalValueShelley.Spec.Ledger.BaseTypes
InvalidBodyHashBBODYShelley.Spec.Ledger.STS.Bbody
InvalidKesSignatureOCERTShelley.Spec.Ledger.STS.Ocert
invalidKeyShelley.Spec.Ledger.BaseTypes
InvalidMetaDataShelley.Spec.Ledger.STS.Utxow
InvalidSignatureOCERTShelley.Spec.Ledger.STS.Ocert
InvalidWitnessesUTXOWShelley.Spec.Ledger.STS.Utxow
invertCardano.Ledger.Val
ipv4FromBytesShelley.Spec.Ledger.Serialization
ipv4FromCBORShelley.Spec.Ledger.Serialization
ipv4ToBytesShelley.Spec.Ledger.Serialization
ipv4ToCBORShelley.Spec.Ledger.Serialization
ipv6FromBytesShelley.Spec.Ledger.Serialization
ipv6FromCBORShelley.Spec.Ledger.Serialization
ipv6ToBytesShelley.Spec.Ledger.Serialization
ipv6ToCBORShelley.Spec.Ledger.Serialization
iRReservesShelley.Spec.Ledger.LedgerState, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
iRTreasuryShelley.Spec.Ledger.LedgerState, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
isBootstrapRedeemerShelley.Spec.Ledger.Address
isDelegationShelley.Spec.Ledger.Delegation.Certificates
isDeRegKeyShelley.Spec.Ledger.Delegation.Certificates
isEnterpriseAddrShelley.Spec.Ledger.Address
isGenesisDelegationShelley.Spec.Ledger.Delegation.Certificates
isInstantaneousRewardsShelley.Spec.Ledger.Delegation.Certificates
isOverlaySlotShelley.Spec.Ledger.OverlaySchedule, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
isRegKeyShelley.Spec.Ledger.Delegation.Certificates
isRegPoolShelley.Spec.Ledger.Delegation.Certificates
isReservesMIRCertShelley.Spec.Ledger.Delegation.Certificates
isRetirePoolShelley.Spec.Ledger.Delegation.Certificates
issuerIDfromBHBodyShelley.Spec.Ledger.BlockChain
isTreasuryMIRCertShelley.Spec.Ledger.Delegation.Certificates
isZeroCardano.Ledger.Val
IxShelley.Spec.Ledger.Credential, Shelley.Spec.Ledger.TxBody, Shelley.Spec.Ledger.LedgerState
KESCardano.Ledger.Crypto
KESAfterEndOCERTShelley.Spec.Ledger.STS.Ocert
KESBeforeStartOCERTShelley.Spec.Ledger.STS.Ocert
KESignableShelley.Spec.Ledger.Keys, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
KESPeriod 
1 (Type/Class)Shelley.Spec.Ledger.OCert, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
2 (Data Constructor)Shelley.Spec.Ledger.OCert, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
kesPeriodShelley.Spec.Ledger.OCert
KeyHash 
1 (Type/Class)Shelley.Spec.Ledger.Keys, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
2 (Data Constructor)Shelley.Spec.Ledger.Keys, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
KeyHashObjShelley.Spec.Ledger.Credential, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
KeyPair 
1 (Type/Class)Shelley.Spec.Ledger.Keys, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
2 (Data Constructor)Shelley.Spec.Ledger.Keys, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
KeyPairsShelley.Spec.Ledger.LedgerState, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
keyRefundsShelley.Spec.Ledger.LedgerState
KeyRoleShelley.Spec.Ledger.Keys, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
labBlockNoShelley.Spec.Ledger.BlockChain
labHashShelley.Spec.Ledger.BlockChain
labSlotNoShelley.Spec.Ledger.BlockChain
LastAppliedBlock 
1 (Type/Class)Shelley.Spec.Ledger.BlockChain
2 (Data Constructor)Shelley.Spec.Ledger.BlockChain
lastAppliedHashShelley.Spec.Ledger.BlockChain
LaxBlock 
1 (Type/Class)Shelley.Spec.Ledger.BlockChain, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
2 (Data Constructor)Shelley.Spec.Ledger.BlockChain, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
leaderProbabilityShelley.Spec.Ledger.Rewards
LEDGERShelley.Spec.Ledger.STS.Ledger, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
ledgerAccountShelley.Spec.Ledger.STS.Ledger, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
LedgerEnv 
1 (Type/Class)Shelley.Spec.Ledger.STS.Ledger, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
2 (Data Constructor)Shelley.Spec.Ledger.STS.Ledger, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
LedgerFailureShelley.Spec.Ledger.STS.Ledgers
ledgerIxShelley.Spec.Ledger.STS.Ledger, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
ledgerPpShelley.Spec.Ledger.STS.Ledger, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
LedgerPredicateFailureShelley.Spec.Ledger.STS.Ledger
LEDGERSShelley.Spec.Ledger.STS.Ledgers, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
ledgersAccountShelley.Spec.Ledger.STS.Ledgers, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
LedgersEnv 
1 (Type/Class)Shelley.Spec.Ledger.STS.Ledgers, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
2 (Data Constructor)Shelley.Spec.Ledger.STS.Ledgers, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
LedgersFailureShelley.Spec.Ledger.STS.Bbody
ledgerSlotNoShelley.Spec.Ledger.STS.Ledger, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
ledgersPpShelley.Spec.Ledger.STS.Ledgers, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
LedgersPredicateFailureShelley.Spec.Ledger.STS.Ledgers
ledgersSlotNoShelley.Spec.Ledger.STS.Ledgers, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
LedgerState 
1 (Type/Class)Shelley.Spec.Ledger.LedgerState, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
2 (Data Constructor)Shelley.Spec.Ledger.LedgerState, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
LedgerView 
1 (Type/Class)Shelley.Spec.Ledger.API.Protocol, Shelley.Spec.Ledger.API
2 (Data Constructor)Shelley.Spec.Ledger.API.Protocol, Shelley.Spec.Ledger.API
Likelihood 
1 (Type/Class)Shelley.Spec.Ledger.Rewards
2 (Data Constructor)Shelley.Spec.Ledger.Rewards
likelihoodShelley.Spec.Ledger.Rewards
likelihoodsNMShelley.Spec.Ledger.Rewards
ListShelley.Spec.Ledger.MetaData, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
listLenShelley.Spec.Ledger.Serialization
listLenBoundShelley.Spec.Ledger.Serialization
listLenIntShelley.Spec.Ledger.Serialization
LogWeight 
1 (Type/Class)Shelley.Spec.Ledger.Rewards
2 (Data Constructor)Shelley.Spec.Ledger.Rewards
lookupInOverlayScheduleShelley.Spec.Ledger.OverlaySchedule, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
lvChainChecksShelley.Spec.Ledger.API.Protocol, Shelley.Spec.Ledger.API
lvDShelley.Spec.Ledger.API.Protocol, Shelley.Spec.Ledger.API
lvExtraEntropyShelley.Spec.Ledger.API.Protocol, Shelley.Spec.Ledger.API
lvGenDelegsShelley.Spec.Ledger.API.Protocol, Shelley.Spec.Ledger.API
lvPoolDistrShelley.Spec.Ledger.API.Protocol, Shelley.Spec.Ledger.API
MainnetShelley.Spec.Ledger.BaseTypes, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
makeBootstrapWitnessShelley.Spec.Ledger.Address.Bootstrap
makeWitnessesFromScriptKeysShelley.Spec.Ledger.UTxO
makeWitnessesVKeyShelley.Spec.Ledger.UTxO
makeWitnessVKeyShelley.Spec.Ledger.UTxO
MapShelley.Spec.Ledger.MetaData, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
mapFromCBORShelley.Spec.Ledger.Serialization
mapToCBORShelley.Spec.Ledger.Serialization
maxKESEvoShelley.Spec.Ledger.BaseTypes, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
MaxKESEvolutionsUnsupportedShelley.Spec.Ledger.Genesis, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
maxLovelaceSupplyShelley.Spec.Ledger.BaseTypes, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
maxMajorPVShelley.Spec.Ledger.BaseTypes, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
maxPoolShelley.Spec.Ledger.EpochBoundary
MaxTxSizeUTxOShelley.Spec.Ledger.STS.Utxo
maybeToStrictMaybeShelley.Spec.Ledger.BaseTypes
MetaData 
1 (Type/Class)Shelley.Spec.Ledger.MetaData, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
2 (Data Constructor)Shelley.Spec.Ledger.MetaData, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
MetaDataHash 
1 (Type/Class)Shelley.Spec.Ledger.MetaData
2 (Data Constructor)Shelley.Spec.Ledger.MetaData
MetaDatumShelley.Spec.Ledger.MetaData, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
minfeeShelley.Spec.Ledger.LedgerState
minfeeBoundShelley.Spec.Ledger.LedgerState
MIRShelley.Spec.Ledger.STS.Mir
MIRCert 
1 (Type/Class)Shelley.Spec.Ledger.TxBody, Shelley.Spec.Ledger.Delegation.Certificates, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
2 (Data Constructor)Shelley.Spec.Ledger.TxBody, Shelley.Spec.Ledger.Delegation.Certificates, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
MIRCertificateTooLateinEpochDELEGShelley.Spec.Ledger.STS.Deleg
MirFailureShelley.Spec.Ledger.STS.NewEpoch
MIRInsufficientGenesisSigsUTXOWShelley.Spec.Ledger.STS.Utxow
MIRPotShelley.Spec.Ledger.TxBody, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
mirPotShelley.Spec.Ledger.TxBody, Shelley.Spec.Ledger.Delegation.Certificates, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
MirPredicateFailureShelley.Spec.Ledger.STS.Mir
mirRewardsShelley.Spec.Ledger.TxBody, Shelley.Spec.Ledger.Delegation.Certificates, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
MissingScriptWitnessesUTXOWShelley.Spec.Ledger.STS.Utxow
MissingTxBodyMetaDataHashShelley.Spec.Ledger.STS.Utxow
MissingTxMetaDataShelley.Spec.Ledger.STS.Utxow
MissingVKeyWitnessesUTXOWShelley.Spec.Ledger.STS.Utxow
mkActiveSlotCoeffShelley.Spec.Ledger.BaseTypes
mkApparentPerformanceShelley.Spec.Ledger.Rewards
mkInitialShelleyLedgerViewShelley.Spec.Ledger.API.ByronTranslation, Shelley.Spec.Ledger.API
mkNonceFromNumberShelley.Spec.Ledger.BaseTypes
mkNonceFromOutputVRFShelley.Spec.Ledger.BaseTypes
mkRwdAcntShelley.Spec.Ledger.Address
mkSeedShelley.Spec.Ledger.BlockChain
mkShelleyGlobalsShelley.Spec.Ledger.Genesis, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
mkUnitIntervalShelley.Spec.Ledger.BaseTypes
mkVKeyRwdAcntShelley.Spec.Ledger.Address
modifyCoinCardano.Ledger.Val
MultiHostNameShelley.Spec.Ledger.TxBody, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
MultiSigShelley.Spec.Ledger.Scripts, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
natToWord7sShelley.Spec.Ledger.Address
nesBcurShelley.Spec.Ledger.LedgerState, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
nesBprevShelley.Spec.Ledger.LedgerState, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
nesELShelley.Spec.Ledger.LedgerState, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
nesEsShelley.Spec.Ledger.LedgerState, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
nesPdShelley.Spec.Ledger.LedgerState, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
nesRuShelley.Spec.Ledger.LedgerState, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
NetworkShelley.Spec.Ledger.BaseTypes, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
networkIdShelley.Spec.Ledger.BaseTypes, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
networkToWord8Shelley.Spec.Ledger.BaseTypes
NeutralNonceShelley.Spec.Ledger.BaseTypes, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
NEWEPOCHShelley.Spec.Ledger.STS.NewEpoch, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
NewEpochFailureShelley.Spec.Ledger.STS.Tick
NewEpochPredicateFailureShelley.Spec.Ledger.STS.NewEpoch
NewEpochState 
1 (Type/Class)Shelley.Spec.Ledger.LedgerState, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
2 (Data Constructor)Shelley.Spec.Ledger.LedgerState, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
NEWPPShelley.Spec.Ledger.STS.Newpp
NewppEnv 
1 (Type/Class)Shelley.Spec.Ledger.STS.Newpp
2 (Data Constructor)Shelley.Spec.Ledger.STS.Newpp
NewPpFailureShelley.Spec.Ledger.STS.Epoch
NewppPredicateFailureShelley.Spec.Ledger.STS.Newpp
NewppState 
1 (Type/Class)Shelley.Spec.Ledger.STS.Newpp
2 (Data Constructor)Shelley.Spec.Ledger.STS.Newpp
NoCounterForKeyHashOCERTShelley.Spec.Ledger.STS.Ocert
NonActiveSlotShelley.Spec.Ledger.OverlaySchedule, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
Nonce 
1 (Type/Class)Shelley.Spec.Ledger.BaseTypes, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
2 (Data Constructor)Shelley.Spec.Ledger.BaseTypes, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
NonGenesisUpdatePPUPShelley.Spec.Ledger.STS.Ppup
NonMyopic 
1 (Type/Class)Shelley.Spec.Ledger.Rewards, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
2 (Data Constructor)Shelley.Spec.Ledger.Rewards
nonMyopicShelley.Spec.Ledger.LedgerState, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
nonMyopicMemberRewShelley.Spec.Ledger.Rewards
nonMyopicStakeShelley.Spec.Ledger.Rewards
NotActiveSlotOVERLAYShelley.Spec.Ledger.STS.Overlay
notBaseAddrShelley.Spec.Ledger.Address
nullWitHashesShelley.Spec.Ledger.LedgerState
OBftSlotShelley.Spec.Ledger.OverlaySchedule, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
obligationShelley.Spec.Ledger.EpochBoundary
ObsoleteNodeCHAINShelley.Spec.Ledger.STS.Chain
OCERTShelley.Spec.Ledger.STS.Ocert
OCert 
1 (Type/Class)Shelley.Spec.Ledger.OCert, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
2 (Data Constructor)Shelley.Spec.Ledger.OCert, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
OCertEnv 
1 (Type/Class)Shelley.Spec.Ledger.OCert, Shelley.Spec.Ledger.STS.Ocert, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
2 (Data Constructor)Shelley.Spec.Ledger.OCert, Shelley.Spec.Ledger.STS.Ocert, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
ocertEnvGenDelegsShelley.Spec.Ledger.OCert, Shelley.Spec.Ledger.STS.Ocert, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
ocertEnvStPoolsShelley.Spec.Ledger.OCert, Shelley.Spec.Ledger.STS.Ocert, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
OcertFailureShelley.Spec.Ledger.STS.Overlay
ocertKESPeriodShelley.Spec.Ledger.OCert, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
ocertNShelley.Spec.Ledger.OCert, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
OcertPredicateFailureShelley.Spec.Ledger.STS.Ocert
ocertSigmaShelley.Spec.Ledger.OCert, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
OCertSignable 
1 (Type/Class)Shelley.Spec.Ledger.OCert
2 (Data Constructor)Shelley.Spec.Ledger.OCert
ocertToSignableShelley.Spec.Ledger.OCert
ocertVkHotShelley.Spec.Ledger.OCert, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
OutputBootAddrAttrsTooBigShelley.Spec.Ledger.STS.Utxo
OutputTooSmallUTxOShelley.Spec.Ledger.STS.Utxo
OVERLAYShelley.Spec.Ledger.STS.Overlay
OverlayEnv 
1 (Type/Class)Shelley.Spec.Ledger.STS.Overlay
2 (Data Constructor)Shelley.Spec.Ledger.STS.Overlay
OverlayFailureShelley.Spec.Ledger.STS.Prtcl, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
OverlayPredicateFailureShelley.Spec.Ledger.STS.Overlay
overlaySlotsShelley.Spec.Ledger.OverlaySchedule
payCredIsScriptShelley.Spec.Ledger.Address
PaymentShelley.Spec.Ledger.Keys, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
PaymentCredentialShelley.Spec.Ledger.Credential
percentile'Shelley.Spec.Ledger.Rewards
PerformanceEstimate 
1 (Type/Class)Shelley.Spec.Ledger.Rewards
2 (Data Constructor)Shelley.Spec.Ledger.Rewards
pointwiseCardano.Ledger.Val
POOLShelley.Spec.Ledger.STS.Pool, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
PoolCertShelley.Spec.Ledger.TxBody, Shelley.Spec.Ledger.Delegation.Certificates, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
poolCWitnessShelley.Spec.Ledger.Delegation.Certificates
PoolDistr 
1 (Type/Class)Shelley.Spec.Ledger.Delegation.Certificates, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
2 (Data Constructor)Shelley.Spec.Ledger.Delegation.Certificates, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
PoolEnv 
1 (Type/Class)Shelley.Spec.Ledger.STS.Pool, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
2 (Data Constructor)Shelley.Spec.Ledger.STS.Pool, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
PoolFailureShelley.Spec.Ledger.STS.Delpl
poolIDfromBHBodyShelley.Spec.Ledger.BlockChain
PoolMetaData 
1 (Type/Class)Shelley.Spec.Ledger.TxBody, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
2 (Data Constructor)Shelley.Spec.Ledger.TxBody, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
PoolParams 
1 (Type/Class)Shelley.Spec.Ledger.TxBody, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
2 (Data Constructor)Shelley.Spec.Ledger.TxBody, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
PoolPredicateFailureShelley.Spec.Ledger.STS.Pool
POOLREAPShelley.Spec.Ledger.STS.PoolReap, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
PoolReapFailureShelley.Spec.Ledger.STS.Epoch
PoolreapPredicateFailureShelley.Spec.Ledger.STS.PoolReap
PoolreapState 
1 (Type/Class)Shelley.Spec.Ledger.STS.PoolReap
2 (Data Constructor)Shelley.Spec.Ledger.STS.PoolReap
poolsByTotalStakeFractionShelley.Spec.Ledger.API.Wallet, Shelley.Spec.Ledger.API
poolSpecShelley.Spec.Ledger.Delegation.PoolParams
poolStakeShelley.Spec.Ledger.EpochBoundary
Port 
1 (Type/Class)Shelley.Spec.Ledger.BaseTypes, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
2 (Data Constructor)Shelley.Spec.Ledger.BaseTypes, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
portToWord16Shelley.Spec.Ledger.BaseTypes, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
PParams 
1 (Type/Class)Shelley.Spec.Ledger.PParams, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
2 (Data Constructor)Shelley.Spec.Ledger.PParams, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
PParams'Shelley.Spec.Ledger.PParams, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
pparamsToChainChecksDataShelley.Spec.Ledger.STS.Chain
PParamsUpdateShelley.Spec.Ledger.PParams
PPUPShelley.Spec.Ledger.STS.Ppup, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
PPUpdateEnv 
1 (Type/Class)Shelley.Spec.Ledger.PParams
2 (Data Constructor)Shelley.Spec.Ledger.PParams
PPUpdateWrongEpochShelley.Spec.Ledger.STS.Ppup
PPUPEnv 
1 (Type/Class)Shelley.Spec.Ledger.STS.Ppup, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
2 (Data Constructor)Shelley.Spec.Ledger.STS.Ppup, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
PpupPredicateFailureShelley.Spec.Ledger.STS.Ppup
PPUPState 
1 (Type/Class)Shelley.Spec.Ledger.LedgerState, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
2 (Data Constructor)Shelley.Spec.Ledger.LedgerState, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
prAcntShelley.Spec.Ledger.STS.PoolReap
PraosCryptoShelley.Spec.Ledger.API.Protocol, Shelley.Spec.Ledger.API
prDStateShelley.Spec.Ledger.STS.PoolReap
PredicateFailureShelley.Spec.Ledger.STS.Tickn, Shelley.Spec.Ledger.STS.Updn, Shelley.Spec.Ledger.STS.Snap, Shelley.Spec.Ledger.STS.Rupd, Shelley.Spec.Ledger.STS.Ppup, Shelley.Spec.Ledger.STS.Utxo, Shelley.Spec.Ledger.STS.Utxow, Shelley.Spec.Ledger.STS.PoolReap, Shelley.Spec.Ledger.STS.Pool, Shelley.Spec.Ledger.STS.Newpp, Shelley.Spec.Ledger.STS.Mir, Shelley.Spec.Ledger.STS.Epoch, Shelley.Spec.Ledger.STS.NewEpoch, Shelley.Spec.Ledger.STS.Tick, Shelley.Spec.Ledger.STS.Deleg, Shelley.Spec.Ledger.STS.Delpl, Shelley.Spec.Ledger.STS.Delegs, Shelley.Spec.Ledger.STS.Ledger, Shelley.Spec.Ledger.STS.Ledgers, Shelley.Spec.Ledger.STS.Ocert, Shelley.Spec.Ledger.STS.Overlay, Shelley.Spec.Ledger.STS.Prtcl, Shelley.Spec.Ledger.STS.Bbody, Shelley.Spec.Ledger.STS.Chain
PrevHashShelley.Spec.Ledger.BlockChain, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
prevHashToNonceShelley.Spec.Ledger.BlockChain
PreviousEraCardano.Ledger.Era
producedShelley.Spec.Ledger.LedgerState
proposalsShelley.Spec.Ledger.LedgerState, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
ProposedPPUpdates 
1 (Type/Class)Shelley.Spec.Ledger.PParams, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
2 (Data Constructor)Shelley.Spec.Ledger.PParams, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
ProtVer 
1 (Type/Class)Shelley.Spec.Ledger.PParams, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
2 (Data Constructor)Shelley.Spec.Ledger.PParams, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
prPStateShelley.Spec.Ledger.STS.PoolReap
PRTCLShelley.Spec.Ledger.STS.Prtcl
PrtclEnv 
1 (Type/Class)Shelley.Spec.Ledger.STS.Prtcl, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
2 (Data Constructor)Shelley.Spec.Ledger.STS.Prtcl, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
PrtclFailureShelley.Spec.Ledger.STS.Chain
PrtclPredicateFailureShelley.Spec.Ledger.STS.Prtcl, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
PrtclSeqFailureShelley.Spec.Ledger.STS.Chain
PrtclState 
1 (Type/Class)Shelley.Spec.Ledger.STS.Prtcl, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
2 (Data Constructor)Shelley.Spec.Ledger.STS.Prtcl, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
prtlSeqChecksShelley.Spec.Ledger.STS.Prtcl, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
PrtlSeqFailureShelley.Spec.Ledger.STS.Prtcl, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
prUTxOStShelley.Spec.Ledger.STS.PoolReap
PState 
1 (Type/Class)Shelley.Spec.Ledger.LedgerState, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
2 (Data Constructor)Shelley.Spec.Ledger.LedgerState, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
Ptr 
1 (Type/Class)Shelley.Spec.Ledger.Credential, Shelley.Spec.Ledger.TxBody, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
2 (Data Constructor)Shelley.Spec.Ledger.Credential, Shelley.Spec.Ledger.TxBody, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
ptr_Shelley.Spec.Ledger.STS.Deleg, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
putAddrShelley.Spec.Ledger.Address
putCredentialShelley.Spec.Ledger.Address
putPtrShelley.Spec.Ledger.Address
putRewardAcntShelley.Spec.Ledger.Address
putVariableLengthNatShelley.Spec.Ledger.Address
pvCanFollowShelley.Spec.Ledger.LedgerState
PVCannotFollowPPUPShelley.Spec.Ledger.STS.Ppup
pvMajorShelley.Spec.Ledger.PParams, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
pvMinorShelley.Spec.Ledger.PParams, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
quorumShelley.Spec.Ledger.BaseTypes, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
QuorumTooSmallShelley.Spec.Ledger.Genesis, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
randomnessStabilisationWindowShelley.Spec.Ledger.BaseTypes, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
ratioFromCBORShelley.Spec.Ledger.Serialization
rationalToCoinViaFloorShelley.Spec.Ledger.Coin
ratioToCBORShelley.Spec.Ledger.Serialization
reapplyBlockShelley.Spec.Ledger.API.Validation, Shelley.Spec.Ledger.API
reapRewardsShelley.Spec.Ledger.LedgerState
RegKeyShelley.Spec.Ledger.TxBody, Shelley.Spec.Ledger.Delegation.Certificates, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
RegPoolShelley.Spec.Ledger.TxBody, Shelley.Spec.Ledger.Delegation.Certificates, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
RequireAllOfShelley.Spec.Ledger.Scripts, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
RequireAnyOfShelley.Spec.Ledger.Scripts, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
RequireMOfShelley.Spec.Ledger.Scripts, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
RequireSignatureShelley.Spec.Ledger.Scripts, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
requiresVKeyWitnessShelley.Spec.Ledger.Delegation.Certificates
ReservesMIRShelley.Spec.Ledger.TxBody, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
RetirePoolShelley.Spec.Ledger.TxBody, Shelley.Spec.Ledger.Delegation.Certificates, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
returnRedeemAddrsToReservesShelley.Spec.Ledger.LedgerState
reupdateChainDepStateShelley.Spec.Ledger.API.Protocol, Shelley.Spec.Ledger.API
rewardShelley.Spec.Ledger.Rewards
RewardAccountsShelley.Spec.Ledger.LedgerState
RewardAcnt 
1 (Type/Class)Shelley.Spec.Ledger.Address, Shelley.Spec.Ledger.TxBody, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
2 (Data Constructor)Shelley.Spec.Ledger.Address, Shelley.Spec.Ledger.TxBody, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
rewardPotNMShelley.Spec.Ledger.Rewards
RewardUpdate 
1 (Type/Class)Shelley.Spec.Ledger.LedgerState, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
2 (Data Constructor)Shelley.Spec.Ledger.LedgerState, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
rsShelley.Spec.Ledger.LedgerState, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
runByteBuilderShelley.Spec.Ledger.Serialization
RUPDShelley.Spec.Ledger.STS.Rupd
RupdEnv 
1 (Type/Class)Shelley.Spec.Ledger.STS.Rupd
2 (Data Constructor)Shelley.Spec.Ledger.STS.Rupd
RupdFailureShelley.Spec.Ledger.STS.Tick
RupdPredicateFailureShelley.Spec.Ledger.STS.Rupd
SShelley.Spec.Ledger.MetaData, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
scaleCardano.Ledger.Val
scaledMinDepositCardano.Ledger.Val
ScriptCardano.Ledger.Core
scriptCredShelley.Spec.Ledger.UTxO
ScriptHash 
1 (Type/Class)Shelley.Spec.Ledger.Scripts, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
2 (Data Constructor)Shelley.Spec.Ledger.Scripts, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
ScriptHashObjShelley.Spec.Ledger.Credential, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
scriptsNeededShelley.Spec.Ledger.UTxO
scriptStakeCredShelley.Spec.Ledger.UTxO
scriptsToAddrShelley.Spec.Ledger.Address
scriptToCredShelley.Spec.Ledger.Address
ScriptWitnessNotValidatingUTXOWShelley.Spec.Ledger.STS.Utxow
scriptWitsShelley.Spec.Ledger.Tx
securityParameterShelley.Spec.Ledger.BaseTypes, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
Seed 
1 (Type/Class)Shelley.Spec.Ledger.BaseTypes
2 (Data Constructor)Shelley.Spec.Ledger.BaseTypes
seedEtaShelley.Spec.Ledger.BlockChain
seedLShelley.Spec.Ledger.BlockChain
segwitTxShelley.Spec.Ledger.Tx
SerialisableDataCardano.Ledger.Core
serialiseAddrShelley.Spec.Ledger.Address
serialiseRewardAcntShelley.Spec.Ledger.Address
sgActiveSlotCoeffShelley.Spec.Ledger.Genesis, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
sgActiveSlotsCoeffShelley.Spec.Ledger.Genesis, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
sgEpochLengthShelley.Spec.Ledger.Genesis, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
sgGenDelegsShelley.Spec.Ledger.Genesis, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
sgInitialFundsShelley.Spec.Ledger.Genesis, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
sgMaxKESEvolutionsShelley.Spec.Ledger.Genesis, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
sgMaxLovelaceSupplyShelley.Spec.Ledger.Genesis, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
sgNetworkIdShelley.Spec.Ledger.Genesis, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
sgNetworkMagicShelley.Spec.Ledger.Genesis, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
sgProtocolParamsShelley.Spec.Ledger.Genesis, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
sgSecurityParamShelley.Spec.Ledger.Genesis, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
sgSlotLengthShelley.Spec.Ledger.Genesis, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
sgSlotsPerKESPeriodShelley.Spec.Ledger.Genesis, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
sgsPoolsShelley.Spec.Ledger.Genesis, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
sgsStakeShelley.Spec.Ledger.Genesis, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
sgStakingShelley.Spec.Ledger.Genesis, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
sgSystemStartShelley.Spec.Ledger.Genesis, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
sgUpdateQuorumShelley.Spec.Ledger.Genesis, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
ShelleyBaseShelley.Spec.Ledger.BaseTypes
ShelleyBasedCardano.Ledger.Shelley
ShelleyBasedEraShelley.Spec.Ledger.API
ShelleyEraCardano.Ledger.Shelley
ShelleyGenesis 
1 (Type/Class)Shelley.Spec.Ledger.Genesis, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
2 (Data Constructor)Shelley.Spec.Ledger.Genesis, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
ShelleyGenesisStaking 
1 (Type/Class)Shelley.Spec.Ledger.Genesis, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
2 (Data Constructor)Shelley.Spec.Ledger.Genesis, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
SignedDSIGNShelley.Spec.Ledger.Keys, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
signedDSIGNShelley.Spec.Ledger.Keys
SignedKESShelley.Spec.Ledger.Keys, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
signedKESShelley.Spec.Ledger.Keys
SignKeyDSIGNShelley.Spec.Ledger.Keys, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
SignKeyKESShelley.Spec.Ledger.Keys, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
SignKeyVRFShelley.Spec.Ledger.Keys, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
SingleHostAddrShelley.Spec.Ledger.TxBody, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
SingleHostNameShelley.Spec.Ledger.TxBody, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
sizeCardano.Ledger.Val
SizeOfPoolOwners 
1 (Type/Class)Shelley.Spec.Ledger.TxBody
2 (Data Constructor)Shelley.Spec.Ledger.TxBody
SizeOfPoolRelays 
1 (Type/Class)Shelley.Spec.Ledger.TxBody
2 (Data Constructor)Shelley.Spec.Ledger.TxBody
SJustShelley.Spec.Ledger.BaseTypes, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
sKeyShelley.Spec.Ledger.Keys, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
SlotNo 
1 (Data Constructor)Shelley.Spec.Ledger.Slot
2 (Type/Class)Shelley.Spec.Ledger.Slot
slotNoShelley.Spec.Ledger.STS.Deleg, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
slotsPerKESPeriodShelley.Spec.Ledger.BaseTypes, Shelley.Spec.Ledger.OCert, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
slotToNonceShelley.Spec.Ledger.BlockChain
SNAPShelley.Spec.Ledger.STS.Snap
SnapFailureShelley.Spec.Ledger.STS.Epoch
SnapPredicateFailureShelley.Spec.Ledger.STS.Snap
SnapShot 
1 (Type/Class)Shelley.Spec.Ledger.EpochBoundary, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
2 (Data Constructor)Shelley.Spec.Ledger.EpochBoundary, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
SnapShots 
1 (Type/Class)Shelley.Spec.Ledger.EpochBoundary, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
2 (Data Constructor)Shelley.Spec.Ledger.EpochBoundary, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
SNothingShelley.Spec.Ledger.BaseTypes, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
stabilityWindowShelley.Spec.Ledger.BaseTypes, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
Stake 
1 (Type/Class)Shelley.Spec.Ledger.EpochBoundary, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
2 (Data Constructor)Shelley.Spec.Ledger.EpochBoundary, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
StakeCredentialShelley.Spec.Ledger.Credential
stakeCredIsScriptShelley.Spec.Ledger.Address
StakeCreds 
1 (Type/Class)Shelley.Spec.Ledger.TxBody, Shelley.Spec.Ledger.Delegation.Certificates, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
2 (Data Constructor)Shelley.Spec.Ledger.TxBody, Shelley.Spec.Ledger.Delegation.Certificates, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
StakeDelegationImpossibleDELEGShelley.Spec.Ledger.STS.Deleg
stakeDistrShelley.Spec.Ledger.LedgerState
StakeKeyAlreadyRegisteredDELEGShelley.Spec.Ledger.STS.Deleg
StakeKeyInRewardsDELEGShelley.Spec.Ledger.STS.Deleg
StakeKeyNonZeroAccountBalanceDELEGShelley.Spec.Ledger.STS.Deleg
StakeKeyNotRegisteredDELEGShelley.Spec.Ledger.STS.Deleg
StakePoolShelley.Spec.Ledger.Keys, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
StakePoolCostTooLowPOOLShelley.Spec.Ledger.STS.Pool
StakePoolNotRegisteredOnKeyPOOLShelley.Spec.Ledger.STS.Pool
StakePoolRelayShelley.Spec.Ledger.TxBody, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
StakePoolRetirementWrongEpochPOOLShelley.Spec.Ledger.STS.Pool
StakeRefBaseShelley.Spec.Ledger.Credential, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
StakeReferenceShelley.Spec.Ledger.Credential, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
StakeRefNullShelley.Spec.Ledger.Credential, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
StakeRefPtrShelley.Spec.Ledger.Credential, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
StakeShare 
1 (Type/Class)Shelley.Spec.Ledger.Rewards
2 (Data Constructor)Shelley.Spec.Ledger.Rewards
StakingShelley.Spec.Ledger.Keys, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
StateShelley.Spec.Ledger.STS.Tick, Shelley.Spec.Ledger.STS.Prtcl, Shelley.Spec.Ledger.STS.Bbody
StrictMaybeShelley.Spec.Ledger.BaseTypes, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
strictMaybeToMaybeShelley.Spec.Ledger.BaseTypes
substringShelley.Spec.Ledger.CompactAddr
sumValCardano.Ledger.Val
TestnetShelley.Spec.Ledger.BaseTypes, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
textToDnsShelley.Spec.Ledger.BaseTypes
textToUrlShelley.Spec.Ledger.BaseTypes
TICKShelley.Spec.Ledger.STS.Tick, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
tickChainDepStateShelley.Spec.Ledger.API.Protocol, Shelley.Spec.Ledger.API
TICKFShelley.Spec.Ledger.STS.Tick
TickFailureShelley.Spec.Ledger.STS.Chain
TickfNewEpochFailureShelley.Spec.Ledger.STS.Tick
TickfPredicateFailureShelley.Spec.Ledger.STS.Tick
TICKNShelley.Spec.Ledger.STS.Tickn, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
TicknEnv 
1 (Type/Class)Shelley.Spec.Ledger.STS.Tickn, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
2 (Data Constructor)Shelley.Spec.Ledger.STS.Tickn, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
ticknEnvCandidateNonceShelley.Spec.Ledger.STS.Tickn, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
ticknEnvExtraEntropyShelley.Spec.Ledger.STS.Tickn, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
ticknEnvHashHeaderNonceShelley.Spec.Ledger.STS.Tickn, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
TicknFailureShelley.Spec.Ledger.STS.Chain
TicknPredicateFailureShelley.Spec.Ledger.STS.Tickn, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
TicknState 
1 (Type/Class)Shelley.Spec.Ledger.STS.Tickn, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
2 (Data Constructor)Shelley.Spec.Ledger.STS.Tickn, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
ticknStateEpochNonceShelley.Spec.Ledger.STS.Tickn, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
ticknStatePrevHashNonceShelley.Spec.Ledger.STS.Tickn, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
TickPredicateFailureShelley.Spec.Ledger.STS.Tick
TickTransitionError 
1 (Type/Class)Shelley.Spec.Ledger.API.Validation, Shelley.Spec.Ledger.API
2 (Data Constructor)Shelley.Spec.Ledger.API.Validation, Shelley.Spec.Ledger.API
toAddrShelley.Spec.Ledger.Address
ToCBORGroupShelley.Spec.Ledger.Serialization
toCBORGroupShelley.Spec.Ledger.Serialization
toCompactCardano.Ledger.Compactible
toCredShelley.Spec.Ledger.Address
toDeltaCardano.Ledger.Torsor
toDeltaCoinShelley.Spec.Ledger.Coin
TorsorCardano.Ledger.Torsor
totalAdaShelley.Spec.Ledger.STS.Chain
totalAdaESShelley.Spec.Ledger.STS.Chain
totalAdaPotsShelley.Spec.Ledger.STS.Chain
totalDepositsShelley.Spec.Ledger.UTxO
totalInstantaneousReservesRewardsShelley.Spec.Ledger.LedgerState
toWord7Shelley.Spec.Ledger.Address
translateCompactTxOutByronToShelleyShelley.Spec.Ledger.API.ByronTranslation, Shelley.Spec.Ledger.API
TranslateEraCardano.Ledger.Era
translateEraCardano.Ledger.Era
translateEra'Cardano.Ledger.Era
translateEraMaybeCardano.Ledger.Era
translateToShelleyLedgerStateShelley.Spec.Ledger.API.ByronTranslation, Shelley.Spec.Ledger.API
translateTxIdByronToShelleyShelley.Spec.Ledger.API.ByronTranslation, Shelley.Spec.Ledger.API
TranslationContextCardano.Ledger.Era
TranslationErrorCardano.Ledger.Era
TreasuryMIRShelley.Spec.Ledger.TxBody, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
truncateUnitIntervalShelley.Spec.Ledger.BaseTypes
Tx 
1 (Type/Class)Shelley.Spec.Ledger.Tx, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
2 (Data Constructor)Shelley.Spec.Ledger.Tx, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
Tx'Shelley.Spec.Ledger.Tx, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
TxBody 
1 (Type/Class)Cardano.Ledger.Core
2 (Type/Class)Shelley.Spec.Ledger.TxBody, Shelley.Spec.Ledger.Tx, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
3 (Data Constructor)Shelley.Spec.Ledger.TxBody, Shelley.Spec.Ledger.Tx, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
TxBodyConstraintsCardano.Ledger.Shelley
TxBodyYShelley.Spec.Ledger.TxBody, Shelley.Spec.Ledger.Tx, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
txFullBytesShelley.Spec.Ledger.Tx, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
TxId 
1 (Type/Class)Shelley.Spec.Ledger.TxBody, Shelley.Spec.Ledger.Tx, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
2 (Data Constructor)Shelley.Spec.Ledger.TxBody, Shelley.Spec.Ledger.Tx, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
txidShelley.Spec.Ledger.UTxO
TxIn 
1 (Type/Class)Shelley.Spec.Ledger.TxBody, Shelley.Spec.Ledger.Tx, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
2 (Data Constructor)Shelley.Spec.Ledger.TxBody, Shelley.Spec.Ledger.Tx, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
TxInCompactShelley.Spec.Ledger.TxBody, Shelley.Spec.Ledger.Tx, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
txinLookupShelley.Spec.Ledger.UTxO
txinsShelley.Spec.Ledger.UTxO
txinsScriptShelley.Spec.Ledger.UTxO
TxOut 
1 (Type/Class)Shelley.Spec.Ledger.TxBody, Shelley.Spec.Ledger.Tx, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
2 (Data Constructor)Shelley.Spec.Ledger.TxBody, Shelley.Spec.Ledger.Tx, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
TxOutCompactShelley.Spec.Ledger.TxBody, Shelley.Spec.Ledger.Tx, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
txoutsShelley.Spec.Ledger.UTxO
TxSeq 
1 (Type/Class)Shelley.Spec.Ledger.BlockChain
2 (Data Constructor)Shelley.Spec.Ledger.BlockChain
TxSeq'Shelley.Spec.Ledger.BlockChain
txSeqTxns'Shelley.Spec.Ledger.BlockChain
txsizeShelley.Spec.Ledger.LedgerState
txsizeBoundShelley.Spec.Ledger.LedgerState
txupShelley.Spec.Ledger.UTxO
txWitsBytesShelley.Spec.Ledger.Tx
txwitsScriptShelley.Spec.Ledger.Tx
unBlockNoShelley.Spec.Ledger.Slot
unBootstrapAddressShelley.Spec.Ledger.Address
unCBORGroupShelley.Spec.Ledger.Serialization
unChainCodeShelley.Spec.Ledger.Address.Bootstrap
unCoinShelley.Spec.Ledger.Coin, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
unCompactCardano.Ledger.Compactible
unDurationShelley.Spec.Ledger.Slot
unEpochNoShelley.Spec.Ledger.Slot
unEpochSizeShelley.Spec.Ledger.Slot
UnexpectedDepositPotShelley.Spec.Ledger.STS.Newpp
unGenDelegsShelley.Spec.Ledger.Keys, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
unGenesisCredentialShelley.Spec.Ledger.Credential
unGKeysShelley.Spec.Ledger.Keys
unHashBodyShelley.Spec.Ledger.BlockChain, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
unHashHeaderShelley.Spec.Ledger.BlockChain, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
unHistogramShelley.Spec.Ledger.Rewards
UnitIntervalShelley.Spec.Ledger.BaseTypes
unitIntervalFromRationalShelley.Spec.Ledger.BaseTypes
unitIntervalToRationalShelley.Spec.Ledger.BaseTypes
unKESPeriodShelley.Spec.Ledger.OCert, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
UnknownGenesisKeyOVERLAYShelley.Spec.Ledger.STS.Overlay
unLikelihoodShelley.Spec.Ledger.Rewards
unLogWeightShelley.Spec.Ledger.Rewards
unpackByronVKeyShelley.Spec.Ledger.Address.Bootstrap
unPerformanceEstimateShelley.Spec.Ledger.Rewards
unPoolDistrShelley.Spec.Ledger.Delegation.Certificates, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
UnsafeCompactAddrShelley.Spec.Ledger.CompactAddr
UnsafeHashBBodyShelley.Spec.Ledger.BlockChain, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
unsafeMetaDataHashShelley.Spec.Ledger.MetaData
unSlotNoShelley.Spec.Ledger.Slot
unStakeCredsShelley.Spec.Ledger.TxBody, Shelley.Spec.Ledger.Delegation.Certificates, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
unStakeShareShelley.Spec.Ledger.Rewards
unUTxOShelley.Spec.Ledger.UTxO, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
unVKeyShelley.Spec.Ledger.Keys, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
unWdrlShelley.Spec.Ledger.TxBody, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
unWitHashesShelley.Spec.Ledger.LedgerState, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
unwrapCborSeqShelley.Spec.Ledger.Serialization
Update 
1 (Type/Class)Shelley.Spec.Ledger.PParams, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
2 (Data Constructor)Shelley.Spec.Ledger.PParams, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
updateChainDepStateShelley.Spec.Ledger.API.Protocol, Shelley.Spec.Ledger.API
UpdateFailureShelley.Spec.Ledger.STS.Utxo
updateKESShelley.Spec.Ledger.Keys
updateNESShelley.Spec.Ledger.LedgerState
updatePParamsShelley.Spec.Ledger.PParams
updatePpupShelley.Spec.Ledger.LedgerState
UPDNShelley.Spec.Ledger.STS.Updn
UpdnEnv 
1 (Type/Class)Shelley.Spec.Ledger.STS.Updn
2 (Data Constructor)Shelley.Spec.Ledger.STS.Updn
UpdnFailureShelley.Spec.Ledger.STS.Prtcl, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
UpdnPredicateFailureShelley.Spec.Ledger.STS.Updn
UpdnState 
1 (Type/Class)Shelley.Spec.Ledger.STS.Updn
2 (Data Constructor)Shelley.Spec.Ledger.STS.Updn
UrlShelley.Spec.Ledger.BaseTypes, Shelley.Spec.Ledger.TxBody
urlToTextShelley.Spec.Ledger.BaseTypes
utcTimeFromCBORShelley.Spec.Ledger.Serialization
utcTimeToCBORShelley.Spec.Ledger.Serialization
UTXOShelley.Spec.Ledger.STS.Utxo, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
UTxO 
1 (Type/Class)Shelley.Spec.Ledger.UTxO, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
2 (Data Constructor)Shelley.Spec.Ledger.UTxO, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
UtxoEnv 
1 (Type/Class)Shelley.Spec.Ledger.STS.Utxo, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
2 (Data Constructor)Shelley.Spec.Ledger.STS.Utxo, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
UtxoFailureShelley.Spec.Ledger.STS.Utxow
UtxoPredicateFailureShelley.Spec.Ledger.STS.Utxo
UTxOState 
1 (Type/Class)Shelley.Spec.Ledger.LedgerState, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
2 (Data Constructor)Shelley.Spec.Ledger.LedgerState, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
UTXOWShelley.Spec.Ledger.STS.Utxow, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
UtxowFailureShelley.Spec.Ledger.STS.Ledger
utxoWitnessedShelley.Spec.Ledger.STS.Utxow
UtxowPredicateFailureShelley.Spec.Ledger.STS.Utxow
ValCardano.Ledger.Val
validateGenesisShelley.Spec.Ledger.Genesis, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
validateNativeMultiSigScriptShelley.Spec.Ledger.Tx
ValidateScriptShelley.Spec.Ledger.Tx
validateScriptShelley.Spec.Ledger.Tx
ValidationErrShelley.Spec.Ledger.Genesis, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
validMetaData 
1 (Function)Shelley.Spec.Ledger.MetaData
2 (Function)Shelley.Spec.Ledger.SoftForks
ValueCardano.Ledger.Core
ValueNotConservedUTxOShelley.Spec.Ledger.STS.Utxo
verifiedWitsShelley.Spec.Ledger.LedgerState
verifyBootstrapWitShelley.Spec.Ledger.Address.Bootstrap
verifyKESShelley.Spec.Ledger.Keys
verifySignedDSIGNShelley.Spec.Ledger.Keys
verifySignedKESShelley.Spec.Ledger.Keys
verifyVRFShelley.Spec.Ledger.Keys
verifyWitVKeyShelley.Spec.Ledger.UTxO
VerKeyKESShelley.Spec.Ledger.Keys, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
VerKeyVRFShelley.Spec.Ledger.Keys, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
VKey 
1 (Type/Class)Shelley.Spec.Ledger.Keys, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
2 (Data Constructor)Shelley.Spec.Ledger.Keys, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
vKeyShelley.Spec.Ledger.Keys, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
VoteForNextEpochShelley.Spec.Ledger.STS.Ppup
VoteForThisEpochShelley.Spec.Ledger.STS.Ppup
VotingPeriodShelley.Spec.Ledger.STS.Ppup
VRFCardano.Ledger.Crypto
VRFKeyBadLeaderValueShelley.Spec.Ledger.STS.Overlay
VRFKeyBadNonceShelley.Spec.Ledger.STS.Overlay
VRFKeyUnknownShelley.Spec.Ledger.STS.Overlay
VRFKeyWrongVRFKeyShelley.Spec.Ledger.STS.Overlay
VRFLeaderValueTooBigShelley.Spec.Ledger.STS.Overlay
VRFSignableShelley.Spec.Ledger.Keys
Wdrl 
1 (Type/Class)Shelley.Spec.Ledger.TxBody, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
2 (Data Constructor)Shelley.Spec.Ledger.TxBody, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
WitHashes 
1 (Type/Class)Shelley.Spec.Ledger.LedgerState, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
2 (Data Constructor)Shelley.Spec.Ledger.LedgerState, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
WithdrawalsNotInRewardsDELEGSShelley.Spec.Ledger.STS.Delegs
witKeyHashShelley.Spec.Ledger.TxBody
WitnessShelley.Spec.Ledger.Keys, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
WitnessSet 
1 (Type/Class)Shelley.Spec.Ledger.Tx, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
2 (Data Constructor)Shelley.Spec.Ledger.Tx
WitnessSetHKDShelley.Spec.Ledger.Tx
witsFromWitnessSetShelley.Spec.Ledger.LedgerState
witsVKeyNeededShelley.Spec.Ledger.LedgerState
WitVKey 
1 (Type/Class)Shelley.Spec.Ledger.TxBody, Shelley.Spec.Ledger.Tx, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
2 (Data Constructor)Shelley.Spec.Ledger.TxBody, Shelley.Spec.Ledger.Tx, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
word64ToCoinShelley.Spec.Ledger.Coin, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
Word7 
1 (Type/Class)Shelley.Spec.Ledger.Address
2 (Data Constructor)Shelley.Spec.Ledger.Address
word7sToNatShelley.Spec.Ledger.Address
word8ToNetworkShelley.Spec.Ledger.BaseTypes
WrongBlockBodySizeBBODYShelley.Spec.Ledger.STS.Bbody
WrongBlockNoPrtclSeqShelley.Spec.Ledger.STS.Prtcl, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
WrongBlockSequencePrtclSeqShelley.Spec.Ledger.STS.Prtcl, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
WrongCertificateTypeDELEGShelley.Spec.Ledger.STS.Deleg
WrongCertificateTypePOOLShelley.Spec.Ledger.STS.Pool
WrongGenesisColdKeyOVERLAYShelley.Spec.Ledger.STS.Overlay
WrongGenesisVRFKeyOVERLAYShelley.Spec.Ledger.STS.Overlay
WrongNetworkShelley.Spec.Ledger.STS.Utxo
WrongNetworkWithdrawalShelley.Spec.Ledger.STS.Utxo
WrongSlotIntervalPrtclSeqShelley.Spec.Ledger.STS.Prtcl, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
wvkBytesShelley.Spec.Ledger.TxBody, Shelley.Spec.Ledger.Tx, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
zeroCardano.Ledger.Val
_a0Shelley.Spec.Ledger.PParams, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
_bodyShelley.Spec.Ledger.Tx, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
_certsShelley.Spec.Ledger.TxBody, Shelley.Spec.Ledger.Tx, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
_dShelley.Spec.Ledger.PParams, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
_delegateeShelley.Spec.Ledger.TxBody, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
_delegationsShelley.Spec.Ledger.LedgerState, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
_delegationStateShelley.Spec.Ledger.LedgerState, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
_delegatorShelley.Spec.Ledger.TxBody, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
_depositedShelley.Spec.Ledger.LedgerState, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
_dstateShelley.Spec.Ledger.LedgerState, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
_eMaxShelley.Spec.Ledger.PParams, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
_extraEntropyShelley.Spec.Ledger.PParams, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
_feesShelley.Spec.Ledger.LedgerState, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
_fGenDelegsShelley.Spec.Ledger.LedgerState, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
_fPParamsShelley.Spec.Ledger.LedgerState, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
_genDelegsShelley.Spec.Ledger.LedgerState, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
_inputsShelley.Spec.Ledger.TxBody, Shelley.Spec.Ledger.Tx, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
_irwdShelley.Spec.Ledger.LedgerState, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
_keyDepositShelley.Spec.Ledger.PParams, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
_maxBBSizeShelley.Spec.Ledger.PParams, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
_maxBHSizeShelley.Spec.Ledger.PParams, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
_maxTxSizeShelley.Spec.Ledger.PParams, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
_mdHashShelley.Spec.Ledger.TxBody, Shelley.Spec.Ledger.Tx, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
_metadataShelley.Spec.Ledger.Tx, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
_minfeeAShelley.Spec.Ledger.PParams, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
_minfeeBShelley.Spec.Ledger.PParams, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
_minPoolCostShelley.Spec.Ledger.PParams, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
_minUTxOValueShelley.Spec.Ledger.PParams, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
_nOptShelley.Spec.Ledger.PParams, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
_outputsShelley.Spec.Ledger.TxBody, Shelley.Spec.Ledger.Tx, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
_poolCostShelley.Spec.Ledger.TxBody, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
_poolDepositShelley.Spec.Ledger.PParams, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
_poolIdShelley.Spec.Ledger.TxBody, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
_poolMarginShelley.Spec.Ledger.TxBody, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
_poolMDShelley.Spec.Ledger.TxBody, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
_poolMDHashShelley.Spec.Ledger.TxBody, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
_poolMDUrlShelley.Spec.Ledger.TxBody, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
_poolOwnersShelley.Spec.Ledger.TxBody, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
_poolPledgeShelley.Spec.Ledger.TxBody, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
_poolRAcntShelley.Spec.Ledger.TxBody, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
_poolRelaysShelley.Spec.Ledger.TxBody, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
_poolVrfShelley.Spec.Ledger.TxBody, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
_pParamsShelley.Spec.Ledger.LedgerState, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
_ppupsShelley.Spec.Ledger.LedgerState, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
_protocolVersionShelley.Spec.Ledger.PParams, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
_pstateShelley.Spec.Ledger.LedgerState, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
_ptrsShelley.Spec.Ledger.LedgerState, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
_reservesShelley.Spec.Ledger.LedgerState, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
_retiringShelley.Spec.Ledger.LedgerState, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
_rewardsShelley.Spec.Ledger.LedgerState, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
_rhoShelley.Spec.Ledger.PParams, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
_tauShelley.Spec.Ledger.PParams, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
_treasuryShelley.Spec.Ledger.LedgerState, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
_ttlShelley.Spec.Ledger.TxBody, Shelley.Spec.Ledger.Tx, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
_txfeeShelley.Spec.Ledger.TxBody, Shelley.Spec.Ledger.Tx, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
_txUpdateShelley.Spec.Ledger.TxBody, Shelley.Spec.Ledger.Tx, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
_unTxIdShelley.Spec.Ledger.TxBody, Shelley.Spec.Ledger.Tx, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
_utxoShelley.Spec.Ledger.LedgerState, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
_utxoStateShelley.Spec.Ledger.LedgerState, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
_wdrlsShelley.Spec.Ledger.TxBody, Shelley.Spec.Ledger.Tx, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
_witnessSetShelley.Spec.Ledger.Tx, Shelley.Spec.Ledger.API.Types, Shelley.Spec.Ledger.API
Shelley.Spec.Ledger.BaseTypes