| P | |
| 1 (Data Constructor) | Test.Cardano.Ledger.Constrained.Env |
| 2 (Type/Class) | Test.Cardano.Ledger.Constrained.Env |
| P1 | Control.Iterate.Exp |
| P2 | Control.Iterate.Exp |
| P3 | Control.Iterate.Exp |
| P4 | Control.Iterate.Exp |
| pad | Test.Cardano.Ledger.Constrained.Ast |
| paData | Test.Cardano.Ledger.Plutus.ScriptTestContext, Test.Cardano.Ledger.Plutus |
| Pair | |
| 1 (Data Constructor) | Test.Cardano.Ledger.Constrained.Ast |
| 2 (Data Constructor) | Constrained.Univ, Constrained.Internals |
| pair | Test.Cardano.Ledger.Constrained.Pairing |
| pair1 | Test.Cardano.Ledger.Constrained.Vars |
| pair2 | Test.Cardano.Ledger.Constrained.Vars |
| PairAny | Test.Cardano.Ledger.Constrained.Spec |
| PairFn | Constrained.Univ, Constrained.Internals |
| pairFn | Constrained.Univ, Constrained.Internals |
| pairL | Test.Cardano.Ledger.Constrained.Lenses |
| pairListError | Constrained.Examples.List, Constrained.Examples |
| pairMember | Cardano.Chain.Delegation |
| PairNever | Test.Cardano.Ledger.Constrained.Spec |
| PairR | Test.Cardano.Ledger.Constrained.TypeRep |
| PairSide | Test.Cardano.Ledger.Constrained.Spec |
| pairSingletonSpec | Constrained.Examples.Basic, Constrained.Examples |
| PairSpec | |
| 1 (Data Constructor) | Test.Cardano.Ledger.Constrained.Spec |
| 2 (Type/Class) | Test.Cardano.Ledger.Constrained.Spec |
| 3 (Type/Class) | Constrained.Spec.Pairs, Constrained.Spec, Constrained.Internals, Constrained |
| pairSpecTransform | Test.Cardano.Ledger.Constrained.Spec |
| pairT | Test.Cardano.Ledger.Constrained.Vars |
| pairView | Constrained.Spec.Pairs, Constrained.Spec, Constrained.Internals |
| pair_ | Constrained.Spec.Generics, Constrained.Spec, Constrained.Internals, Constrained |
| parallel | Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common |
| parallelLet | Constrained.Examples.Basic, Constrained.Examples |
| parallelLetPair | Constrained.Examples.Basic, Constrained.Examples |
| ParameterChange | |
| 1 (Data Constructor) | Cardano.Ledger.Api.Governance, Cardano.Ledger.Api |
| 2 (Data Constructor) | Cardano.Ledger.Conway.Governance |
| parameterChangeT | Test.Cardano.Ledger.Constrained.Vars |
| params | |
| 1 (Function) | Cardano.Ledger.Alonzo.PParams |
| 2 (Function) | Cardano.Ledger.Api.PParams, Cardano.Ledger.Api |
| 3 (Function) | Cardano.Ledger.Babbage.PParams |
| 4 (Function) | Cardano.Ledger.Conway.PParams |
| ParamsChangedInSVUpdate | Byron.Spec.Ledger.Update |
| parensIf | Constrained.Base, Constrained.Spec, Constrained.Internals |
| parseCredential | Cardano.Ledger.Credential |
| parseEpochFilesWithBoundary | Cardano.Chain.Epoch.File |
| parseEpochFileWithBoundary | Cardano.Chain.Epoch.File |
| ParseError | Cardano.Chain.Epoch.File |
| ParseErrorBinary | Cardano.Chain.Epoch.File |
| ParseErrorDecoder | Cardano.Chain.Epoch.File |
| ParseErrorMissingHeader | Cardano.Chain.Epoch.File |
| parseFullSignature | Cardano.Crypto.Signing, Cardano.Crypto |
| parseFullVerificationKey | Cardano.Crypto.Signing, Cardano.Crypto |
| partBfromPartA | Test.Cardano.Ledger.Constrained.Preds.Certs |
| Partial | Test.Cardano.Ledger.Constrained.Ast |
| partialDRepDistr | Test.Cardano.Ledger.Constrained.Vars |
| partialDRepDistrL | Test.Cardano.Ledger.Constrained.Vars |
| partialIndividualPoolStake | Test.Cardano.Ledger.Constrained.Vars |
| partition | Test.Cardano.Ledger.Constrained.Classes |
| partitionCoin | Test.Cardano.Ledger.Constrained.Classes |
| partitionDeltaCoin | Test.Cardano.Ledger.Constrained.Classes |
| partitionE | Test.Cardano.Ledger.Constrained.Rewrite |
| partitionInt | Test.Cardano.Ledger.Constrained.Classes |
| partitionNatural | Test.Cardano.Ledger.Constrained.Classes |
| partitionRational | Test.Cardano.Ledger.Constrained.Classes |
| partitionWord64 | Test.Cardano.Ledger.Constrained.Classes |
| paSpendDatum | Test.Cardano.Ledger.Plutus.ScriptTestContext, Test.Cardano.Ledger.Plutus |
| passConcreteValidation | |
| 1 (Function) | Test.Cardano.Chain.Block.Model |
| 2 (Function) | Test.Cardano.Chain.Block.Model |
| PassedUnexpectedly | Cardano.Ledger.Alonzo.Rules |
| passEpoch | |
| 1 (Function) | Test.Cardano.Ledger.Allegra.ImpTest |
| 2 (Function) | Test.Cardano.Ledger.Alonzo.ImpTest |
| 3 (Function) | Test.Cardano.Ledger.Babbage.ImpTest |
| 4 (Function) | Test.Cardano.Ledger.Conway.ImpTest |
| 5 (Function) | Test.Cardano.Ledger.Mary.ImpTest |
| 6 (Function) | Test.Cardano.Ledger.Shelley.ImpTest |
| Passes | Cardano.Ledger.Plutus.Evaluate, Cardano.Ledger.Plutus |
| passNEpochs | |
| 1 (Function) | Test.Cardano.Ledger.Allegra.ImpTest |
| 2 (Function) | Test.Cardano.Ledger.Alonzo.ImpTest |
| 3 (Function) | Test.Cardano.Ledger.Babbage.ImpTest |
| 4 (Function) | Test.Cardano.Ledger.Conway.ImpTest |
| 5 (Function) | Test.Cardano.Ledger.Mary.ImpTest |
| 6 (Function) | Test.Cardano.Ledger.Shelley.ImpTest |
| passNEpochsChecking | |
| 1 (Function) | Test.Cardano.Ledger.Allegra.ImpTest |
| 2 (Function) | Test.Cardano.Ledger.Alonzo.ImpTest |
| 3 (Function) | Test.Cardano.Ledger.Babbage.ImpTest |
| 4 (Function) | Test.Cardano.Ledger.Conway.ImpTest |
| 5 (Function) | Test.Cardano.Ledger.Mary.ImpTest |
| 6 (Function) | Test.Cardano.Ledger.Shelley.ImpTest |
| PassPhrase | |
| 1 (Data Constructor) | Cardano.Crypto.Signing.Safe, Cardano.Crypto.Signing, Cardano.Crypto |
| 2 (Type/Class) | Cardano.Crypto.Signing.Safe, Cardano.Crypto.Signing, Cardano.Crypto |
| passphraseLength | Cardano.Crypto.Signing.Safe, Cardano.Crypto.Signing, Cardano.Crypto |
| passTick | |
| 1 (Function) | Test.Cardano.Ledger.Allegra.ImpTest |
| 2 (Function) | Test.Cardano.Ledger.Alonzo.ImpTest |
| 3 (Function) | Test.Cardano.Ledger.Babbage.ImpTest |
| 4 (Function) | Test.Cardano.Ledger.Conway.ImpTest |
| 5 (Function) | Test.Cardano.Ledger.Mary.ImpTest |
| 6 (Function) | Test.Cardano.Ledger.Shelley.ImpTest |
| Pat | |
| 1 (Data Constructor) | Test.Cardano.Ledger.Constrained.Ast |
| 2 (Type/Class) | Test.Cardano.Ledger.Constrained.Ast |
| 3 (Type/Class) | Control.Iterate.Exp |
| Path | Constrained.Univ, Constrained.Internals |
| PathElem | Constrained.Univ, Constrained.Internals |
| patt | Test.Cardano.Ledger.Constrained.Ast |
| patToAnyF | Test.Cardano.Ledger.Constrained.Ast |
| PayHashR | Test.Cardano.Ledger.Constrained.TypeRep |
| Payload | |
| 1 (Type/Class) | Cardano.Chain.Update |
| 2 (Type/Class) | Cardano.Chain.Delegation |
| 3 (Data Constructor) | Test.Cardano.Ledger.Constrained.Env |
| 4 (Type/Class) | Test.Cardano.Ledger.Constrained.Env |
| payload | Cardano.Chain.Update |
| payloadAnnotation | Cardano.Chain.Update |
| payloadProposal | Cardano.Chain.Update |
| payloadVotes | Cardano.Chain.Update |
| Payment | |
| 1 (Data Constructor) | Cardano.Ledger.Keys |
| 2 (Data Constructor) | Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| paymentCredAddr | Test.Cardano.Ledger.Generic.Functions |
| PaymentCredential | Cardano.Ledger.Credential |
| paymentKeys | Cardano.Ledger.State.UTxO |
| paymentScripts | Cardano.Ledger.State.UTxO |
| payPoolDeposit | |
| 1 (Function) | Cardano.Ledger.CertState |
| 2 (Function) | Cardano.Ledger.Shelley.LedgerState |
| payUniv | Test.Cardano.Ledger.Constrained.Vars |
| PBFT | Byron.Spec.Chain.STS.Rule.Pbft |
| PBFTFailure | Byron.Spec.Chain.STS.Rule.Chain |
| PbftPredicateFailure | Byron.Spec.Chain.STS.Rule.Pbft |
| pcAccountState | Test.Cardano.Ledger.Generic.PrettyCore |
| pcAdaPot | Test.Cardano.Ledger.Generic.PrettyCore |
| pcAddr | Test.Cardano.Ledger.Generic.PrettyCore |
| pcAnchor | Test.Cardano.Ledger.Generic.PrettyCore |
| pcAssetName | Test.Cardano.Ledger.Generic.PrettyCore |
| pcAuxData | |
| 1 (Function) | Test.Cardano.Ledger.Constrained.Classes |
| 2 (Function) | Test.Cardano.Ledger.Generic.PrettyCore |
| pcCertState | Test.Cardano.Ledger.Generic.PrettyCore |
| pcCoin | Test.Cardano.Ledger.Generic.PrettyCore |
| pcCommittee | Test.Cardano.Ledger.Generic.PrettyCore |
| pcCommitteeState | Test.Cardano.Ledger.Generic.PrettyCore |
| pcConstitution | Test.Cardano.Ledger.Generic.PrettyCore |
| pcConwayDelegCert | Test.Cardano.Ledger.Generic.PrettyCore |
| pcConwayGovCert | Test.Cardano.Ledger.Generic.PrettyCore |
| pcConwayGovCertEnv | Test.Cardano.Ledger.Generic.PrettyCore |
| pcConwayGovState | Test.Cardano.Ledger.Generic.PrettyCore |
| pcConwayTxCert | Test.Cardano.Ledger.Generic.PrettyCore |
| pcCoreValue | Test.Cardano.Ledger.Generic.PrettyCore |
| pcCredential | Test.Cardano.Ledger.Generic.PrettyCore |
| pcData | Test.Cardano.Ledger.Generic.PrettyCore |
| pcDataHash | Test.Cardano.Ledger.Generic.PrettyCore |
| pcDatum | Test.Cardano.Ledger.Generic.PrettyCore |
| pcDelegatee | Test.Cardano.Ledger.Generic.PrettyCore |
| pcDelegCert | Test.Cardano.Ledger.Generic.PrettyCore |
| pcDeltaCoin | Test.Cardano.Ledger.Generic.PrettyCore |
| pcDRep | Test.Cardano.Ledger.Generic.PrettyCore |
| pcDRepPulser | Test.Cardano.Ledger.Generic.PrettyCore |
| pcDRepPulsingState | Test.Cardano.Ledger.Generic.PrettyCore |
| pcDRepState | Test.Cardano.Ledger.Generic.PrettyCore |
| pcDState | Test.Cardano.Ledger.Generic.PrettyCore |
| pcEnactSignal | Test.Cardano.Ledger.Generic.PrettyCore |
| pcEnactState | Test.Cardano.Ledger.Generic.PrettyCore |
| pcEpochState | Test.Cardano.Ledger.Generic.PrettyCore |
| pcExUnits | Test.Cardano.Ledger.Generic.PrettyCore |
| pcForest | Test.Cardano.Ledger.Generic.PrettyCore |
| pcFutureGenDeleg | Test.Cardano.Ledger.Generic.PrettyCore |
| pcFuturePParams | Test.Cardano.Ledger.Generic.PrettyCore |
| pcGenDelegPair | Test.Cardano.Ledger.Generic.PrettyCore |
| pcGenesisDelegCert | Test.Cardano.Ledger.Generic.PrettyCore |
| pcGovAction | Test.Cardano.Ledger.Generic.PrettyCore |
| pcGovActionId | Test.Cardano.Ledger.Generic.PrettyCore |
| pcGovActionState | Test.Cardano.Ledger.Generic.PrettyCore |
| pcGovEnv | Test.Cardano.Ledger.Generic.PrettyCore |
| pcGovPurposeId | Test.Cardano.Ledger.Generic.PrettyCore |
| pcGovSignal | Test.Cardano.Ledger.Generic.PrettyCore |
| pcGovState | Test.Cardano.Ledger.Generic.PrettyCore |
| pcHashScript | Test.Cardano.Ledger.Generic.PrettyCore |
| pcIndividualPoolStake | Test.Cardano.Ledger.Generic.PrettyCore |
| pcIRewards | Test.Cardano.Ledger.Generic.PrettyCore |
| pcKeyHash | Test.Cardano.Ledger.Generic.PrettyCore |
| pcLedgerState | Test.Cardano.Ledger.Generic.PrettyCore |
| pcMinFee | Byron.Spec.Ledger.UTxO |
| pcModelNewEpochState | Test.Cardano.Ledger.Generic.ModelState |
| pcMultiAsset | Test.Cardano.Ledger.Generic.PrettyCore |
| pcMultiSig | Test.Cardano.Ledger.Generic.PrettyCore |
| pcMUtxo | Test.Cardano.Ledger.Generic.ModelState |
| pcNetwork | Test.Cardano.Ledger.Generic.PrettyCore |
| pcNewEpochState | Test.Cardano.Ledger.Generic.PrettyCore |
| pcPair | Test.Cardano.Ledger.Generic.PrettyCore |
| pcPEdges | Test.Cardano.Ledger.Generic.PrettyCore |
| pcPolicyID | Test.Cardano.Ledger.Generic.PrettyCore |
| pcPoolCert | Test.Cardano.Ledger.Generic.PrettyCore |
| pcPoolDistr | Test.Cardano.Ledger.Generic.PrettyCore |
| pcPoolEnv | Test.Cardano.Ledger.Generic.PrettyCore |
| pcPoolParams | Test.Cardano.Ledger.Generic.PrettyCore |
| pcPParams | Test.Cardano.Ledger.Generic.PrettyCore |
| pcPParamsField | Test.Cardano.Ledger.Generic.PrettyCore |
| pcPParamsSynopsis | Test.Cardano.Ledger.Generic.PrettyCore |
| pcPrevGovActionIds | Test.Cardano.Ledger.Generic.PrettyCore |
| pcProposalProcedure | Test.Cardano.Ledger.Generic.PrettyCore |
| pcProposals | Test.Cardano.Ledger.Generic.PrettyCore |
| pcPState | Test.Cardano.Ledger.Generic.PrettyCore |
| pcPulsingSnapshot | Test.Cardano.Ledger.Generic.PrettyCore |
| pcRatifyEnv | Test.Cardano.Ledger.Generic.PrettyCore |
| pcRatifySignal | Test.Cardano.Ledger.Generic.PrettyCore |
| pcRatifyState | Test.Cardano.Ledger.Generic.PrettyCore |
| PCredR | Test.Cardano.Ledger.Constrained.TypeRep |
| pcReward | Test.Cardano.Ledger.Generic.PrettyCore |
| pcRewardAccount | Test.Cardano.Ledger.Generic.PrettyCore |
| pcScript | Test.Cardano.Ledger.Generic.PrettyCore |
| pcScriptHash | Test.Cardano.Ledger.Generic.PrettyCore |
| pcScriptsNeeded | Test.Cardano.Ledger.Generic.PrettyCore |
| pcShelleyGovState | Test.Cardano.Ledger.Generic.PrettyCore |
| pcShelleyTxCert | Test.Cardano.Ledger.Generic.PrettyCore |
| pcSlotNo | Test.Cardano.Ledger.Generic.PrettyCore |
| pcSmallUTxO | Test.Cardano.Ledger.Generic.Trace |
| pcSnapShot | Test.Cardano.Ledger.Generic.PrettyCore |
| pcSnapShotL | Test.Cardano.Ledger.Generic.PrettyCore |
| pcSnapShots | Test.Cardano.Ledger.Generic.PrettyCore |
| pcStake | Test.Cardano.Ledger.Generic.PrettyCore |
| pcStakeReference | Test.Cardano.Ledger.Generic.PrettyCore |
| pcTimelock | Test.Cardano.Ledger.Generic.PrettyCore |
| pcTx | Test.Cardano.Ledger.Generic.PrettyCore |
| pcTxBody | Test.Cardano.Ledger.Generic.PrettyCore |
| pcTxBodyField | Test.Cardano.Ledger.Generic.PrettyCore |
| pcTxBodyWithUTxO | Test.Cardano.Ledger.Generic.PrettyCore |
| pcTxCert | Test.Cardano.Ledger.Generic.PrettyCore |
| pcTxField | Test.Cardano.Ledger.Generic.PrettyCore |
| pcTxId | Test.Cardano.Ledger.Generic.PrettyCore |
| pcTxIn | Test.Cardano.Ledger.Generic.PrettyCore |
| pcTxOut | Test.Cardano.Ledger.Generic.PrettyCore |
| pcTxWithUTxO | Test.Cardano.Ledger.Constrained.Preds.Tx |
| pcUTxO | Test.Cardano.Ledger.Generic.PrettyCore |
| pcUtxo | Test.Cardano.Ledger.Constrained.Preds.Tx |
| pcUtxoDoc | Test.Cardano.Ledger.Constrained.Preds.Tx |
| pcUTxOState | Test.Cardano.Ledger.Generic.PrettyCore |
| pcVal | Test.Cardano.Ledger.Generic.PrettyCore |
| pcValue | Test.Cardano.Ledger.Generic.PrettyCore |
| pcVote | Test.Cardano.Ledger.Generic.PrettyCore |
| pcVoter | Test.Cardano.Ledger.Generic.PrettyCore |
| pcVotingProcedure | Test.Cardano.Ledger.Generic.PrettyCore |
| pcVotingProcedures | Test.Cardano.Ledger.Generic.PrettyCore |
| pcVState | Test.Cardano.Ledger.Generic.PrettyCore |
| pcWitnesses | Test.Cardano.Ledger.Generic.PrettyCore |
| pcWitnessesField | Test.Cardano.Ledger.Generic.PrettyCore |
| pcWitVKey | Test.Cardano.Ledger.Generic.PrettyCore |
| PDoc | Test.Cardano.Ledger.Generic.PrettyCore |
| pdsStakePoolKeyHash | Cardano.Ledger.State.UTxO |
| pdsStakePoolStakeVrf | Cardano.Ledger.State.UTxO |
| pdTotalActiveStake | |
| 1 (Function) | Cardano.Ledger.PoolDistr |
| 2 (Function) | Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| peChildren | Cardano.Ledger.Conway.Governance |
| peChildrenL | Cardano.Ledger.Conway.Governance |
| PEdges | |
| 1 (Data Constructor) | Cardano.Ledger.Conway.Governance |
| 2 (Type/Class) | Cardano.Ledger.Conway.Governance |
| PeekAvailable | Cardano.Ledger.Binary.Plain, Cardano.Ledger.Binary.Decoding, Cardano.Ledger.Binary |
| peekAvailable | |
| 1 (Function) | Cardano.Ledger.Binary.Decoding, Cardano.Ledger.Binary |
| 2 (Function) | Cardano.Ledger.Binary.Plain |
| PeekByteOffset | Cardano.Ledger.Binary.Plain, Cardano.Ledger.Binary.Decoding, Cardano.Ledger.Binary |
| peekByteOffset | |
| 1 (Function) | Cardano.Ledger.Binary.Decoding, Cardano.Ledger.Binary |
| 2 (Function) | Cardano.Ledger.Binary.Plain |
| PeekTokenType | Cardano.Ledger.Binary.Plain, Cardano.Ledger.Binary.Decoding, Cardano.Ledger.Binary |
| peekTokenType | |
| 1 (Function) | Cardano.Ledger.Binary.Decoding, Cardano.Ledger.Binary |
| 2 (Function) | Cardano.Ledger.Binary.Plain |
| pending | Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common |
| pendingWith | Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common |
| peParent | Cardano.Ledger.Conway.Governance |
| Percent | |
| 1 (Data Constructor) | Cardano.Ledger.State.UTxO |
| 2 (Type/Class) | Cardano.Ledger.State.UTxO |
| percentile' | Cardano.Ledger.Shelley.PoolRank |
| PerformanceEstimate | |
| 1 (Data Constructor) | Cardano.Ledger.Shelley.PoolRank |
| 2 (Type/Class) | Cardano.Ledger.Shelley.PoolRank |
| performanceEstimate | Cardano.Ledger.Shelley.API.Wallet, Cardano.Ledger.Shelley.API |
| pfeProposals | Test.Cardano.Ledger.Conway.Arbitrary |
| pfeToEnact | Test.Cardano.Ledger.Conway.Arbitrary |
| pfeToRemove | Test.Cardano.Ledger.Conway.Arbitrary |
| pfeToRetain | Test.Cardano.Ledger.Conway.Arbitrary |
| PFix | Constrained.Univ, Constrained.Internals |
| pgenTx | Test.Cardano.Ledger.Constrained.Preds.Tx |
| pgenTxBody | Test.Cardano.Ledger.Constrained.Preds.Tx |
| pgenTxBodyField | Test.Cardano.Ledger.Constrained.Preds.Tx |
| pgenTxField | Test.Cardano.Ledger.Constrained.Preds.Tx |
| PGraph | |
| 1 (Data Constructor) | Cardano.Ledger.Conway.Governance |
| 2 (Type/Class) | Cardano.Ledger.Conway.Governance |
| pGraphL | Cardano.Ledger.Conway.Governance |
| pGraphNodesL | Cardano.Ledger.Conway.Governance |
| phase2scripts2Arg | Test.Cardano.Ledger.Alonzo.AlonzoEraGen |
| phase2scripts2ArgSucceeds | Test.Cardano.Ledger.Alonzo.AlonzoEraGen |
| phase2scripts3Arg | Test.Cardano.Ledger.Alonzo.AlonzoEraGen |
| phase2scripts3ArgSucceeds | Test.Cardano.Ledger.Alonzo.AlonzoEraGen |
| pick1 | Test.Cardano.Ledger.Constrained.Preds.Universes |
| pickHighlyEndorsedProtocolVersion | Byron.Spec.Ledger.Update |
| pickRandomFromMap | Test.Cardano.Ledger.Shelley.Generator.Utxo |
| pickStakeKey | Test.Cardano.Ledger.Shelley.Generator.Core |
| pid1 | Test.Cardano.Ledger.Mary.Golden |
| pid2 | Test.Cardano.Ledger.Mary.Golden |
| pid3 | Test.Cardano.Ledger.Mary.Golden |
| pinnedBy | Constrained.Base, Constrained.Spec, Constrained.Internals |
| Pipeline | Test.Cardano.Ledger.Constrained.Stage |
| pipeToGraph | Test.Cardano.Ledger.Constrained.Trace.Pipeline |
| pledgeRatioP | Cardano.Ledger.Shelley.RewardProvenance |
| PLeft | Constrained.Univ, Constrained.Internals |
| Plus | Test.Cardano.Ledger.Shelley.Serialisation.GoldenUtils |
| plus | Control.Iterate.Exp |
| plusNegate | Constrained.Test |
| Plutus | |
| 1 (Data Constructor) | Cardano.Ledger.Plutus.Language, Cardano.Ledger.Plutus |
| 2 (Type/Class) | Cardano.Ledger.Plutus.Language, Cardano.Ledger.Plutus |
| PlutusArgs | |
| 1 (Type/Class) | Test.Cardano.Ledger.Allegra.ImpTest |
| 2 (Type/Class) | Test.Cardano.Ledger.Alonzo.ImpTest |
| 3 (Type/Class) | Test.Cardano.Ledger.Babbage.ImpTest |
| 4 (Type/Class) | Test.Cardano.Ledger.Conway.ImpTest |
| 5 (Type/Class) | Cardano.Ledger.Plutus.Language, Cardano.Ledger.Plutus.Language, Cardano.Ledger.Plutus, Cardano.Ledger.Plutus |
| 6 (Data Constructor) | Test.Cardano.Ledger.Plutus.ScriptTestContext, Test.Cardano.Ledger.Plutus |
| 7 (Type/Class) | Test.Cardano.Ledger.Plutus.ScriptTestContext, Test.Cardano.Ledger.Plutus |
| 8 (Type/Class) | Test.Cardano.Ledger.Mary.ImpTest |
| 9 (Type/Class) | Test.Cardano.Ledger.Shelley.ImpTest |
| PlutusBinary | |
| 1 (Type/Class) | Cardano.Ledger.Alonzo.Scripts |
| 2 (Data Constructor) | Cardano.Ledger.Alonzo.Scripts |
| 3 (Data Constructor) | Cardano.Ledger.Plutus.Language, Cardano.Ledger.Plutus |
| 4 (Type/Class) | Cardano.Ledger.Plutus.Language, Cardano.Ledger.Plutus |
| plutusBinary | Cardano.Ledger.Plutus.Language, Cardano.Ledger.Plutus |
| PlutusData | |
| 1 (Data Constructor) | Cardano.Ledger.Plutus.Data, Cardano.Ledger.Plutus |
| 2 (Type/Class) | Cardano.Ledger.Plutus.Data, Cardano.Ledger.Plutus |
| plutusDataSummary | Test.Cardano.Ledger.Generic.PrettyCore |
| PlutusDebugInfo | Cardano.Ledger.Plutus.Evaluate, Cardano.Ledger.Plutus |
| PlutusFailure | Cardano.Ledger.Alonzo.Rules |
| plutusFree | Test.Cardano.Ledger.Constrained.Trace.SimpleTx |
| plutusFreeAddr | Test.Cardano.Ledger.Constrained.Trace.SimpleTx |
| plutusFreeCredential | Test.Cardano.Ledger.Constrained.Trace.SimpleTx |
| plutusFreePolicyID | Test.Cardano.Ledger.Constrained.Trace.SimpleTx |
| plutusFreeValue | Test.Cardano.Ledger.Constrained.Trace.SimpleTx |
| plutusFromRunnable | Cardano.Ledger.Plutus.Language, Cardano.Ledger.Plutus |
| PlutusLanguage | Cardano.Ledger.Plutus.Language, Cardano.Ledger.Plutus |
| plutusLanguage | Cardano.Ledger.Plutus.Language, Cardano.Ledger.Plutus |
| plutusLanguageTag | Cardano.Ledger.Plutus.Language, Cardano.Ledger.Plutus |
| PlutusPointerF | |
| 1 (Data Constructor) | Test.Cardano.Ledger.Constrained.Classes |
| 2 (Type/Class) | Test.Cardano.Ledger.Constrained.Classes |
| PlutusPurpose | |
| 1 (Type/Class) | Cardano.Ledger.Alonzo.Scripts, Cardano.Ledger.Alonzo.Core |
| 2 (Type/Class) | Cardano.Ledger.Api.Scripts, Cardano.Ledger.Api.Tx.Body, Cardano.Ledger.Api.Tx.Body, Cardano.Ledger.Api.Tx.Wits, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api, Cardano.Ledger.Api |
| 3 (Type/Class) | Cardano.Ledger.Babbage.Core, Cardano.Ledger.Babbage.Core |
| 4 (Type/Class) | Cardano.Ledger.Conway.Core, Cardano.Ledger.Conway.Core |
| PlutusPurposeF | |
| 1 (Data Constructor) | Test.Cardano.Ledger.Constrained.Classes |
| 2 (Type/Class) | Test.Cardano.Ledger.Constrained.Classes |
| PlutusPurposeNotSupported | Cardano.Ledger.Conway.TxInfo |
| PlutusPurposeTag | Test.Cardano.Ledger.Generic.GenState |
| plutusPurposeTags | Test.Cardano.Ledger.Generic.GenState |
| PlutusRunnable | |
| 1 (Data Constructor) | Cardano.Ledger.Plutus.Language, Cardano.Ledger.Plutus |
| 2 (Type/Class) | Cardano.Ledger.Plutus.Language, Cardano.Ledger.Plutus |
| plutusRunnable | Cardano.Ledger.Plutus.Language, Cardano.Ledger.Plutus |
| PlutusScript | |
| 1 (Type/Class) | Cardano.Ledger.Alonzo.Scripts, Cardano.Ledger.Alonzo.Scripts, Cardano.Ledger.Alonzo.Core |
| 2 (Data Constructor) | Cardano.Ledger.Alonzo.Scripts |
| 3 (Type/Class) | Cardano.Ledger.Api.Scripts, Cardano.Ledger.Api.Tx.Body, Cardano.Ledger.Api.Tx.Body, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api, Cardano.Ledger.Api |
| 4 (Data Constructor) | Cardano.Ledger.Babbage.Scripts |
| 5 (Type/Class) | Cardano.Ledger.Babbage.Scripts, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Babbage.Core |
| 6 (Data Constructor) | Cardano.Ledger.Conway.Scripts |
| 7 (Type/Class) | Cardano.Ledger.Conway.Scripts, Cardano.Ledger.Conway.Core, Cardano.Ledger.Conway.Core |
| plutusScriptBinary | Cardano.Ledger.Alonzo.Scripts |
| PlutusScriptContext | |
| 1 (Type/Class) | Cardano.Ledger.Alonzo.Plutus.Context |
| 2 (Type/Class) | Cardano.Ledger.Plutus.Language, Cardano.Ledger.Plutus |
| plutusScriptLanguage | Cardano.Ledger.Alonzo.Scripts |
| PlutusScriptPurpose | Cardano.Ledger.Alonzo.Plutus.Context |
| plutusScriptsAllegraTxAuxDataL | Cardano.Ledger.Alonzo.TxAuxData |
| plutusScriptsTxAuxDataL | |
| 1 (Function) | Cardano.Ledger.Alonzo.TxAuxData, Cardano.Ledger.Alonzo.Core |
| 2 (Function) | Cardano.Ledger.Api.Tx.AuxData, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api |
| 3 (Function) | Cardano.Ledger.Babbage.Core |
| 4 (Function) | Cardano.Ledger.Conway.Core |
| plutusSLanguage | Cardano.Ledger.Plutus.Language, Cardano.Ledger.Plutus |
| plutusSummary | Test.Cardano.Ledger.Generic.PrettyCore |
| plutusTestScripts | |
| 1 (Function) | Test.Cardano.Ledger.Alonzo.ImpTest |
| 2 (Function) | Test.Cardano.Ledger.Babbage.ImpTest |
| 3 (Function) | Test.Cardano.Ledger.Conway.ImpTest |
| PlutusTxCert | Cardano.Ledger.Alonzo.Plutus.Context |
| PlutusTxInfo | Cardano.Ledger.Alonzo.Plutus.Context |
| plutusUniv | Test.Cardano.Ledger.Constrained.Vars |
| PlutusV1 | Cardano.Ledger.Plutus.Language, Cardano.Ledger.Plutus |
| PlutusV1Args | Cardano.Ledger.Plutus.Language, Cardano.Ledger.Plutus |
| PlutusV2 | Cardano.Ledger.Plutus.Language, Cardano.Ledger.Plutus |
| PlutusV2Args | Cardano.Ledger.Plutus.Language, Cardano.Ledger.Plutus |
| PlutusV3 | Cardano.Ledger.Plutus.Language, Cardano.Ledger.Plutus |
| PlutusV3Args | Cardano.Ledger.Plutus.Language, Cardano.Ledger.Plutus |
| PlutusWithContext | |
| 1 (Data Constructor) | Cardano.Ledger.Plutus.Evaluate, Cardano.Ledger.Plutus |
| 2 (Type/Class) | Cardano.Ledger.Plutus.Evaluate, Cardano.Ledger.Plutus |
| pmHash | |
| 1 (Function) | Cardano.Ledger.PoolParams |
| 2 (Function) | Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| pmUrl | |
| 1 (Function) | Cardano.Ledger.PoolParams |
| 2 (Function) | Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| PObject | Control.Provenance |
| pointWise | Data.CanonicalMaps |
| pointwise | Cardano.Ledger.Val |
| pointWiseExUnits | |
| 1 (Function) | Cardano.Ledger.Alonzo.Scripts |
| 2 (Function) | Cardano.Ledger.Plutus.ExUnits, Cardano.Ledger.Plutus |
| policies | Cardano.Ledger.Mary.Value |
| Policy | Test.Cardano.Ledger.Generic.Updaters |
| PolicyID | |
| 1 (Data Constructor) | Cardano.Ledger.Mary.Value |
| 2 (Type/Class) | Cardano.Ledger.Mary.Value |
| policyID | Cardano.Ledger.Mary.Value |
| PolicyIDR | Test.Cardano.Ledger.Constrained.TypeRep |
| policyIndex | Test.Cardano.Ledger.MaryEraGen |
| policy_id | Test.Cardano.Ledger.Mary.CDDL |
| polyQuickCheck | |
| 1 (Function) | Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common |
| 2 (Function) | Test.Common |
| polyVerboseCheck | |
| 1 (Function) | Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common |
| 2 (Function) | Test.Common |
| POOL | |
| 1 (Data Constructor) | Test.Cardano.Ledger.Constrained.Trace.Pipeline |
| 2 (Data Constructor) | Test.Cardano.Ledger.Generic.Proof |
| poolBlocks | Cardano.Ledger.Shelley.Rewards |
| poolBlocksP | Cardano.Ledger.Shelley.RewardProvenance |
| PoolCert | |
| 1 (Type/Class) | Cardano.Ledger.Allegra.Core |
| 2 (Type/Class) | Cardano.Ledger.Alonzo.Core |
| 3 (Type/Class) | Cardano.Ledger.Babbage.Core |
| 4 (Type/Class) | Cardano.Ledger.Conway.Core |
| 5 (Type/Class) | Cardano.Ledger.Core |
| 6 (Type/Class) | Cardano.Ledger.Mary.Core |
| 7 (Type/Class) | Cardano.Ledger.Shelley.TxCert, Cardano.Ledger.Shelley.Core, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| poolCertKeyHashWitness | |
| 1 (Function) | Cardano.Ledger.Allegra.Core |
| 2 (Function) | Cardano.Ledger.Alonzo.Core |
| 3 (Function) | Cardano.Ledger.Babbage.Core |
| 4 (Function) | Cardano.Ledger.Conway.Core |
| 5 (Function) | Cardano.Ledger.Core |
| 6 (Function) | Cardano.Ledger.Mary.Core |
| 7 (Function) | Cardano.Ledger.Shelley.Core |
| poolCertSpec | Test.Cardano.Ledger.Constrained.Conway.Pool, Test.Cardano.Ledger.Constrained.Conway |
| PoolCred | Test.Cardano.Ledger.Shelley.Generator.TxCert, Test.Cardano.Ledger.Shelley.Generator.Delegation |
| poolDepAmt | Test.Cardano.Ledger.Constrained.Vars |
| PoolDeposit | |
| 1 (Data Constructor) | Test.Cardano.Ledger.Constrained.Conway.Utxo, Test.Cardano.Ledger.Constrained.Conway |
| 2 (Data Constructor) | Test.Cardano.Ledger.Generic.Fields |
| poolDeposit | Test.Cardano.Ledger.Constrained.Conway.Instances.Basic, Test.Cardano.Ledger.Constrained.Conway.Instances.PParams, Test.Cardano.Ledger.Constrained.Conway.Instances.Ledger, Test.Cardano.Ledger.Constrained.Conway.ParametricSpec, Test.Cardano.Ledger.Constrained.Conway.Instances, Test.Cardano.Ledger.Constrained.Conway |
| poolDeposits | Test.Cardano.Ledger.Constrained.Vars |
| poolDepositsL | Test.Cardano.Ledger.Constrained.Vars |
| poolDeposit_ | Test.Cardano.Ledger.Constrained.Conway.Instances.PParams, Test.Cardano.Ledger.Constrained.Conway.ParametricSpec, Test.Cardano.Ledger.Constrained.Conway.Instances, Test.Cardano.Ledger.Constrained.Conway |
| PoolDistr | |
| 1 (Data Constructor) | Cardano.Ledger.PoolDistr |
| 2 (Type/Class) | Cardano.Ledger.PoolDistr |
| 3 (Type/Class) | Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| 4 (Data Constructor) | Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| poolDistr | Test.Cardano.Ledger.Constrained.Vars |
| poolDistrDistrL | Cardano.Ledger.PoolDistr |
| poolDistrL | Test.Cardano.Ledger.Constrained.Vars |
| PoolDistrStats | |
| 1 (Data Constructor) | Cardano.Ledger.State.UTxO |
| 2 (Type/Class) | Cardano.Ledger.State.UTxO |
| poolDistrTotalL | Cardano.Ledger.PoolDistr |
| poolDistrZero | Test.Cardano.Ledger.Generic.ModelState |
| PoolEnv | |
| 1 (Data Constructor) | Cardano.Ledger.Shelley.Rules, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| 2 (Type/Class) | Cardano.Ledger.Shelley.Rules, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| poolEnvSpec | Test.Cardano.Ledger.Constrained.Conway.Pool, Test.Cardano.Ledger.Constrained.Conway |
| PoolEvent | |
| 1 (Data Constructor) | Cardano.Ledger.Conway.Rules |
| 2 (Type/Class) | Cardano.Ledger.Shelley.Rules |
| PoolFailure | |
| 1 (Data Constructor) | Cardano.Ledger.Conway.Rules |
| 2 (Data Constructor) | Cardano.Ledger.Shelley.Rules |
| PoolHashR | Test.Cardano.Ledger.Constrained.TypeRep |
| poolHashUniv | Test.Cardano.Ledger.Constrained.Vars |
| PoolKey | Test.Cardano.Ledger.Constrained.Conway.Cert, Test.Cardano.Ledger.Constrained.Conway.ParametricSpec, Test.Cardano.Ledger.Constrained.Conway.Instances, Test.Cardano.Ledger.Constrained.Conway |
| poolLeaderReward | Cardano.Ledger.Shelley.Rewards |
| poolLifetimeExample | Test.Cardano.Ledger.Shelley.Examples.PoolLifetime |
| poolMapSpec | Test.Cardano.Ledger.Constrained.Conway.LedgerTypes.Tests |
| PoolMedataHashTooBig | Cardano.Ledger.Shelley.Rules |
| PoolMetadata | |
| 1 (Data Constructor) | Cardano.Ledger.PoolParams |
| 2 (Type/Class) | Cardano.Ledger.PoolParams |
| 3 (Type/Class) | Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| 4 (Data Constructor) | Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| poolMetadata | Test.Cardano.Ledger.Constrained.Preds.Certs |
| PoolMetadataR | Test.Cardano.Ledger.Constrained.TypeRep |
| poolMetaL | Test.Cardano.Ledger.Constrained.Preds.Certs |
| PoolParams | |
| 1 (Data Constructor) | Cardano.Ledger.PoolParams |
| 2 (Type/Class) | Cardano.Ledger.PoolParams |
| 3 (Type/Class) | Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| 4 (Data Constructor) | Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| poolParams | |
| 1 (Function) | Test.Cardano.Ledger.Allegra.ImpTest |
| 2 (Function) | Test.Cardano.Ledger.Alonzo.ImpTest |
| 3 (Function) | Test.Cardano.Ledger.Babbage.ImpTest |
| 4 (Function) | Test.Cardano.Ledger.Conway.ImpTest |
| 5 (Function) | Test.Cardano.Ledger.Mary.ImpTest |
| 6 (Function) | Test.Cardano.Ledger.Shelley.ImpTest |
| poolParamsP | Cardano.Ledger.Shelley.RewardProvenance |
| PoolParamsR | Test.Cardano.Ledger.Constrained.TypeRep |
| PoolParamsStats | |
| 1 (Data Constructor) | Cardano.Ledger.State.UTxO |
| 2 (Type/Class) | Cardano.Ledger.State.UTxO |
| poolPot | Cardano.Ledger.Shelley.Rewards |
| poolPs | Cardano.Ledger.Shelley.Rewards |
| POOLREAP | Test.Cardano.Ledger.Constrained.Trace.Pipeline |
| PoolReapEvent | |
| 1 (Data Constructor) | Cardano.Ledger.Conway.Rules |
| 2 (Data Constructor) | Cardano.Ledger.Shelley.Rules |
| PoolReapFailure | Cardano.Ledger.Shelley.Rules |
| PoolreapState | Cardano.Ledger.Shelley.Rules |
| poolRelativeStake | Cardano.Ledger.Shelley.Rewards |
| poolReRegExample | Test.Cardano.Ledger.Shelley.Examples.PoolReReg |
| PoolRewardInfo | |
| 1 (Data Constructor) | Cardano.Ledger.Shelley.Rewards |
| 2 (Type/Class) | Cardano.Ledger.Shelley.Rewards |
| poolRP | Cardano.Ledger.Shelley.RewardProvenance |
| pools | Cardano.Ledger.Shelley.RewardProvenance |
| poolsByTotalStakeFraction | Cardano.Ledger.Shelley.API.Wallet, Cardano.Ledger.Shelley.API |
| poolStake | Cardano.Ledger.EpochBoundary |
| poolTraceFromBlock | Test.Cardano.Ledger.Shelley.Rules.TestChain |
| poolTxCertDecoder | Cardano.Ledger.Shelley.TxCert |
| PoolVotingThreshold | Test.Cardano.Ledger.Generic.Fields |
| PoolVotingThresholds | |
| 1 (Data Constructor) | Cardano.Ledger.Conway.PParams, Cardano.Ledger.Conway.Core |
| 2 (Type/Class) | Cardano.Ledger.Conway.PParams, Cardano.Ledger.Conway.Core |
| poolVotingThresholds | Test.Cardano.Ledger.Constrained.Conway.Instances.Basic, Test.Cardano.Ledger.Constrained.Conway.Instances.PParams, Test.Cardano.Ledger.Constrained.Conway.Instances.Ledger, Test.Cardano.Ledger.Constrained.Conway.ParametricSpec, Test.Cardano.Ledger.Constrained.Conway.Instances, Test.Cardano.Ledger.Constrained.Conway |
| poolVotingThresholds_ | Test.Cardano.Ledger.Constrained.Conway.Instances.PParams, Test.Cardano.Ledger.Constrained.Conway.ParametricSpec, Test.Cardano.Ledger.Constrained.Conway.Instances, Test.Cardano.Ledger.Constrained.Conway |
| pool_keyhash | Test.Cardano.Ledger.Core.Binary.CDDL |
| pool_metadata | Test.Cardano.Ledger.Shelley.CDDL |
| pool_params | Test.Cardano.Ledger.Shelley.CDDL |
| pool_registration | Test.Cardano.Ledger.Shelley.CDDL |
| pool_retirement | Test.Cardano.Ledger.Shelley.CDDL |
| PoorSecret | |
| 1 (Data Constructor) | Cardano.Chain.Genesis |
| 2 (Type/Class) | Cardano.Chain.Genesis |
| poorSecretToKey | Cardano.Chain.Genesis |
| Port | |
| 1 (Data Constructor) | Cardano.Ledger.BaseTypes |
| 2 (Type/Class) | Cardano.Ledger.BaseTypes |
| 3 (Type/Class) | Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| 4 (Data Constructor) | Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| port | Test.Cardano.Ledger.Shelley.CDDL |
| portToWord16 | |
| 1 (Function) | Cardano.Ledger.BaseTypes |
| 2 (Function) | Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| pos | |
| 1 (Function) | Test.Cardano.Ledger.Constrained.Spec |
| 2 (Function) | Constrained.Base, Constrained.Spec, Constrained.Internals |
| PosInf | Constrained.Base, Constrained.Spec, Constrained.Internals |
| posInt64 | Test.Cardano.Ledger.Core.Binary.CDDL |
| Positive | |
| 1 (Type/Class) | Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common |
| 2 (Data Constructor) | Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common |
| 3 (Data Constructor) | Test.Common |
| 4 (Type/Class) | Test.Common |
| PositiveInterval | Cardano.Ledger.BaseTypes |
| positiveSingleDigitInt | Test.Cardano.Ledger.Generic.GenState |
| PositiveUnitInterval | Cardano.Ledger.BaseTypes |
| positive_coin | Test.Cardano.Ledger.Core.Binary.CDDL |
| positive_int | Test.Cardano.Ledger.Core.Binary.CDDL |
| posNegDistr | Constrained.Examples.Basic, Constrained.Examples |
| postAllegra | Test.Cardano.Ledger.Generic.Proof |
| postAlonzo | Test.Cardano.Ledger.Generic.Proof |
| postBabbage | Test.Cardano.Ledger.Generic.Proof |
| postBootstrapFailures | Test.Cardano.Ledger.Conway.ImpTest |
| PostCondition | Control.State.Transition.Extended, Control.State.Transition.Simple, Control.State.Transition |
| postConway | Test.Cardano.Ledger.Generic.Proof |
| postMary | Test.Cardano.Ledger.Generic.Proof |
| PostShelley | Test.Cardano.Ledger.Generic.Scriptic |
| postShelley | Test.Cardano.Ledger.Generic.Proof |
| PotentialPParamsUpdate | |
| 1 (Data Constructor) | Cardano.Ledger.Allegra.Core |
| 2 (Data Constructor) | Cardano.Ledger.Alonzo.Core |
| 3 (Data Constructor) | Cardano.Ledger.Babbage.Core |
| 4 (Data Constructor) | Cardano.Ledger.Conway.Core |
| 5 (Data Constructor) | Cardano.Ledger.Mary.Core |
| 6 (Data Constructor) | Cardano.Ledger.Shelley.Governance, Cardano.Ledger.Shelley.Core |
| powersetPickOne | Constrained.Examples.Set, Constrained.Examples |
| pow_Diff | Tests.Cardano.Ledger.NonIntegral |
| ppA0L | |
| 1 (Function) | Cardano.Ledger.Allegra.Core |
| 2 (Function) | Cardano.Ledger.Alonzo.Core |
| 3 (Function) | Cardano.Ledger.Api.PParams, Cardano.Ledger.Api |
| 4 (Function) | Cardano.Ledger.Babbage.Core |
| 5 (Function) | Cardano.Ledger.Conway.Core |
| 6 (Function) | Cardano.Ledger.Core |
| 7 (Function) | Cardano.Ledger.Mary.Core |
| 8 (Function) | Cardano.Ledger.Shelley.Core |
| 9 (Function) | Test.Cardano.Ledger.EraClass |
| PPair | Control.Iterate.Exp |
| ppAllegraTxAuxData | Test.Cardano.Ledger.Generic.PrettyCore |
| ppAllegraTxBody | Test.Cardano.Ledger.Generic.PrettyCore |
| ppAllegraUtxoPredFailure | Test.Cardano.Ledger.Generic.PrettyCore |
| ppAlonzoBbodyPredFail | Test.Cardano.Ledger.Generic.PrettyCore |
| ppAlonzoTx | Test.Cardano.Ledger.Generic.PrettyCore |
| ppAlonzoTxAuxData | Test.Cardano.Ledger.Generic.PrettyCore |
| ppAlonzoTxBody | Test.Cardano.Ledger.Generic.PrettyCore |
| ppAlonzoUtxoPredFailure | Test.Cardano.Ledger.Generic.PrettyCore |
| ppAlonzoUtxowPredFailure | Test.Cardano.Ledger.Generic.PrettyCore |
| ppApp | |
| 1 (Function) | Test.Cardano.Ledger.Allegra.TreeDiff |
| 2 (Function) | Test.Cardano.Ledger.Alonzo.TreeDiff |
| 3 (Function) | Test.Cardano.Ledger.Babbage.TreeDiff |
| 4 (Function) | Test.Cardano.Ledger.Binary.TreeDiff |
| 5 (Function) | Test.Cardano.Ledger.Conway.TreeDiff |
| 6 (Function) | Test.Cardano.Ledger.TreeDiff |
| 7 (Function) | Test.Cardano.Ledger.Mary.TreeDiff |
| 8 (Function) | Test.Cardano.Ledger.Shelley.TreeDiff |
| PParam | |
| 1 (Data Constructor) | Cardano.Ledger.Allegra.Core |
| 2 (Type/Class) | Cardano.Ledger.Allegra.Core |
| 3 (Data Constructor) | Cardano.Ledger.Alonzo.Core |
| 4 (Type/Class) | Cardano.Ledger.Alonzo.Core |
| 5 (Data Constructor) | Cardano.Ledger.Babbage.Core |
| 6 (Type/Class) | Cardano.Ledger.Babbage.Core |
| 7 (Data Constructor) | Cardano.Ledger.Conway.Core |
| 8 (Type/Class) | Cardano.Ledger.Conway.Core |
| 9 (Data Constructor) | Cardano.Ledger.Core |
| 10 (Type/Class) | Cardano.Ledger.Core |
| 11 (Data Constructor) | Cardano.Ledger.Mary.Core |
| 12 (Type/Class) | Cardano.Ledger.Mary.Core |
| 13 (Type/Class) | Cardano.Ledger.Shelley.Core |
| 14 (Data Constructor) | Cardano.Ledger.Shelley.Core |
| pparamProposals | Test.Cardano.Ledger.Constrained.Vars |
| PParams | |
| 1 (Data Constructor) | Byron.Spec.Ledger.Update |
| 2 (Type/Class) | Byron.Spec.Ledger.Update |
| 3 (Data Constructor) | Cardano.Ledger.Allegra.Core |
| 4 (Type/Class) | Cardano.Ledger.Allegra.Core |
| 5 (Data Constructor) | Cardano.Ledger.Alonzo.Core |
| 6 (Type/Class) | Cardano.Ledger.Alonzo.Core |
| 7 (Type/Class) | Cardano.Ledger.Api.PParams, Cardano.Ledger.Api |
| 8 (Data Constructor) | Cardano.Ledger.Babbage.Core |
| 9 (Type/Class) | Cardano.Ledger.Babbage.Core |
| 10 (Data Constructor) | Cardano.Ledger.Conway.Core |
| 11 (Type/Class) | Cardano.Ledger.Conway.Core |
| 12 (Data Constructor) | Cardano.Ledger.Core |
| 13 (Type/Class) | Cardano.Ledger.Core |
| 14 (Data Constructor) | Cardano.Ledger.Mary.Core |
| 15 (Type/Class) | Cardano.Ledger.Mary.Core |
| 16 (Type/Class) | Cardano.Ledger.Shelley.Core |
| 17 (Data Constructor) | Cardano.Ledger.Shelley.Core |
| 18 (Type/Class) | Test.Cardano.Ledger.EraClass |
| pparams | |
| 1 (Function) | Test.Cardano.Ledger.Generic.ApplyTx |
| 2 (Function) | Test.Cardano.Ledger.Constrained.Vars |
| PParamsAlonzoToAlonzo | Test.Cardano.Ledger.Generic.Proof |
| PParamsBabbageToBabbage | Test.Cardano.Ledger.Generic.Proof |
| PParamsConwayToConway | Test.Cardano.Ledger.Generic.Proof |
| PParamsF | |
| 1 (Data Constructor) | Test.Cardano.Ledger.Constrained.Classes, Test.Cardano.Ledger.Constrained.TypeRep |
| 2 (Type/Class) | Test.Cardano.Ledger.Constrained.Classes, Test.Cardano.Ledger.Constrained.TypeRep |
| PParamsField | Test.Cardano.Ledger.Generic.Fields |
| pparamsFL | Test.Cardano.Ledger.Constrained.Vars |
| pparamsGen | Byron.Spec.Ledger.Update.Generators |
| PParamsHKD | |
| 1 (Type/Class) | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Allegra.Core |
| 2 (Type/Class) | Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Alonzo.Core |
| 3 (Type/Class) | Cardano.Ledger.Babbage.Core, Cardano.Ledger.Babbage.Core |
| 4 (Type/Class) | Cardano.Ledger.Conway.Core, Cardano.Ledger.Conway.Core |
| 5 (Type/Class) | Cardano.Ledger.Core, Cardano.Ledger.Core |
| 6 (Type/Class) | Cardano.Ledger.Mary.Core, Cardano.Ledger.Mary.Core |
| 7 (Type/Class) | Cardano.Ledger.Shelley.Core, Cardano.Ledger.Shelley.Core |
| pparamsMaybeFL | Test.Cardano.Ledger.Constrained.Vars |
| pParamsPreds | Test.Cardano.Ledger.Constrained.Preds.PParams |
| PParamsR | Test.Cardano.Ledger.Constrained.TypeRep |
| PParamsShelleyToMary | Test.Cardano.Ledger.Generic.Proof |
| pparamsSpec | Test.Cardano.Ledger.Constrained.Conway.PParams, Test.Cardano.Ledger.Constrained.Conway |
| pParamsStage | Test.Cardano.Ledger.Constrained.Preds.PParams |
| pparamsToChainChecksPParams | Cardano.Ledger.Chain |
| pparamsTrace | Test.Cardano.Ledger.Constrained.Trace.TraceMonad |
| PParamsUpdate | |
| 1 (Data Constructor) | Cardano.Ledger.Allegra.Core |
| 2 (Type/Class) | Cardano.Ledger.Allegra.Core |
| 3 (Data Constructor) | Cardano.Ledger.Alonzo.Core |
| 4 (Type/Class) | Cardano.Ledger.Alonzo.Core |
| 5 (Type/Class) | Cardano.Ledger.Api.PParams, Cardano.Ledger.Api |
| 6 (Data Constructor) | Cardano.Ledger.Babbage.Core |
| 7 (Type/Class) | Cardano.Ledger.Babbage.Core |
| 8 (Data Constructor) | Cardano.Ledger.Conway.Core |
| 9 (Type/Class) | Cardano.Ledger.Conway.Core |
| 10 (Data Constructor) | Cardano.Ledger.Core |
| 11 (Type/Class) | Cardano.Ledger.Core |
| 12 (Data Constructor) | Cardano.Ledger.Mary.Core |
| 13 (Type/Class) | Cardano.Ledger.Mary.Core |
| 14 (Type/Class) | Cardano.Ledger.Shelley.Core |
| 15 (Data Constructor) | Cardano.Ledger.Shelley.Core |
| 16 (Type/Class) | Test.Cardano.Ledger.EraClass |
| PParamsUpdateF | |
| 1 (Data Constructor) | Test.Cardano.Ledger.Constrained.Classes, Test.Cardano.Ledger.Constrained.TypeRep |
| 2 (Type/Class) | Test.Cardano.Ledger.Constrained.Classes, Test.Cardano.Ledger.Constrained.TypeRep |
| PParamsUpdateR | Test.Cardano.Ledger.Constrained.TypeRep |
| pparamsUpdateThreshold | Cardano.Ledger.Conway.Governance |
| pparamsUpdateWrapperL | Test.Cardano.Ledger.Constrained.Classes |
| pparamsVar | Test.Cardano.Ledger.Constrained.Vars |
| PParamsWit | Test.Cardano.Ledger.Generic.Proof |
| pparamsWrapperL | Test.Cardano.Ledger.Constrained.Classes |
| pParamsZero | Test.Cardano.Ledger.Generic.ModelState |
| pParamsZeroByProof | Test.Cardano.Ledger.Generic.ModelState |
| pparamUpdateFromData | Cardano.Ledger.Conway.Plutus.Context |
| PParamUpdatePurpose | |
| 1 (Data Constructor) | Cardano.Ledger.Api.Governance, Cardano.Ledger.Api |
| 2 (Data Constructor) | Cardano.Ledger.Conway.Governance |
| pparamUpdateToData | Cardano.Ledger.Conway.Plutus.Context |
| ppAssocList | Test.Cardano.Ledger.Generic.PrettyCore |
| ppAuxiliaryDataHash | Test.Cardano.Ledger.Generic.PrettyCore |
| ppBabbageUtxoPredFailure | Test.Cardano.Ledger.Generic.PrettyCore |
| ppBabbageUtxowPredFailure | Test.Cardano.Ledger.Generic.PrettyCore |
| ppBbodyPredicateFailure | Test.Cardano.Ledger.Generic.PrettyCore |
| ppBbodyState | Test.Cardano.Ledger.Generic.PrettyCore |
| ppBool | Test.Cardano.Ledger.Generic.PrettyCore |
| ppBootstrapWitness | Test.Cardano.Ledger.Generic.PrettyCore |
| ppCoinsPerUTxOByteL | |
| 1 (Function) | Cardano.Ledger.Api.PParams, Cardano.Ledger.Api |
| 2 (Function) | Cardano.Ledger.Babbage.PParams, Cardano.Ledger.Babbage.Core |
| 3 (Function) | Cardano.Ledger.Conway.Core |
| 4 (Function) | Test.Cardano.Ledger.EraClass |
| ppCoinsPerUTxOWordL | |
| 1 (Function) | Cardano.Ledger.Alonzo.PParams, Cardano.Ledger.Alonzo.Core |
| 2 (Function) | Cardano.Ledger.Api.PParams, Cardano.Ledger.Api |
| 3 (Function) | Cardano.Ledger.Babbage.Core |
| 4 (Function) | Cardano.Ledger.Conway.Core |
| 5 (Function) | Test.Cardano.Ledger.EraClass |
| ppCollateralPercentageL | |
| 1 (Function) | Cardano.Ledger.Alonzo.PParams, Cardano.Ledger.Alonzo.Core |
| 2 (Function) | Cardano.Ledger.Api.PParams, Cardano.Ledger.Api |
| 3 (Function) | Cardano.Ledger.Babbage.Core |
| 4 (Function) | Cardano.Ledger.Conway.Core |
| 5 (Function) | Test.Cardano.Ledger.EraClass |
| ppCollectError | Test.Cardano.Ledger.Generic.PrettyCore |
| ppCommitteeAuthorization | Test.Cardano.Ledger.Generic.PrettyCore |
| ppCommitteeMaxTermLengthL | |
| 1 (Function) | Cardano.Ledger.Conway.PParams, Cardano.Ledger.Conway.Core |
| 2 (Function) | Test.Cardano.Ledger.EraClass |
| ppCommitteeMinSizeL | |
| 1 (Function) | Cardano.Ledger.Conway.PParams, Cardano.Ledger.Conway.Core |
| 2 (Function) | Test.Cardano.Ledger.EraClass |
| ppCon | |
| 1 (Function) | Test.Cardano.Ledger.Allegra.TreeDiff |
| 2 (Function) | Test.Cardano.Ledger.Alonzo.TreeDiff |
| 3 (Function) | Test.Cardano.Ledger.Babbage.TreeDiff |
| 4 (Function) | Test.Cardano.Ledger.Binary.TreeDiff |
| 5 (Function) | Test.Cardano.Ledger.Conway.TreeDiff |
| 6 (Function) | Test.Cardano.Ledger.TreeDiff |
| 7 (Function) | Test.Cardano.Ledger.Mary.TreeDiff |
| 8 (Function) | Test.Cardano.Ledger.Shelley.TreeDiff |
| ppContextError | Test.Cardano.Ledger.Generic.PrettyCore |
| ppConwayBbodyPredFail | Test.Cardano.Ledger.Generic.PrettyCore |
| ppConwayCertPredFailure | Test.Cardano.Ledger.Generic.PrettyCore |
| ppConwayCertsPredFailure | Test.Cardano.Ledger.Generic.PrettyCore |
| ppConwayDelegPredFailure | Test.Cardano.Ledger.Generic.PrettyCore |
| ppConwayGovCertPredFailure | Test.Cardano.Ledger.Generic.PrettyCore |
| ppConwayGovPredFailure | Test.Cardano.Ledger.Generic.PrettyCore |
| ppConwayLedgerPredFailure | Test.Cardano.Ledger.Generic.PrettyCore |
| ppConwayNewEpochPredFailure | Test.Cardano.Ledger.Generic.PrettyCore |
| ppConwayUtxoPredFailure | Test.Cardano.Ledger.Generic.PrettyCore |
| ppConwayUtxowPredFailure | Test.Cardano.Ledger.Generic.PrettyCore |
| ppCoreWitnesses | Test.Cardano.Ledger.Generic.PrettyCore |
| ppCost | |
| 1 (Function) | Cardano.Ledger.PoolParams |
| 2 (Function) | Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| ppCostModelsL | |
| 1 (Function) | Cardano.Ledger.Alonzo.PParams, Cardano.Ledger.Alonzo.Core |
| 2 (Function) | Cardano.Ledger.Api.PParams, Cardano.Ledger.Api |
| 3 (Function) | Cardano.Ledger.Babbage.Core |
| 4 (Function) | Cardano.Ledger.Conway.Core |
| 5 (Function) | Test.Cardano.Ledger.EraClass |
| ppCpy | |
| 1 (Function) | Test.Cardano.Ledger.Allegra.TreeDiff |
| 2 (Function) | Test.Cardano.Ledger.Alonzo.TreeDiff |
| 3 (Function) | Test.Cardano.Ledger.Babbage.TreeDiff |
| 4 (Function) | Test.Cardano.Ledger.Binary.TreeDiff |
| 5 (Function) | Test.Cardano.Ledger.Conway.TreeDiff |
| 6 (Function) | Test.Cardano.Ledger.TreeDiff |
| 7 (Function) | Test.Cardano.Ledger.Mary.TreeDiff |
| 8 (Function) | Test.Cardano.Ledger.Shelley.TreeDiff |
| ppDE | Cardano.Ledger.Shelley.Rules, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| ppDel | |
| 1 (Function) | Test.Cardano.Ledger.Allegra.TreeDiff |
| 2 (Function) | Test.Cardano.Ledger.Alonzo.TreeDiff |
| 3 (Function) | Test.Cardano.Ledger.Babbage.TreeDiff |
| 4 (Function) | Test.Cardano.Ledger.Binary.TreeDiff |
| 5 (Function) | Test.Cardano.Ledger.Conway.TreeDiff |
| 6 (Function) | Test.Cardano.Ledger.TreeDiff |
| 7 (Function) | Test.Cardano.Ledger.Mary.TreeDiff |
| 8 (Function) | Test.Cardano.Ledger.Shelley.TreeDiff |
| ppDELEG | Test.Cardano.Ledger.Generic.PrettyCore |
| ppDELEGS | Test.Cardano.Ledger.Generic.PrettyCore |
| ppDELPL | Test.Cardano.Ledger.Generic.PrettyCore |
| ppDG | |
| 1 (Function) | Cardano.Ledger.Allegra.Core |
| 2 (Function) | Cardano.Ledger.Alonzo.Core |
| 3 (Function) | Cardano.Ledger.Api.PParams, Cardano.Ledger.Api |
| 4 (Function) | Cardano.Ledger.Babbage.Core |
| 5 (Function) | Cardano.Ledger.Conway.Core |
| 6 (Function) | Cardano.Ledger.Core |
| 7 (Function) | Cardano.Ledger.Mary.Core |
| 8 (Function) | Cardano.Ledger.Shelley.Core |
| ppDL | |
| 1 (Function) | Cardano.Ledger.Allegra.Core |
| 2 (Function) | Cardano.Ledger.Alonzo.Core |
| 3 (Function) | Cardano.Ledger.Api.PParams, Cardano.Ledger.Api |
| 4 (Function) | Cardano.Ledger.Babbage.Core |
| 5 (Function) | Cardano.Ledger.Conway.Core |
| 6 (Function) | Cardano.Ledger.Core |
| 7 (Function) | Cardano.Ledger.Mary.Core |
| 8 (Function) | Cardano.Ledger.Shelley.Core |
| 9 (Function) | Test.Cardano.Ledger.EraClass |
| ppDouble | Test.Cardano.Ledger.Generic.PrettyCore |
| ppDRepActivityL | |
| 1 (Function) | Cardano.Ledger.Conway.PParams, Cardano.Ledger.Conway.Core |
| 2 (Function) | Test.Cardano.Ledger.EraClass |
| ppDRepDepositL | |
| 1 (Function) | Cardano.Ledger.Conway.PParams, Cardano.Ledger.Conway.Core |
| 2 (Function) | Test.Cardano.Ledger.EraClass |
| ppDRepVotingThresholdsL | |
| 1 (Function) | Cardano.Ledger.Conway.PParams, Cardano.Ledger.Conway.Core |
| 2 (Function) | Test.Cardano.Ledger.EraClass |
| ppEditExpr | |
| 1 (Function) | Test.Cardano.Ledger.Allegra.TreeDiff |
| 2 (Function) | Test.Cardano.Ledger.Alonzo.TreeDiff |
| 3 (Function) | Test.Cardano.Ledger.Babbage.TreeDiff |
| 4 (Function) | Test.Cardano.Ledger.Binary.TreeDiff |
| 5 (Function) | Test.Cardano.Ledger.Conway.TreeDiff |
| 6 (Function) | Test.Cardano.Ledger.TreeDiff |
| 7 (Function) | Test.Cardano.Ledger.Mary.TreeDiff |
| 8 (Function) | Test.Cardano.Ledger.Shelley.TreeDiff |
| ppEdits | |
| 1 (Function) | Test.Cardano.Ledger.Allegra.TreeDiff |
| 2 (Function) | Test.Cardano.Ledger.Alonzo.TreeDiff |
| 3 (Function) | Test.Cardano.Ledger.Babbage.TreeDiff |
| 4 (Function) | Test.Cardano.Ledger.Binary.TreeDiff |
| 5 (Function) | Test.Cardano.Ledger.Conway.TreeDiff |
| 6 (Function) | Test.Cardano.Ledger.TreeDiff |
| 7 (Function) | Test.Cardano.Ledger.Mary.TreeDiff |
| 8 (Function) | Test.Cardano.Ledger.Shelley.TreeDiff |
| ppEllip | |
| 1 (Function) | Test.Cardano.Ledger.Allegra.TreeDiff |
| 2 (Function) | Test.Cardano.Ledger.Alonzo.TreeDiff |
| 3 (Function) | Test.Cardano.Ledger.Babbage.TreeDiff |
| 4 (Function) | Test.Cardano.Ledger.Binary.TreeDiff |
| 5 (Function) | Test.Cardano.Ledger.Conway.TreeDiff |
| 6 (Function) | Test.Cardano.Ledger.TreeDiff |
| 7 (Function) | Test.Cardano.Ledger.Mary.TreeDiff |
| 8 (Function) | Test.Cardano.Ledger.Shelley.TreeDiff |
| ppEMaxL | |
| 1 (Function) | Cardano.Ledger.Allegra.Core |
| 2 (Function) | Cardano.Ledger.Alonzo.Core |
| 3 (Function) | Cardano.Ledger.Api.PParams, Cardano.Ledger.Api |
| 4 (Function) | Cardano.Ledger.Babbage.Core |
| 5 (Function) | Cardano.Ledger.Conway.Core |
| 6 (Function) | Cardano.Ledger.Core |
| 7 (Function) | Cardano.Ledger.Mary.Core |
| 8 (Function) | Cardano.Ledger.Shelley.Core |
| 9 (Function) | Test.Cardano.Ledger.EraClass |
| ppEPOCH | Test.Cardano.Ledger.Generic.PrettyCore |
| ppEpochInterval | Test.Cardano.Ledger.Generic.PrettyCore |
| ppEpochNo | Test.Cardano.Ledger.Generic.PrettyCore |
| ppEx | Test.Cardano.Ledger.Shelley.Examples.Init |
| ppExtraEntropyL | |
| 1 (Function) | Cardano.Ledger.Allegra.Core |
| 2 (Function) | Cardano.Ledger.Alonzo.Core |
| 3 (Function) | Cardano.Ledger.Api.PParams, Cardano.Ledger.Api |
| 4 (Function) | Cardano.Ledger.Babbage.Core |
| 5 (Function) | Cardano.Ledger.Conway.Core |
| 6 (Function) | Cardano.Ledger.Core |
| 7 (Function) | Cardano.Ledger.Mary.Core |
| 8 (Function) | Cardano.Ledger.Shelley.Core |
| ppFailureDescription | Test.Cardano.Ledger.Generic.PrettyCore |
| ppFixedPoint | Test.Cardano.Ledger.Generic.PrettyCore |
| ppFL | Test.Cardano.Ledger.Constrained.Vars |
| ppFloat | Test.Cardano.Ledger.Generic.PrettyCore |
| ppGovActionDepositL | |
| 1 (Function) | Cardano.Ledger.Conway.PParams, Cardano.Ledger.Conway.Core |
| 2 (Function) | Test.Cardano.Ledger.EraClass |
| ppGovActionLifetimeL | |
| 1 (Function) | Cardano.Ledger.Conway.PParams, Cardano.Ledger.Conway.Core |
| 2 (Function) | Test.Cardano.Ledger.EraClass |
| PPGroups | |
| 1 (Data Constructor) | Cardano.Ledger.Conway.PParams |
| 2 (Type/Class) | Cardano.Ledger.Conway.PParams |
| ppHash | Test.Cardano.Ledger.Generic.PrettyCore |
| ppHeavyDelThd | Cardano.Chain.Update |
| ppId | |
| 1 (Function) | Cardano.Ledger.PoolParams |
| 2 (Function) | Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| ppIns | |
| 1 (Function) | Test.Cardano.Ledger.Allegra.TreeDiff |
| 2 (Function) | Test.Cardano.Ledger.Alonzo.TreeDiff |
| 3 (Function) | Test.Cardano.Ledger.Babbage.TreeDiff |
| 4 (Function) | Test.Cardano.Ledger.Binary.TreeDiff |
| 5 (Function) | Test.Cardano.Ledger.Conway.TreeDiff |
| 6 (Function) | Test.Cardano.Ledger.TreeDiff |
| 7 (Function) | Test.Cardano.Ledger.Mary.TreeDiff |
| 8 (Function) | Test.Cardano.Ledger.Shelley.TreeDiff |
| ppInt | Test.Cardano.Ledger.Generic.PrettyCore |
| ppInteger | Test.Cardano.Ledger.Generic.PrettyCore |
| ppIsValid | Test.Cardano.Ledger.Generic.PrettyCore |
| ppKeyDepositL | |
| 1 (Function) | Cardano.Ledger.Allegra.Core |
| 2 (Function) | Cardano.Ledger.Alonzo.Core |
| 3 (Function) | Cardano.Ledger.Api.PParams, Cardano.Ledger.Api |
| 4 (Function) | Cardano.Ledger.Babbage.Core |
| 5 (Function) | Cardano.Ledger.Conway.Core |
| 6 (Function) | Cardano.Ledger.Core |
| 7 (Function) | Cardano.Ledger.Mary.Core |
| 8 (Function) | Cardano.Ledger.Shelley.Core |
| 9 (Function) | Test.Cardano.Ledger.EraClass |
| ppLanguage | Test.Cardano.Ledger.Generic.PrettyCore |
| ppLazy | Test.Cardano.Ledger.Generic.PrettyCore |
| ppLEDGER | Test.Cardano.Ledger.Generic.PrettyCore |
| ppLEDGERS | Test.Cardano.Ledger.Generic.PrettyCore |
| ppLens | |
| 1 (Function) | Cardano.Ledger.Allegra.Core |
| 2 (Function) | Cardano.Ledger.Alonzo.Core |
| 3 (Function) | Cardano.Ledger.Babbage.Core |
| 4 (Function) | Cardano.Ledger.Conway.Core |
| 5 (Function) | Cardano.Ledger.Core |
| 6 (Function) | Cardano.Ledger.Mary.Core |
| 7 (Function) | Cardano.Ledger.Shelley.Core |
| ppLikelihood | Test.Cardano.Ledger.Generic.PrettyCore |
| ppList | |
| 1 (Function) | Test.Cardano.Ledger.Generic.PrettyCore |
| 2 (Function) | Constrained.Base, Constrained.Spec, Constrained.Internals |
| ppList_ | Constrained.Base, Constrained.Spec, Constrained.Internals |
| ppLogWeight | Test.Cardano.Ledger.Generic.PrettyCore |
| ppLong | Test.Cardano.Ledger.Generic.PrettyCore |
| ppLst | |
| 1 (Function) | Test.Cardano.Ledger.Allegra.TreeDiff |
| 2 (Function) | Test.Cardano.Ledger.Alonzo.TreeDiff |
| 3 (Function) | Test.Cardano.Ledger.Babbage.TreeDiff |
| 4 (Function) | Test.Cardano.Ledger.Binary.TreeDiff |
| 5 (Function) | Test.Cardano.Ledger.Conway.TreeDiff |
| 6 (Function) | Test.Cardano.Ledger.TreeDiff |
| 7 (Function) | Test.Cardano.Ledger.Mary.TreeDiff |
| 8 (Function) | Test.Cardano.Ledger.Shelley.TreeDiff |
| ppMap | Test.Cardano.Ledger.Generic.PrettyCore |
| ppMap' | Test.Cardano.Ledger.Generic.PrettyCore |
| ppMargin | |
| 1 (Function) | Cardano.Ledger.PoolParams |
| 2 (Function) | Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| ppMaryTxBody | Test.Cardano.Ledger.Generic.PrettyCore |
| ppMaxBBSizeL | |
| 1 (Function) | Cardano.Ledger.Allegra.Core |
| 2 (Function) | Cardano.Ledger.Alonzo.Core |
| 3 (Function) | Cardano.Ledger.Api.PParams, Cardano.Ledger.Api |
| 4 (Function) | Cardano.Ledger.Babbage.Core |
| 5 (Function) | Cardano.Ledger.Conway.Core |
| 6 (Function) | Cardano.Ledger.Core |
| 7 (Function) | Cardano.Ledger.Mary.Core |
| 8 (Function) | Cardano.Ledger.Shelley.Core |
| 9 (Function) | Test.Cardano.Ledger.EraClass |
| ppMaxBHSizeL | |
| 1 (Function) | Cardano.Ledger.Allegra.Core |
| 2 (Function) | Cardano.Ledger.Alonzo.Core |
| 3 (Function) | Cardano.Ledger.Api.PParams, Cardano.Ledger.Api |
| 4 (Function) | Cardano.Ledger.Babbage.Core |
| 5 (Function) | Cardano.Ledger.Conway.Core |
| 6 (Function) | Cardano.Ledger.Core |
| 7 (Function) | Cardano.Ledger.Mary.Core |
| 8 (Function) | Cardano.Ledger.Shelley.Core |
| 9 (Function) | Test.Cardano.Ledger.EraClass |
| ppMaxBlockExUnitsL | |
| 1 (Function) | Cardano.Ledger.Alonzo.PParams, Cardano.Ledger.Alonzo.Core |
| 2 (Function) | Cardano.Ledger.Api.PParams, Cardano.Ledger.Api |
| 3 (Function) | Cardano.Ledger.Babbage.Core |
| 4 (Function) | Cardano.Ledger.Conway.Core |
| 5 (Function) | Test.Cardano.Ledger.EraClass |
| ppMaxBlockSize | Cardano.Chain.Update |
| ppMaxCollateralInputsL | |
| 1 (Function) | Cardano.Ledger.Alonzo.PParams, Cardano.Ledger.Alonzo.Core |
| 2 (Function) | Cardano.Ledger.Api.PParams, Cardano.Ledger.Api |
| 3 (Function) | Cardano.Ledger.Babbage.Core |
| 4 (Function) | Cardano.Ledger.Conway.Core |
| 5 (Function) | Test.Cardano.Ledger.EraClass |
| ppMaxHeaderSize | Cardano.Chain.Update |
| ppMaxProposalSize | Cardano.Chain.Update |
| ppMaxTxExUnitsL | |
| 1 (Function) | Cardano.Ledger.Alonzo.PParams, Cardano.Ledger.Alonzo.Core |
| 2 (Function) | Cardano.Ledger.Api.PParams, Cardano.Ledger.Api |
| 3 (Function) | Cardano.Ledger.Babbage.Core |
| 4 (Function) | Cardano.Ledger.Conway.Core |
| 5 (Function) | Test.Cardano.Ledger.EraClass |
| ppMaxTxSize | Cardano.Chain.Update |
| ppMaxTxSizeL | |
| 1 (Function) | Cardano.Ledger.Allegra.Core |
| 2 (Function) | Cardano.Ledger.Alonzo.Core |
| 3 (Function) | Cardano.Ledger.Api.PParams, Cardano.Ledger.Api |
| 4 (Function) | Cardano.Ledger.Babbage.Core |
| 5 (Function) | Cardano.Ledger.Conway.Core |
| 6 (Function) | Cardano.Ledger.Core |
| 7 (Function) | Cardano.Ledger.Mary.Core |
| 8 (Function) | Cardano.Ledger.Shelley.Core |
| 9 (Function) | Test.Cardano.Ledger.EraClass |
| ppMaxValSizeL | |
| 1 (Function) | Cardano.Ledger.Alonzo.PParams, Cardano.Ledger.Alonzo.Core |
| 2 (Function) | Cardano.Ledger.Api.PParams, Cardano.Ledger.Api |
| 3 (Function) | Cardano.Ledger.Babbage.Core |
| 4 (Function) | Cardano.Ledger.Conway.Core |
| 5 (Function) | Test.Cardano.Ledger.EraClass |
| ppMaybe | Test.Cardano.Ledger.Generic.PrettyCore |
| ppMetadata | |
| 1 (Function) | Cardano.Ledger.PoolParams |
| 2 (Function) | Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| ppMetadatum | Test.Cardano.Ledger.Generic.PrettyCore |
| ppMinFeeAL | |
| 1 (Function) | Cardano.Ledger.Allegra.Core |
| 2 (Function) | Cardano.Ledger.Alonzo.Core |
| 3 (Function) | Cardano.Ledger.Api.PParams, Cardano.Ledger.Api |
| 4 (Function) | Cardano.Ledger.Babbage.Core |
| 5 (Function) | Cardano.Ledger.Conway.Core |
| 6 (Function) | Cardano.Ledger.Core |
| 7 (Function) | Cardano.Ledger.Mary.Core |
| 8 (Function) | Cardano.Ledger.Shelley.Core |
| 9 (Function) | Test.Cardano.Ledger.EraClass |
| ppMinFeeBL | |
| 1 (Function) | Cardano.Ledger.Allegra.Core |
| 2 (Function) | Cardano.Ledger.Alonzo.Core |
| 3 (Function) | Cardano.Ledger.Api.PParams, Cardano.Ledger.Api |
| 4 (Function) | Cardano.Ledger.Babbage.Core |
| 5 (Function) | Cardano.Ledger.Conway.Core |
| 6 (Function) | Cardano.Ledger.Core |
| 7 (Function) | Cardano.Ledger.Mary.Core |
| 8 (Function) | Cardano.Ledger.Shelley.Core |
| 9 (Function) | Test.Cardano.Ledger.EraClass |
| ppMinFeeRefScriptCostPerByteL | |
| 1 (Function) | Cardano.Ledger.Conway.PParams |
| 2 (Function) | Test.Cardano.Ledger.EraClass |
| ppMinPoolCostL | |
| 1 (Function) | Cardano.Ledger.Allegra.Core |
| 2 (Function) | Cardano.Ledger.Alonzo.Core |
| 3 (Function) | Cardano.Ledger.Api.PParams, Cardano.Ledger.Api |
| 4 (Function) | Cardano.Ledger.Babbage.Core |
| 5 (Function) | Cardano.Ledger.Conway.Core |
| 6 (Function) | Cardano.Ledger.Core |
| 7 (Function) | Cardano.Ledger.Mary.Core |
| 8 (Function) | Cardano.Ledger.Shelley.Core |
| ppMinUTxOValueL | |
| 1 (Function) | Cardano.Ledger.Allegra.Core |
| 2 (Function) | Cardano.Ledger.Alonzo.Core |
| 3 (Function) | Cardano.Ledger.Api.PParams, Cardano.Ledger.Api |
| 4 (Function) | Cardano.Ledger.Babbage.Core |
| 5 (Function) | Cardano.Ledger.Conway.Core |
| 6 (Function) | Cardano.Ledger.Core |
| 7 (Function) | Cardano.Ledger.Mary.Core |
| 8 (Function) | Cardano.Ledger.Shelley.Core |
| ppMockBlock | Test.Cardano.Ledger.Generic.MockChain |
| ppMockChainFailure | Test.Cardano.Ledger.Generic.MockChain |
| ppMockChainState | Test.Cardano.Ledger.Generic.MockChain |
| ppMpcThd | Cardano.Chain.Update |
| ppNatural | Test.Cardano.Ledger.Generic.PrettyCore |
| ppNetwork | Test.Cardano.Ledger.Generic.PrettyCore |
| ppNEWEPOCH | Test.Cardano.Ledger.Generic.PrettyCore |
| ppNonce | Test.Cardano.Ledger.Generic.PrettyCore |
| ppNonMyopic | Test.Cardano.Ledger.Generic.PrettyCore |
| ppNOptL | |
| 1 (Function) | Cardano.Ledger.Allegra.Core |
| 2 (Function) | Cardano.Ledger.Alonzo.Core |
| 3 (Function) | Cardano.Ledger.Api.PParams, Cardano.Ledger.Api |
| 4 (Function) | Cardano.Ledger.Babbage.Core |
| 5 (Function) | Cardano.Ledger.Conway.Core |
| 6 (Function) | Cardano.Ledger.Core |
| 7 (Function) | Cardano.Ledger.Mary.Core |
| 8 (Function) | Cardano.Ledger.Shelley.Core |
| 9 (Function) | Test.Cardano.Ledger.EraClass |
| ppOSet | Test.Cardano.Ledger.Generic.PrettyCore |
| ppOwners | |
| 1 (Function) | Cardano.Ledger.PoolParams |
| 2 (Function) | Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| ppPair | Test.Cardano.Ledger.Generic.PrettyCore |
| ppParens | |
| 1 (Function) | Test.Cardano.Ledger.Allegra.TreeDiff |
| 2 (Function) | Test.Cardano.Ledger.Alonzo.TreeDiff |
| 3 (Function) | Test.Cardano.Ledger.Babbage.TreeDiff |
| 4 (Function) | Test.Cardano.Ledger.Binary.TreeDiff |
| 5 (Function) | Test.Cardano.Ledger.Conway.TreeDiff |
| 6 (Function) | Test.Cardano.Ledger.TreeDiff |
| 7 (Function) | Test.Cardano.Ledger.Mary.TreeDiff |
| 8 (Function) | Test.Cardano.Ledger.Shelley.TreeDiff |
| ppPledge | |
| 1 (Function) | Cardano.Ledger.PoolParams |
| 2 (Function) | Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| ppPlutusPurpose | Test.Cardano.Ledger.Generic.PrettyCore |
| ppPlutusPurposeAsItem | Test.Cardano.Ledger.Generic.PrettyCore |
| ppPlutusPurposeAsIx | Test.Cardano.Ledger.Generic.PrettyCore |
| ppPlutusPurposeAsIxItem | Test.Cardano.Ledger.Generic.PrettyCore |
| ppPolicyID | Test.Cardano.Ledger.Generic.PrettyCore |
| ppPOOL | Test.Cardano.Ledger.Generic.PrettyCore |
| ppPoolDepositL | |
| 1 (Function) | Cardano.Ledger.Allegra.Core |
| 2 (Function) | Cardano.Ledger.Alonzo.Core |
| 3 (Function) | Cardano.Ledger.Api.PParams, Cardano.Ledger.Api |
| 4 (Function) | Cardano.Ledger.Babbage.Core |
| 5 (Function) | Cardano.Ledger.Conway.Core |
| 6 (Function) | Cardano.Ledger.Core |
| 7 (Function) | Cardano.Ledger.Mary.Core |
| 8 (Function) | Cardano.Ledger.Shelley.Core |
| 9 (Function) | Test.Cardano.Ledger.EraClass |
| ppPoolVotingThresholdsL | |
| 1 (Function) | Cardano.Ledger.Conway.PParams, Cardano.Ledger.Conway.Core |
| 2 (Function) | Test.Cardano.Ledger.EraClass |
| ppPParamsUpdate | Test.Cardano.Ledger.Generic.PrettyCore |
| ppPPUPPredFailure | Test.Cardano.Ledger.Generic.PrettyCore |
| ppPpupPredicateFailure | Test.Cardano.Ledger.Generic.PrettyCore |
| ppPrices | Test.Cardano.Ledger.Generic.PrettyCore |
| ppPricesL | |
| 1 (Function) | Cardano.Ledger.Alonzo.PParams, Cardano.Ledger.Alonzo.Core |
| 2 (Function) | Cardano.Ledger.Api.PParams, Cardano.Ledger.Api |
| 3 (Function) | Cardano.Ledger.Babbage.Core |
| 4 (Function) | Cardano.Ledger.Conway.Core |
| 5 (Function) | Test.Cardano.Ledger.EraClass |
| ppProposedPPUpdates | Test.Cardano.Ledger.Generic.PrettyCore |
| ppProtocolVersionL | |
| 1 (Function) | Cardano.Ledger.Allegra.Core |
| 2 (Function) | Cardano.Ledger.Alonzo.Core |
| 3 (Function) | Cardano.Ledger.Api.PParams, Cardano.Ledger.Api |
| 4 (Function) | Cardano.Ledger.Babbage.Core |
| 5 (Function) | Cardano.Ledger.Conway.Core |
| 6 (Function) | Cardano.Ledger.Core |
| 7 (Function) | Cardano.Ledger.Mary.Core |
| 8 (Function) | Cardano.Ledger.Shelley.Core |
| 9 (Function) | Test.Cardano.Ledger.EraClass |
| ppProtVer | Test.Cardano.Ledger.Generic.PrettyCore |
| ppPtr | Test.Cardano.Ledger.Generic.PrettyCore |
| ppQuery | Control.Iterate.Exp |
| ppRational | Test.Cardano.Ledger.Generic.PrettyCore |
| ppRec | |
| 1 (Function) | Test.Cardano.Ledger.Allegra.TreeDiff |
| 2 (Function) | Test.Cardano.Ledger.Alonzo.TreeDiff |
| 3 (Function) | Test.Cardano.Ledger.Babbage.TreeDiff |
| 4 (Function) | Test.Cardano.Ledger.Binary.TreeDiff |
| 5 (Function) | Test.Cardano.Ledger.Conway.TreeDiff |
| 6 (Function) | Test.Cardano.Ledger.TreeDiff |
| 7 (Function) | Test.Cardano.Ledger.Mary.TreeDiff |
| 8 (Function) | Test.Cardano.Ledger.Shelley.TreeDiff |
| ppRecord | Test.Cardano.Ledger.Generic.PrettyCore |
| ppRecord' | Test.Cardano.Ledger.Generic.PrettyCore |
| ppRelays | |
| 1 (Function) | Cardano.Ledger.PoolParams |
| 2 (Function) | Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| ppRewardAccount | |
| 1 (Function) | Cardano.Ledger.PoolParams |
| 2 (Function) | Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| ppRewardType | Test.Cardano.Ledger.Generic.PrettyCore |
| ppRewardUpdate | Test.Cardano.Ledger.Generic.PrettyCore |
| ppRhoL | |
| 1 (Function) | Cardano.Ledger.Allegra.Core |
| 2 (Function) | Cardano.Ledger.Alonzo.Core |
| 3 (Function) | Cardano.Ledger.Api.PParams, Cardano.Ledger.Api |
| 4 (Function) | Cardano.Ledger.Babbage.Core |
| 5 (Function) | Cardano.Ledger.Conway.Core |
| 6 (Function) | Cardano.Ledger.Core |
| 7 (Function) | Cardano.Ledger.Mary.Core |
| 8 (Function) | Cardano.Ledger.Shelley.Core |
| 9 (Function) | Test.Cardano.Ledger.EraClass |
| pProcAnchor | |
| 1 (Function) | Cardano.Ledger.Api.Governance, Cardano.Ledger.Api |
| 2 (Function) | Cardano.Ledger.Conway.Governance |
| pProcAnchorL | Cardano.Ledger.Conway.Governance |
| pProcDeposit | |
| 1 (Function) | Cardano.Ledger.Api.Governance, Cardano.Ledger.Api |
| 2 (Function) | Cardano.Ledger.Conway.Governance |
| pProcDepositL | Cardano.Ledger.Conway.Governance |
| pProcDeposit_ | Test.Cardano.Ledger.Constrained.Conway.Instances.Ledger, Test.Cardano.Ledger.Constrained.Conway.Instances, Test.Cardano.Ledger.Constrained.Conway |
| pProcGovAction | |
| 1 (Function) | Cardano.Ledger.Api.Governance, Cardano.Ledger.Api |
| 2 (Function) | Cardano.Ledger.Conway.Governance |
| pProcGovActionL | Cardano.Ledger.Conway.Governance |
| pProcGovAction_ | Test.Cardano.Ledger.Constrained.Conway.Instances.Ledger, Test.Cardano.Ledger.Constrained.Conway.Instances, Test.Cardano.Ledger.Constrained.Conway |
| pProcReturnAddr | |
| 1 (Function) | Cardano.Ledger.Api.Governance, Cardano.Ledger.Api |
| 2 (Function) | Cardano.Ledger.Conway.Governance |
| pProcReturnAddrL | Cardano.Ledger.Conway.Governance |
| pPropsL | Cardano.Ledger.Conway.Governance |
| pps | Byron.Spec.Ledger.STS.UTXO |
| ppSafeHash | Test.Cardano.Ledger.Generic.PrettyCore |
| ppScriptVersion | Cardano.Chain.Update |
| ppSeq | Test.Cardano.Ledger.Generic.PrettyCore |
| ppSet | Test.Cardano.Ledger.Generic.PrettyCore |
| ppSexp | Test.Cardano.Ledger.Generic.PrettyCore |
| ppSexp' | Test.Cardano.Ledger.Generic.PrettyCore |
| ppShelleyDelegPredFailure | Test.Cardano.Ledger.Generic.PrettyCore |
| ppShelleyDelegsPredFailure | Test.Cardano.Ledger.Generic.PrettyCore |
| ppShelleyDelplPredFailure | Test.Cardano.Ledger.Generic.PrettyCore |
| ppShelleyEpochPredFailure | Test.Cardano.Ledger.Generic.PrettyCore |
| ppShelleyLedgerPredFailure | Test.Cardano.Ledger.Generic.PrettyCore |
| ppShelleyLedgersPredFailure | Test.Cardano.Ledger.Generic.PrettyCore |
| ppShelleyNewEpochPredicateFailure | Test.Cardano.Ledger.Generic.PrettyCore |
| ppShelleyPoolPredFailure | Test.Cardano.Ledger.Generic.PrettyCore |
| ppShelleyTx | Test.Cardano.Ledger.Generic.PrettyCore |
| ppShelleyTxAuxData | Test.Cardano.Ledger.Generic.PrettyCore |
| ppShelleyTxBody | Test.Cardano.Ledger.Generic.PrettyCore |
| ppShelleyUtxoPredFailure | Test.Cardano.Ledger.Generic.PrettyCore |
| ppShelleyUtxowPredFailure | Test.Cardano.Ledger.Generic.PrettyCore |
| ppSignedDSIGN | Test.Cardano.Ledger.Generic.PrettyCore |
| ppSlotDuration | Cardano.Chain.Update |
| ppSoftforkRule | Cardano.Chain.Update |
| ppsOwners | Cardano.Ledger.State.UTxO |
| ppsPoolId | Cardano.Ledger.State.UTxO |
| ppsRewardAccount | Cardano.Ledger.State.UTxO |
| ppStateLEDGERS | Test.Cardano.Ledger.Generic.PrettyCore |
| ppStrictMaybe | Test.Cardano.Ledger.Generic.PrettyCore |
| ppStrictSeq | Test.Cardano.Ledger.Generic.PrettyCore |
| ppString | Test.Cardano.Ledger.Generic.PrettyCore |
| ppsUpdateFrom | Byron.Spec.Ledger.Update |
| ppTagMismatchDescription | Test.Cardano.Ledger.Generic.PrettyCore |
| ppTarget | Test.Cardano.Ledger.Constrained.Ast |
| ppTauL | |
| 1 (Function) | Cardano.Ledger.Allegra.Core |
| 2 (Function) | Cardano.Ledger.Alonzo.Core |
| 3 (Function) | Cardano.Ledger.Api.PParams, Cardano.Ledger.Api |
| 4 (Function) | Cardano.Ledger.Babbage.Core |
| 5 (Function) | Cardano.Ledger.Conway.Core |
| 6 (Function) | Cardano.Ledger.Core |
| 7 (Function) | Cardano.Ledger.Mary.Core |
| 8 (Function) | Cardano.Ledger.Shelley.Core |
| 9 (Function) | Test.Cardano.Ledger.EraClass |
| ppTickPredicateFailure | Test.Cardano.Ledger.Generic.PrettyCore |
| ppToSubset | Test.Cardano.Ledger.Constrained.Conway.Instances.Basic, Test.Cardano.Ledger.Constrained.Conway.Instances.PParams, Test.Cardano.Ledger.Constrained.Conway.Instances.Ledger, Test.Cardano.Ledger.Constrained.Conway.ParametricSpec, Test.Cardano.Ledger.Constrained.Conway.Instances, Test.Cardano.Ledger.Constrained.Conway |
| ppTxFeePolicy | Cardano.Chain.Update |
| ppTxWitness | Test.Cardano.Ledger.Generic.PrettyCore |
| ppuA0L | |
| 1 (Function) | Cardano.Ledger.Allegra.Core |
| 2 (Function) | Cardano.Ledger.Alonzo.Core |
| 3 (Function) | Cardano.Ledger.Api.PParams, Cardano.Ledger.Api |
| 4 (Function) | Cardano.Ledger.Babbage.Core |
| 5 (Function) | Cardano.Ledger.Conway.Core |
| 6 (Function) | Cardano.Ledger.Core |
| 7 (Function) | Cardano.Ledger.Mary.Core |
| 8 (Function) | Cardano.Ledger.Shelley.Core |
| 9 (Function) | Test.Cardano.Ledger.EraClass |
| ppuCoinsPerUTxOByteL | |
| 1 (Function) | Cardano.Ledger.Api.PParams, Cardano.Ledger.Api |
| 2 (Function) | Cardano.Ledger.Babbage.PParams, Cardano.Ledger.Babbage.Core |
| 3 (Function) | Cardano.Ledger.Conway.Core |
| 4 (Function) | Test.Cardano.Ledger.EraClass |
| ppuCoinsPerUTxOWordL | |
| 1 (Function) | Cardano.Ledger.Alonzo.PParams, Cardano.Ledger.Alonzo.Core |
| 2 (Function) | Cardano.Ledger.Api.PParams, Cardano.Ledger.Api |
| 3 (Function) | Cardano.Ledger.Babbage.Core |
| 4 (Function) | Cardano.Ledger.Conway.Core |
| 5 (Function) | Test.Cardano.Ledger.EraClass |
| ppuCollateralPercentageL | |
| 1 (Function) | Cardano.Ledger.Alonzo.PParams, Cardano.Ledger.Alonzo.Core |
| 2 (Function) | Cardano.Ledger.Api.PParams, Cardano.Ledger.Api |
| 3 (Function) | Cardano.Ledger.Babbage.Core |
| 4 (Function) | Cardano.Ledger.Conway.Core |
| 5 (Function) | Test.Cardano.Ledger.EraClass |
| ppuCommitteeMaxTermLengthL | |
| 1 (Function) | Cardano.Ledger.Conway.PParams, Cardano.Ledger.Conway.Core |
| 2 (Function) | Test.Cardano.Ledger.EraClass |
| ppuCommitteeMinSizeL | |
| 1 (Function) | Cardano.Ledger.Conway.PParams, Cardano.Ledger.Conway.Core |
| 2 (Function) | Test.Cardano.Ledger.EraClass |
| ppuCostModelsL | |
| 1 (Function) | Cardano.Ledger.Alonzo.PParams, Cardano.Ledger.Alonzo.Core |
| 2 (Function) | Cardano.Ledger.Api.PParams, Cardano.Ledger.Api |
| 3 (Function) | Cardano.Ledger.Babbage.Core |
| 4 (Function) | Cardano.Ledger.Conway.Core |
| 5 (Function) | Test.Cardano.Ledger.EraClass |
| ppuDL | |
| 1 (Function) | Cardano.Ledger.Allegra.Core |
| 2 (Function) | Cardano.Ledger.Alonzo.Core |
| 3 (Function) | Cardano.Ledger.Api.PParams, Cardano.Ledger.Api |
| 4 (Function) | Cardano.Ledger.Babbage.Core |
| 5 (Function) | Cardano.Ledger.Conway.Core |
| 6 (Function) | Cardano.Ledger.Core |
| 7 (Function) | Cardano.Ledger.Mary.Core |
| 8 (Function) | Cardano.Ledger.Shelley.Core |
| 9 (Function) | Test.Cardano.Ledger.EraClass |
| ppuDRepActivityL | |
| 1 (Function) | Cardano.Ledger.Conway.PParams, Cardano.Ledger.Conway.Core |
| 2 (Function) | Test.Cardano.Ledger.EraClass |
| ppuDRepDepositL | |
| 1 (Function) | Cardano.Ledger.Conway.PParams, Cardano.Ledger.Conway.Core |
| 2 (Function) | Test.Cardano.Ledger.EraClass |
| ppuDRepVotingThresholdsL | |
| 1 (Function) | Cardano.Ledger.Conway.PParams, Cardano.Ledger.Conway.Core |
| 2 (Function) | Test.Cardano.Ledger.EraClass |
| ppuEMaxL | |
| 1 (Function) | Cardano.Ledger.Allegra.Core |
| 2 (Function) | Cardano.Ledger.Alonzo.Core |
| 3 (Function) | Cardano.Ledger.Api.PParams, Cardano.Ledger.Api |
| 4 (Function) | Cardano.Ledger.Babbage.Core |
| 5 (Function) | Cardano.Ledger.Conway.Core |
| 6 (Function) | Cardano.Ledger.Core |
| 7 (Function) | Cardano.Ledger.Mary.Core |
| 8 (Function) | Cardano.Ledger.Shelley.Core |
| 9 (Function) | Test.Cardano.Ledger.EraClass |
| ppuExtraEntropyL | |
| 1 (Function) | Cardano.Ledger.Allegra.Core |
| 2 (Function) | Cardano.Ledger.Alonzo.Core |
| 3 (Function) | Cardano.Ledger.Api.PParams, Cardano.Ledger.Api |
| 4 (Function) | Cardano.Ledger.Babbage.Core |
| 5 (Function) | Cardano.Ledger.Conway.Core |
| 6 (Function) | Cardano.Ledger.Core |
| 7 (Function) | Cardano.Ledger.Mary.Core |
| 8 (Function) | Cardano.Ledger.Shelley.Core |
| ppuGovActionDepositL | |
| 1 (Function) | Cardano.Ledger.Conway.PParams, Cardano.Ledger.Conway.Core |
| 2 (Function) | Test.Cardano.Ledger.EraClass |
| ppuGovActionLifetimeL | |
| 1 (Function) | Cardano.Ledger.Conway.PParams, Cardano.Ledger.Conway.Core |
| 2 (Function) | Test.Cardano.Ledger.EraClass |
| ppuHeavyDelThd | Cardano.Chain.Update |
| ppuKeyDepositL | |
| 1 (Function) | Cardano.Ledger.Allegra.Core |
| 2 (Function) | Cardano.Ledger.Alonzo.Core |
| 3 (Function) | Cardano.Ledger.Api.PParams, Cardano.Ledger.Api |
| 4 (Function) | Cardano.Ledger.Babbage.Core |
| 5 (Function) | Cardano.Ledger.Conway.Core |
| 6 (Function) | Cardano.Ledger.Core |
| 7 (Function) | Cardano.Ledger.Mary.Core |
| 8 (Function) | Cardano.Ledger.Shelley.Core |
| 9 (Function) | Test.Cardano.Ledger.EraClass |
| ppuLens | |
| 1 (Function) | Cardano.Ledger.Allegra.Core |
| 2 (Function) | Cardano.Ledger.Alonzo.Core |
| 3 (Function) | Cardano.Ledger.Babbage.Core |
| 4 (Function) | Cardano.Ledger.Conway.Core |
| 5 (Function) | Cardano.Ledger.Core |
| 6 (Function) | Cardano.Ledger.Mary.Core |
| 7 (Function) | Cardano.Ledger.Shelley.Core |
| ppuMaxBBSizeL | |
| 1 (Function) | Cardano.Ledger.Allegra.Core |
| 2 (Function) | Cardano.Ledger.Alonzo.Core |
| 3 (Function) | Cardano.Ledger.Api.PParams, Cardano.Ledger.Api |
| 4 (Function) | Cardano.Ledger.Babbage.Core |
| 5 (Function) | Cardano.Ledger.Conway.Core |
| 6 (Function) | Cardano.Ledger.Core |
| 7 (Function) | Cardano.Ledger.Mary.Core |
| 8 (Function) | Cardano.Ledger.Shelley.Core |
| 9 (Function) | Test.Cardano.Ledger.EraClass |
| ppuMaxBHSizeL | |
| 1 (Function) | Cardano.Ledger.Allegra.Core |
| 2 (Function) | Cardano.Ledger.Alonzo.Core |
| 3 (Function) | Cardano.Ledger.Api.PParams, Cardano.Ledger.Api |
| 4 (Function) | Cardano.Ledger.Babbage.Core |
| 5 (Function) | Cardano.Ledger.Conway.Core |
| 6 (Function) | Cardano.Ledger.Core |
| 7 (Function) | Cardano.Ledger.Mary.Core |
| 8 (Function) | Cardano.Ledger.Shelley.Core |
| 9 (Function) | Test.Cardano.Ledger.EraClass |
| ppuMaxBlockExUnitsL | |
| 1 (Function) | Cardano.Ledger.Alonzo.PParams, Cardano.Ledger.Alonzo.Core |
| 2 (Function) | Cardano.Ledger.Api.PParams, Cardano.Ledger.Api |
| 3 (Function) | Cardano.Ledger.Babbage.Core |
| 4 (Function) | Cardano.Ledger.Conway.Core |
| 5 (Function) | Test.Cardano.Ledger.EraClass |
| ppuMaxBlockSize | Cardano.Chain.Update |
| ppuMaxCollateralInputsL | |
| 1 (Function) | Cardano.Ledger.Alonzo.PParams, Cardano.Ledger.Alonzo.Core |
| 2 (Function) | Cardano.Ledger.Api.PParams, Cardano.Ledger.Api |
| 3 (Function) | Cardano.Ledger.Babbage.Core |
| 4 (Function) | Cardano.Ledger.Conway.Core |
| 5 (Function) | Test.Cardano.Ledger.EraClass |
| ppuMaxHeaderSize | Cardano.Chain.Update |
| ppuMaxProposalSize | Cardano.Chain.Update |
| ppuMaxTxExUnitsL | |
| 1 (Function) | Cardano.Ledger.Alonzo.PParams, Cardano.Ledger.Alonzo.Core |
| 2 (Function) | Cardano.Ledger.Api.PParams, Cardano.Ledger.Api |
| 3 (Function) | Cardano.Ledger.Babbage.Core |
| 4 (Function) | Cardano.Ledger.Conway.Core |
| 5 (Function) | Test.Cardano.Ledger.EraClass |
| ppuMaxTxSize | Cardano.Chain.Update |
| ppuMaxTxSizeL | |
| 1 (Function) | Cardano.Ledger.Allegra.Core |
| 2 (Function) | Cardano.Ledger.Alonzo.Core |
| 3 (Function) | Cardano.Ledger.Api.PParams, Cardano.Ledger.Api |
| 4 (Function) | Cardano.Ledger.Babbage.Core |
| 5 (Function) | Cardano.Ledger.Conway.Core |
| 6 (Function) | Cardano.Ledger.Core |
| 7 (Function) | Cardano.Ledger.Mary.Core |
| 8 (Function) | Cardano.Ledger.Shelley.Core |
| 9 (Function) | Test.Cardano.Ledger.EraClass |
| ppuMaxValSizeL | |
| 1 (Function) | Cardano.Ledger.Alonzo.PParams, Cardano.Ledger.Alonzo.Core |
| 2 (Function) | Cardano.Ledger.Api.PParams, Cardano.Ledger.Api |
| 3 (Function) | Cardano.Ledger.Babbage.Core |
| 4 (Function) | Cardano.Ledger.Conway.Core |
| 5 (Function) | Test.Cardano.Ledger.EraClass |
| ppuMinFeeAL | |
| 1 (Function) | Cardano.Ledger.Allegra.Core |
| 2 (Function) | Cardano.Ledger.Alonzo.Core |
| 3 (Function) | Cardano.Ledger.Api.PParams, Cardano.Ledger.Api |
| 4 (Function) | Cardano.Ledger.Babbage.Core |
| 5 (Function) | Cardano.Ledger.Conway.Core |
| 6 (Function) | Cardano.Ledger.Core |
| 7 (Function) | Cardano.Ledger.Mary.Core |
| 8 (Function) | Cardano.Ledger.Shelley.Core |
| 9 (Function) | Test.Cardano.Ledger.EraClass |
| ppuMinFeeBL | |
| 1 (Function) | Cardano.Ledger.Allegra.Core |
| 2 (Function) | Cardano.Ledger.Alonzo.Core |
| 3 (Function) | Cardano.Ledger.Api.PParams, Cardano.Ledger.Api |
| 4 (Function) | Cardano.Ledger.Babbage.Core |
| 5 (Function) | Cardano.Ledger.Conway.Core |
| 6 (Function) | Cardano.Ledger.Core |
| 7 (Function) | Cardano.Ledger.Mary.Core |
| 8 (Function) | Cardano.Ledger.Shelley.Core |
| 9 (Function) | Test.Cardano.Ledger.EraClass |
| ppuMinFeeRefScriptCostPerByteL | |
| 1 (Function) | Cardano.Ledger.Conway.PParams |
| 2 (Function) | Test.Cardano.Ledger.EraClass |
| ppuMinPoolCostL | |
| 1 (Function) | Cardano.Ledger.Allegra.Core |
| 2 (Function) | Cardano.Ledger.Alonzo.Core |
| 3 (Function) | Cardano.Ledger.Api.PParams, Cardano.Ledger.Api |
| 4 (Function) | Cardano.Ledger.Babbage.Core |
| 5 (Function) | Cardano.Ledger.Conway.Core |
| 6 (Function) | Cardano.Ledger.Core |
| 7 (Function) | Cardano.Ledger.Mary.Core |
| 8 (Function) | Cardano.Ledger.Shelley.Core |
| ppuMinUTxOValueL | |
| 1 (Function) | Cardano.Ledger.Allegra.Core |
| 2 (Function) | Cardano.Ledger.Alonzo.Core |
| 3 (Function) | Cardano.Ledger.Api.PParams, Cardano.Ledger.Api |
| 4 (Function) | Cardano.Ledger.Babbage.Core |
| 5 (Function) | Cardano.Ledger.Conway.Core |
| 6 (Function) | Cardano.Ledger.Core |
| 7 (Function) | Cardano.Ledger.Mary.Core |
| 8 (Function) | Cardano.Ledger.Shelley.Core |
| ppuMpcThd | Cardano.Chain.Update |
| ppUnitInterval | Test.Cardano.Ledger.Generic.PrettyCore |
| ppUnlockStakeEpoch | Cardano.Chain.Update |
| ppuNOptL | |
| 1 (Function) | Cardano.Ledger.Allegra.Core |
| 2 (Function) | Cardano.Ledger.Alonzo.Core |
| 3 (Function) | Cardano.Ledger.Api.PParams, Cardano.Ledger.Api |
| 4 (Function) | Cardano.Ledger.Babbage.Core |
| 5 (Function) | Cardano.Ledger.Conway.Core |
| 6 (Function) | Cardano.Ledger.Core |
| 7 (Function) | Cardano.Ledger.Mary.Core |
| 8 (Function) | Cardano.Ledger.Shelley.Core |
| 9 (Function) | Test.Cardano.Ledger.EraClass |
| PPUP | Test.Cardano.Ledger.Constrained.Trace.Pipeline |
| ppup | Test.Cardano.Ledger.Constrained.Vars |
| ppUpdate | Test.Cardano.Ledger.Generic.PrettyCore |
| ppUpdateChildren | Test.Cardano.Ledger.Constrained.Vars |
| PPUpdateEnv | |
| 1 (Data Constructor) | Cardano.Ledger.Shelley.PParams |
| 2 (Type/Class) | Cardano.Ledger.Shelley.PParams |
| ppUpdateProposalThd | Cardano.Chain.Update |
| ppUpdateProposalTTL | Cardano.Chain.Update |
| ppUpdateVoteThd | Cardano.Chain.Update |
| PPUpdateWrongEpoch | Cardano.Ledger.Shelley.Rules |
| PPUPEnv | Cardano.Ledger.Shelley.Rules, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| PpupEnv | Cardano.Ledger.Shelley.Rules, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| PpupEvent | Cardano.Ledger.Shelley.Rules |
| PpupNewEpoch | Cardano.Ledger.Shelley.Rules |
| ppuPoolDepositL | |
| 1 (Function) | Cardano.Ledger.Allegra.Core |
| 2 (Function) | Cardano.Ledger.Alonzo.Core |
| 3 (Function) | Cardano.Ledger.Api.PParams, Cardano.Ledger.Api |
| 4 (Function) | Cardano.Ledger.Babbage.Core |
| 5 (Function) | Cardano.Ledger.Conway.Core |
| 6 (Function) | Cardano.Ledger.Core |
| 7 (Function) | Cardano.Ledger.Mary.Core |
| 8 (Function) | Cardano.Ledger.Shelley.Core |
| 9 (Function) | Test.Cardano.Ledger.EraClass |
| ppuPoolVotingThresholdsL | |
| 1 (Function) | Cardano.Ledger.Conway.PParams, Cardano.Ledger.Conway.Core |
| 2 (Function) | Test.Cardano.Ledger.EraClass |
| ppuPricesL | |
| 1 (Function) | Cardano.Ledger.Alonzo.PParams, Cardano.Ledger.Alonzo.Core |
| 2 (Function) | Cardano.Ledger.Api.PParams, Cardano.Ledger.Api |
| 3 (Function) | Cardano.Ledger.Babbage.Core |
| 4 (Function) | Cardano.Ledger.Conway.Core |
| 5 (Function) | Test.Cardano.Ledger.EraClass |
| ppuProtocolVersionL | |
| 1 (Function) | Cardano.Ledger.Allegra.Core |
| 2 (Function) | Cardano.Ledger.Alonzo.Core |
| 3 (Function) | Cardano.Ledger.Api.PParams, Cardano.Ledger.Api |
| 4 (Function) | Cardano.Ledger.Babbage.Core |
| 5 (Function) | Cardano.Ledger.Conway.Core |
| 6 (Function) | Cardano.Ledger.Core |
| 7 (Function) | Cardano.Ledger.Mary.Core |
| 8 (Function) | Cardano.Ledger.Shelley.Core |
| ppupsL | Test.Cardano.Ledger.Constrained.Vars |
| PPUPStateR | Test.Cardano.Ledger.Constrained.TypeRep |
| ppupStateT | Test.Cardano.Ledger.Constrained.Vars |
| ppuRhoL | |
| 1 (Function) | Cardano.Ledger.Allegra.Core |
| 2 (Function) | Cardano.Ledger.Alonzo.Core |
| 3 (Function) | Cardano.Ledger.Api.PParams, Cardano.Ledger.Api |
| 4 (Function) | Cardano.Ledger.Babbage.Core |
| 5 (Function) | Cardano.Ledger.Conway.Core |
| 6 (Function) | Cardano.Ledger.Core |
| 7 (Function) | Cardano.Ledger.Mary.Core |
| 8 (Function) | Cardano.Ledger.Shelley.Core |
| 9 (Function) | Test.Cardano.Ledger.EraClass |
| ppuScriptVersion | Cardano.Chain.Update |
| ppuSlotDuration | Cardano.Chain.Update |
| ppuSoftforkRule | Cardano.Chain.Update |
| ppuTauL | |
| 1 (Function) | Cardano.Ledger.Allegra.Core |
| 2 (Function) | Cardano.Ledger.Alonzo.Core |
| 3 (Function) | Cardano.Ledger.Api.PParams, Cardano.Ledger.Api |
| 4 (Function) | Cardano.Ledger.Babbage.Core |
| 5 (Function) | Cardano.Ledger.Conway.Core |
| 6 (Function) | Cardano.Ledger.Core |
| 7 (Function) | Cardano.Ledger.Mary.Core |
| 8 (Function) | Cardano.Ledger.Shelley.Core |
| 9 (Function) | Test.Cardano.Ledger.EraClass |
| ppuToUpdate | Test.Cardano.Ledger.Constrained.Conway.Instances.Basic, Test.Cardano.Ledger.Constrained.Conway.Instances.PParams, Test.Cardano.Ledger.Constrained.Conway.Instances.Ledger, Test.Cardano.Ledger.Constrained.Conway.ParametricSpec, Test.Cardano.Ledger.Constrained.Conway.Instances, Test.Cardano.Ledger.Constrained.Conway |
| ppuTxFeePolicy | Cardano.Chain.Update |
| ppUTXO | Test.Cardano.Ledger.Generic.PrettyCore |
| ppUTXOS | Test.Cardano.Ledger.Generic.PrettyCore |
| ppUtxosPredicateFailure | Test.Cardano.Ledger.Generic.PrettyCore |
| ppUTXOW | Test.Cardano.Ledger.Generic.PrettyCore |
| ppuUnlockStakeEpoch | Cardano.Chain.Update |
| ppuUpdateProposalThd | Cardano.Chain.Update |
| ppuUpdateProposalTTL | Cardano.Chain.Update |
| ppuUpdateVoteThd | Cardano.Chain.Update |
| ppuWellFormed | Cardano.Ledger.Conway.PParams |
| ppValidityInterval | Test.Cardano.Ledger.Generic.PrettyCore |
| ppVersion | Test.Cardano.Ledger.Generic.PrettyCore |
| PPViewHashesDontMatch | |
| 1 (Data Constructor) | Cardano.Ledger.Alonzo.Rules |
| 2 (Data Constructor) | Cardano.Ledger.Conway.Rules |
| ppViewHashesMatch | Cardano.Ledger.Alonzo.Rules |
| ppVKey | Test.Cardano.Ledger.Generic.PrettyCore |
| ppVMap | Test.Cardano.Ledger.Generic.PrettyCore |
| ppVrf | |
| 1 (Function) | Cardano.Ledger.PoolParams |
| 2 (Function) | Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| ppVRFHash | Test.Cardano.Ledger.Generic.PrettyCore |
| ppWitHashes | Test.Cardano.Ledger.Generic.PrettyCore |
| ppWithdrawals | Test.Cardano.Ledger.Generic.PrettyCore |
| ppWitnessSetHKD | Test.Cardano.Ledger.Generic.PrettyCore |
| ppWord16 | Test.Cardano.Ledger.Generic.PrettyCore |
| ppWord32 | Test.Cardano.Ledger.Generic.PrettyCore |
| ppWord64 | Test.Cardano.Ledger.Generic.PrettyCore |
| ppWord8 | Test.Cardano.Ledger.Generic.PrettyCore |
| ppX | Test.Cardano.Ledger.Constrained.Conway.LedgerTypes.WellFormed |
| prAccountState | Cardano.Ledger.Shelley.Rules |
| PraosCrypto | Cardano.Protocol.TPraos.API |
| praosLeaderCheck | Tests.Cardano.Ledger.NonIntegral |
| prChildren | Cardano.Ledger.Conway.Governance |
| prChildrenL | Cardano.Ledger.Conway.Governance |
| prDState | Cardano.Ledger.Shelley.Rules |
| preAllegra | Test.Cardano.Ledger.Generic.Proof |
| PreAlonzo | Test.Cardano.Ledger.Shelley.Generator.Core |
| preAlonzo | Test.Cardano.Ledger.Generic.Proof |
| preBabbage | Test.Cardano.Ledger.Generic.Proof |
| precise | Test.Cardano.Ledger.Binary.Vintage.Helpers |
| PreCondition | Control.State.Transition.Extended, Control.State.Transition.Simple, Control.State.Transition |
| preConway | Test.Cardano.Ledger.Generic.Proof |
| Pred | |
| 1 (Type/Class) | Test.Cardano.Ledger.Constrained.Ast |
| 2 (Type/Class) | Constrained.Base, Constrained.Spec, Constrained.Internals, Constrained |
| predConstr | Test.Cardano.Ledger.Constrained.Tests |
| PredGen | |
| 1 (Data Constructor) | Test.Cardano.Ledger.Constrained.Trace.TraceMonad |
| 2 (Type/Class) | Test.Cardano.Ledger.Constrained.Trace.TraceMonad |
| PredicateFailure | |
| 1 (Type/Class) | Byron.Spec.Ledger.Update, Byron.Spec.Ledger.STS.UTXO |
| 2 (Type/Class) | Cardano.Ledger.Conway.Rules, Cardano.Ledger.Conway.Rules |
| 3 (Type/Class) | Cardano.Ledger.Shelley.Rules, Cardano.Ledger.Shelley.Rules |
| 4 (Type/Class) | Test.Cardano.Ledger.Shelley.Rules.Chain |
| 5 (Type/Class) | Cardano.Protocol.TPraos.Rules.OCert, Cardano.Protocol.TPraos.Rules.Overlay, Cardano.Protocol.TPraos.Rules.Tickn, Cardano.Protocol.TPraos.Rules.Updn, Cardano.Protocol.TPraos.Rules.Prtcl |
| 6 (Type/Class) | Control.State.Transition.Extended, Control.State.Transition.Simple, Control.State.Transition.Simple, Control.State.Transition, Control.State.Transition |
| predictFuturePParams | Cardano.Ledger.Conway.Governance |
| PredLike | Constrained.Base, Constrained.Spec, Constrained.Internals |
| preds16 | Test.Cardano.Ledger.Constrained.Examples |
| preds20 | Test.Cardano.Ledger.Constrained.Examples |
| predsTests | Test.Cardano.Ledger.Constrained.Preds.Tx |
| PreEncoded | |
| 1 (Data Constructor) | Cardano.Ledger.Binary.Encoding, Cardano.Ledger.Binary |
| 2 (Type/Class) | Cardano.Ledger.Binary.Encoding, Cardano.Ledger.Binary |
| preMapFoldSpec | Constrained.Base, Constrained.Spec, Constrained.Internals |
| preMary | Test.Cardano.Ledger.Generic.Proof |
| prepareLinearization | Constrained.Base, Constrained.Spec, Constrained.Internals |
| Prerequisites | Constrained.Base, Constrained.Spec, Constrained.Spec, Constrained.Internals, Constrained.Internals, Constrained |
| prerequisites | Constrained.Base, Constrained.Spec, Constrained.Internals, Constrained |
| preserveProp | Test.Cardano.Ledger.Constrained.Trace.TraceMonad |
| preservesJust | Control.Provenance |
| preservesNothing | Control.Provenance |
| preShelley | Test.Cardano.Ledger.Generic.Proof |
| preStatesAndSignals | Test.Control.State.Transition.Trace |
| Pretty | |
| 1 (Data Constructor) | Test.Cardano.Ledger.Allegra.TreeDiff |
| 2 (Type/Class) | Test.Cardano.Ledger.Allegra.TreeDiff |
| 3 (Data Constructor) | Test.Cardano.Ledger.Alonzo.TreeDiff |
| 4 (Type/Class) | Test.Cardano.Ledger.Alonzo.TreeDiff |
| 5 (Data Constructor) | Test.Cardano.Ledger.Babbage.TreeDiff |
| 6 (Type/Class) | Test.Cardano.Ledger.Babbage.TreeDiff |
| 7 (Type/Class) | Test.Cardano.Ledger.Binary.TreeDiff |
| 8 (Data Constructor) | Test.Cardano.Ledger.Binary.TreeDiff |
| 9 (Data Constructor) | Test.Cardano.Ledger.Conway.TreeDiff |
| 10 (Type/Class) | Test.Cardano.Ledger.Conway.TreeDiff |
| 11 (Data Constructor) | Test.Cardano.Ledger.TreeDiff |
| 12 (Type/Class) | Test.Cardano.Ledger.TreeDiff |
| 13 (Data Constructor) | Test.Cardano.Ledger.Mary.TreeDiff |
| 14 (Type/Class) | Test.Cardano.Ledger.Mary.TreeDiff |
| 15 (Data Constructor) | Test.Cardano.Ledger.Shelley.TreeDiff |
| 16 (Type/Class) | Test.Cardano.Ledger.Shelley.TreeDiff |
| PrettyA | Test.Cardano.Ledger.Generic.PrettyCore |
| prettyA | Test.Cardano.Ledger.Generic.PrettyCore |
| PrettyAnn | Test.Cardano.Ledger.Generic.PrettyCore |
| prettyLinear | Constrained.Base, Constrained.Spec, Constrained.Internals |
| prettyPlan | Constrained.Base, Constrained.Spec, Constrained.Internals |
| prettyPrec | Constrained.Base, Constrained.Spec, Constrained.Internals |
| prettyRecord | Cardano.Ledger.State.UTxO |
| prettySetSpec | Constrained.Base, Constrained.Spec, Constrained.Internals |
| prettyTest | Test.Cardano.Ledger.Generic.PrettyTest |
| prevActionAsExpected | Cardano.Ledger.Conway.Rules |
| prevBlocksMade | Test.Cardano.Ledger.Constrained.Vars |
| PrevCommitteeR | Test.Cardano.Ledger.Constrained.TypeRep |
| prevCommitteeState | Test.Cardano.Ledger.Constrained.Vars |
| prevCommitteeStateL | Test.Cardano.Ledger.Constrained.Vars |
| PrevConstitutionR | Test.Cardano.Ledger.Constrained.TypeRep |
| prevDRepDelegations | Test.Cardano.Ledger.Constrained.Vars |
| prevDRepDelegationsL | Test.Cardano.Ledger.Constrained.Vars |
| prevDRepState | Test.Cardano.Ledger.Constrained.Vars |
| prevDRepStateL | Test.Cardano.Ledger.Constrained.Vars |
| prevEnactState | Test.Cardano.Ledger.Constrained.Vars |
| prevEnactStateL | Test.Cardano.Ledger.Constrained.Vars |
| prevEpoch | Test.Cardano.Ledger.Constrained.Vars |
| prevEpochL | Test.Cardano.Ledger.Constrained.Vars |
| prevGovActionIds | Test.Cardano.Ledger.Constrained.Vars |
| prevGovActionIdsCheckPreds | Test.Cardano.Ledger.Constrained.Preds.LedgerState |
| prevGovActionIdsGenPreds | Test.Cardano.Ledger.Constrained.Preds.LedgerState |
| PrevGovActionIdsR | Test.Cardano.Ledger.Constrained.TypeRep |
| prevGovActionStates | Test.Cardano.Ledger.Constrained.Vars |
| PrevHardForkR | Test.Cardano.Ledger.Constrained.TypeRep |
| PrevHash | Cardano.Protocol.TPraos.BHeader |
| PrevHashNotMatching | Byron.Spec.Chain.STS.Rule.Pbft |
| prevHashToNonce | Cardano.Protocol.TPraos.BHeader |
| previewDelegationMap | Cardano.Chain.Byron.API |
| previousCommitteeState | Test.Cardano.Ledger.Constrained.Vars |
| PreviousEra | |
| 1 (Type/Class) | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Allegra.Core |
| 2 (Type/Class) | Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Alonzo.Core |
| 3 (Type/Class) | Cardano.Ledger.Api.Era, Cardano.Ledger.Api, Cardano.Ledger.Api |
| 4 (Type/Class) | Cardano.Ledger.Babbage.Core, Cardano.Ledger.Babbage.Core |
| 5 (Type/Class) | Cardano.Ledger.Conway.Core, Cardano.Ledger.Conway.Core |
| 6 (Type/Class) | Cardano.Ledger.Core, Cardano.Ledger.Core |
| 7 (Type/Class) | Cardano.Ledger.Mary.Core, Cardano.Ledger.Mary.Core |
| 8 (Type/Class) | Cardano.Ledger.Shelley.Core, Cardano.Ledger.Shelley.Core |
| prevPoolDistr | Test.Cardano.Ledger.Constrained.Vars |
| prevPoolDistrL | Test.Cardano.Ledger.Constrained.Vars |
| prevPParams | Test.Cardano.Ledger.Constrained.Vars |
| prevPParamsEpochStateL | Cardano.Ledger.Shelley.LedgerState |
| prevPParamsGovStateL | |
| 1 (Function) | Cardano.Ledger.Allegra.Core |
| 2 (Function) | Cardano.Ledger.Alonzo.Core |
| 3 (Function) | Cardano.Ledger.Api.Governance, Cardano.Ledger.Api |
| 4 (Function) | Cardano.Ledger.Babbage.Core |
| 5 (Function) | Cardano.Ledger.Conway.Governance, Cardano.Ledger.Conway.Core |
| 6 (Function) | Cardano.Ledger.Mary.Core |
| 7 (Function) | Cardano.Ledger.Shelley.Governance, Cardano.Ledger.Shelley.Core |
| prevPParamsShelleyGovStateL | |
| 1 (Function) | Cardano.Ledger.Allegra.Core |
| 2 (Function) | Cardano.Ledger.Alonzo.Core |
| 3 (Function) | Cardano.Ledger.Babbage.Core |
| 4 (Function) | Cardano.Ledger.Conway.Core |
| 5 (Function) | Cardano.Ledger.Mary.Core |
| 6 (Function) | Cardano.Ledger.Shelley.Governance, Cardano.Ledger.Shelley.Core |
| PrevPParamUpdateR | Test.Cardano.Ledger.Constrained.TypeRep |
| prevProposalOrder | Test.Cardano.Ledger.Constrained.Vars |
| prevProposals | Test.Cardano.Ledger.Constrained.Vars |
| prevProtVer | Test.Cardano.Ledger.Constrained.Vars |
| prevPulsingPreds | Test.Cardano.Ledger.Constrained.Vars |
| prevRegPools | Test.Cardano.Ledger.Constrained.Vars |
| prevRegPoolsL | Test.Cardano.Ledger.Constrained.Vars |
| prevTreasury | Test.Cardano.Ledger.Constrained.Vars |
| Prices | |
| 1 (Data Constructor) | Cardano.Ledger.Alonzo.Scripts |
| 2 (Type/Class) | Cardano.Ledger.Alonzo.Scripts |
| 3 (Data Constructor) | Cardano.Ledger.Plutus.ExUnits, Cardano.Ledger.Plutus |
| 4 (Type/Class) | Cardano.Ledger.Plutus.ExUnits, Cardano.Ledger.Plutus |
| 5 (Data Constructor) | Test.Cardano.Ledger.Generic.Fields |
| prices | Test.Cardano.Ledger.Constrained.Conway.Instances.Basic, Test.Cardano.Ledger.Constrained.Conway.Instances.PParams, Test.Cardano.Ledger.Constrained.Conway.Instances.Ledger, Test.Cardano.Ledger.Constrained.Conway.ParametricSpec, Test.Cardano.Ledger.Constrained.Conway.Instances, Test.Cardano.Ledger.Constrained.Conway |
| prices_ | Test.Cardano.Ledger.Constrained.Conway.Instances.PParams, Test.Cardano.Ledger.Constrained.Conway.ParametricSpec, Test.Cardano.Ledger.Constrained.Conway.Instances, Test.Cardano.Ledger.Constrained.Conway |
| PRight | Constrained.Univ, Constrained.Internals |
| primaryLanguage | Test.Cardano.Ledger.Generic.Functions |
| PrintableString | |
| 1 (Type/Class) | Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common |
| 2 (Data Constructor) | Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common |
| 3 (Data Constructor) | Test.Common |
| 4 (Type/Class) | Test.Common |
| printMemo | Cardano.Ledger.MemoBytes.Internal, Cardano.Ledger.MemoBytes |
| printNewEpochStateStats | Cardano.Ledger.State.UTxO |
| printPlan | Constrained.Base, Constrained.Spec, Constrained.Internals, Constrained |
| printTarget | Test.Cardano.Ledger.Constrained.Vars |
| printTestCase | |
| 1 (Function) | Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common |
| 2 (Function) | Test.Common |
| prMem | |
| 1 (Function) | Cardano.Ledger.Alonzo.Scripts |
| 2 (Function) | Cardano.Ledger.Plutus.ExUnits, Cardano.Ledger.Plutus |
| processDelegation | Cardano.Ledger.Conway.Rules |
| Prod | |
| 1 (Data Constructor) | Constrained.Univ, Constrained.Internals |
| 2 (Type/Class) | Constrained.Univ, Constrained.Internals |
| proDeposits | Cardano.Ledger.Shelley.AdaPots |
| prodFst | Constrained.Univ, Constrained.Internals |
| ProdOver | Constrained.Univ, Constrained.Internals |
| prodSnd | Constrained.Univ, Constrained.Internals |
| prodToList | Constrained.Univ, Constrained.Internals |
| Produced | |
| 1 (Data Constructor) | Cardano.Ledger.Shelley.AdaPots |
| 2 (Type/Class) | Cardano.Ledger.Shelley.AdaPots |
| produced | Cardano.Ledger.Shelley.UTxO, Cardano.Ledger.Shelley.LedgerState |
| producedTxBody | Cardano.Ledger.Shelley.AdaPots |
| produceEqualsConsumed | Cardano.Ledger.Shelley.Rules.Reports |
| produceRefScript | |
| 1 (Function) | Test.Cardano.Ledger.Babbage.ImpTest |
| 2 (Function) | Test.Cardano.Ledger.Conway.ImpTest |
| produceRefScripts | |
| 1 (Function) | Test.Cardano.Ledger.Babbage.ImpTest |
| 2 (Function) | Test.Cardano.Ledger.Conway.ImpTest |
| produceScript | |
| 1 (Function) | Test.Cardano.Ledger.Allegra.ImpTest |
| 2 (Function) | Test.Cardano.Ledger.Alonzo.ImpTest |
| 3 (Function) | Test.Cardano.Ledger.Babbage.ImpTest |
| 4 (Function) | Test.Cardano.Ledger.Conway.ImpTest |
| 5 (Function) | Test.Cardano.Ledger.Mary.ImpTest |
| 6 (Function) | Test.Cardano.Ledger.Shelley.ImpTest |
| proFees | Cardano.Ledger.Shelley.AdaPots |
| Proj | Test.Cardano.Ledger.Constrained.Ast |
| projD | Control.Iterate.Exp |
| ProjectD | Control.Iterate.Exp |
| projectEnv | Test.Cardano.Ledger.Constrained.Conway.Certs, Test.Cardano.Ledger.Constrained.Conway |
| projectQ | Control.Iterate.Exp |
| ProjM | Test.Cardano.Ledger.Constrained.Ast |
| ProjMap | Test.Cardano.Ledger.Constrained.Ast |
| projOnDom | Test.Cardano.Ledger.Constrained.Solver |
| ProjOne | Test.Cardano.Ledger.Constrained.Ast |
| projPreds1 | Test.Cardano.Ledger.Constrained.Examples |
| projPreds2 | Test.Cardano.Ledger.Constrained.Examples |
| ProjS | Test.Cardano.Ledger.Constrained.Ast |
| projStep | Control.Iterate.Exp |
| promoteRatio | Cardano.Ledger.BaseTypes |
| Proof | |
| 1 (Data Constructor) | Cardano.Chain.Block |
| 2 (Type/Class) | Cardano.Chain.Block |
| 3 (Type/Class) | Cardano.Chain.Update |
| 4 (Type/Class) | Test.Cardano.Ledger.Generic.Proof, Test.Cardano.Ledger.Constrained.TypeRep |
| proofDelegation | Cardano.Chain.Block |
| proofSsc | Cardano.Chain.Block |
| proofUpdate | Cardano.Chain.Block |
| proofUTxO | Cardano.Chain.Block |
| ProofValidationError | Cardano.Chain.Block |
| proofx | Test.Cardano.Ledger.Constrained.Trace.Pipeline |
| PRoot | |
| 1 (Data Constructor) | Cardano.Ledger.Conway.Governance |
| 2 (Type/Class) | Cardano.Ledger.Conway.Governance |
| pRootsL | Cardano.Ledger.Conway.Governance |
| proOutputs | Cardano.Ledger.Shelley.AdaPots |
| prop | Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common |
| propAbstractSizeBoundsBytes | Test.Cardano.Ledger.Shelley.Rules.ClassifyTraces |
| propAbstractSizeNotTooBig | Test.Cardano.Ledger.Shelley.Rules.ClassifyTraces |
| propagateSpec | Constrained.Base, Constrained.Spec, Constrained.Internals |
| propagateSpecFun | Constrained.Base, Constrained.Spec, Constrained.Internals, Constrained |
| propBack | Constrained.Examples.Basic, Constrained.Examples |
| propBack' | Constrained.Examples.Basic, Constrained.Examples |
| propBack'' | Constrained.Examples.Basic, Constrained.Examples |
| Property | |
| 1 (Type/Class) | Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common |
| 2 (Type/Class) | Test.Common |
| property | |
| 1 (Function) | Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common |
| 2 (Function) | Test.Common |
| propertyForAllShrinkShow | |
| 1 (Function) | Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common |
| 2 (Function) | Test.Common |
| property_bound_findE_db | Tests.Cardano.Ledger.NonIntegral |
| property_bound_findE_fp | Tests.Cardano.Ledger.NonIntegral |
| property_bound_findE_q | Tests.Cardano.Ledger.NonIntegral |
| property_exponential_is_monotonic_db | Tests.Cardano.Ledger.NonIntegral |
| property_exponential_law_db | Tests.Cardano.Ledger.NonIntegral |
| property_exponential_law_fp | Tests.Cardano.Ledger.NonIntegral |
| property_exponential_law_q | Tests.Cardano.Ledger.NonIntegral |
| property_exp_maps_unit_interval_to_unit_interval_db | Tests.Cardano.Ledger.NonIntegral |
| property_exp_maps_unit_interval_to_unit_interval_fp | Tests.Cardano.Ledger.NonIntegral |
| property_exp_maps_unit_interval_to_unit_interval_q | Tests.Cardano.Ledger.NonIntegral |
| property_exp_of_ln_db | Tests.Cardano.Ledger.NonIntegral |
| property_exp_of_ln_fp | Tests.Cardano.Ledger.NonIntegral |
| property_exp_of_ln_q | Tests.Cardano.Ledger.NonIntegral |
| property_ln_of_exp_db | Tests.Cardano.Ledger.NonIntegral |
| property_ln_of_exp_fp | Tests.Cardano.Ledger.NonIntegral |
| property_ln_of_exp_q | Tests.Cardano.Ledger.NonIntegral |
| property_logarithm_is_monotonic_db | Tests.Cardano.Ledger.NonIntegral |
| property_log_law_db | Tests.Cardano.Ledger.NonIntegral |
| property_log_law_fp | Tests.Cardano.Ledger.NonIntegral |
| property_log_law_q | Tests.Cardano.Ledger.NonIntegral |
| property_log_power_db | Tests.Cardano.Ledger.NonIntegral |
| property_log_power_fp | Tests.Cardano.Ledger.NonIntegral |
| property_log_power_q | Tests.Cardano.Ledger.NonIntegral |
| property_negative_taylorExpCmp_comparison | Tests.Cardano.Ledger.NonIntegral |
| property_power_diff_db | Tests.Cardano.Ledger.NonIntegral |
| property_power_diff_fp | Tests.Cardano.Ledger.NonIntegral |
| property_power_diff_q | Tests.Cardano.Ledger.NonIntegral |
| property_praos_leader_comparison | Tests.Cardano.Ledger.NonIntegral |
| propGenInputOutput | Byron.Spec.Ledger.UTxO.Generators |
| propGenSplitValue | Byron.Spec.Ledger.UTxO.Generators |
| proportionOfInvalidSignals | Test.Control.State.Transition.Generator |
| proportionOfValidSignals | Test.Control.State.Transition.Generator |
| Proposal | Cardano.Chain.Update.Proposal, Cardano.Chain.Update |
| proposal | Cardano.Chain.Update.Validation.Interface |
| ProposalAttributesUnknown | Cardano.Chain.Update.Validation.Registration |
| ProposalBody | |
| 1 (Data Constructor) | Cardano.Chain.Update.Proposal, Cardano.Chain.Update |
| 2 (Type/Class) | Cardano.Chain.Update.Proposal, Cardano.Chain.Update |
| ProposalCantFollow | Cardano.Ledger.Conway.Rules |
| proposalDeposit | Test.Cardano.Ledger.Constrained.Vars |
| ProposalDepositIncorrect | Cardano.Ledger.Conway.Rules |
| proposalDeposits | Test.Cardano.Ledger.Constrained.Vars |
| proposalId | Cardano.Chain.Update.Vote, Cardano.Chain.Update |
| proposalIds | |
| 1 (Function) | Test.Cardano.Chain.Elaboration.Block |
| 2 (Function) | Test.Cardano.Chain.Elaboration.Block |
| ProposalProc | Test.Cardano.Ledger.Generic.Fields |
| ProposalProcedure | |
| 1 (Type/Class) | Cardano.Ledger.Api.Governance, Cardano.Ledger.Api |
| 2 (Data Constructor) | Cardano.Ledger.Api.Governance, Cardano.Ledger.Api |
| 3 (Data Constructor) | Cardano.Ledger.Conway.Governance |
| 4 (Type/Class) | Cardano.Ledger.Conway.Governance |
| ProposalProcedureNetworkIdMismatch | Cardano.Ledger.Conway.Rules |
| ProposalProceduresFieldNotSupported | Cardano.Ledger.Conway.TxInfo |
| proposalProceduresTxBodyL | |
| 1 (Function) | Cardano.Ledger.Api.Tx.Body, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api |
| 2 (Function) | Cardano.Ledger.Conway.TxBody.Internal, Cardano.Ledger.Conway.TxBody, Cardano.Ledger.Conway.Core |
| 3 (Function) | Test.Cardano.Ledger.EraClass |
| proposalRegistrationSlot | Cardano.Chain.Update.Validation.Interface |
| ProposalReturnAccountDoesNotExist | Cardano.Ledger.Conway.Rules |
| Proposals | Cardano.Ledger.Conway.Governance |
| proposalsActions | Cardano.Ledger.Conway.Governance |
| proposalsActionsMap | Cardano.Ledger.Conway.Governance |
| proposalsAddAction | Cardano.Ledger.Conway.Governance |
| proposalsAddVote | Cardano.Ledger.Conway.Governance |
| proposalsApplyEnactment | Cardano.Ledger.Conway.Governance |
| proposalsDeposits | Cardano.Ledger.Conway.Governance |
| ProposalsForEnactment | |
| 1 (Data Constructor) | Test.Cardano.Ledger.Conway.Arbitrary |
| 2 (Type/Class) | Test.Cardano.Ledger.Conway.Arbitrary |
| proposalsGovStateL | Cardano.Ledger.Conway.Governance |
| proposalsIds | Cardano.Ledger.Conway.Governance |
| proposalsL | |
| 1 (Function) | Cardano.Ledger.Allegra.Core |
| 2 (Function) | Cardano.Ledger.Alonzo.Core |
| 3 (Function) | Cardano.Ledger.Babbage.Core |
| 4 (Function) | Cardano.Ledger.Conway.Core |
| 5 (Function) | Cardano.Ledger.Mary.Core |
| 6 (Function) | Cardano.Ledger.Shelley.Governance, Cardano.Ledger.Shelley.Core |
| proposalsLookupId | Cardano.Ledger.Conway.Governance |
| ProposalsNewActions | |
| 1 (Data Constructor) | Test.Cardano.Ledger.Conway.Arbitrary |
| 2 (Type/Class) | Test.Cardano.Ledger.Conway.Arbitrary |
| proposalSplitSum | Test.Cardano.Ledger.Constrained.Conway.Instances.Ledger, Test.Cardano.Ledger.Constrained.Conway.Instances, Test.Cardano.Ledger.Constrained.Conway |
| ProposalsR | Test.Cardano.Ledger.Constrained.TypeRep |
| proposalsRemoveWithDescendants | Cardano.Ledger.Conway.Governance |
| proposalsShowDebug | Test.Cardano.Ledger.Conway.ImpTest |
| proposalsSize | Cardano.Ledger.Conway.Governance |
| proposalsSpec | Test.Cardano.Ledger.Constrained.Conway.Gov, Test.Cardano.Ledger.Constrained.Conway |
| ProposalsSplit | |
| 1 (Data Constructor) | Test.Cardano.Ledger.Constrained.Conway.Instances.Ledger, Test.Cardano.Ledger.Constrained.Conway.Instances, Test.Cardano.Ledger.Constrained.Conway |
| 2 (Type/Class) | Test.Cardano.Ledger.Constrained.Conway.Instances.Ledger, Test.Cardano.Ledger.Constrained.Conway.Instances, Test.Cardano.Ledger.Constrained.Conway |
| proposalsT | Test.Cardano.Ledger.Constrained.Vars |
| proposalsWithPurpose | Cardano.Ledger.Conway.Governance |
| ProposalTooLarge | Cardano.Chain.Update.Validation.Registration |
| ProposalTree | Test.Cardano.Ledger.Constrained.Conway.Instances.Ledger, Test.Cardano.Ledger.Constrained.Conway.Instances, Test.Cardano.Ledger.Constrained.Conway |
| proposalVotes | Cardano.Chain.Update.Validation.Interface |
| proposedCoreL | Test.Cardano.Ledger.Constrained.Classes |
| proposedInV | Test.Cardano.Ledger.Constrained.Vars |
| proposedMapL | |
| 1 (Function) | Test.Cardano.Ledger.Constrained.Vars |
| 2 (Function) | Test.Cardano.Ledger.Constrained.Classes |
| ProposedPPUpdates | |
| 1 (Type/Class) | Cardano.Ledger.Api.Governance, Cardano.Ledger.Api |
| 2 (Data Constructor) | Cardano.Ledger.Api.Governance, Cardano.Ledger.Api |
| 3 (Data Constructor) | Cardano.Ledger.Shelley.PParams, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| 4 (Type/Class) | Cardano.Ledger.Shelley.PParams, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| ProposedPPUpdatesF | |
| 1 (Data Constructor) | Test.Cardano.Ledger.Constrained.Classes |
| 2 (Type/Class) | Test.Cardano.Ledger.Constrained.Classes |
| proposedWrapperL | Test.Cardano.Ledger.Constrained.Classes |
| proposed_protocol_parameter_updates | Test.Cardano.Ledger.Shelley.CDDL |
| Proposing | Test.Cardano.Ledger.Generic.GenState |
| ProposingPurpose | |
| 1 (Data Constructor) | Cardano.Ledger.Api.Scripts, Cardano.Ledger.Api.Tx.Body, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api |
| 2 (Data Constructor) | Cardano.Ledger.Conway.Scripts, Cardano.Ledger.Conway.Core |
| prop_AsMapFrom | Test.VMap |
| prop_AsMapTo | Test.VMap |
| prop_CERT | Test.Cardano.Ledger.STS |
| prop_chooseSpec | Constrained.Examples.CheatSheet |
| prop_complete | Constrained.Properties |
| prop_conformEmpty | Constrained.Properties |
| prop_constrained_explained | Constrained.Properties |
| prop_constrained_satisfies_complete | Constrained.Properties |
| prop_constrained_satisfies_sound | Constrained.Properties |
| prop_DELEG | Test.Cardano.Ledger.STS |
| prop_DExpLaw | Tests.Cardano.Ledger.NonIntegral |
| prop_DExpUnitInterval | Tests.Cardano.Ledger.NonIntegral |
| prop_DfindD | Tests.Cardano.Ledger.NonIntegral |
| prop_DIdemPotent | Tests.Cardano.Ledger.NonIntegral |
| prop_DIdemPotent' | Tests.Cardano.Ledger.NonIntegral |
| prop_DlnLaw | Tests.Cardano.Ledger.NonIntegral |
| prop_DlnPow | Tests.Cardano.Ledger.NonIntegral |
| prop_DMonotonic | Tests.Cardano.Ledger.NonIntegral |
| prop_DPowDiff | Tests.Cardano.Ledger.NonIntegral |
| prop_ENACT | Test.Cardano.Ledger.STS |
| prop_EPOCH | Test.Cardano.Ledger.STS |
| prop_ExpLaw | Tests.Cardano.Ledger.NonIntegral |
| prop_ExpUnitInterval | Tests.Cardano.Ledger.NonIntegral |
| prop_exp_is_monotonic_fp | Tests.Cardano.Ledger.NonIntegral |
| prop_exp_is_monotonic_q | Tests.Cardano.Ledger.NonIntegral |
| prop_findD | Tests.Cardano.Ledger.NonIntegral |
| prop_FPExpLaw | Tests.Cardano.Ledger.NonIntegral |
| prop_FPExpUnitInterval | Tests.Cardano.Ledger.NonIntegral |
| prop_FPfindD | Tests.Cardano.Ledger.NonIntegral |
| prop_FPIdemPotent | Tests.Cardano.Ledger.NonIntegral |
| prop_FPIdemPotent' | Tests.Cardano.Ledger.NonIntegral |
| prop_FPlnLaw | Tests.Cardano.Ledger.NonIntegral |
| prop_FPlnPow | Tests.Cardano.Ledger.NonIntegral |
| prop_FPMonotonic | Tests.Cardano.Ledger.NonIntegral |
| prop_FPPowDiff | Tests.Cardano.Ledger.NonIntegral |
| prop_gen_sound | Constrained.Properties |
| prop_GOV | Test.Cardano.Ledger.STS |
| prop_GOVCERT | Test.Cardano.Ledger.STS |
| prop_IdemPotent | Tests.Cardano.Ledger.NonIntegral |
| prop_IdemPotent' | Tests.Cardano.Ledger.NonIntegral |
| prop_LeaderCmp | Tests.Cardano.Ledger.NonIntegral |
| prop_lnLaw | Tests.Cardano.Ledger.NonIntegral |
| prop_lnPow | Tests.Cardano.Ledger.NonIntegral |
| prop_log_is_monotonic_fp | Tests.Cardano.Ledger.NonIntegral |
| prop_log_is_monotonic_q | Tests.Cardano.Ledger.NonIntegral |
| prop_mapSpec | Constrained.Properties |
| prop_monitoring | Constrained.Examples.CheatSheet |
| prop_Monotonic | Tests.Cardano.Ledger.NonIntegral |
| prop_neg_taylorExpCmp | Tests.Cardano.Ledger.NonIntegral |
| prop_noNarrowLoop | Constrained.Test |
| prop_POOL | Test.Cardano.Ledger.STS |
| prop_PowDiff | Tests.Cardano.Ledger.NonIntegral |
| prop_propagateSpecSound | Constrained.Properties |
| prop_qc_Bounded | Test.Control.State.Transition.Examples.Sum |
| prop_qc_Classified | Test.Control.State.Transition.Examples.Sum |
| prop_qc_OnlyValidSignals | Test.Control.State.Transition.Examples.CommitReveal |
| prop_qc_onlyValidSignalsAreGenerated | Test.Control.State.Transition.Examples.Sum |
| prop_qc_UniqueData | Test.Control.State.Transition.Examples.CommitReveal |
| prop_RATIFY | Test.Cardano.Ledger.STS |
| prop_Roundtrip | Test.VMap |
| prop_shrinking | Test.Cardano.Ledger.Constrained.Tests |
| prop_shrinking' | Test.Cardano.Ledger.Constrained.Tests |
| prop_shrink_sound | Constrained.Properties |
| prop_sound | Constrained.Properties |
| prop_soundness | Test.Cardano.Ledger.Constrained.Tests |
| prop_soundness' | Test.Cardano.Ledger.Constrained.Tests |
| prop_univSound | Constrained.Properties |
| prop_UTXOS | Test.Cardano.Ledger.STS |
| prop_UTXOW | Test.Cardano.Ledger.STS |
| protectMainnet | Cardano.Ledger.Shelley.Transition |
| protectMainnetLens | Cardano.Ledger.Shelley.Transition |
| ProtocolMagic | Cardano.Crypto.ProtocolMagic, Cardano.Crypto |
| protocolMagic | |
| 1 (Function) | Test.Cardano.Crypto.Dummy |
| 2 (Function) | Test.Cardano.Crypto.Dummy |
| 3 (Function) | Cardano.Chain.UTxO.Validation, Cardano.Chain.UTxO |
| 4 (Function) | Cardano.Chain.Delegation.Validation.Interface |
| 5 (Function) | Cardano.Chain.Update.Validation.Interface |
| 6 (Function) | Cardano.Chain.Update.Validation.Registration |
| 7 (Function) | Cardano.Chain.Delegation.Validation.Scheduling |
| ProtocolMagicId | |
| 1 (Data Constructor) | Cardano.Crypto.ProtocolMagic, Cardano.Crypto |
| 2 (Type/Class) | Cardano.Crypto.ProtocolMagic, Cardano.Crypto |
| protocolMagicId | |
| 1 (Function) | Test.Cardano.Crypto.Dummy |
| 2 (Function) | Test.Cardano.Crypto.Dummy |
| ProtocolParameters | |
| 1 (Data Constructor) | Cardano.Chain.Update |
| 2 (Type/Class) | Cardano.Chain.Update |
| protocolParameters | |
| 1 (Function) | Byron.Spec.Ledger.Update |
| 2 (Function) | Cardano.Chain.UTxO.Validation, Cardano.Chain.UTxO |
| ProtocolParametersUpdate | |
| 1 (Data Constructor) | Cardano.Chain.Update |
| 2 (Type/Class) | Cardano.Chain.Update |
| ProtocolUpdateProposal | |
| 1 (Data Constructor) | Cardano.Chain.Update.Validation.Registration |
| 2 (Type/Class) | Cardano.Chain.Update.Validation.Registration |
| ProtocolUpdateProposals | Cardano.Chain.Update.Validation.Registration |
| ProtocolVersion | |
| 1 (Data Constructor) | Cardano.Chain.Update |
| 2 (Type/Class) | Cardano.Chain.Update |
| 3 (Data Constructor) | Test.Cardano.Ledger.Generic.Fields |
| protocolVersion | |
| 1 (Function) | Byron.Spec.Ledger.Update |
| 2 (Function) | Test.Cardano.Ledger.Generic.Functions |
| 3 (Function) | Test.Cardano.Ledger.Constrained.Conway.Instances.Basic, Test.Cardano.Ledger.Constrained.Conway.Instances.PParams, Test.Cardano.Ledger.Constrained.Conway.Instances.Ledger, Test.Cardano.Ledger.Constrained.Conway.ParametricSpec, Test.Cardano.Ledger.Constrained.Conway.Instances, Test.Cardano.Ledger.Constrained.Conway |
| protocolVersionEndorsementGen | Byron.Spec.Ledger.Update |
| protocolVersion_ | Test.Cardano.Ledger.Constrained.Conway.Instances.PParams, Test.Cardano.Ledger.Constrained.Conway.ParametricSpec, Test.Cardano.Ledger.Constrained.Conway.Instances, Test.Cardano.Ledger.Constrained.Conway |
| protocol_param_update | Test.Cardano.Ledger.Shelley.CDDL |
| protocol_version | Test.Cardano.Ledger.Shelley.CDDL |
| ProtVer | |
| 1 (Data Constructor) | Byron.Spec.Ledger.Update |
| 2 (Type/Class) | Byron.Spec.Ledger.Update |
| 3 (Data Constructor) | Cardano.Ledger.BaseTypes |
| 4 (Type/Class) | Cardano.Ledger.BaseTypes |
| 5 (Type/Class) | Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| 6 (Data Constructor) | Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| protVer | Test.Cardano.Ledger.Constrained.Vars |
| ProtVerAtLeast | |
| 1 (Type/Class) | Cardano.Ledger.Allegra.Core |
| 2 (Type/Class) | Cardano.Ledger.Alonzo.Core |
| 3 (Type/Class) | Cardano.Ledger.Api.Era, Cardano.Ledger.Api |
| 4 (Type/Class) | Cardano.Ledger.Babbage.Core |
| 5 (Type/Class) | Cardano.Ledger.Conway.Core |
| 6 (Type/Class) | Cardano.Ledger.Core |
| 7 (Type/Class) | Cardano.Ledger.Mary.Core |
| 8 (Type/Class) | Cardano.Ledger.Shelley.Core |
| ProtVerAtMost | |
| 1 (Type/Class) | Cardano.Ledger.Allegra.Core |
| 2 (Type/Class) | Cardano.Ledger.Alonzo.Core |
| 3 (Type/Class) | Cardano.Ledger.Api.Era, Cardano.Ledger.Api |
| 4 (Type/Class) | Cardano.Ledger.Babbage.Core |
| 5 (Type/Class) | Cardano.Ledger.Conway.Core |
| 6 (Type/Class) | Cardano.Ledger.Core |
| 7 (Type/Class) | Cardano.Ledger.Mary.Core |
| 8 (Type/Class) | Cardano.Ledger.Shelley.Core |
| ProtVerHigh | |
| 1 (Type/Class) | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Allegra.Core |
| 2 (Type/Class) | Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Alonzo.Core |
| 3 (Type/Class) | Cardano.Ledger.Api.Era, Cardano.Ledger.Api, Cardano.Ledger.Api |
| 4 (Type/Class) | Cardano.Ledger.Babbage.Core, Cardano.Ledger.Babbage.Core |
| 5 (Type/Class) | Cardano.Ledger.Conway.Core, Cardano.Ledger.Conway.Core |
| 6 (Type/Class) | Cardano.Ledger.Core, Cardano.Ledger.Core |
| 7 (Type/Class) | Cardano.Ledger.Mary.Core, Cardano.Ledger.Mary.Core |
| 8 (Type/Class) | Cardano.Ledger.Shelley.Core, Cardano.Ledger.Shelley.Core |
| ProtVerInBounds | |
| 1 (Type/Class) | Cardano.Ledger.Allegra.Core |
| 2 (Type/Class) | Cardano.Ledger.Alonzo.Core |
| 3 (Type/Class) | Cardano.Ledger.Api.Era, Cardano.Ledger.Api |
| 4 (Type/Class) | Cardano.Ledger.Babbage.Core |
| 5 (Type/Class) | Cardano.Ledger.Conway.Core |
| 6 (Type/Class) | Cardano.Ledger.Core |
| 7 (Type/Class) | Cardano.Ledger.Mary.Core |
| 8 (Type/Class) | Cardano.Ledger.Shelley.Core |
| ProtVerLow | |
| 1 (Type/Class) | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Allegra.Core |
| 2 (Type/Class) | Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Alonzo.Core |
| 3 (Type/Class) | Cardano.Ledger.Api.Era, Cardano.Ledger.Api, Cardano.Ledger.Api |
| 4 (Type/Class) | Cardano.Ledger.Babbage.Core, Cardano.Ledger.Babbage.Core |
| 5 (Type/Class) | Cardano.Ledger.Conway.Core, Cardano.Ledger.Conway.Core |
| 6 (Type/Class) | Cardano.Ledger.Core, Cardano.Ledger.Core |
| 7 (Type/Class) | Cardano.Ledger.Mary.Core, Cardano.Ledger.Mary.Core |
| 8 (Type/Class) | Cardano.Ledger.Shelley.Core, Cardano.Ledger.Shelley.Core |
| ProtVerR | Test.Cardano.Ledger.Constrained.TypeRep |
| protVersCanfollow | Test.Cardano.Ledger.Constrained.Conway.LedgerTypes.Specs |
| ProtVerUnknown | Byron.Spec.Ledger.Update |
| Prov | Control.Provenance |
| Provenance | Control.Provenance |
| ProvM | |
| 1 (Data Constructor) | Control.Provenance |
| 2 (Type/Class) | Control.Provenance |
| Proxy | |
| 1 (Data Constructor) | Test.Common |
| 2 (Type/Class) | Test.Common |
| Proxy1 | |
| 1 (Data Constructor) | Test.Common |
| 2 (Type/Class) | Test.Common |
| Proxy2 | |
| 1 (Data Constructor) | Test.Common |
| 2 (Type/Class) | Test.Common |
| prPState | Cardano.Ledger.Shelley.Rules |
| prRoot | Cardano.Ledger.Conway.Governance |
| prRootL | Cardano.Ledger.Conway.Governance |
| prSteps | |
| 1 (Function) | Cardano.Ledger.Alonzo.Scripts |
| 2 (Function) | Cardano.Ledger.Plutus.ExUnits, Cardano.Ledger.Plutus |
| PRTCL | Cardano.Protocol.TPraos.Rules.Prtcl |
| PrtclEnv | |
| 1 (Data Constructor) | Cardano.Protocol.TPraos.Rules.Prtcl |
| 2 (Type/Class) | Cardano.Protocol.TPraos.Rules.Prtcl |
| PrtclEvent | Test.Cardano.Ledger.Shelley.Rules.Chain |
| PrtclFailure | Test.Cardano.Ledger.Shelley.Rules.Chain |
| PrtclPredicateFailure | Cardano.Protocol.TPraos.Rules.Prtcl |
| PrtclSeqFailure | Test.Cardano.Ledger.Shelley.Rules.Chain |
| PrtclState | |
| 1 (Data Constructor) | Cardano.Protocol.TPraos.Rules.Prtcl |
| 2 (Type/Class) | Cardano.Protocol.TPraos.Rules.Prtcl |
| prtlSeqChecks | Cardano.Protocol.TPraos.Rules.Prtcl |
| PrtlSeqFailure | Cardano.Protocol.TPraos.Rules.Prtcl |
| prune | Cardano.Ledger.Mary.Value |
| pruneZeroMultiAsset | Cardano.Ledger.Mary.Value |
| prUTxOSt | Cardano.Ledger.Shelley.Rules |
| psDeposits | |
| 1 (Function) | Cardano.Ledger.CertState |
| 2 (Function) | Cardano.Ledger.Shelley.LedgerState, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| psDepositsL | |
| 1 (Function) | Cardano.Ledger.CertState |
| 2 (Function) | Cardano.Ledger.Shelley.LedgerState |
| psDRepDistr | Cardano.Ledger.Conway.Governance.DRepPulser, Cardano.Ledger.Conway.Governance |
| psDRepDistrG | Cardano.Ledger.Conway.Governance.DRepPulser, Cardano.Ledger.Conway.Governance |
| psDRepDistrL | Cardano.Ledger.Conway.Governance.DRepPulser, Cardano.Ledger.Conway.Governance |
| psDRepState | Cardano.Ledger.Conway.Governance.DRepPulser, Cardano.Ledger.Conway.Governance |
| psDRepStateL | Cardano.Ledger.Conway.Governance.DRepPulser, Cardano.Ledger.Conway.Governance |
| psEpochState | Test.Cardano.Ledger.Generic.PrettyCore |
| psFutureStakePoolParams | |
| 1 (Function) | Cardano.Ledger.CertState |
| 2 (Function) | Cardano.Ledger.Shelley.LedgerState, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| psFutureStakePoolParamsL | |
| 1 (Function) | Cardano.Ledger.CertState |
| 2 (Function) | Cardano.Ledger.Shelley.LedgerState |
| psHFInitiation | Test.Cardano.Ledger.Constrained.Conway.Instances.Ledger, Test.Cardano.Ledger.Constrained.Conway.Instances, Test.Cardano.Ledger.Constrained.Conway |
| psLedgerState | Test.Cardano.Ledger.Generic.PrettyCore |
| psNewConstitution | Test.Cardano.Ledger.Constrained.Conway.Instances.Ledger, Test.Cardano.Ledger.Constrained.Conway.Instances, Test.Cardano.Ledger.Constrained.Conway |
| psNewEpochState | Test.Cardano.Ledger.Generic.PrettyCore |
| psOthers | Test.Cardano.Ledger.Constrained.Conway.Instances.Ledger, Test.Cardano.Ledger.Constrained.Conway.Instances, Test.Cardano.Ledger.Constrained.Conway |
| psPoolDistr | Cardano.Ledger.Conway.Governance.DRepPulser, Cardano.Ledger.Conway.Governance |
| psPoolDistrL | Cardano.Ledger.Conway.Governance.DRepPulser, Cardano.Ledger.Conway.Governance |
| psPPChange | Test.Cardano.Ledger.Constrained.Conway.Instances.Ledger, Test.Cardano.Ledger.Constrained.Conway.Instances, Test.Cardano.Ledger.Constrained.Conway |
| psProposals | Cardano.Ledger.Conway.Governance.DRepPulser, Cardano.Ledger.Conway.Governance |
| psProposalsL | Cardano.Ledger.Conway.Governance.DRepPulser, Cardano.Ledger.Conway.Governance |
| psRetiring | |
| 1 (Function) | Cardano.Ledger.CertState |
| 2 (Function) | Cardano.Ledger.Shelley.LedgerState, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| psRetiringL | |
| 1 (Function) | Cardano.Ledger.CertState |
| 2 (Function) | Cardano.Ledger.Shelley.LedgerState |
| pssKeyHashStakePool | Cardano.Ledger.State.UTxO |
| pssPoolParamsStats | Cardano.Ledger.State.UTxO |
| psStakePoolParams | |
| 1 (Function) | Cardano.Ledger.CertState |
| 2 (Function) | Cardano.Ledger.Shelley.LedgerState, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| psStakePoolParamsL | |
| 1 (Function) | Cardano.Ledger.CertState |
| 2 (Function) | Cardano.Ledger.Shelley.LedgerState |
| PState | |
| 1 (Data Constructor) | Cardano.Ledger.CertState |
| 2 (Type/Class) | Cardano.Ledger.CertState |
| 3 (Type/Class) | Cardano.Ledger.Shelley.LedgerState, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| 4 (Data Constructor) | Cardano.Ledger.Shelley.LedgerState, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| pstateCheckPreds | Test.Cardano.Ledger.Constrained.Preds.CertState |
| pstateConstraints | Test.Cardano.Ledger.Constrained.Examples |
| pstateGenPreds | Test.Cardano.Ledger.Constrained.Preds.CertState |
| pstateNames | Test.Cardano.Ledger.Constrained.Preds.CertState |
| pstatePreds | |
| 1 (Function) | Test.Cardano.Ledger.Constrained.Examples |
| 2 (Function) | Test.Cardano.Ledger.Constrained.Preds.CertState |
| pStateSpec | Test.Cardano.Ledger.Constrained.Conway.Pool, Test.Cardano.Ledger.Constrained.Conway |
| pstateSpec | Test.Cardano.Ledger.Constrained.Conway.LedgerTypes.Specs |
| pstateStage | Test.Cardano.Ledger.Constrained.Preds.CertState |
| PStateStats | |
| 1 (Data Constructor) | Cardano.Ledger.State.UTxO |
| 2 (Type/Class) | Cardano.Ledger.State.UTxO |
| pStateSummary | Test.Cardano.Ledger.Generic.PrettyCore |
| pstateT | Test.Cardano.Ledger.Constrained.Vars |
| pstateTrace | Test.Cardano.Ledger.Constrained.Trace.TraceMonad |
| pStateZero | Test.Cardano.Ledger.Generic.ModelState |
| psUpdateCommittee | Test.Cardano.Ledger.Constrained.Conway.Instances.Ledger, Test.Cardano.Ledger.Constrained.Conway.Instances, Test.Cardano.Ledger.Constrained.Conway |
| psUTxOState | Test.Cardano.Ledger.Generic.PrettyCore |
| psX | Test.Cardano.Ledger.Constrained.Conway.LedgerTypes.WellFormed |
| Ptr | |
| 1 (Data Constructor) | Cardano.Ledger.Credential |
| 2 (Type/Class) | Cardano.Ledger.Credential |
| 3 (Type/Class) | Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| 4 (Data Constructor) | Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| 5 (Data Constructor) | Cardano.Ledger.State.Schema |
| 6 (Type/Class) | Cardano.Ledger.State.Schema |
| ptrCertIx | Cardano.Ledger.Credential |
| PtrCredentialId | Cardano.Ledger.State.Schema |
| ptrCredentialId | Cardano.Ledger.State.Schema |
| PtrDstateId | Cardano.Ledger.State.Schema |
| ptrDstateId | Cardano.Ledger.State.Schema |
| PtrId | |
| 1 (Data Constructor) | Cardano.Ledger.State.Schema |
| 2 (Type/Class) | Cardano.Ledger.State.Schema |
| PtrKey | Cardano.Ledger.State.Schema |
| ptrMap | |
| 1 (Function) | Cardano.Ledger.UMap |
| 2 (Function) | Cardano.Ledger.Shelley.LedgerState, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| ptrMapL | |
| 1 (Function) | Cardano.Ledger.Shelley.LedgerState |
| 2 (Function) | Test.Cardano.Ledger.Constrained.Vars |
| PtrPtr | Cardano.Ledger.State.Schema |
| ptrPtr | Cardano.Ledger.State.Schema |
| PtrR | Test.Cardano.Ledger.Constrained.TypeRep |
| ptrs | Test.Cardano.Ledger.Constrained.Vars |
| ptrsL | Test.Cardano.Ledger.Constrained.Vars |
| ptrSlotNo | Cardano.Ledger.Credential |
| ptrsMap | |
| 1 (Function) | Cardano.Ledger.CertState |
| 2 (Function) | Cardano.Ledger.Shelley.LedgerState |
| ptrsUMapL | Test.Cardano.Ledger.Constrained.Lenses |
| ptrTxIx | Cardano.Ledger.Credential |
| ptrUniv | Test.Cardano.Ledger.Constrained.Vars |
| ptrUnivT | Test.Cardano.Ledger.Constrained.Preds.Universes |
| PtrUView | Cardano.Ledger.UMap |
| ptrUView | Cardano.Ledger.UMap |
| ptr_ | Cardano.Ledger.Shelley.Rules, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| pull | Control.Provenance |
| Pulsable | Data.Pulse |
| pulse | Data.Pulse |
| pulseDRepPulsingState | Cardano.Ledger.Conway.Governance.DRepPulser, Cardano.Ledger.Conway.Governance |
| PulseList | |
| 1 (Data Constructor) | Data.Pulse |
| 2 (Type/Class) | Data.Pulse |
| pulseList | Data.Pulse |
| PulseListM | Data.Pulse |
| pulseM | Data.Pulse |
| PulseMap | |
| 1 (Data Constructor) | Data.Pulse |
| 2 (Type/Class) | Data.Pulse |
| pulseMap | Data.Pulse |
| PulseMapM | Data.Pulse |
| Pulser | Cardano.Ledger.Shelley.RewardUpdate |
| pulserUpdate | Test.Cardano.Ledger.Shelley.Examples.Combinators |
| pulserWorks | Test.Cardano.Ledger.Constrained.Trace.DrepCertTx |
| pulseStep | Cardano.Ledger.Shelley.LedgerState, Cardano.Ledger.Shelley.Rules |
| Pulsing | Cardano.Ledger.Shelley.RewardUpdate, Cardano.Ledger.Shelley.LedgerState, Cardano.Ledger.Shelley.Rules |
| pulsingPairT | Test.Cardano.Ledger.Constrained.Vars |
| pulsingPulsingStateT | Test.Cardano.Ledger.Constrained.Vars |
| PulsingRewUpdate | Cardano.Ledger.Shelley.RewardUpdate, Cardano.Ledger.Shelley.LedgerState, Cardano.Ledger.Shelley.Rules |
| PulsingSnapshot | |
| 1 (Data Constructor) | Cardano.Ledger.Conway.Governance.DRepPulser, Cardano.Ledger.Conway.Governance |
| 2 (Type/Class) | Cardano.Ledger.Conway.Governance.DRepPulser, Cardano.Ledger.Conway.Governance |
| pulsingSnapshotL | Test.Cardano.Ledger.Constrained.Vars |
| pulsingSnapshotT | Test.Cardano.Ledger.Constrained.Vars |
| pulsingStatePulserL | Test.Cardano.Ledger.Constrained.Vars |
| puncLeft | Test.Cardano.Ledger.Generic.PrettyCore |
| pupProtocolParameters | Cardano.Chain.Update.Validation.Registration |
| pupProtocolVersion | Cardano.Chain.Update.Validation.Registration |
| pureGen | Constrained.GenT, Constrained.Internals, Constrained |
| purposeIsWellformedNoDatum | Test.Cardano.Ledger.Plutus.Examples |
| purposeIsWellformedWithDatum | Test.Cardano.Ledger.Plutus.Examples |
| push | |
| 1 (Function) | Test.Cardano.Ledger.Constrained.Ast |
| 2 (Function) | Constrained.GenT, Constrained.Internals, Constrained |
| 3 (Function) | Control.Provenance |
| pushGE | Constrained.GenT, Constrained.Internals, Constrained |
| pushOtherProv | Control.Provenance |
| putAddr | Cardano.Ledger.Address |
| putCount | Test.Cardano.Ledger.Constrained.Trace.TraceMonad |
| putCredential | Cardano.Ledger.Address |
| putDoc | Test.Cardano.Ledger.Generic.PrettyCore |
| putEnv | Test.Cardano.Ledger.Constrained.Trace.TraceMonad |
| putM | Control.Provenance |
| putPPUP | Test.Cardano.Ledger.Constrained.Classes |
| putPretty | Test.Cardano.Ledger.Constrained.Conway.TxBodySpec |
| putPtr | Cardano.Ledger.Address |
| putRewardAccount | Cardano.Ledger.Address |
| putVariableLengthWord64 | Cardano.Ledger.Address |
| pV | Test.Cardano.Ledger.Constrained.Env |
| pvAlt | |
| 1 (Function) | Byron.Spec.Ledger.Update |
| 2 (Function) | Cardano.Chain.Update |
| PVBUMP | Byron.Spec.Ledger.Update |
| PVBUMPFailure | Byron.Spec.Ledger.Update |
| PvbumpPredicateFailure | Byron.Spec.Ledger.Update |
| pvCanFollow | |
| 1 (Function) | Byron.Spec.Ledger.Update |
| 2 (Function) | Cardano.Ledger.Shelley.PParams, Cardano.Ledger.Shelley.LedgerState |
| PVCannotFollowPPUP | Cardano.Ledger.Shelley.Rules |
| PVChangedInSVUpdate | Byron.Spec.Ledger.Update |
| pvMaj | Byron.Spec.Ledger.Update |
| pvMajor | |
| 1 (Function) | Cardano.Chain.Update |
| 2 (Function) | Cardano.Ledger.BaseTypes |
| 3 (Function) | Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| pvMin | Byron.Spec.Ledger.Update |
| pvMinor | |
| 1 (Function) | Cardano.Chain.Update |
| 2 (Function) | Cardano.Ledger.BaseTypes |
| 3 (Function) | Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| pvtCommitteeNoConfidence | Cardano.Ledger.Conway.PParams, Cardano.Ledger.Conway.Core |
| pvtCommitteeNoConfidenceL | Cardano.Ledger.Conway.PParams |
| pvtCommitteeNormal | Cardano.Ledger.Conway.PParams, Cardano.Ledger.Conway.Core |
| pvtCommitteeNormalL | Cardano.Ledger.Conway.PParams |
| pvtHardForkInitiation | Cardano.Ledger.Conway.PParams, Cardano.Ledger.Conway.Core |
| pvtHardForkInitiationL | Cardano.Ledger.Conway.PParams |
| pvtMotionNoConfidence | Cardano.Ledger.Conway.PParams, Cardano.Ledger.Conway.Core |
| pvtMotionNoConfidenceL | Cardano.Ledger.Conway.PParams |
| pvtPPSecurityGroup | Cardano.Ledger.Conway.PParams, Cardano.Ledger.Conway.Core |
| pvtPPSecurityGroupL | Cardano.Ledger.Conway.PParams |
| pwcArgs | Cardano.Ledger.Plutus.Evaluate, Cardano.Ledger.Plutus |
| pwcCostModel | Cardano.Ledger.Plutus.Evaluate, Cardano.Ledger.Plutus |
| pwcExUnits | Cardano.Ledger.Plutus.Evaluate, Cardano.Ledger.Plutus |
| pwcProtocolVersion | Cardano.Ledger.Plutus.Evaluate, Cardano.Ledger.Plutus |
| pwcScript | Cardano.Ledger.Plutus.Evaluate, Cardano.Ledger.Plutus |
| pwcScriptHash | Cardano.Ledger.Plutus.Evaluate, Cardano.Ledger.Plutus |