cardano-ledger-shelley-1.14.1.0: Shelley Ledger Executable Model

Index

$sel:ssDelegations:SnapShotCardano.Ledger.Shelley.EpochBoundary, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
$sel:ssFee:SnapShotsCardano.Ledger.Shelley.EpochBoundary, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
$sel:ssPoolParams:SnapShotCardano.Ledger.Shelley.EpochBoundary, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
$sel:ssStake:SnapShotCardano.Ledger.Shelley.EpochBoundary, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
$sel:ssStakeGo:SnapShotsCardano.Ledger.Shelley.EpochBoundary, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
$sel:ssStakeMark:SnapShotsCardano.Ledger.Shelley.EpochBoundary, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
$sel:ssStakeMarkPoolDistr:SnapShotsCardano.Ledger.Shelley.EpochBoundary, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
$sel:ssStakeSet:SnapShotsCardano.Ledger.Shelley.EpochBoundary, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
$sel:unStake:StakeCardano.Ledger.Shelley.EpochBoundary, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
a0Cardano.Ledger.Shelley.API.Wallet, Cardano.Ledger.Shelley.API
absurdEraRuleCardano.Ledger.Shelley.Core
AccountState 
1 (Type/Class)Cardano.Ledger.Shelley.LedgerState, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
2 (Data Constructor)Cardano.Ledger.Shelley.LedgerState, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
accumRewardAnsCardano.Ledger.Shelley.RewardUpdate
acnt_Cardano.Ledger.Shelley.Rules, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
activeSlotCoeffCardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
activeStakeCardano.Ledger.Shelley.RewardProvenance
AdaPots 
1 (Type/Class)Cardano.Ledger.Shelley.AdaPots, Cardano.Ledger.Shelley.API.Wallet, Cardano.Ledger.Shelley.API
2 (Data Constructor)Cardano.Ledger.Shelley.AdaPots, Cardano.Ledger.Shelley.API.Wallet, Cardano.Ledger.Shelley.API
AdditionalGenesisConfigCardano.Ledger.Shelley.API.Genesis, Cardano.Ledger.Shelley.API, Cardano.Ledger.Shelley.API
addKeyWitnessesCardano.Ledger.Shelley.API.Wallet, Cardano.Ledger.Shelley.API
Addr 
1 (Data Constructor)Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
2 (Type/Class)Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
AddrBootstrapCardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
addrEitherShelleyTxOutLCardano.Ledger.Shelley.TxOut
addrEitherTxOutLCardano.Ledger.Shelley.Core
addrShelleyTxWitsLCardano.Ledger.Shelley.TxWits
addrTxOutLCardano.Ledger.Shelley.Core
addrTxWitsLCardano.Ledger.Shelley.Core
addrWitsCardano.Ledger.Shelley.TxWits
addrWits'Cardano.Ledger.Shelley.TxWits
addShelleyKeyWitnessesCardano.Ledger.Shelley.API.Wallet, Cardano.Ledger.Shelley.API
adoptGenesisDelegsCardano.Ledger.Shelley.Rules
aggregateCompactRewardsCardano.Ledger.Shelley.Rewards
aggregatedRewardsCardano.Ledger.Shelley.HardForks
aggregateRewardsCardano.Ledger.Shelley.Rewards
allInputsTxBodyFCardano.Ledger.Shelley.Core
allObligationsCardano.Ledger.Shelley.LedgerState
allowMIRTransferCardano.Ledger.Shelley.HardForks
ApplyBlockCardano.Ledger.Shelley.API.Validation, Cardano.Ledger.Shelley.API
applyBlockCardano.Ledger.Shelley.API.Validation, Cardano.Ledger.Shelley.API
applyBlockOptsCardano.Ledger.Shelley.API.Validation, Cardano.Ledger.Shelley.API
applyDecayCardano.Ledger.Shelley.PoolRank
applyPPUpdatesCardano.Ledger.Shelley.Core
applyRUpdCardano.Ledger.Shelley.LedgerState
applyRUpdFilteredCardano.Ledger.Shelley.LedgerState
applyTickCardano.Ledger.Shelley.API.Validation, Cardano.Ledger.Shelley.API
applyTickOptsCardano.Ledger.Shelley.API.Validation, Cardano.Ledger.Shelley.API
ApplyTxCardano.Ledger.Shelley.API.Mempool, Cardano.Ledger.Shelley.API
applyTxCardano.Ledger.Shelley.API.Mempool, Cardano.Ledger.Shelley.API
ApplyTxError 
1 (Type/Class)Cardano.Ledger.Shelley.API.Mempool, Cardano.Ledger.Shelley.API
2 (Data Constructor)Cardano.Ledger.Shelley.API.Mempool, Cardano.Ledger.Shelley.API
applyTxOptsCardano.Ledger.Shelley.API.Mempool, Cardano.Ledger.Shelley.API
applyTxsCardano.Ledger.Shelley.API.Mempool, Cardano.Ledger.Shelley.API
applyTxsTransitionCardano.Ledger.Shelley.API.Mempool, Cardano.Ledger.Shelley.API
appPerfPCardano.Ledger.Shelley.RewardProvenance
areAllAdaOnlyCardano.Ledger.Shelley.UTxO
asReservesCardano.Ledger.Shelley.LedgerState, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
asReservesLCardano.Ledger.Shelley.LedgerState
asTreasuryCardano.Ledger.Shelley.LedgerState, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
asTreasuryLCardano.Ledger.Shelley.LedgerState
AtLeastEraCardano.Ledger.Shelley.Core
atLeastEraCardano.Ledger.Shelley.Core
AtMostEraCardano.Ledger.Shelley.Core
atMostEraCardano.Ledger.Shelley.Core
auxDataHashTxBodyLCardano.Ledger.Shelley.Core
auxDataShelleyTxLCardano.Ledger.Shelley.Tx.Internal, Cardano.Ledger.Shelley.Tx
auxDataTxLCardano.Ledger.Shelley.Core
auxiliaryDataCardano.Ledger.Shelley.Tx.Internal, Cardano.Ledger.Shelley.Tx, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
availableAfterMIRCardano.Ledger.Shelley.LedgerState
BCardano.Ledger.Shelley.TxAuxData, Cardano.Ledger.Shelley.Metadata, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
BadInputsUTxOCardano.Ledger.Shelley.Rules
balanceCardano.Ledger.Shelley.UTxO, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
bbHashCardano.Ledger.Shelley.BlockChain, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
bbodyCardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
bbodyAccountCardano.Ledger.Shelley.Rules
BbodyEnv 
1 (Type/Class)Cardano.Ledger.Shelley.Rules
2 (Data Constructor)Cardano.Ledger.Shelley.Rules
bbodyPpCardano.Ledger.Shelley.Rules
bBodySizeCardano.Ledger.Shelley.Core, Cardano.Ledger.Shelley.BlockChain
BbodyStateCardano.Ledger.Shelley.Rules
bheaderCardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
Block 
1 (Data Constructor)Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
2 (Type/Class)Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
Block'Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
BlockIssuerCardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
blocksCardano.Ledger.Shelley.RewardProvenance
blocksCountCardano.Ledger.Shelley.RewardProvenance
BlockSizeTooLargeCHAINCardano.Ledger.Chain
BlockTransitionError 
1 (Type/Class)Cardano.Ledger.Shelley.API.Validation, Cardano.Ledger.Shelley.API
2 (Data Constructor)Cardano.Ledger.Shelley.API.Validation, Cardano.Ledger.Shelley.API
bodyCardano.Ledger.Shelley.Tx.Internal, Cardano.Ledger.Shelley.Tx, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
bodyShelleyTxLCardano.Ledger.Shelley.Tx.Internal, Cardano.Ledger.Shelley.Tx
bodyTxLCardano.Ledger.Shelley.Core
bootAddrShelleyTxWitsLCardano.Ledger.Shelley.TxWits
bootAddrTxOutFCardano.Ledger.Shelley.Core
bootAddrTxWitsLCardano.Ledger.Shelley.Core
bootstrapPhaseCardano.Ledger.Shelley.HardForks
bootstrapWitKeyHashCardano.Ledger.Shelley.Address.Bootstrap
BootstrapWitness 
1 (Data Constructor)Cardano.Ledger.Shelley.Address.Bootstrap, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
2 (Type/Class)Cardano.Ledger.Shelley.Address.Bootstrap, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
bootWitsCardano.Ledger.Shelley.TxWits
bwAttributesCardano.Ledger.Shelley.Address.Bootstrap, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
bwChainCodeCardano.Ledger.Shelley.Address.Bootstrap, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
bwKeyCardano.Ledger.Shelley.Address.Bootstrap, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
bwSigCardano.Ledger.Shelley.Address.Bootstrap, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
ByronEraCardano.Ledger.Shelley.Core
calculatePoolDistrCardano.Ledger.Shelley.EpochBoundary, Cardano.Ledger.Shelley.Rules, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
calculatePoolDistr'Cardano.Ledger.Shelley.EpochBoundary, Cardano.Ledger.Shelley.Rules, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
calculatePoolStakeCardano.Ledger.Shelley.EpochBoundary
CanStartFromGenesisCardano.Ledger.Shelley.API.Genesis, Cardano.Ledger.Shelley.API
ccMaxBBSizeCardano.Ledger.Chain
ccMaxBHSizeCardano.Ledger.Chain
ccProtocolVersionCardano.Ledger.Chain
certDStateCardano.Ledger.Shelley.LedgerState, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
certDStateLCardano.Ledger.Shelley.LedgerState
CertifiedVRFCardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
CertIxCardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
certIxFromIntegralCardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
certIxToIntCardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
certPStateCardano.Ledger.Shelley.LedgerState, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
certPStateLCardano.Ledger.Shelley.LedgerState
CertState 
1 (Data Constructor)Cardano.Ledger.Shelley.LedgerState, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
2 (Type/Class)Cardano.Ledger.Shelley.LedgerState, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
certsTxBodyLCardano.Ledger.Shelley.Core
certVStateCardano.Ledger.Shelley.LedgerState, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
certVStateLCardano.Ledger.Shelley.LedgerState
chainChecks 
1 (Function)Cardano.Ledger.Chain
2 (Function)Cardano.Ledger.Shelley.API.Validation, Cardano.Ledger.Shelley.API
ChainChecksPParams 
1 (Type/Class)Cardano.Ledger.Chain
2 (Data Constructor)Cardano.Ledger.Chain
ChainCode 
1 (Data Constructor)Cardano.Ledger.Shelley.Address.Bootstrap
2 (Type/Class)Cardano.Ledger.Shelley.Address.Bootstrap
ChainPredicateFailureCardano.Ledger.Chain
circulationCardano.Ledger.Shelley.LedgerState
clearRecentCardano.Ledger.Shelley.RewardUpdate
coerceKeyRoleCardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
coerceValidatedCardano.Ledger.Shelley.API.Mempool, Cardano.Ledger.Shelley.API
Coin 
1 (Data Constructor)Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
2 (Type/Class)Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
coinBalanceCardano.Ledger.Shelley.UTxO
coinTxOutLCardano.Ledger.Shelley.Core
ColdCommitteeRoleCardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
compactAddrTxOutLCardano.Ledger.Shelley.Core
compactCoinTxOutLCardano.Ledger.Shelley.Core
compactValueTxOutLCardano.Ledger.Shelley.Core
CompleteCardano.Ledger.Shelley.RewardUpdate, Cardano.Ledger.Shelley.LedgerState, Cardano.Ledger.Shelley.Rules
completeRupdCardano.Ledger.Shelley.LedgerState
completeStepCardano.Ledger.Shelley.LedgerState, Cardano.Ledger.Shelley.Rules
computeRandomnessStabilisationWindowCardano.Ledger.Shelley.StabilityWindow, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
computeStabilityWindowCardano.Ledger.Shelley.StabilityWindow, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
ConflictingMetadataHashCardano.Ledger.Shelley.Rules
conInputsCardano.Ledger.Shelley.AdaPots
conRefundsCardano.Ledger.Shelley.AdaPots
constructMetadataCardano.Ledger.Shelley.BlockChain
Consumed 
1 (Type/Class)Cardano.Ledger.Shelley.AdaPots
2 (Data Constructor)Cardano.Ledger.Shelley.AdaPots
consumedCardano.Ledger.Shelley.UTxO, Cardano.Ledger.Shelley.LedgerState
consumedTxBodyCardano.Ledger.Shelley.AdaPots
conWithdrawalsCardano.Ledger.Shelley.AdaPots
coreAuxDataBytesCardano.Ledger.Shelley.BlockChain
CorruptRewardUpdateCardano.Ledger.Shelley.Rules
costCardano.Ledger.Shelley.API.Wallet, Cardano.Ledger.Shelley.API
createInitialStateCardano.Ledger.Shelley.Transition
createRUpdCardano.Ledger.Shelley.LedgerState
CredentialCardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
credMapCardano.Ledger.Shelley.LedgerState, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
credMapLCardano.Ledger.Shelley.LedgerState
curPParamsEpochStateLCardano.Ledger.Shelley.LedgerState
curPParamsGovStateLCardano.Ledger.Shelley.Governance, Cardano.Ledger.Shelley.Core
curPParamsShelleyGovStateLCardano.Ledger.Shelley.Governance, Cardano.Ledger.Shelley.Core
dCardano.Ledger.Shelley.RewardProvenance
DataHashCardano.Ledger.Shelley.Core
dDelegateeCardano.Ledger.Shelley.TxCert, Cardano.Ledger.Shelley.Delegation.Certificates, Cardano.Ledger.Shelley.Core, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
dDelegatorCardano.Ledger.Shelley.TxCert, Cardano.Ledger.Shelley.Delegation.Certificates, Cardano.Ledger.Shelley.Core, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
decayFactorCardano.Ledger.Shelley.LedgerState
decodeWitsCardano.Ledger.Shelley.TxWits
DefinitePParamsUpdateCardano.Ledger.Shelley.Governance, Cardano.Ledger.Shelley.Core
DelegateCardano.Ledger.Shelley.TxCert, Cardano.Ledger.Shelley.Delegation.Certificates, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
DelegateeNotRegisteredDELEGCardano.Ledger.Shelley.Rules
Delegation 
1 (Data Constructor)Cardano.Ledger.Shelley.TxCert, Cardano.Ledger.Shelley.Delegation.Certificates, Cardano.Ledger.Shelley.Core, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
2 (Type/Class)Cardano.Ledger.Shelley.TxCert, Cardano.Ledger.Shelley.Delegation.Certificates, Cardano.Ledger.Shelley.Core, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
delegationsCardano.Ledger.Shelley.LedgerState
delegCWitnessCardano.Ledger.Shelley.TxCert, Cardano.Ledger.Shelley.Delegation.Certificates
DelegEnv 
1 (Type/Class)Cardano.Ledger.Shelley.Rules, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
2 (Data Constructor)Cardano.Ledger.Shelley.Rules, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
DelegFailureCardano.Ledger.Shelley.Rules
DelegNewEpochCardano.Ledger.Shelley.Rules
delegsAccountCardano.Ledger.Shelley.Rules, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
DelegsEnv 
1 (Type/Class)Cardano.Ledger.Shelley.Rules, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
2 (Data Constructor)Cardano.Ledger.Shelley.Rules, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
DelegsEventCardano.Ledger.Shelley.Rules
DelegsFailureCardano.Ledger.Shelley.Rules
delegsIxCardano.Ledger.Shelley.Rules, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
delegsppCardano.Ledger.Shelley.Rules, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
delegsSlotNoCardano.Ledger.Shelley.Rules, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
DelegStakeTxCertCardano.Ledger.Shelley.TxCert, Cardano.Ledger.Shelley.Delegation.Certificates, Cardano.Ledger.Shelley.Core
delegsTxCardano.Ledger.Shelley.Rules, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
delPlAccountCardano.Ledger.Shelley.Rules, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
delPlAcntCardano.Ledger.Shelley.Rules
DelplEnv 
1 (Type/Class)Cardano.Ledger.Shelley.Rules, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
2 (Data Constructor)Cardano.Ledger.Shelley.Rules, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
DelplEventCardano.Ledger.Shelley.Rules
DelplFailureCardano.Ledger.Shelley.Rules
delPlPpCardano.Ledger.Shelley.Rules, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
delPlPtrCardano.Ledger.Shelley.Rules, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
delplSlotNoCardano.Ledger.Shelley.Rules, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
deltaFCardano.Ledger.Shelley.RewardUpdate, Cardano.Ledger.Shelley.LedgerState, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
deltaRCardano.Ledger.Shelley.RewardUpdate, Cardano.Ledger.Shelley.LedgerState, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
deltaR1Cardano.Ledger.Shelley.RewardProvenance
deltaR2Cardano.Ledger.Shelley.RewardProvenance
deltaReservesCardano.Ledger.Shelley.LedgerState, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
DeltaRewardEventCardano.Ledger.Shelley.Rules
deltaTCardano.Ledger.Shelley.RewardUpdate, Cardano.Ledger.Shelley.LedgerState, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
deltaT1Cardano.Ledger.Shelley.RewardProvenance
deltaTreasuryCardano.Ledger.Shelley.LedgerState, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
DeRegKeyCardano.Ledger.Shelley.TxCert, Cardano.Ledger.Shelley.Delegation.Certificates, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
describeValidationErrCardano.Ledger.Shelley.Genesis, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
desirabilitiesCardano.Ledger.Shelley.RewardProvenance
Desirability 
1 (Type/Class)Cardano.Ledger.Shelley.RewardProvenance
2 (Data Constructor)Cardano.Ledger.Shelley.RewardProvenance
desirabilityCardano.Ledger.Shelley.PoolRank
desirabilityScoreCardano.Ledger.Shelley.RewardProvenance
DowngradePParamsCardano.Ledger.Shelley.Core, Cardano.Ledger.Shelley.Core
downgradePParamsCardano.Ledger.Shelley.Core
downgradePParamsUpdateCardano.Ledger.Shelley.Core
drainWithdrawalsCardano.Ledger.Shelley.Rules
DRepRoleCardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
dsFutureGenDelegsCardano.Ledger.Shelley.LedgerState, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
dsFutureGenDelegsLCardano.Ledger.Shelley.LedgerState
dsGenDelegsCardano.Ledger.Shelley.LedgerState, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
dsGenDelegsLCardano.Ledger.Shelley.LedgerState
dsIRewardsCardano.Ledger.Shelley.LedgerState, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
dsIRewardsLCardano.Ledger.Shelley.LedgerState
DState 
1 (Data Constructor)Cardano.Ledger.Shelley.LedgerState, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
2 (Type/Class)Cardano.Ledger.Shelley.LedgerState, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
dsUnifiedCardano.Ledger.Shelley.LedgerState, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
dsUnifiedLCardano.Ledger.Shelley.LedgerState
DuplicateGenesisDelegateDELEGCardano.Ledger.Shelley.Rules
DuplicateGenesisVRFDELEGCardano.Ledger.Shelley.Rules
emptyFromByronTranslationContextCardano.Ledger.Shelley.Translation
emptyGenesisStakingCardano.Ledger.Shelley.Genesis, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
emptyGovStateCardano.Ledger.Shelley.Governance, Cardano.Ledger.Shelley.Core
emptyInstantaneousRewardsCardano.Ledger.Shelley.Rules
emptyPParamsCardano.Ledger.Shelley.PParams, Cardano.Ledger.Shelley.Core
emptyPParamsUpdateCardano.Ledger.Shelley.Core
emptyPPPUpdatesCardano.Ledger.Shelley.PParams
emptyRewardUpdateCardano.Ledger.Shelley.RewardUpdate, Cardano.Ledger.Shelley.LedgerState
emptyShelleyGovStateCardano.Ledger.Shelley.Governance, Cardano.Ledger.Shelley.Core
emptyShelleyPParamsCardano.Ledger.Shelley.PParams
emptyShelleyPParamsUpdateCardano.Ledger.Shelley.PParams
emptySnapShotCardano.Ledger.Shelley.EpochBoundary
emptySnapShotsCardano.Ledger.Shelley.EpochBoundary
encodeGenesisDelegCertCardano.Ledger.Shelley.TxCert, Cardano.Ledger.Shelley.Delegation.Certificates
encodePoolCertCardano.Ledger.Shelley.TxCert, Cardano.Ledger.Shelley.Delegation.Certificates
encodeShelleyDelegCertCardano.Ledger.Shelley.TxCert, Cardano.Ledger.Shelley.Delegation.Certificates
EpochEventCardano.Ledger.Shelley.Rules
EpochFailureCardano.Ledger.Shelley.Rules
epochFromSlotCardano.Ledger.Shelley.Rules
epochInfoCardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
epochInfoRangeCardano.Ledger.Shelley.Rules
epochNoCardano.Ledger.Shelley.Rules
EpochNotLongEnoughCardano.Ledger.Shelley.Genesis, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
EpochState 
1 (Type/Class)Cardano.Ledger.Shelley.LedgerState, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
2 (Data Constructor)Cardano.Ledger.Shelley.LedgerState, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
epochStateDonationLCardano.Ledger.Shelley.LedgerState
epochStateGovStateLCardano.Ledger.Shelley.LedgerState
epochStateIncrStakeDistrLCardano.Ledger.Shelley.LedgerState
epochStatePoolParamsLCardano.Ledger.Shelley.LedgerState
epochStateRegDrepLCardano.Ledger.Shelley.LedgerState
epochStateStakeDistrLCardano.Ledger.Shelley.LedgerState
epochStateTreasuryLCardano.Ledger.Shelley.LedgerState
epochStateUMapLCardano.Ledger.Shelley.LedgerState
eqBootstrapWitnessRawCardano.Ledger.Shelley.Address.Bootstrap
eqMultiSigRawCardano.Ledger.Shelley.Scripts
EraCardano.Ledger.Shelley.Core
EraCryptoCardano.Ledger.Shelley.Core, Cardano.Ledger.Shelley.Core
eraDecoderCardano.Ledger.Shelley.Core
EraGovCardano.Ledger.Shelley.Governance, Cardano.Ledger.Shelley.Core
EraIndependentBlockBodyCardano.Ledger.Shelley.Core
EraIndependentBlockHeaderCardano.Ledger.Shelley.Core
EraIndependentDataCardano.Ledger.Shelley.Core
EraIndependentMetadataCardano.Ledger.Shelley.Core
EraIndependentPParamViewCardano.Ledger.Shelley.Core
EraIndependentScriptCardano.Ledger.Shelley.Core
EraIndependentScriptDataCardano.Ledger.Shelley.Core
EraIndependentScriptIntegrityCardano.Ledger.Shelley.Core
EraIndependentTxAuxDataCardano.Ledger.Shelley.Core
EraIndependentTxBodyCardano.Ledger.Shelley.TxBody, Cardano.Ledger.Shelley.Core
eraNameCardano.Ledger.Shelley.Core
EraPParamsCardano.Ledger.Shelley.Core
eraProtVerHighCardano.Ledger.Shelley.Core
eraProtVerLowCardano.Ledger.Shelley.Core
EraRuleCardano.Ledger.Shelley.Core
EraRuleEventCardano.Ledger.Shelley.Core
EraRuleFailureCardano.Ledger.Shelley.Core
EraScriptCardano.Ledger.Shelley.Core
EraSegWitsCardano.Ledger.Shelley.Core
EraTransitionCardano.Ledger.Shelley.Transition
EraTxCardano.Ledger.Shelley.Core
EraTxAuxDataCardano.Ledger.Shelley.Core
EraTxBodyCardano.Ledger.Shelley.Core
EraTxCertCardano.Ledger.Shelley.TxCert, Cardano.Ledger.Shelley.Delegation.Certificates, Cardano.Ledger.Shelley.Core
EraTxOutCardano.Ledger.Shelley.Core
EraTxWitsCardano.Ledger.Shelley.Core
EraUTxOCardano.Ledger.Shelley.UTxO
esAccountStateCardano.Ledger.Shelley.LedgerState, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
esAccountStateLCardano.Ledger.Shelley.LedgerState
esLStateCardano.Ledger.Shelley.LedgerState, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
esLStateLCardano.Ledger.Shelley.LedgerState
esNonMyopicCardano.Ledger.Shelley.LedgerState, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
esNonMyopicLCardano.Ledger.Shelley.LedgerState
esSnapshotsCardano.Ledger.Shelley.LedgerState, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
esSnapshotsLCardano.Ledger.Shelley.LedgerState
etaCardano.Ledger.Shelley.RewardProvenance
evalMultiSigCardano.Ledger.Shelley.Scripts
evaluateMinLovelaceOutputCardano.Ledger.Shelley.API.Wallet, Cardano.Ledger.Shelley.API
evaluateTransactionBalanceCardano.Ledger.Shelley.API.Wallet, Cardano.Ledger.Shelley.API
EventCardano.Ledger.Shelley.Rules, Cardano.Ledger.Shelley.Rules
ExactEraCardano.Ledger.Shelley.Core
expBlocksCardano.Ledger.Shelley.RewardProvenance
ExpiredUTxOCardano.Ledger.Shelley.Rules
extractTxCardano.Ledger.Shelley.API.Mempool, Cardano.Ledger.Shelley.API
ExtraneousScriptWitnessesUTXOWCardano.Ledger.Shelley.Rules
fbtcGenDelegsCardano.Ledger.Shelley.Translation
fbtcMaxLovelaceSupplyCardano.Ledger.Shelley.Translation
fbtcProtocolParamsCardano.Ledger.Shelley.Translation
feesAdaPotCardano.Ledger.Shelley.AdaPots, Cardano.Ledger.Shelley.API.Wallet, Cardano.Ledger.Shelley.API
FeeTooSmallUTxOCardano.Ledger.Shelley.Rules
feeTxBodyLCardano.Ledger.Shelley.Core
fGenDelegGenKeyHashCardano.Ledger.Shelley.LedgerState
fGenDelegSlotCardano.Ledger.Shelley.LedgerState
filterAllRewardsCardano.Ledger.Shelley.LedgerState
FilteredRewards 
1 (Type/Class)Cardano.Ledger.Shelley.LedgerState
2 (Data Constructor)Cardano.Ledger.Shelley.LedgerState
filterRewardsCardano.Ledger.Shelley.Rewards
forgoPointerAddressResolutionCardano.Ledger.Shelley.HardForks
forgoRewardPrefilterCardano.Ledger.Shelley.HardForks
FreeVars 
1 (Type/Class)Cardano.Ledger.Shelley.RewardUpdate
2 (Data Constructor)Cardano.Ledger.Shelley.RewardUpdate
FromByronTranslationContext 
1 (Type/Class)Cardano.Ledger.Shelley.Translation
2 (Data Constructor)Cardano.Ledger.Shelley.Translation
fromEraCBORCardano.Ledger.Shelley.Core
fromEraShareCBORCardano.Ledger.Shelley.Core
fromNativeScriptCardano.Ledger.Shelley.Core
fromNominalDiffTimeMicroCardano.Ledger.Shelley.Genesis, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
fromShelleyPParamsCardano.Ledger.Shelley.API.Genesis, Cardano.Ledger.Shelley.API
fromTxSeqCardano.Ledger.Shelley.Core
frRegisteredCardano.Ledger.Shelley.LedgerState
frShelleyIgnoredCardano.Ledger.Shelley.LedgerState
frTotalUnregisteredCardano.Ledger.Shelley.LedgerState
frUnregisteredCardano.Ledger.Shelley.LedgerState
FutureGenDeleg 
1 (Data Constructor)Cardano.Ledger.Shelley.LedgerState
2 (Type/Class)Cardano.Ledger.Shelley.LedgerState
FuturePParamsCardano.Ledger.Shelley.Governance, Cardano.Ledger.Shelley.Core
futurePParamsEpochStateLCardano.Ledger.Shelley.LedgerState
futurePParamsGovStateLCardano.Ledger.Shelley.Governance, Cardano.Ledger.Shelley.Core
futurePParamsShelleyGovStateLCardano.Ledger.Shelley.Governance, Cardano.Ledger.Shelley.Core
futureProposalsCardano.Ledger.Shelley.Governance, Cardano.Ledger.Shelley.Core
futureProposalsLCardano.Ledger.Shelley.Governance, Cardano.Ledger.Shelley.Core
fvAddrsRewCardano.Ledger.Shelley.RewardUpdate
fvDelegsCardano.Ledger.Shelley.RewardUpdate
fvPoolRewardInfoCardano.Ledger.Shelley.RewardUpdate
fvProtVerCardano.Ledger.Shelley.RewardUpdate
fvTotalStakeCardano.Ledger.Shelley.RewardUpdate
genDelegKeyHashCardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
GenDelegPair 
1 (Data Constructor)Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
2 (Type/Class)Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
GenDelegs 
1 (Data Constructor)Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
2 (Type/Class)Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
genDelegVrfHashCardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
genericApplyPPUpdatesCardano.Ledger.Shelley.Core
GenesisCardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
genesisCWitnessCardano.Ledger.Shelley.TxCert, Cardano.Ledger.Shelley.Delegation.Certificates
GenesisDelegateCardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
GenesisDelegCert 
1 (Type/Class)Cardano.Ledger.Shelley.TxCert, Cardano.Ledger.Shelley.Delegation.Certificates, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
2 (Data Constructor)Cardano.Ledger.Shelley.TxCert, Cardano.Ledger.Shelley.Delegation.Certificates, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
GenesisDelegTxCertCardano.Ledger.Shelley.TxCert, Cardano.Ledger.Shelley.Delegation.Certificates, Cardano.Ledger.Shelley.Core
genesisKeyHashWitnessCardano.Ledger.Shelley.TxCert, Cardano.Ledger.Shelley.Delegation.Certificates
GenesisKeyNotInMappingDELEGCardano.Ledger.Shelley.Rules
genesisStateCardano.Ledger.Shelley.LedgerState
genesisUTxOCardano.Ledger.Shelley.Genesis, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
getConsumedCoinCardano.Ledger.Shelley.UTxO
getConsumedValueCardano.Ledger.Shelley.UTxO
getDelegStakeTxCertCardano.Ledger.Shelley.TxCert, Cardano.Ledger.Shelley.Delegation.Certificates, Cardano.Ledger.Shelley.Core
getFilteredUTxOCardano.Ledger.Shelley.API.Wallet, Cardano.Ledger.Shelley.API
getGenesisDelegTxCertCardano.Ledger.Shelley.TxCert, Cardano.Ledger.Shelley.Delegation.Certificates, Cardano.Ledger.Shelley.Core
getGenesisKeyHashCountTxBodyCardano.Ledger.Shelley.Core
getGKeysCardano.Ledger.Shelley.LedgerState
getMinCoinSizedTxOutCardano.Ledger.Shelley.Core
getMinCoinTxOutCardano.Ledger.Shelley.Core
getMinFeeTxCardano.Ledger.Shelley.Core
getMinFeeTxUtxoCardano.Ledger.Shelley.UTxO
getMirTxCertCardano.Ledger.Shelley.TxCert, Cardano.Ledger.Shelley.Delegation.Certificates, Cardano.Ledger.Shelley.Core
getNativeScriptCardano.Ledger.Shelley.Core
getNonMyopicMemberRewardsCardano.Ledger.Shelley.API.Wallet, Cardano.Ledger.Shelley.API
getPoolCertTxCertCardano.Ledger.Shelley.Core
getPoolParametersCardano.Ledger.Shelley.API.Wallet, Cardano.Ledger.Shelley.API
getPoolsCardano.Ledger.Shelley.API.Wallet, Cardano.Ledger.Shelley.API
getProducedValueCardano.Ledger.Shelley.UTxO
getProposedPPUpdatesCardano.Ledger.Shelley.Governance, Cardano.Ledger.Shelley.Core
getRegPoolTxCertCardano.Ledger.Shelley.TxCert, Cardano.Ledger.Shelley.Delegation.Certificates, Cardano.Ledger.Shelley.Core
getRegTxCertCardano.Ledger.Shelley.TxCert, Cardano.Ledger.Shelley.Delegation.Certificates, Cardano.Ledger.Shelley.Core
getRequireAllOfCardano.Ledger.Shelley.Scripts
getRequireAnyOfCardano.Ledger.Shelley.Scripts
getRequireMOfCardano.Ledger.Shelley.Scripts
getRequireSignatureCardano.Ledger.Shelley.Scripts
getRetirePoolTxCertCardano.Ledger.Shelley.TxCert, Cardano.Ledger.Shelley.Delegation.Certificates, Cardano.Ledger.Shelley.Core
getRewardInfoPoolsCardano.Ledger.Shelley.API.Wallet, Cardano.Ledger.Shelley.API
getRewardProvenanceCardano.Ledger.Shelley.API.Wallet, Cardano.Ledger.Shelley.API
getRwdCredCardano.Ledger.Shelley.TxBody, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
getRwdNetworkCardano.Ledger.Shelley.TxBody, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
getScriptHashCardano.Ledger.Shelley.UTxO
getScriptsHashesNeededCardano.Ledger.Shelley.UTxO
getScriptsNeededCardano.Ledger.Shelley.UTxO
getScriptsProvidedCardano.Ledger.Shelley.UTxO
getScriptWitnessShelleyTxCertCardano.Ledger.Shelley.TxCert, Cardano.Ledger.Shelley.Delegation.Certificates
getScriptWitnessTxCertCardano.Ledger.Shelley.TxCert, Cardano.Ledger.Shelley.Delegation.Certificates, Cardano.Ledger.Shelley.Core
getShelleyGenesisKeyHashCountTxBodyCardano.Ledger.Shelley.TxBody
getShelleyMinFeeTxUtxoCardano.Ledger.Shelley.UTxO
getShelleyScriptsNeededCardano.Ledger.Shelley.UTxO
getShelleyWitsVKeyNeededCardano.Ledger.Shelley.UTxO
getShelleyWitsVKeyNeededNoGovCardano.Ledger.Shelley.UTxO
getTopRankedPoolsCardano.Ledger.Shelley.PoolRank
getTopRankedPoolsVMapCardano.Ledger.Shelley.PoolRank
getTotalDepositsTxBodyCardano.Ledger.Shelley.Core
getTotalDepositsTxCertsCardano.Ledger.Shelley.TxCert, Cardano.Ledger.Shelley.Delegation.Certificates, Cardano.Ledger.Shelley.Core
getTotalRefundsTxBodyCardano.Ledger.Shelley.Core
getTotalRefundsTxCertsCardano.Ledger.Shelley.TxCert, Cardano.Ledger.Shelley.Delegation.Certificates, Cardano.Ledger.Shelley.Core
getTotalStakeCardano.Ledger.Shelley.API.Wallet, Cardano.Ledger.Shelley.API
getUnRegTxCertCardano.Ledger.Shelley.TxCert, Cardano.Ledger.Shelley.Delegation.Certificates, Cardano.Ledger.Shelley.Core
getUTxOCardano.Ledger.Shelley.API.Wallet, Cardano.Ledger.Shelley.API
getUTxOSubsetCardano.Ledger.Shelley.API.Wallet, Cardano.Ledger.Shelley.API
getVKeyWitnessShelleyTxCertCardano.Ledger.Shelley.TxCert, Cardano.Ledger.Shelley.Delegation.Certificates
getVKeyWitnessTxCertCardano.Ledger.Shelley.TxCert, Cardano.Ledger.Shelley.Delegation.Certificates, Cardano.Ledger.Shelley.Core
getWitsVKeyNeededCardano.Ledger.Shelley.UTxO
Globals 
1 (Data Constructor)Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
2 (Type/Class)Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
GovStateCardano.Ledger.Shelley.Governance, Cardano.Ledger.Shelley.Core, Cardano.Ledger.Shelley.Core
HashCardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
hashAuxiliaryDataCardano.Ledger.Shelley.Core
hashKeyCardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
hashMultiSigScriptCardano.Ledger.Shelley.Tx.Internal, Cardano.Ledger.Shelley.Tx
hashScriptCardano.Ledger.Shelley.Core
hashScriptTxWitsLCardano.Ledger.Shelley.Core
hashShelleyTxAuxDataCardano.Ledger.Shelley.TxAuxData, Cardano.Ledger.Shelley.Metadata
hashTxAuxDataCardano.Ledger.Shelley.Core
hashTxSeqCardano.Ledger.Shelley.Core
hashVerKeyVRFCardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
hasLegalProtVerUpdateCardano.Ledger.Shelley.PParams
HeaderSizeTooLargeCHAINCardano.Ledger.Chain
Histogram 
1 (Type/Class)Cardano.Ledger.Shelley.PoolRank
2 (Data Constructor)Cardano.Ledger.Shelley.PoolRank
hitRateEstimateCardano.Ledger.Shelley.RewardProvenance
HKDCardano.Ledger.Shelley.PParams
HotCommitteeRoleCardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
ICardano.Ledger.Shelley.TxAuxData, Cardano.Ledger.Shelley.Metadata, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
Identity 
1 (Type/Class)Cardano.Ledger.Shelley.Rules
2 (Data Constructor)Cardano.Ledger.Shelley.Rules
incrBlocksCardano.Ledger.Shelley.BlockChain
IncrementalStakeCardano.Ledger.Shelley.LedgerState, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
incrementalStakeDistrCardano.Ledger.Shelley.LedgerState
individualPoolStakeCardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
initialFundsPseudoTxInCardano.Ledger.Shelley.Genesis, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
initialStateCardano.Ledger.Shelley.API.Genesis, Cardano.Ledger.Shelley.API
initialStateFromGenesisCardano.Ledger.Shelley.API.Genesis, Cardano.Ledger.Shelley.API
injectEventCardano.Ledger.Shelley.Core
injectFailureCardano.Ledger.Shelley.Core
injectIntoTestStateCardano.Ledger.Shelley.Transition
InjectRuleEventCardano.Ledger.Shelley.Core
InjectRuleFailureCardano.Ledger.Shelley.Core
InputSetEmptyUTxOCardano.Ledger.Shelley.Rules
inputsTxBodyLCardano.Ledger.Shelley.Core
InstantaneousRewards 
1 (Data Constructor)Cardano.Ledger.Shelley.LedgerState, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
2 (Type/Class)Cardano.Ledger.Shelley.LedgerState, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
InsufficientForInstantaneousRewardsDELEGCardano.Ledger.Shelley.Rules
InsufficientForTransferDELEGCardano.Ledger.Shelley.Rules
InvalidBodyHashBBODYCardano.Ledger.Shelley.Rules
InvalidMetadataCardano.Ledger.Shelley.Rules
InvalidWitnessesUTXOWCardano.Ledger.Shelley.Rules
iRReservesCardano.Ledger.Shelley.LedgerState, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
iRTreasuryCardano.Ledger.Shelley.LedgerState, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
isAdaOnlyTxOutFCardano.Ledger.Shelley.Core
isDelegationCardano.Ledger.Shelley.TxCert, Cardano.Ledger.Shelley.Delegation.Certificates
isDeRegKeyCardano.Ledger.Shelley.TxCert, Cardano.Ledger.Shelley.Delegation.Certificates
isGenesisDelegationCardano.Ledger.Shelley.TxCert, Cardano.Ledger.Shelley.Delegation.Certificates
isInstantaneousRewardsCardano.Ledger.Shelley.TxCert, Cardano.Ledger.Shelley.Delegation.Certificates
isNativeScriptCardano.Ledger.Shelley.Core
isOverlaySlotCardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
isRegKeyCardano.Ledger.Shelley.TxCert, Cardano.Ledger.Shelley.Delegation.Certificates
isRegPoolCardano.Ledger.Shelley.TxCert, Cardano.Ledger.Shelley.Delegation.Certificates
isRegStakeTxCertCardano.Ledger.Shelley.TxCert, Cardano.Ledger.Shelley.Delegation.Certificates, Cardano.Ledger.Shelley.Core
isReservesMIRCertCardano.Ledger.Shelley.TxCert, Cardano.Ledger.Shelley.Delegation.Certificates
isRetirePoolCardano.Ledger.Shelley.TxCert, Cardano.Ledger.Shelley.Delegation.Certificates
IStakeCardano.Ledger.Shelley.LedgerState, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
isTreasuryMIRCertCardano.Ledger.Shelley.TxCert, Cardano.Ledger.Shelley.Delegation.Certificates
isUnRegStakeTxCertCardano.Ledger.Shelley.TxCert, Cardano.Ledger.Shelley.Delegation.Certificates, Cardano.Ledger.Shelley.Core
KESignableCardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
keyByCardano.Ledger.Shelley.TxWits
KeyHash 
1 (Data Constructor)Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
2 (Type/Class)Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
KeyHashObjCardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
KeyPair 
1 (Data Constructor)Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
2 (Type/Class)Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
KeyPairsCardano.Ledger.Shelley.LedgerState, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
KeyRoleCardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
knownFuturePParamsCardano.Ledger.Shelley.Governance, Cardano.Ledger.Shelley.Core
LeaderOnlyReward 
1 (Type/Class)Cardano.Ledger.Shelley.Rewards
2 (Data Constructor)Cardano.Ledger.Shelley.Rewards
leaderProbabilityCardano.Ledger.Shelley.PoolRank
leaderRewCardano.Ledger.Shelley.Rewards
LeaderRewardCardano.Ledger.Shelley.Rewards, Cardano.Ledger.Shelley.Core
leaderRewardToGeneralCardano.Ledger.Shelley.Rewards
ledgerAccountCardano.Ledger.Shelley.Rules, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
LedgerEnv 
1 (Type/Class)Cardano.Ledger.Shelley.Rules, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
2 (Data Constructor)Cardano.Ledger.Shelley.Rules, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
LedgerEventCardano.Ledger.Shelley.Rules
LedgerFailureCardano.Ledger.Shelley.Rules
ledgerIxCardano.Ledger.Shelley.Rules, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
ledgerMempoolCardano.Ledger.Shelley.Rules, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
ledgerPpCardano.Ledger.Shelley.Rules, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
ledgersAccountCardano.Ledger.Shelley.Rules, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
LedgersEnvCardano.Ledger.Shelley.Rules, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
LedgersEventCardano.Ledger.Shelley.Rules
LedgersFailureCardano.Ledger.Shelley.Rules
ledgerSlotNoCardano.Ledger.Shelley.Rules, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
ledgersPpCardano.Ledger.Shelley.Rules, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
ledgersSlotNoCardano.Ledger.Shelley.Rules, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
LedgerState 
1 (Type/Class)Cardano.Ledger.Shelley.LedgerState, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
2 (Data Constructor)Cardano.Ledger.Shelley.LedgerState, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
liftCardano.Ledger.Shelley.Rules
Likelihood 
1 (Type/Class)Cardano.Ledger.Shelley.PoolRank
2 (Data Constructor)Cardano.Ledger.Shelley.PoolRank
likelihoodCardano.Ledger.Shelley.PoolRank
likelihoodsNMCardano.Ledger.Shelley.PoolRank
ListCardano.Ledger.Shelley.TxAuxData, Cardano.Ledger.Shelley.Metadata, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
LogWeight 
1 (Type/Class)Cardano.Ledger.Shelley.PoolRank
2 (Data Constructor)Cardano.Ledger.Shelley.PoolRank
lookupRegStakeTxCertCardano.Ledger.Shelley.TxCert, Cardano.Ledger.Shelley.Delegation.Certificates, Cardano.Ledger.Shelley.Core
lookupUnRegStakeTxCertCardano.Ledger.Shelley.TxCert, Cardano.Ledger.Shelley.Delegation.Certificates, Cardano.Ledger.Shelley.Core
lRewardAmountCardano.Ledger.Shelley.Rewards
lRewardPCardano.Ledger.Shelley.RewardProvenance
lRewardPoolCardano.Ledger.Shelley.Rewards
lsCertStateCardano.Ledger.Shelley.LedgerState, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
lsCertStateLCardano.Ledger.Shelley.LedgerState
lsUTxOStateCardano.Ledger.Shelley.LedgerState, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
lsUTxOStateLCardano.Ledger.Shelley.LedgerState
MainnetCardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
makeBootstrapWitnessCardano.Ledger.Shelley.Address.Bootstrap
makePParamMapCardano.Ledger.Shelley.Core
MapCardano.Ledger.Shelley.TxAuxData, Cardano.Ledger.Shelley.Metadata, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
mapPParamsCardano.Ledger.Shelley.Core
mapPParamsUpdateCardano.Ledger.Shelley.Core
mapTraverseableDecoderACardano.Ledger.Shelley.TxWits
marginCardano.Ledger.Shelley.API.Wallet, Cardano.Ledger.Shelley.API
maxKESEvoCardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
MaxKESEvolutionsUnsupportedCardano.Ledger.Shelley.Genesis, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
maxLLCardano.Ledger.Shelley.RewardProvenance
maxLovelaceSupplyCardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
maxPoolCardano.Ledger.Shelley.EpochBoundary
maxPool'Cardano.Ledger.Shelley.EpochBoundary
maxPPCardano.Ledger.Shelley.RewardProvenance
MaxTxSizeUTxOCardano.Ledger.Shelley.Rules
memberRewCardano.Ledger.Shelley.Rewards
MemberRewardCardano.Ledger.Shelley.Rewards, Cardano.Ledger.Shelley.Core
MempoolEnvCardano.Ledger.Shelley.API.Mempool, Cardano.Ledger.Shelley.API
MempoolStateCardano.Ledger.Shelley.API.Mempool, Cardano.Ledger.Shelley.API
MetadataCardano.Ledger.Shelley.TxAuxData, Cardano.Ledger.Shelley.Metadata, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
metadataTxAuxDataLCardano.Ledger.Shelley.Core
MetadatumCardano.Ledger.Shelley.TxAuxData, Cardano.Ledger.Shelley.Metadata, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
MIRCert 
1 (Type/Class)Cardano.Ledger.Shelley.TxCert, Cardano.Ledger.Shelley.Delegation.Certificates, Cardano.Ledger.Shelley.Core, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
2 (Data Constructor)Cardano.Ledger.Shelley.TxCert, Cardano.Ledger.Shelley.Delegation.Certificates, Cardano.Ledger.Shelley.Core, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
MIRCertificateTooLateinEpochDELEGCardano.Ledger.Shelley.Rules
MirEventCardano.Ledger.Shelley.Rules
MirFailureCardano.Ledger.Shelley.Rules
MIRInsufficientGenesisSigsUTXOWCardano.Ledger.Shelley.Rules
MIRNegativesNotCurrentlyAllowedCardano.Ledger.Shelley.Rules
MIRNegativeTransferCardano.Ledger.Shelley.Rules
MIRPotCardano.Ledger.Shelley.TxCert, Cardano.Ledger.Shelley.Delegation.Certificates, Cardano.Ledger.Shelley.Core, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
mirPotCardano.Ledger.Shelley.TxCert, Cardano.Ledger.Shelley.Delegation.Certificates, Cardano.Ledger.Shelley.Core, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
MIRProducesNegativeUpdateCardano.Ledger.Shelley.Rules
mirRewardsCardano.Ledger.Shelley.TxCert, Cardano.Ledger.Shelley.Delegation.Certificates, Cardano.Ledger.Shelley.Core, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
MIRTargetCardano.Ledger.Shelley.TxCert, Cardano.Ledger.Shelley.Delegation.Certificates, Cardano.Ledger.Shelley.Core, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
MirTransferCardano.Ledger.Shelley.Rules
MIRTransferNotCurrentlyAllowedCardano.Ledger.Shelley.Rules
MirTxCertCardano.Ledger.Shelley.TxCert, Cardano.Ledger.Shelley.Delegation.Certificates, Cardano.Ledger.Shelley.Core
MissingScriptWitnessesUTXOWCardano.Ledger.Shelley.Rules
MissingTxBodyMetadataHashCardano.Ledger.Shelley.Rules
MissingTxMetadataCardano.Ledger.Shelley.Rules
MissingVKeyWitnessesUTXOWCardano.Ledger.Shelley.Rules
mkApparentPerformanceCardano.Ledger.Shelley.Rewards
mkBasicShelleyTxCardano.Ledger.Shelley.Tx.Internal, Cardano.Ledger.Shelley.Tx
mkBasicTxCardano.Ledger.Shelley.Core
mkBasicTxAuxDataCardano.Ledger.Shelley.Core
mkBasicTxBodyCardano.Ledger.Shelley.Core
mkBasicTxOutCardano.Ledger.Shelley.Core
mkBasicTxWitsCardano.Ledger.Shelley.Core
mkCoinTxOutCardano.Ledger.Shelley.Core
mkDelegStakeTxCertCardano.Ledger.Shelley.TxCert, Cardano.Ledger.Shelley.Delegation.Certificates, Cardano.Ledger.Shelley.Core
mkGenesisDelegTxCertCardano.Ledger.Shelley.TxCert, Cardano.Ledger.Shelley.Delegation.Certificates, Cardano.Ledger.Shelley.Core
mkMempoolEnvCardano.Ledger.Shelley.API.Mempool, Cardano.Ledger.Shelley.API
mkMempoolStateCardano.Ledger.Shelley.API.Mempool, Cardano.Ledger.Shelley.API
mkMirTxCertCardano.Ledger.Shelley.TxCert, Cardano.Ledger.Shelley.Delegation.Certificates, Cardano.Ledger.Shelley.Core
mkPoolRewardInfoCardano.Ledger.Shelley.Rewards
mkRegPoolTxCertCardano.Ledger.Shelley.TxCert, Cardano.Ledger.Shelley.Delegation.Certificates, Cardano.Ledger.Shelley.Core
mkRegTxCertCardano.Ledger.Shelley.TxCert, Cardano.Ledger.Shelley.Delegation.Certificates, Cardano.Ledger.Shelley.Core
mkRequireAllOfCardano.Ledger.Shelley.Scripts
mkRequireAnyOfCardano.Ledger.Shelley.Scripts
mkRequireMOfCardano.Ledger.Shelley.Scripts
mkRequireSignatureCardano.Ledger.Shelley.Scripts
mkRetirePoolTxCertCardano.Ledger.Shelley.TxCert, Cardano.Ledger.Shelley.Delegation.Certificates, Cardano.Ledger.Shelley.Core
mkShelleyGlobalsCardano.Ledger.Shelley.Genesis, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
mkShelleyTransitionConfigCardano.Ledger.Shelley.Transition
mkTransitionConfigCardano.Ledger.Shelley.Transition
mkUnRegTxCertCardano.Ledger.Shelley.TxCert, Cardano.Ledger.Shelley.Delegation.Certificates, Cardano.Ledger.Shelley.Core
MultiHostNameCardano.Ledger.Shelley.PoolParams, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
MultiSigCardano.Ledger.Shelley.Scripts, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
MultiSigRawCardano.Ledger.Shelley.Scripts
nativeMultiSigTagCardano.Ledger.Shelley.Scripts, Cardano.Ledger.Shelley
NativeScriptCardano.Ledger.Shelley.Core, Cardano.Ledger.Shelley.Core
neCertStateCardano.Ledger.Shelley.Rules
nesBcurCardano.Ledger.Shelley.LedgerState, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
nesBcurLCardano.Ledger.Shelley.LedgerState
nesBprevCardano.Ledger.Shelley.LedgerState, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
nesBprevLCardano.Ledger.Shelley.LedgerState
nesELCardano.Ledger.Shelley.LedgerState, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
nesELLCardano.Ledger.Shelley.LedgerState
nesEpochStateLCardano.Ledger.Shelley.LedgerState
nesEsCardano.Ledger.Shelley.LedgerState, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
nesEsLCardano.Ledger.Shelley.LedgerState
nesPdCardano.Ledger.Shelley.LedgerState, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
nesPdLCardano.Ledger.Shelley.LedgerState
nesRuCardano.Ledger.Shelley.LedgerState, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
nesRuLCardano.Ledger.Shelley.LedgerState
nesStashedAVVMAddressesLCardano.Ledger.Shelley.LedgerState
NetworkCardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
networkIdCardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
NeutralNonceCardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
neUTxOStateCardano.Ledger.Shelley.Rules
NewEpochFailureCardano.Ledger.Shelley.Rules
NewEpochState 
1 (Type/Class)Cardano.Ledger.Shelley.LedgerState, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
2 (Data Constructor)Cardano.Ledger.Shelley.LedgerState, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
newEpochStateGovStateLCardano.Ledger.Shelley.LedgerState
NewppEnv 
1 (Type/Class)Cardano.Ledger.Shelley.Rules
2 (Data Constructor)Cardano.Ledger.Shelley.Rules
NewPpFailureCardano.Ledger.Shelley.Rules
NewppStateCardano.Ledger.Shelley.Rules
nextEpochPParamsCardano.Ledger.Shelley.Governance, Cardano.Ledger.Shelley.Core
nextEpochUpdatedPParamsCardano.Ledger.Shelley.Governance, Cardano.Ledger.Shelley.Core
NominalDiffTimeMicro 
1 (Type/Class)Cardano.Ledger.Shelley.Genesis, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
2 (Data Constructor)Cardano.Ledger.Shelley.Genesis, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
nominalDiffTimeMicroToMicrosecondsCardano.Ledger.Shelley.Genesis, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
nominalDiffTimeMicroToSecondsCardano.Ledger.Shelley.Genesis, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
NoMirTransferCardano.Ledger.Shelley.Rules
Nonce 
1 (Data Constructor)Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
2 (Type/Class)Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
NonGenesisUpdatePPUPCardano.Ledger.Shelley.Rules
NonMyopic 
1 (Type/Class)Cardano.Ledger.Shelley.PoolRank, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
2 (Data Constructor)Cardano.Ledger.Shelley.PoolRank
nonMyopicCardano.Ledger.Shelley.RewardUpdate, Cardano.Ledger.Shelley.LedgerState, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
nonMyopicMemberRewCardano.Ledger.Shelley.PoolRank
nonMyopicStakeCardano.Ledger.Shelley.PoolRank
NoPParamsUpdateCardano.Ledger.Shelley.Governance, Cardano.Ledger.Shelley.Core
nOptCardano.Ledger.Shelley.API.Wallet, Cardano.Ledger.Shelley.API
notSupportedInThisEraCardano.Ledger.Shelley.Core
notSupportedInThisEraLCardano.Ledger.Shelley.Core
numSegComponentsCardano.Ledger.Shelley.Core
obligationGovStateCardano.Ledger.Shelley.Governance, Cardano.Ledger.Shelley.Core
obligationsPotCardano.Ledger.Shelley.AdaPots, Cardano.Ledger.Shelley.API.Wallet, Cardano.Ledger.Shelley.API
ObsoleteNodeCHAINCardano.Ledger.Chain
OutputBootAddrAttrsTooBigCardano.Ledger.Shelley.Rules
outputsTxBodyLCardano.Ledger.Shelley.Core
OutputTooSmallUTxOCardano.Ledger.Shelley.Rules
overNewEpochStateCardano.Ledger.Shelley.API.Mempool, Cardano.Ledger.Shelley.API
ownerPledgeCardano.Ledger.Shelley.API.Wallet, Cardano.Ledger.Shelley.API
ownerStakeCardano.Ledger.Shelley.API.Wallet, Cardano.Ledger.Shelley.API
ownerStakePCardano.Ledger.Shelley.RewardProvenance
PaymentCardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
payPoolDepositCardano.Ledger.Shelley.LedgerState
pdTotalActiveStakeCardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
percentile'Cardano.Ledger.Shelley.PoolRank
PerformanceEstimate 
1 (Type/Class)Cardano.Ledger.Shelley.PoolRank
2 (Data Constructor)Cardano.Ledger.Shelley.PoolRank
performanceEstimateCardano.Ledger.Shelley.API.Wallet, Cardano.Ledger.Shelley.API
pledgeRatioPCardano.Ledger.Shelley.RewardProvenance
pmHashCardano.Ledger.Shelley.PoolParams, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
pmUrlCardano.Ledger.Shelley.PoolParams, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
poolBlocksCardano.Ledger.Shelley.Rewards
poolBlocksPCardano.Ledger.Shelley.RewardProvenance
PoolCertCardano.Ledger.Shelley.TxCert, Cardano.Ledger.Shelley.Delegation.Certificates, Cardano.Ledger.Shelley.Core, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
poolCertKeyHashWitnessCardano.Ledger.Shelley.Core
poolCWitnessCardano.Ledger.Shelley.TxCert, Cardano.Ledger.Shelley.Delegation.Certificates, Cardano.Ledger.Shelley.Core
PoolDistr 
1 (Data Constructor)Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
2 (Type/Class)Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
PoolEnv 
1 (Type/Class)Cardano.Ledger.Shelley.Rules, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
2 (Data Constructor)Cardano.Ledger.Shelley.Rules, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
PoolEventCardano.Ledger.Shelley.Rules
PoolFailureCardano.Ledger.Shelley.Rules
poolLeaderRewardCardano.Ledger.Shelley.Rewards
PoolMedataHashTooBigCardano.Ledger.Shelley.Rules
PoolMetadata 
1 (Data Constructor)Cardano.Ledger.Shelley.PoolParams, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
2 (Type/Class)Cardano.Ledger.Shelley.PoolParams, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
PoolParams 
1 (Data Constructor)Cardano.Ledger.Shelley.PoolParams, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
2 (Type/Class)Cardano.Ledger.Shelley.PoolParams, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
poolParamsPCardano.Ledger.Shelley.RewardProvenance
poolPotCardano.Ledger.Shelley.Rewards
poolPsCardano.Ledger.Shelley.Rewards
PoolReapEventCardano.Ledger.Shelley.Rules
PoolReapFailureCardano.Ledger.Shelley.Rules
PoolreapStateCardano.Ledger.Shelley.Rules
poolRelativeStakeCardano.Ledger.Shelley.Rewards
PoolRewardInfo 
1 (Type/Class)Cardano.Ledger.Shelley.Rewards
2 (Data Constructor)Cardano.Ledger.Shelley.Rewards
poolRPCardano.Ledger.Shelley.RewardProvenance
poolsCardano.Ledger.Shelley.RewardProvenance
poolsByTotalStakeFractionCardano.Ledger.Shelley.API.Wallet, Cardano.Ledger.Shelley.API
poolStakeCardano.Ledger.Shelley.EpochBoundary
poolTxCertDecoderCardano.Ledger.Shelley.TxCert, Cardano.Ledger.Shelley.Delegation.Certificates
Port 
1 (Data Constructor)Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
2 (Type/Class)Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
portToWord16Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
PotentialPParamsUpdateCardano.Ledger.Shelley.Governance, Cardano.Ledger.Shelley.Core
ppA0LCardano.Ledger.Shelley.Core
PParam 
1 (Data Constructor)Cardano.Ledger.Shelley.Core
2 (Type/Class)Cardano.Ledger.Shelley.Core
PParams 
1 (Data Constructor)Cardano.Ledger.Shelley.Core
2 (Type/Class)Cardano.Ledger.Shelley.Core
PParamsHKDCardano.Ledger.Shelley.Core, Cardano.Ledger.Shelley.Core
pparamsToChainChecksPParamsCardano.Ledger.Chain
PParamsUpdate 
1 (Data Constructor)Cardano.Ledger.Shelley.Core
2 (Type/Class)Cardano.Ledger.Shelley.Core
ppCostCardano.Ledger.Shelley.PoolParams, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
ppDECardano.Ledger.Shelley.Rules, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
ppDGCardano.Ledger.Shelley.Core
ppDLCardano.Ledger.Shelley.Core
ppEMaxLCardano.Ledger.Shelley.Core
ppExtraEntropyLCardano.Ledger.Shelley.Core
ppIdCardano.Ledger.Shelley.PoolParams, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
ppKeyDepositLCardano.Ledger.Shelley.Core
ppLensCardano.Ledger.Shelley.Core
ppMarginCardano.Ledger.Shelley.PoolParams, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
ppMaxBBSizeLCardano.Ledger.Shelley.Core
ppMaxBHSizeLCardano.Ledger.Shelley.Core
ppMaxTxSizeLCardano.Ledger.Shelley.Core
ppMetadataCardano.Ledger.Shelley.PoolParams, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
ppMinFeeALCardano.Ledger.Shelley.Core
ppMinFeeBLCardano.Ledger.Shelley.Core
ppMinPoolCostLCardano.Ledger.Shelley.Core
ppMinUTxOValueLCardano.Ledger.Shelley.Core
ppNOptLCardano.Ledger.Shelley.Core
ppOwnersCardano.Ledger.Shelley.PoolParams, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
ppPledgeCardano.Ledger.Shelley.PoolParams, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
ppPoolDepositLCardano.Ledger.Shelley.Core
ppProtocolVersionLCardano.Ledger.Shelley.Core
ppRelaysCardano.Ledger.Shelley.PoolParams, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
ppRewardAccountCardano.Ledger.Shelley.PoolParams, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
ppRewardAcntCardano.Ledger.Shelley.PoolParams
ppRhoLCardano.Ledger.Shelley.Core
ppTauLCardano.Ledger.Shelley.Core
ppuA0LCardano.Ledger.Shelley.Core
ppuDLCardano.Ledger.Shelley.Core
ppuEMaxLCardano.Ledger.Shelley.Core
ppuExtraEntropyLCardano.Ledger.Shelley.Core
ppuKeyDepositLCardano.Ledger.Shelley.Core
ppuLensCardano.Ledger.Shelley.Core
ppuMaxBBSizeLCardano.Ledger.Shelley.Core
ppuMaxBHSizeLCardano.Ledger.Shelley.Core
ppuMaxTxSizeLCardano.Ledger.Shelley.Core
ppuMinFeeALCardano.Ledger.Shelley.Core
ppuMinFeeBLCardano.Ledger.Shelley.Core
ppuMinPoolCostLCardano.Ledger.Shelley.Core
ppuMinUTxOValueLCardano.Ledger.Shelley.Core
ppuNOptLCardano.Ledger.Shelley.Core
PPUpdateEnv 
1 (Type/Class)Cardano.Ledger.Shelley.PParams
2 (Data Constructor)Cardano.Ledger.Shelley.PParams
PPUpdateWrongEpochCardano.Ledger.Shelley.Rules
PPUPEnvCardano.Ledger.Shelley.Rules, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
PpupEnvCardano.Ledger.Shelley.Rules, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
PpupEventCardano.Ledger.Shelley.Rules
PpupNewEpochCardano.Ledger.Shelley.Rules
ppuPoolDepositLCardano.Ledger.Shelley.Core
PPUPPredFailureCardano.Ledger.Shelley.LedgerState, Cardano.Ledger.Shelley.Rules
ppuProtocolVersionLCardano.Ledger.Shelley.Core
ppuRhoLCardano.Ledger.Shelley.Core
ppuTauLCardano.Ledger.Shelley.Core
ppVrfCardano.Ledger.Shelley.PoolParams, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
prAccountStateCardano.Ledger.Shelley.Rules
prAcntCardano.Ledger.Shelley.Rules
prDStateCardano.Ledger.Shelley.Rules
PredicateFailureCardano.Ledger.Shelley.Rules, Cardano.Ledger.Shelley.Rules
PreviousEraCardano.Ledger.Shelley.Core, Cardano.Ledger.Shelley.Core
prevPParamsEpochStateLCardano.Ledger.Shelley.LedgerState
prevPParamsGovStateLCardano.Ledger.Shelley.Governance, Cardano.Ledger.Shelley.Core
prevPParamsShelleyGovStateLCardano.Ledger.Shelley.Governance, Cardano.Ledger.Shelley.Core
proDepositsCardano.Ledger.Shelley.AdaPots
Produced 
1 (Type/Class)Cardano.Ledger.Shelley.AdaPots
2 (Data Constructor)Cardano.Ledger.Shelley.AdaPots
producedCardano.Ledger.Shelley.UTxO, Cardano.Ledger.Shelley.LedgerState
producedTxBodyCardano.Ledger.Shelley.AdaPots
produceEqualsConsumedCardano.Ledger.Shelley.Rules.Reports
proFeesCardano.Ledger.Shelley.AdaPots
proOutputsCardano.Ledger.Shelley.AdaPots
proposalsCardano.Ledger.Shelley.Governance, Cardano.Ledger.Shelley.Core
proposalsLCardano.Ledger.Shelley.Governance, Cardano.Ledger.Shelley.Core
ProposedPPUpdates 
1 (Type/Class)Cardano.Ledger.Shelley.PParams, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
2 (Data Constructor)Cardano.Ledger.Shelley.PParams, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
propWitsCardano.Ledger.Shelley.Rules
protectMainnetCardano.Ledger.Shelley.Transition
protectMainnetLensCardano.Ledger.Shelley.Transition
ProtVer 
1 (Data Constructor)Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
2 (Type/Class)Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
ProtVerAtLeastCardano.Ledger.Shelley.Core
ProtVerAtMostCardano.Ledger.Shelley.Core
ProtVerHighCardano.Ledger.Shelley.Core, Cardano.Ledger.Shelley.Core
ProtVerInBoundsCardano.Ledger.Shelley.Core
ProtVerLowCardano.Ledger.Shelley.Core, Cardano.Ledger.Shelley.Core
prPStateCardano.Ledger.Shelley.Rules
prUTxOStCardano.Ledger.Shelley.Rules
psDepositsCardano.Ledger.Shelley.LedgerState, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
psDepositsLCardano.Ledger.Shelley.LedgerState
psFutureStakePoolParamsCardano.Ledger.Shelley.LedgerState, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
psFutureStakePoolParamsLCardano.Ledger.Shelley.LedgerState
psRetiringCardano.Ledger.Shelley.LedgerState, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
psRetiringLCardano.Ledger.Shelley.LedgerState
psStakePoolParamsCardano.Ledger.Shelley.LedgerState, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
psStakePoolParamsLCardano.Ledger.Shelley.LedgerState
PState 
1 (Data Constructor)Cardano.Ledger.Shelley.LedgerState, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
2 (Type/Class)Cardano.Ledger.Shelley.LedgerState, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
Ptr 
1 (Data Constructor)Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
2 (Type/Class)Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
ptrMapCardano.Ledger.Shelley.LedgerState, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
ptrMapLCardano.Ledger.Shelley.LedgerState
ptrsMapCardano.Ledger.Shelley.LedgerState
ptr_Cardano.Ledger.Shelley.Rules, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
PulserCardano.Ledger.Shelley.RewardUpdate
pulseStepCardano.Ledger.Shelley.LedgerState, Cardano.Ledger.Shelley.Rules
PulsingCardano.Ledger.Shelley.RewardUpdate, Cardano.Ledger.Shelley.LedgerState, Cardano.Ledger.Shelley.Rules
PulsingRewUpdateCardano.Ledger.Shelley.RewardUpdate, Cardano.Ledger.Shelley.LedgerState, Cardano.Ledger.Shelley.Rules
pvCanFollowCardano.Ledger.Shelley.PParams, Cardano.Ledger.Shelley.LedgerState
PVCannotFollowPPUPCardano.Ledger.Shelley.Rules
pvMajorCardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
pvMinorCardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
quorumCardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
QuorumTooSmallCardano.Ledger.Shelley.Genesis, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
rCardano.Ledger.Shelley.RewardProvenance
raCredentialCardano.Ledger.Shelley.TxBody, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
randomnessStabilisationWindowCardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
raNetworkCardano.Ledger.Shelley.TxBody, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
reapplyBlockCardano.Ledger.Shelley.API.Validation, Cardano.Ledger.Shelley.API
reapplyTxCardano.Ledger.Shelley.API.Mempool, Cardano.Ledger.Shelley.API
recentRewardAnsCardano.Ledger.Shelley.RewardUpdate
refundPoolDepositCardano.Ledger.Shelley.LedgerState
refundPoolsCardano.Ledger.Shelley.Rules
registerInitialFundsThenStakingCardano.Ledger.Shelley.Transition
RegisterPoolCardano.Ledger.Shelley.Rules
RegKeyCardano.Ledger.Shelley.TxCert, Cardano.Ledger.Shelley.Delegation.Certificates, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
RegPoolCardano.Ledger.Shelley.TxCert, Cardano.Ledger.Shelley.Delegation.Certificates, Cardano.Ledger.Shelley.Core, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
RegPoolTxCertCardano.Ledger.Shelley.TxCert, Cardano.Ledger.Shelley.Delegation.Certificates, Cardano.Ledger.Shelley.Core
RegTxCertCardano.Ledger.Shelley.TxCert, Cardano.Ledger.Shelley.Delegation.Certificates, Cardano.Ledger.Shelley.Core
renderDepositEqualsObligationViolationCardano.Ledger.Shelley.Rules
RequireAllOfCardano.Ledger.Shelley.Scripts
RequireAnyOfCardano.Ledger.Shelley.Scripts
RequireMOfCardano.Ledger.Shelley.Scripts
RequireSignatureCardano.Ledger.Shelley.Scripts
requiresVKeyWitnessCardano.Ledger.Shelley.TxCert, Cardano.Ledger.Shelley.Delegation.Certificates
ReregisterPoolCardano.Ledger.Shelley.Rules
reservesAdaPotCardano.Ledger.Shelley.AdaPots, Cardano.Ledger.Shelley.API.Wallet, Cardano.Ledger.Shelley.API
ReservesMIRCardano.Ledger.Shelley.TxCert, Cardano.Ledger.Shelley.Delegation.Certificates, Cardano.Ledger.Shelley.Core, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
RestrainedRewardsCardano.Ledger.Shelley.Rules
restrictPoolMetadataHashCardano.Ledger.Shelley.SoftForks
RetiredPoolsCardano.Ledger.Shelley.Rules
RetirePoolCardano.Ledger.Shelley.TxCert, Cardano.Ledger.Shelley.Delegation.Certificates, Cardano.Ledger.Shelley.Core, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
RetirePoolTxCertCardano.Ledger.Shelley.TxCert, Cardano.Ledger.Shelley.Delegation.Certificates, Cardano.Ledger.Shelley.Core
returnRedeemAddrsToReservesCardano.Ledger.Shelley.LedgerState
Reward 
1 (Data Constructor)Cardano.Ledger.Shelley.Rewards, Cardano.Ledger.Shelley.Core
2 (Type/Class)Cardano.Ledger.Shelley.Rewards, Cardano.Ledger.Shelley.Core
RewardAccount 
1 (Data Constructor)Cardano.Ledger.Shelley.TxBody, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
2 (Type/Class)Cardano.Ledger.Shelley.TxBody, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
RewardAccountsCardano.Ledger.Shelley.LedgerState
RewardAcnt 
1 (Data Constructor)Cardano.Ledger.Shelley.TxBody, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
2 (Type/Class)Cardano.Ledger.Shelley.TxBody, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
rewardAmountCardano.Ledger.Shelley.Rewards, Cardano.Ledger.Shelley.Core
RewardAns 
1 (Type/Class)Cardano.Ledger.Shelley.RewardUpdate
2 (Data Constructor)Cardano.Ledger.Shelley.RewardUpdate
RewardEventCardano.Ledger.Shelley.RewardUpdate
RewardInfoPool 
1 (Type/Class)Cardano.Ledger.Shelley.API.Wallet, Cardano.Ledger.Shelley.API
2 (Data Constructor)Cardano.Ledger.Shelley.API.Wallet, Cardano.Ledger.Shelley.API
rewardOnePoolMemberCardano.Ledger.Shelley.Rewards
RewardParams 
1 (Type/Class)Cardano.Ledger.Shelley.API.Wallet, Cardano.Ledger.Shelley.API
2 (Data Constructor)Cardano.Ledger.Shelley.API.Wallet, Cardano.Ledger.Shelley.API
rewardPoolCardano.Ledger.Shelley.Rewards, Cardano.Ledger.Shelley.Core
rewardPotNMCardano.Ledger.Shelley.PoolRank
RewardProvenance 
1 (Type/Class)Cardano.Ledger.Shelley.RewardProvenance
2 (Data Constructor)Cardano.Ledger.Shelley.RewardProvenance
RewardProvenancePool 
1 (Type/Class)Cardano.Ledger.Shelley.RewardProvenance
2 (Data Constructor)Cardano.Ledger.Shelley.RewardProvenance
RewardPulserCardano.Ledger.Shelley.RewardUpdate
rewardsCardano.Ledger.Shelley.LedgerState
rewardsAdaPotCardano.Ledger.Shelley.AdaPots, Cardano.Ledger.Shelley.API.Wallet, Cardano.Ledger.Shelley.API
RewardSnapShot 
1 (Type/Class)Cardano.Ledger.Shelley.RewardUpdate, Cardano.Ledger.Shelley.LedgerState
2 (Data Constructor)Cardano.Ledger.Shelley.RewardUpdate, Cardano.Ledger.Shelley.LedgerState
rewardStakePoolMemberCardano.Ledger.Shelley.RewardUpdate
RewardTypeCardano.Ledger.Shelley.Rewards, Cardano.Ledger.Shelley.Core
rewardTypeCardano.Ledger.Shelley.Rewards, Cardano.Ledger.Shelley.Core
RewardUpdate 
1 (Type/Class)Cardano.Ledger.Shelley.RewardUpdate, Cardano.Ledger.Shelley.LedgerState, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
2 (Data Constructor)Cardano.Ledger.Shelley.RewardUpdate, Cardano.Ledger.Shelley.LedgerState, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
rewDeltaR1Cardano.Ledger.Shelley.RewardUpdate, Cardano.Ledger.Shelley.LedgerState
rewDeltaT1Cardano.Ledger.Shelley.RewardUpdate, Cardano.Ledger.Shelley.LedgerState
rewFeesCardano.Ledger.Shelley.RewardUpdate, Cardano.Ledger.Shelley.LedgerState
rewLeadersCardano.Ledger.Shelley.RewardUpdate, Cardano.Ledger.Shelley.LedgerState
rewLikelihoodsCardano.Ledger.Shelley.RewardUpdate, Cardano.Ledger.Shelley.LedgerState
rewNonMyopicCardano.Ledger.Shelley.RewardUpdate, Cardano.Ledger.Shelley.LedgerState
rewProtocolVersionCardano.Ledger.Shelley.RewardUpdate, Cardano.Ledger.Shelley.LedgerState
rewRCardano.Ledger.Shelley.RewardUpdate, Cardano.Ledger.Shelley.LedgerState
rPot 
1 (Function)Cardano.Ledger.Shelley.RewardProvenance
2 (Function)Cardano.Ledger.Shelley.API.Wallet, Cardano.Ledger.Shelley.API
rsCardano.Ledger.Shelley.RewardUpdate, Cardano.Ledger.Shelley.LedgerState, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
RSLPCardano.Ledger.Shelley.RewardUpdate
runIdentityCardano.Ledger.Shelley.Rules
RupdEnv 
1 (Type/Class)Cardano.Ledger.Shelley.Rules
2 (Data Constructor)Cardano.Ledger.Shelley.Rules
RupdEvent 
1 (Type/Class)Cardano.Ledger.Shelley.Rules
2 (Data Constructor)Cardano.Ledger.Shelley.Rules
RupdFailureCardano.Ledger.Shelley.Rules
SCardano.Ledger.Shelley.TxAuxData, Cardano.Ledger.Shelley.Metadata, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
ScriptCardano.Ledger.Shelley.Core, Cardano.Ledger.Shelley.Core
scriptCredCardano.Ledger.Shelley.UTxO
ScriptHash 
1 (Data Constructor)Cardano.Ledger.Shelley.Scripts, Cardano.Ledger.Shelley.Core, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
2 (Type/Class)Cardano.Ledger.Shelley.Scripts, Cardano.Ledger.Shelley.Core, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
ScriptHashObjCardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
scriptPrefixTagCardano.Ledger.Shelley.Core
scriptShelleyTxWitsLCardano.Ledger.Shelley.TxWits
ScriptsNeededCardano.Ledger.Shelley.UTxO, Cardano.Ledger.Shelley.UTxO
scriptsNeededCardano.Ledger.Shelley.UTxO
ScriptsProvided 
1 (Data Constructor)Cardano.Ledger.Shelley.UTxO
2 (Type/Class)Cardano.Ledger.Shelley.UTxO
scriptStakeCredCardano.Ledger.Shelley.UTxO
scriptTxWitsLCardano.Ledger.Shelley.Core
ScriptWitnessNotValidatingUTXOWCardano.Ledger.Shelley.Rules
scriptWitsCardano.Ledger.Shelley.TxWits
secondsToNominalDiffTimeMicroCardano.Ledger.Shelley.Genesis, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
securityParameterCardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
segwitTxCardano.Ledger.Shelley.Tx.Internal, Cardano.Ledger.Shelley.Tx
SendToOppositePotMIRCardano.Ledger.Shelley.TxCert, Cardano.Ledger.Shelley.Delegation.Certificates, Cardano.Ledger.Shelley.Core, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
sgActiveSlotCoeffCardano.Ledger.Shelley.Genesis, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
sgActiveSlotsCoeffCardano.Ledger.Shelley.Genesis, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
sgEpochLengthCardano.Ledger.Shelley.Genesis, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
sgGenDelegsCardano.Ledger.Shelley.Genesis, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
sgInitialFundsCardano.Ledger.Shelley.Genesis, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
sgInitialFundsLCardano.Ledger.Shelley.Genesis, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
sgMaxKESEvolutionsCardano.Ledger.Shelley.Genesis, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
sgMaxLovelaceSupplyCardano.Ledger.Shelley.Genesis, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
sgNetworkIdCardano.Ledger.Shelley.Genesis, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
sgNetworkMagicCardano.Ledger.Shelley.Genesis, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
sgovPpCardano.Ledger.Shelley.Governance, Cardano.Ledger.Shelley.Core
sgovPrevPpCardano.Ledger.Shelley.Governance, Cardano.Ledger.Shelley.Core
sgProtocolParamsCardano.Ledger.Shelley.Genesis, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
sgsCurPParamsCardano.Ledger.Shelley.Governance, Cardano.Ledger.Shelley.Core, Cardano.Ledger.Shelley.LedgerState, Cardano.Ledger.Shelley.Rules, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
sgsCurProposalsCardano.Ledger.Shelley.Governance, Cardano.Ledger.Shelley.Core, Cardano.Ledger.Shelley.LedgerState, Cardano.Ledger.Shelley.Rules, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
sgSecurityParamCardano.Ledger.Shelley.Genesis, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
sgsFuturePParamsCardano.Ledger.Shelley.Governance, Cardano.Ledger.Shelley.Core, Cardano.Ledger.Shelley.LedgerState, Cardano.Ledger.Shelley.Rules, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
sgsFutureProposalsCardano.Ledger.Shelley.Governance, Cardano.Ledger.Shelley.Core, Cardano.Ledger.Shelley.LedgerState, Cardano.Ledger.Shelley.Rules, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
sgSlotLengthCardano.Ledger.Shelley.Genesis, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
sgSlotsPerKESPeriodCardano.Ledger.Shelley.Genesis, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
sgsPoolsCardano.Ledger.Shelley.Genesis, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
sgsPrevPParamsCardano.Ledger.Shelley.Governance, Cardano.Ledger.Shelley.Core, Cardano.Ledger.Shelley.LedgerState, Cardano.Ledger.Shelley.Rules, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
sgsStakeCardano.Ledger.Shelley.Genesis, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
sgStakingCardano.Ledger.Shelley.Genesis, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
sgStakingLCardano.Ledger.Shelley.Genesis, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
sgSystemStartCardano.Ledger.Shelley.Genesis, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
sgUpdateQuorumCardano.Ledger.Shelley.Genesis, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
ShelleyCardano.Ledger.Shelley
ShelleyBBODYCardano.Ledger.Shelley.Rules
ShelleyBbodyEventCardano.Ledger.Shelley.Rules
ShelleyBbodyPredFailureCardano.Ledger.Shelley.Rules
ShelleyBbodyStateCardano.Ledger.Shelley.Rules
shelleyCommonPParamsHKDPairsCardano.Ledger.Shelley.PParams
shelleyCommonPParamsHKDPairsV6Cardano.Ledger.Shelley.PParams
shelleyCommonPParamsHKDPairsV8Cardano.Ledger.Shelley.PParams
ShelleyDELEGCardano.Ledger.Shelley.Rules, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
ShelleyDelegCert 
1 (Type/Class)Cardano.Ledger.Shelley.TxCert, Cardano.Ledger.Shelley.Delegation.Certificates, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
2 (Data Constructor)Cardano.Ledger.Shelley.TxCert, Cardano.Ledger.Shelley.Delegation.Certificates, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
ShelleyDelegEventCardano.Ledger.Shelley.Rules
ShelleyDelegPredFailureCardano.Ledger.Shelley.Rules
ShelleyDELEGSCardano.Ledger.Shelley.Rules, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
ShelleyDelegsEventCardano.Ledger.Shelley.Rules
ShelleyDelegsPredFailureCardano.Ledger.Shelley.Rules
ShelleyDELPLCardano.Ledger.Shelley.Rules, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
ShelleyDelplEventCardano.Ledger.Shelley.Rules
ShelleyDelplPredFailureCardano.Ledger.Shelley.Rules
ShelleyEPOCHCardano.Ledger.Shelley.Rules
ShelleyEpochEventCardano.Ledger.Shelley.Rules
ShelleyEpochPredFailureCardano.Ledger.Shelley.Rules
shelleyEqTxRawCardano.Ledger.Shelley.Tx.Internal, Cardano.Ledger.Shelley.Tx
shelleyEqTxWitsRawCardano.Ledger.Shelley.TxWits
ShelleyEraCardano.Ledger.Shelley
ShelleyEraCryptoCardano.Ledger.Shelley.API.Validation, Cardano.Ledger.Shelley.API
ShelleyEraScriptCardano.Ledger.Shelley.Scripts
ShelleyEraTxBodyCardano.Ledger.Shelley.TxBody, Cardano.Ledger.Shelley.Core
ShelleyEraTxCertCardano.Ledger.Shelley.TxCert, Cardano.Ledger.Shelley.Delegation.Certificates, Cardano.Ledger.Shelley.Core
ShelleyGenesis 
1 (Type/Class)Cardano.Ledger.Shelley.Genesis, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
2 (Data Constructor)Cardano.Ledger.Shelley.Genesis, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
ShelleyGenesisStaking 
1 (Type/Class)Cardano.Ledger.Shelley.Genesis, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
2 (Data Constructor)Cardano.Ledger.Shelley.Genesis, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
ShelleyGovState 
1 (Type/Class)Cardano.Ledger.Shelley.Governance, Cardano.Ledger.Shelley.Core, Cardano.Ledger.Shelley.LedgerState, Cardano.Ledger.Shelley.Rules, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
2 (Data Constructor)Cardano.Ledger.Shelley.Governance, Cardano.Ledger.Shelley.Core, Cardano.Ledger.Shelley.LedgerState, Cardano.Ledger.Shelley.Rules, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
ShelleyLEDGERCardano.Ledger.Shelley.Rules, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
shelleyLedgerAssertionsCardano.Ledger.Shelley.Rules
ShelleyLedgerEventCardano.Ledger.Shelley.Rules
ShelleyLedgerPredFailureCardano.Ledger.Shelley.Rules
ShelleyLEDGERSCardano.Ledger.Shelley.Rules, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
ShelleyLedgersEnvCardano.Ledger.Shelley.Rules, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
ShelleyLedgersEventCardano.Ledger.Shelley.Rules
ShelleyLedgersPredFailureCardano.Ledger.Shelley.Rules
shelleyMinFeeTxCardano.Ledger.Shelley.Tx.Internal, Cardano.Ledger.Shelley.Tx
ShelleyMIRCardano.Ledger.Shelley.Rules
ShelleyMirEventCardano.Ledger.Shelley.Rules
ShelleyMirPredFailureCardano.Ledger.Shelley.Rules
ShelleyNEWEPOCHCardano.Ledger.Shelley.Rules, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
ShelleyNewEpochEventCardano.Ledger.Shelley.Rules
ShelleyNewEpochPredFailureCardano.Ledger.Shelley.Rules
ShelleyNEWPPCardano.Ledger.Shelley.Rules
ShelleyNewppStateCardano.Ledger.Shelley.Rules
ShelleyPOOLCardano.Ledger.Shelley.Rules, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
ShelleyPoolPredFailureCardano.Ledger.Shelley.Rules
ShelleyPOOLREAPCardano.Ledger.Shelley.Rules, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
ShelleyPoolreapEnv 
1 (Type/Class)Cardano.Ledger.Shelley.Rules
2 (Data Constructor)Cardano.Ledger.Shelley.Rules
ShelleyPoolreapEventCardano.Ledger.Shelley.Rules
ShelleyPoolreapPredFailureCardano.Ledger.Shelley.Rules
ShelleyPoolreapStateCardano.Ledger.Shelley.Rules
ShelleyPParams 
1 (Type/Class)Cardano.Ledger.Shelley.PParams
2 (Data Constructor)Cardano.Ledger.Shelley.PParams
ShelleyPPUPCardano.Ledger.Shelley.Rules, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
ShelleyPpupPredFailureCardano.Ledger.Shelley.Rules
shelleyProducedValueCardano.Ledger.Shelley.UTxO
ShelleyRegCertCardano.Ledger.Shelley.TxCert, Cardano.Ledger.Shelley.Delegation.Certificates, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
ShelleyRUPDCardano.Ledger.Shelley.Rules
ShelleyRupdPredFailureCardano.Ledger.Shelley.Rules
ShelleyScriptsNeeded 
1 (Type/Class)Cardano.Ledger.Shelley.UTxO
2 (Data Constructor)Cardano.Ledger.Shelley.UTxO
ShelleySNAPCardano.Ledger.Shelley.Rules
ShelleySnapPredFailureCardano.Ledger.Shelley.Rules
ShelleyTICKCardano.Ledger.Shelley.Rules, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
ShelleyTickEventCardano.Ledger.Shelley.Rules
ShelleyTICKFCardano.Ledger.Shelley.Rules, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
ShelleyTickfPredFailureCardano.Ledger.Shelley.Rules
ShelleyTickPredFailureCardano.Ledger.Shelley.Rules
shelleyTotalDepositsTxCertsCardano.Ledger.Shelley.TxCert, Cardano.Ledger.Shelley.Delegation.Certificates
shelleyTotalRefundsTxCertsCardano.Ledger.Shelley.TxCert, Cardano.Ledger.Shelley.Delegation.Certificates
ShelleyTx 
1 (Type/Class)Cardano.Ledger.Shelley.Tx.Internal, Cardano.Ledger.Shelley.Tx, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley, Cardano.Ledger.Shelley.API
2 (Data Constructor)Cardano.Ledger.Shelley.Tx.Internal, Cardano.Ledger.Shelley.Tx, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
ShelleyTxAuxData 
1 (Type/Class)Cardano.Ledger.Shelley.TxAuxData, Cardano.Ledger.Shelley.Metadata, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley, Cardano.Ledger.Shelley.API
2 (Data Constructor)Cardano.Ledger.Shelley.TxAuxData, Cardano.Ledger.Shelley.Metadata, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
ShelleyTxAuxDataRawCardano.Ledger.Shelley.TxAuxData, Cardano.Ledger.Shelley.Metadata
ShelleyTxBody 
1 (Type/Class)Cardano.Ledger.Shelley.TxBody, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley, Cardano.Ledger.Shelley.API
2 (Data Constructor)Cardano.Ledger.Shelley.TxBody, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
ShelleyTxBodyRaw 
1 (Type/Class)Cardano.Ledger.Shelley.TxBody
2 (Data Constructor)Cardano.Ledger.Shelley.TxBody
ShelleyTxCertCardano.Ledger.Shelley.TxCert, Cardano.Ledger.Shelley.Delegation.Certificates
ShelleyTxCertDelegCertCardano.Ledger.Shelley.TxCert, Cardano.Ledger.Shelley.Delegation.Certificates
shelleyTxCertDelegDecoderCardano.Ledger.Shelley.TxCert, Cardano.Ledger.Shelley.Delegation.Certificates
ShelleyTxCertGenesisDelegCardano.Ledger.Shelley.TxCert, Cardano.Ledger.Shelley.Delegation.Certificates
ShelleyTxCertMirCardano.Ledger.Shelley.TxCert, Cardano.Ledger.Shelley.Delegation.Certificates
ShelleyTxCertPoolCardano.Ledger.Shelley.TxCert, Cardano.Ledger.Shelley.Delegation.Certificates
ShelleyTxOut 
1 (Type/Class)Cardano.Ledger.Shelley.TxOut, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley, Cardano.Ledger.Shelley.API
2 (Data Constructor)Cardano.Ledger.Shelley.TxOut, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
ShelleyTxRaw 
1 (Type/Class)Cardano.Ledger.Shelley.Tx.Internal, Cardano.Ledger.Shelley.Tx
2 (Data Constructor)Cardano.Ledger.Shelley.Tx.Internal
ShelleyTxSeq 
1 (Type/Class)Cardano.Ledger.Shelley.BlockChain
2 (Data Constructor)Cardano.Ledger.Shelley.BlockChain
ShelleyTxWits 
1 (Type/Class)Cardano.Ledger.Shelley.TxWits, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
2 (Data Constructor)Cardano.Ledger.Shelley.TxWits
ShelleyTxWitsRawCardano.Ledger.Shelley.TxWits
ShelleyUnRegCertCardano.Ledger.Shelley.TxCert, Cardano.Ledger.Shelley.Delegation.Certificates, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
ShelleyUPECCardano.Ledger.Shelley.Rules
ShelleyUpecPredFailureCardano.Ledger.Shelley.Rules
ShelleyUTXOCardano.Ledger.Shelley.Rules, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
ShelleyUtxoPredFailureCardano.Ledger.Shelley.Rules
ShelleyUTXOWCardano.Ledger.Shelley.Rules, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
ShelleyUtxowEventCardano.Ledger.Shelley.Rules
ShelleyUtxowPredFailureCardano.Ledger.Shelley.Rules
shelleyWitsVKeyNeededCardano.Ledger.Shelley.Rules
showCredCardano.Ledger.Shelley.Rules.Reports
showIRCardano.Ledger.Shelley.Rules.Reports
showKeyHashCardano.Ledger.Shelley.Rules.Reports
showListyCardano.Ledger.Shelley.Rules.Reports
showMapCardano.Ledger.Shelley.Rules.Reports
showSafeHashCardano.Ledger.Shelley.Rules.Reports
showTxCertsCardano.Ledger.Shelley.Rules.Reports
showWithdrawalCardano.Ledger.Shelley.Rules.Reports
sigmaAPCardano.Ledger.Shelley.RewardProvenance
sigmaPCardano.Ledger.Shelley.RewardProvenance
SignedDSIGNCardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
SignedKESCardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
SignKeyDSIGNCardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
SignKeyKESCardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
SignKeyVRFCardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
SingleHostAddrCardano.Ledger.Shelley.PoolParams, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
SingleHostNameCardano.Ledger.Shelley.PoolParams, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
SizeOfPoolOwners 
1 (Data Constructor)Cardano.Ledger.Shelley.PoolParams
2 (Type/Class)Cardano.Ledger.Shelley.PoolParams
SizeOfPoolRelays 
1 (Data Constructor)Cardano.Ledger.Shelley.PoolParams
2 (Type/Class)Cardano.Ledger.Shelley.PoolParams
sizeShelleyTxFCardano.Ledger.Shelley.Tx.Internal, Cardano.Ledger.Shelley.Tx
sizeTxFCardano.Ledger.Shelley.Core
SJustCardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
sKeyCardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
slotNoCardano.Ledger.Shelley.Rules, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
slotsPerKESPeriodCardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
slotToNonceCardano.Ledger.Shelley.BlockChain
smartUTxOStateCardano.Ledger.Shelley.LedgerState
SnapEnv 
1 (Type/Class)Cardano.Ledger.Shelley.Rules, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
2 (Data Constructor)Cardano.Ledger.Shelley.Rules, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
SnapEvent 
1 (Type/Class)Cardano.Ledger.Shelley.Rules
2 (Data Constructor)Cardano.Ledger.Shelley.Rules
SnapFailureCardano.Ledger.Shelley.Rules
SnapShot 
1 (Data Constructor)Cardano.Ledger.Shelley.EpochBoundary, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
2 (Type/Class)Cardano.Ledger.Shelley.EpochBoundary, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
SnapShots 
1 (Data Constructor)Cardano.Ledger.Shelley.EpochBoundary, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
2 (Type/Class)Cardano.Ledger.Shelley.EpochBoundary, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
SNothingCardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
solidifyFuturePParamsCardano.Ledger.Shelley.Governance, Cardano.Ledger.Shelley.Core
solidifyNextEpochPParamsCardano.Ledger.Shelley.Rules
speCardano.Ledger.Shelley.RewardProvenance
spendableInputsTxBodyFCardano.Ledger.Shelley.Core
speVStateCardano.Ledger.Shelley.Rules
sppA0Cardano.Ledger.Shelley.PParams
sppDCardano.Ledger.Shelley.PParams
sppEMaxCardano.Ledger.Shelley.PParams
sppExtraEntropyCardano.Ledger.Shelley.PParams
sppKeyDepositCardano.Ledger.Shelley.PParams
sppMaxBBSizeCardano.Ledger.Shelley.PParams
sppMaxBHSizeCardano.Ledger.Shelley.PParams
sppMaxTxSizeCardano.Ledger.Shelley.PParams
sppMinFeeACardano.Ledger.Shelley.PParams
sppMinFeeBCardano.Ledger.Shelley.PParams
sppMinPoolCostCardano.Ledger.Shelley.PParams
sppMinUTxOValueCardano.Ledger.Shelley.PParams
sppNOptCardano.Ledger.Shelley.PParams
sppPoolDepositCardano.Ledger.Shelley.PParams
sppProtocolVersionCardano.Ledger.Shelley.PParams
sppRhoCardano.Ledger.Shelley.PParams
sppTauCardano.Ledger.Shelley.PParams
ssDelegationsLCardano.Ledger.Shelley.EpochBoundary, Cardano.Ledger.Shelley.LedgerState
ssFeeLCardano.Ledger.Shelley.EpochBoundary, Cardano.Ledger.Shelley.LedgerState
ssPoolParamsLCardano.Ledger.Shelley.EpochBoundary, Cardano.Ledger.Shelley.LedgerState
ssStakeDistrLCardano.Ledger.Shelley.EpochBoundary, Cardano.Ledger.Shelley.LedgerState
ssStakeGoLCardano.Ledger.Shelley.EpochBoundary, Cardano.Ledger.Shelley.LedgerState
ssStakeLCardano.Ledger.Shelley.EpochBoundary, Cardano.Ledger.Shelley.LedgerState
ssStakeMarkLCardano.Ledger.Shelley.EpochBoundary, Cardano.Ledger.Shelley.LedgerState
ssStakeMarkPoolDistrLCardano.Ledger.Shelley.EpochBoundary, Cardano.Ledger.Shelley.LedgerState
ssStakeSetLCardano.Ledger.Shelley.EpochBoundary, Cardano.Ledger.Shelley.LedgerState
stabilityWindowCardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
Stake 
1 (Data Constructor)Cardano.Ledger.Shelley.EpochBoundary, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
2 (Type/Class)Cardano.Ledger.Shelley.EpochBoundary, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
stakeCardano.Ledger.Shelley.API.Wallet, Cardano.Ledger.Shelley.API
StakeAddressesMIRCardano.Ledger.Shelley.TxCert, Cardano.Ledger.Shelley.Delegation.Certificates, Cardano.Ledger.Shelley.Core, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
StakeDelegationImpossibleDELEGCardano.Ledger.Shelley.Rules
StakeDistEventCardano.Ledger.Shelley.Rules
StakeKeyAlreadyRegisteredDELEGCardano.Ledger.Shelley.Rules
StakeKeyInRewardsDELEGCardano.Ledger.Shelley.Rules
StakeKeyNonZeroAccountBalanceDELEGCardano.Ledger.Shelley.Rules
StakeKeyNotRegisteredDELEGCardano.Ledger.Shelley.Rules
StakePoolCardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
StakePoolCostTooLowPOOLCardano.Ledger.Shelley.Rules
StakePoolNotRegisteredOnKeyPOOLCardano.Ledger.Shelley.Rules
StakePoolRelayCardano.Ledger.Shelley.PoolParams, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
StakePoolRetirementWrongEpochPOOLCardano.Ledger.Shelley.Rules
StakeRefBaseCardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
StakeReferenceCardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
StakeRefNullCardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
StakeRefPtrCardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
StakeShare 
1 (Type/Class)Cardano.Ledger.Shelley.Rewards
2 (Data Constructor)Cardano.Ledger.Shelley.Rewards
StakingCardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
startStepCardano.Ledger.Shelley.LedgerState, Cardano.Ledger.Shelley.Rules
StashedAVVMAddressesCardano.Ledger.Shelley.LedgerState
stashedAVVMAddressesCardano.Ledger.Shelley.LedgerState, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
StateCardano.Ledger.Shelley.Rules, Cardano.Ledger.Shelley.Rules
stbCertsCardano.Ledger.Shelley.TxBody, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
stbInputsCardano.Ledger.Shelley.TxBody, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
stbMDHashCardano.Ledger.Shelley.TxBody, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
stbOutputsCardano.Ledger.Shelley.TxBody, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
stbrCertsCardano.Ledger.Shelley.TxBody
stbrInputsCardano.Ledger.Shelley.TxBody
stbrMDHashCardano.Ledger.Shelley.TxBody
stbrOutputsCardano.Ledger.Shelley.TxBody
stbrTTLCardano.Ledger.Shelley.TxBody
stbrTxFeeCardano.Ledger.Shelley.TxBody
stbrUpdateCardano.Ledger.Shelley.TxBody
stbrWithdrawalsCardano.Ledger.Shelley.TxBody
stbTTLCardano.Ledger.Shelley.TxBody, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
stbTxFeeCardano.Ledger.Shelley.TxBody, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
stbUpdateCardano.Ledger.Shelley.TxBody, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
stbWithdrawalsCardano.Ledger.Shelley.TxBody, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
strAuxiliaryDataCardano.Ledger.Shelley.Tx.Internal
strBodyCardano.Ledger.Shelley.Tx.Internal
StrictMaybeCardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
strWitsCardano.Ledger.Shelley.Tx.Internal
sumAdaPotsCardano.Ledger.Shelley.AdaPots
sumAllCoinCardano.Ledger.Shelley.UTxO
sumAllStakeCardano.Ledger.Shelley.EpochBoundary
sumAllStakeCompactCardano.Ledger.Shelley.EpochBoundary
sumAllValueCardano.Ledger.Shelley.UTxO
sumCompactRewardsCardano.Ledger.Shelley.Rewards
sumRewardsCardano.Ledger.Shelley.Rewards
sumStakePerPoolCardano.Ledger.Shelley.EpochBoundary
synopsisCoinMapCardano.Ledger.Shelley.Rules.Reports
systemStartCardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
tcInitialFundsLCardano.Ledger.Shelley.Transition
tcInitialPParamsGCardano.Ledger.Shelley.Transition
tcInitialStakingLCardano.Ledger.Shelley.Transition
tcPreviousEraConfigLCardano.Ledger.Shelley.Transition
tcShelleyGenesisLCardano.Ledger.Shelley.Transition
tcTranslationContextLCardano.Ledger.Shelley.Transition
TestnetCardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
TickNewEpochEventCardano.Ledger.Shelley.Rules
TickRupdEventCardano.Ledger.Shelley.Rules
TickTransitionError 
1 (Type/Class)Cardano.Ledger.Shelley.API.Validation, Cardano.Ledger.Shelley.API
2 (Data Constructor)Cardano.Ledger.Shelley.API.Validation, Cardano.Ledger.Shelley.API
toEraCBORCardano.Ledger.Shelley.Core
toFromByronTranslationContextCardano.Ledger.Shelley.Translation
toNominalDiffTimeMicroCardano.Ledger.Shelley.Genesis, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
toNominalDiffTimeMicroWithRoundingCardano.Ledger.Shelley.Genesis, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
toShelleyGenesisPairsCardano.Ledger.Shelley.Genesis, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
toShelleyTransitionConfigPairsCardano.Ledger.Shelley.Transition
totalAdaESCardano.Ledger.Shelley.AdaPots, Cardano.Ledger.Shelley.API.Wallet, Cardano.Ledger.Shelley.API
totalAdaPotsESCardano.Ledger.Shelley.AdaPots, Cardano.Ledger.Shelley.API.Wallet, Cardano.Ledger.Shelley.API
TotalAdaPotsEventCardano.Ledger.Shelley.Rules
TotalDepositsCardano.Ledger.Shelley.Rules
totalObligationCardano.Ledger.Shelley.LedgerState
TotalRewardEventCardano.Ledger.Shelley.Rules
totalStake 
1 (Function)Cardano.Ledger.Shelley.RewardProvenance
2 (Function)Cardano.Ledger.Shelley.API.Wallet, Cardano.Ledger.Shelley.API
toTxSeqCardano.Ledger.Shelley.Core
TransitionConfigCardano.Ledger.Shelley.Transition
transitionRulesUTXOWCardano.Ledger.Shelley.Rules
translateCompactTxOutByronToShelleyCardano.Ledger.Shelley.API.ByronTranslation, Cardano.Ledger.Shelley.API
TranslateEraCardano.Ledger.Shelley.Core
translateEraCardano.Ledger.Shelley.Core
translateEra'Cardano.Ledger.Shelley.Core
translateEraMaybeCardano.Ledger.Shelley.Core
translateEraThroughCBORCardano.Ledger.Shelley.Core
translateToShelleyLedgerStateCardano.Ledger.Shelley.API.ByronTranslation, Cardano.Ledger.Shelley.API
translateToShelleyLedgerStateFromUtxoCardano.Ledger.Shelley.API.ByronTranslation, Cardano.Ledger.Shelley.API
translateTxIdByronToShelleyCardano.Ledger.Shelley.API.ByronTranslation, Cardano.Ledger.Shelley.API
translateUpperBoundForPlutusScriptsCardano.Ledger.Shelley.HardForks
translateValidatedCardano.Ledger.Shelley.API.Mempool, Cardano.Ledger.Shelley.API
TranslationContextCardano.Ledger.Shelley.Core
TranslationErrorCardano.Ledger.Shelley.Core, Cardano.Ledger.Shelley.Core
treasuryAdaPotCardano.Ledger.Shelley.AdaPots, Cardano.Ledger.Shelley.API.Wallet, Cardano.Ledger.Shelley.API
TreasuryMIRCardano.Ledger.Shelley.TxCert, Cardano.Ledger.Shelley.Delegation.Certificates, Cardano.Ledger.Shelley.Core, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
ttlTxBodyLCardano.Ledger.Shelley.TxBody, Cardano.Ledger.Shelley.Core
TxCardano.Ledger.Shelley.Core, Cardano.Ledger.Shelley.Core
TxAuxDataCardano.Ledger.Shelley.Core, Cardano.Ledger.Shelley.Core
TxBodyCardano.Ledger.Shelley.Core, Cardano.Ledger.Shelley.Core
TxBodyConstrCardano.Ledger.Shelley.TxBody, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
TxBodyUpgradeErrorCardano.Ledger.Shelley.Core, Cardano.Ledger.Shelley.Core
TxCertCardano.Ledger.Shelley.TxCert, Cardano.Ledger.Shelley.Delegation.Certificates, Cardano.Ledger.Shelley.Delegation.Certificates, Cardano.Ledger.Shelley.Core, Cardano.Ledger.Shelley.Core
TxCertUpgradeErrorCardano.Ledger.Shelley.TxCert, Cardano.Ledger.Shelley.Delegation.Certificates, Cardano.Ledger.Shelley.Delegation.Certificates, Cardano.Ledger.Shelley.Core, Cardano.Ledger.Shelley.Core
TxConstrCardano.Ledger.Shelley.Tx.Internal
TxId 
1 (Data Constructor)Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
2 (Type/Class)Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
txIdTxCardano.Ledger.Shelley.Core
txIdTxBodyCardano.Ledger.Shelley.Core
TxIn 
1 (Data Constructor)Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
2 (Type/Class)Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
txinLookupCardano.Ledger.Shelley.UTxO
txinsCardano.Ledger.Shelley.UTxO
txInsFilterCardano.Ledger.Shelley.UTxO
TxIxCardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
txIxFromIntegralCardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
txIxToIntCardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
TxOutCardano.Ledger.Shelley.Core, Cardano.Ledger.Shelley.Core
TxOutCompactCardano.Ledger.Shelley.TxOut, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
txoutsCardano.Ledger.Shelley.UTxO
TxSeqCardano.Ledger.Shelley.Core, Cardano.Ledger.Shelley.Core
TxSeq'Cardano.Ledger.Shelley.BlockChain
txSeqDecoderCardano.Ledger.Shelley.BlockChain
txSeqTxnsCardano.Ledger.Shelley.BlockChain
txSeqTxns'Cardano.Ledger.Shelley.BlockChain
txupCardano.Ledger.Shelley.UTxO
TxUpgradeErrorCardano.Ledger.Shelley.Core, Cardano.Ledger.Shelley.Core
TxUTxODiffCardano.Ledger.Shelley.Rules
TxWitsCardano.Ledger.Shelley.Core, Cardano.Ledger.Shelley.Core
txwitsScriptCardano.Ledger.Shelley.Tx.Internal, Cardano.Ledger.Shelley.Tx
ueCertStateCardano.Ledger.Shelley.Rules, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
uePParamsCardano.Ledger.Shelley.Rules, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
ueSlotCardano.Ledger.Shelley.Rules, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
unChainCodeCardano.Ledger.Shelley.Address.Bootstrap
unclaimedPoolsCardano.Ledger.Shelley.Rules
unCoinCardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
unGenDelegsCardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
unHistogramCardano.Ledger.Shelley.PoolRank
unifiedLCardano.Ledger.Shelley.LedgerState
unKeyHashCardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
unLikelihoodCardano.Ledger.Shelley.PoolRank
unLogWeightCardano.Ledger.Shelley.PoolRank
unpackByronVKeyCardano.Ledger.Shelley.Address.Bootstrap
unPerformanceEstimateCardano.Ledger.Shelley.PoolRank
unPoolDistrCardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
UnRegTxCertCardano.Ledger.Shelley.TxCert, Cardano.Ledger.Shelley.Delegation.Certificates, Cardano.Ledger.Shelley.Core
unsafeMakeValidatedCardano.Ledger.Shelley.API.Mempool, Cardano.Ledger.Shelley.API
UnsafeUnserialisedBlockCardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
unScriptsProvidedCardano.Ledger.Shelley.UTxO
UnserialisedBlockCardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
unStakeShareCardano.Ledger.Shelley.Rewards
unTxIdCardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
unUTxOCardano.Ledger.Shelley.UTxO, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
unVKeyCardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
unWithdrawalsCardano.Ledger.Shelley.TxBody, Cardano.Ledger.Shelley.Core, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
Update 
1 (Type/Class)Cardano.Ledger.Shelley.PParams, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
2 (Data Constructor)Cardano.Ledger.Shelley.PParams, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
UpdateEventCardano.Ledger.Shelley.Rules
UpdateFailureCardano.Ledger.Shelley.Rules
updateNESCardano.Ledger.Shelley.LedgerState
updateNonMyopicCardano.Ledger.Shelley.LedgerState
updatePParamsCardano.Ledger.Shelley.PParams
updateRewardsCardano.Ledger.Shelley.Rules
updateStakeDistributionCardano.Ledger.Shelley.LedgerState
updateTxBodyLCardano.Ledger.Shelley.TxBody, Cardano.Ledger.Shelley.Core
updateUTxOStateCardano.Ledger.Shelley.Rules
UpecEventCardano.Ledger.Shelley.Rules
UpecFailureCardano.Ledger.Shelley.Rules
UpecPredFailureCardano.Ledger.Shelley.Rules
UpecState 
1 (Type/Class)Cardano.Ledger.Shelley.Rules
2 (Data Constructor)Cardano.Ledger.Shelley.Rules
UpgradePParamsCardano.Ledger.Shelley.Core, Cardano.Ledger.Shelley.Core
upgradePParamsCardano.Ledger.Shelley.Core
upgradePParamsUpdateCardano.Ledger.Shelley.Core
upgradeScriptCardano.Ledger.Shelley.Core
upgradeShelleyTxCertCardano.Ledger.Shelley.TxCert, Cardano.Ledger.Shelley.Delegation.Certificates
upgradeTxCardano.Ledger.Shelley.Core
upgradeTxAuxDataCardano.Ledger.Shelley.Core
upgradeTxBodyCardano.Ledger.Shelley.Core
upgradeTxCertCardano.Ledger.Shelley.TxCert, Cardano.Ledger.Shelley.Delegation.Certificates, Cardano.Ledger.Shelley.Core
upgradeTxOutCardano.Ledger.Shelley.Core
upgradeTxWitsCardano.Ledger.Shelley.Core
upgradeUpdateCardano.Ledger.Shelley.PParams
usCurPParamsCardano.Ledger.Shelley.Rules
usGovStateCardano.Ledger.Shelley.Rules
UTxO 
1 (Data Constructor)Cardano.Ledger.Shelley.UTxO, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
2 (Type/Class)Cardano.Ledger.Shelley.UTxO, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
utxoAdaPotCardano.Ledger.Shelley.AdaPots, Cardano.Ledger.Shelley.API.Wallet, Cardano.Ledger.Shelley.API
UtxoEnv 
1 (Type/Class)Cardano.Ledger.Shelley.Rules, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
2 (Data Constructor)Cardano.Ledger.Shelley.Rules, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
utxoEnvCertStateLCardano.Ledger.Shelley.Rules
utxoEnvPParamsLCardano.Ledger.Shelley.Rules
utxoEnvSlotLCardano.Ledger.Shelley.Rules
UtxoEvent 
1 (Type/Class)Cardano.Ledger.Shelley.Rules
2 (Data Constructor)Cardano.Ledger.Shelley.Rules
UtxoFailureCardano.Ledger.Shelley.Rules
utxosDepositedCardano.Ledger.Shelley.LedgerState, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
utxosDepositedLCardano.Ledger.Shelley.LedgerState
utxosDonationCardano.Ledger.Shelley.LedgerState, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
utxosDonationLCardano.Ledger.Shelley.LedgerState
utxosFeesCardano.Ledger.Shelley.LedgerState, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
utxosFeesLCardano.Ledger.Shelley.LedgerState
utxosGovStateCardano.Ledger.Shelley.LedgerState, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
utxosGovStateLCardano.Ledger.Shelley.LedgerState
utxosStakeDistrCardano.Ledger.Shelley.LedgerState, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
utxosStakeDistrLCardano.Ledger.Shelley.LedgerState
UTxOState 
1 (Type/Class)Cardano.Ledger.Shelley.LedgerState, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
2 (Data Constructor)Cardano.Ledger.Shelley.LedgerState, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
utxosUtxoCardano.Ledger.Shelley.LedgerState, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
utxosUtxoLCardano.Ledger.Shelley.LedgerState
UtxowEventCardano.Ledger.Shelley.Rules
UtxowFailureCardano.Ledger.Shelley.Rules
validateAuxiliaryDataCardano.Ledger.Shelley.Core
validateBadInputsUTxOCardano.Ledger.Shelley.Rules
ValidatedCardano.Ledger.Shelley.API.Mempool, Cardano.Ledger.Shelley.API
validateFailedNativeScriptsCardano.Ledger.Shelley.Rules
validateFeeTooSmallUTxOCardano.Ledger.Shelley.Rules
validateGenesisCardano.Ledger.Shelley.Genesis, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
validateInputSetEmptyUTxOCardano.Ledger.Shelley.Rules
validateMaxTxSizeUTxOCardano.Ledger.Shelley.Rules
validateMetadataCardano.Ledger.Shelley.Rules
validateMIRInsufficientGenesisSigsCardano.Ledger.Shelley.Rules
validateMissingScriptsCardano.Ledger.Shelley.Rules
validateMultiSigCardano.Ledger.Shelley.Scripts
validateNativeScriptCardano.Ledger.Shelley.Core
validateNeededWitnessesCardano.Ledger.Shelley.Rules
validateOutputBootAddrAttrsTooBigCardano.Ledger.Shelley.Rules
validatePoolRewardAccountNetIDCardano.Ledger.Shelley.HardForks
validateStakePoolDelegateeRegisteredCardano.Ledger.Shelley.Rules
validateTxAuxDataCardano.Ledger.Shelley.Core
validateValueNotConservedUTxOCardano.Ledger.Shelley.Rules
validateVerifiedWitsCardano.Ledger.Shelley.Rules
validateWrongNetworkCardano.Ledger.Shelley.Rules
validateWrongNetworkWithdrawalCardano.Ledger.Shelley.Rules
validateZeroRewardsCardano.Ledger.Shelley.Rules
validatingTickTransitionCardano.Ledger.Shelley.Rules
validatingTickTransitionFORECASTCardano.Ledger.Shelley.Rules
ValidationErrCardano.Ledger.Shelley.Genesis, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
validMetadataCardano.Ledger.Shelley.SoftForks
validMetadatumCardano.Ledger.Shelley.TxAuxData, Cardano.Ledger.Shelley.Metadata
ValueCardano.Ledger.Shelley.Core
valueEitherShelleyTxOutLCardano.Ledger.Shelley.TxOut
valueEitherTxOutLCardano.Ledger.Shelley.Core
ValueNotConservedUTxOCardano.Ledger.Shelley.Rules
valueTxOutLCardano.Ledger.Shelley.Core
verifyBootstrapWitCardano.Ledger.Shelley.Address.Bootstrap
verifyWitVKeyCardano.Ledger.Shelley.UTxO
VerKeyKESCardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
VerKeyVRFCardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
VKey 
1 (Data Constructor)Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
2 (Type/Class)Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
vKeyCardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
VoidEraRuleCardano.Ledger.Shelley.Core
votedFuturePParamsCardano.Ledger.Shelley.Rules
votedValueCardano.Ledger.Shelley.Rules
VoteForNextEpochCardano.Ledger.Shelley.Rules
VoteForThisEpochCardano.Ledger.Shelley.Rules
VotingPeriodCardano.Ledger.Shelley.Rules
vsCommitteeStateCardano.Ledger.Shelley.LedgerState, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
vsCommitteeStateLCardano.Ledger.Shelley.LedgerState
vsDRepsCardano.Ledger.Shelley.LedgerState, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
vsDRepsLCardano.Ledger.Shelley.LedgerState
vsNumDormantEpochsCardano.Ledger.Shelley.LedgerState, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
VState 
1 (Data Constructor)Cardano.Ledger.Shelley.LedgerState, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
2 (Type/Class)Cardano.Ledger.Shelley.LedgerState, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
wireSizeShelleyTxFCardano.Ledger.Shelley.Tx.Internal, Cardano.Ledger.Shelley.Tx
wireSizeTxFCardano.Ledger.Shelley.Core
Withdrawals 
1 (Data Constructor)Cardano.Ledger.Shelley.TxBody, Cardano.Ledger.Shelley.Core, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
2 (Type/Class)Cardano.Ledger.Shelley.TxBody, Cardano.Ledger.Shelley.Core, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
WithdrawalsNotInRewardsDELEGSCardano.Ledger.Shelley.Rules
withdrawalsTxBodyLCardano.Ledger.Shelley.Core
WitnessCardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
witsCardano.Ledger.Shelley.Tx.Internal, Cardano.Ledger.Shelley.Tx, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
witsFromTxWitnessesCardano.Ledger.Shelley.Tx.Internal, Cardano.Ledger.Shelley.Tx
witsShelleyTxLCardano.Ledger.Shelley.Tx.Internal, Cardano.Ledger.Shelley.Tx
witsTxLCardano.Ledger.Shelley.Core
witsVKeyNeededGovCardano.Ledger.Shelley.Rules
witsVKeyNeededNoGovCardano.Ledger.Shelley.Rules
WitVKey 
1 (Data Constructor)Cardano.Ledger.Shelley.TxWits, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
2 (Type/Class)Cardano.Ledger.Shelley.TxWits, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
word64ToCoinCardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
WrongBlockBodySizeBBODYCardano.Ledger.Shelley.Rules
WrongCertificateTypeDELEGCardano.Ledger.Shelley.Rules
WrongNetworkCardano.Ledger.Shelley.Rules
WrongNetworkPOOLCardano.Ledger.Shelley.Rules
WrongNetworkWithdrawalCardano.Ledger.Shelley.Rules