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

Index - P

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.API.Types, Cardano.Ledger.Shelley.API
pmUrlCardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
poolBlocksCardano.Ledger.Shelley.Rewards
poolBlocksPCardano.Ledger.Shelley.RewardProvenance
PoolCertCardano.Ledger.Shelley.TxCert, Cardano.Ledger.Shelley.Core, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
poolCertKeyHashWitnessCardano.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.API.Types, Cardano.Ledger.Shelley.API
2 (Type/Class)Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
PoolParams 
1 (Data Constructor)Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
2 (Type/Class)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
poolTxCertDecoderCardano.Ledger.Shelley.TxCert
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.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.API.Types, Cardano.Ledger.Shelley.API
ppKeyDepositLCardano.Ledger.Shelley.Core
ppLensCardano.Ledger.Shelley.Core
ppMarginCardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
ppMaxBBSizeLCardano.Ledger.Shelley.Core
ppMaxBHSizeLCardano.Ledger.Shelley.Core
ppMaxTxSizeLCardano.Ledger.Shelley.Core
ppMetadataCardano.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.API.Types, Cardano.Ledger.Shelley.API
ppPledgeCardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
ppPoolDepositLCardano.Ledger.Shelley.Core
ppProtocolVersionLCardano.Ledger.Shelley.Core
ppRelaysCardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
ppRewardAccountCardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
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
ppuProtocolVersionLCardano.Ledger.Shelley.Core
ppuRhoLCardano.Ledger.Shelley.Core
ppuTauLCardano.Ledger.Shelley.Core
ppVrfCardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
prAccountStateCardano.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
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
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