Index - P
| P1 | Control.Iterate.Exp |
| P2 | Control.Iterate.Exp |
| P3 | Control.Iterate.Exp |
| P4 | Control.Iterate.Exp |
| packMemoBytesM | Cardano.Ledger.MemoBytes.Internal, Cardano.Ledger.MemoBytes |
| paData | Test.Cardano.Ledger.Plutus.ScriptTestContext, Test.Cardano.Ledger.Plutus |
| Pair | Test.Minimal.Model |
| pairListError | Constrained.Examples.List, Constrained.Examples |
| pairMember | Cardano.Chain.Delegation |
| pairSingletonSpec | Constrained.Examples.Basic, Constrained.Examples |
| PairSpec | |
| 1 (Type/Class) | Constrained.TheKnot, Constrained.Spec.SumProd, Constrained.API |
| 2 (Type/Class) | Test.Minimal.Model |
| PairSym | Test.Minimal.Model |
| pairView | Constrained.TheKnot |
| PairW | Test.Minimal.Model |
| pair_ | |
| 1 (Function) | Constrained.Spec.SumProd, Constrained.API |
| 2 (Function) | Test.Minimal.Model |
| parallel | Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common |
| parallelLet | Constrained.Examples.Basic, Constrained.Examples |
| parallelLetPair | Constrained.Examples.Basic, Constrained.Examples |
| ParameterChange | Cardano.Ledger.Api.Governance, Cardano.Ledger.Api, Cardano.Ledger.Conway.Governance |
| parameter_change_action | Test.Cardano.Ledger.Conway.CDDL |
| params | Cardano.Ledger.Alonzo.PParams, Cardano.Ledger.Api.PParams, Cardano.Ledger.Api, Cardano.Ledger.Babbage.PParams, Cardano.Ledger.Conway.PParams |
| ParamsChangedInSVUpdate | Byron.Spec.Ledger.Update |
| parensIf | |
| 1 (Function) | Constrained.PrettyUtils |
| 2 (Function) | Test.Minimal.Base |
| parensList | Constrained.Examples.Fold |
| 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 |
| paSpendDatum | Test.Cardano.Ledger.Plutus.ScriptTestContext, Test.Cardano.Ledger.Plutus |
| passConcreteValidation | Test.Cardano.Chain.Block.Model |
| PassedUnexpectedly | Cardano.Ledger.Alonzo.Rules |
| passEpoch | Test.Cardano.Ledger.Allegra.ImpTest, Test.Cardano.Ledger.Alonzo.ImpTest, Test.Cardano.Ledger.Babbage.ImpTest, Test.Cardano.Ledger.Conway.ImpTest, Test.Cardano.Ledger.Mary.ImpTest, Test.Cardano.Ledger.Shelley.ImpTest |
| Passes | Cardano.Ledger.Plutus.Evaluate, Cardano.Ledger.Plutus |
| passNEpochs | Test.Cardano.Ledger.Allegra.ImpTest, Test.Cardano.Ledger.Alonzo.ImpTest, Test.Cardano.Ledger.Babbage.ImpTest, Test.Cardano.Ledger.Conway.ImpTest, Test.Cardano.Ledger.Mary.ImpTest, Test.Cardano.Ledger.Shelley.ImpTest |
| passNEpochsChecking | Test.Cardano.Ledger.Allegra.ImpTest, Test.Cardano.Ledger.Alonzo.ImpTest, Test.Cardano.Ledger.Babbage.ImpTest, Test.Cardano.Ledger.Conway.ImpTest, Test.Cardano.Ledger.Mary.ImpTest, Test.Cardano.Ledger.Shelley.ImpTest |
| PassPhrase | |
| 1 (Type/Class) | Cardano.Crypto.Signing.Safe, Cardano.Crypto.Signing, Cardano.Crypto |
| 2 (Data Constructor) | Cardano.Crypto.Signing.Safe, Cardano.Crypto.Signing, Cardano.Crypto |
| passphraseLength | Cardano.Crypto.Signing.Safe, Cardano.Crypto.Signing, Cardano.Crypto |
| passTick | Test.Cardano.Ledger.Allegra.ImpTest, Test.Cardano.Ledger.Alonzo.ImpTest, Test.Cardano.Ledger.Babbage.ImpTest, Test.Cardano.Ledger.Conway.ImpTest, Test.Cardano.Ledger.Mary.ImpTest, Test.Cardano.Ledger.Shelley.ImpTest |
| Pat | Control.Iterate.Exp |
| Payload | |
| 1 (Type/Class) | Cardano.Chain.Delegation |
| 2 (Type/Class) | Cardano.Chain.Update |
| payload | Cardano.Chain.Update |
| payloadAnnotation | Cardano.Chain.Update |
| payloadProposal | Cardano.Chain.Update |
| payloadVotes | Cardano.Chain.Update |
| Payment | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Hashes, Cardano.Ledger.Keys, Cardano.Ledger.Core, Cardano.Ledger.Dijkstra.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Shelley.Core, 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 | Cardano.Ledger.Allegra.State, Cardano.Ledger.Alonzo.State, Cardano.Ledger.Babbage.State, Cardano.Ledger.Conway.State, Cardano.Ledger.State, Cardano.Ledger.Dijkstra.State, Cardano.Ledger.Mary.State, Cardano.Ledger.Shelley.State, Cardano.Ledger.Shelley.LedgerState |
| PBFT | Byron.Spec.Chain.STS.Rule.Pbft |
| PBFTFailure | Byron.Spec.Chain.STS.Rule.Chain |
| PbftPredicateFailure | Byron.Spec.Chain.STS.Rule.Pbft |
| pcMinFee | Byron.Spec.Ledger.UTxO |
| pcModelNewEpochState | Test.Cardano.Ledger.Generic.ModelState |
| pdoCostModelValues | Cardano.Ledger.Plutus.Evaluate, Cardano.Ledger.Plutus |
| pdoExUnitsEnforced | Cardano.Ledger.Plutus.Evaluate, Cardano.Ledger.Plutus |
| pdoExUnitsMem | Cardano.Ledger.Plutus.Evaluate, Cardano.Ledger.Plutus |
| pdoExUnitsSteps | Cardano.Ledger.Plutus.Evaluate, Cardano.Ledger.Plutus |
| pdoLanguage | Cardano.Ledger.Plutus.Evaluate, Cardano.Ledger.Plutus |
| pdoProtocolVersion | Cardano.Ledger.Plutus.Evaluate, Cardano.Ledger.Plutus |
| pdoScript | Cardano.Ledger.Plutus.Evaluate, Cardano.Ledger.Plutus |
| pdsStakePoolKeyHash | Cardano.Ledger.State.UTxO |
| pdsStakePoolStakeVrf | Cardano.Ledger.State.UTxO |
| pdTotalActiveStake | Cardano.Ledger.Allegra.State, Cardano.Ledger.Alonzo.State, Cardano.Ledger.Babbage.State, Cardano.Ledger.Conway.State, Cardano.Ledger.PoolDistr, Cardano.Ledger.State, Cardano.Ledger.Dijkstra.State, Cardano.Ledger.Mary.State, Cardano.Ledger.Shelley.State, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| peChildren | Cardano.Ledger.Conway.Governance |
| peChildrenL | Cardano.Ledger.Conway.Governance |
| PEdges | |
| 1 (Type/Class) | Cardano.Ledger.Conway.Governance |
| 2 (Data Constructor) | Cardano.Ledger.Conway.Governance |
| PeekAvailable | Cardano.Ledger.Binary.Plain, Cardano.Ledger.Binary.Decoding, Cardano.Ledger.Binary |
| peekAvailable | |
| 1 (Function) | Cardano.Ledger.Binary.Plain |
| 2 (Function) | Cardano.Ledger.Binary.Decoding, Cardano.Ledger.Binary |
| PeekByteOffset | Cardano.Ledger.Binary.Plain, Cardano.Ledger.Binary.Decoding, Cardano.Ledger.Binary |
| peekByteOffset | |
| 1 (Function) | Cardano.Ledger.Binary.Plain |
| 2 (Function) | Cardano.Ledger.Binary.Decoding, Cardano.Ledger.Binary |
| PeekTokenType | Cardano.Ledger.Binary.Plain, Cardano.Ledger.Binary.Decoding, Cardano.Ledger.Binary |
| peekTokenType | |
| 1 (Function) | Cardano.Ledger.Binary.Plain |
| 2 (Function) | Cardano.Ledger.Binary.Decoding, Cardano.Ledger.Binary |
| 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 (Type/Class) | Cardano.Ledger.State.UTxO |
| 2 (Data Constructor) | Cardano.Ledger.State.UTxO |
| percentile' | Cardano.Ledger.Shelley.PoolRank |
| PerformanceEstimate | |
| 1 (Type/Class) | Cardano.Ledger.Shelley.PoolRank |
| 2 (Data Constructor) | 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 |
| PGraph | |
| 1 (Type/Class) | Cardano.Ledger.Conway.Governance |
| 2 (Data Constructor) | 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 |
| pickAll | Constrained.SumList |
| pickHighlyEndorsedProtocolVersion | Byron.Spec.Ledger.Update |
| pickNegative | Constrained.SumList |
| pickPositive | Constrained.SumList |
| pickProp | Constrained.Examples.Fold |
| pickRandomFromMap | Test.Cardano.Ledger.Shelley.Generator.Utxo |
| pickStakeKey | Test.Cardano.Ledger.Shelley.Generator.Core |
| picktest | Constrained.Examples.Fold |
| pid1 | Test.Cardano.Ledger.Mary.Golden |
| pid2 | Test.Cardano.Ledger.Mary.Golden |
| pid3 | Test.Cardano.Ledger.Mary.Golden |
| pinnedBy | |
| 1 (Function) | Constrained.Generation |
| 2 (Function) | Test.Minimal.Syntax |
| pledgeRatioP | Cardano.Ledger.Shelley.RewardProvenance |
| Plus | Test.Cardano.Ledger.Shelley.Serialisation.GoldenUtils |
| plus | Control.Iterate.Exp |
| plusNegate | Constrained.Tests |
| PlusW | Test.Minimal.Model |
| Plutus | |
| 1 (Type/Class) | Cardano.Ledger.Plutus.Language, Cardano.Ledger.Plutus |
| 2 (Data Constructor) | Cardano.Ledger.Plutus.Language, Cardano.Ledger.Plutus |
| PlutusArgs | |
| 1 (Type/Class) | Test.Cardano.Ledger.Allegra.ImpTest, Test.Cardano.Ledger.Alonzo.ImpTest, Test.Cardano.Ledger.Babbage.ImpTest, Test.Cardano.Ledger.Conway.ImpTest, Test.Cardano.Ledger.Plutus.ScriptTestContext, Test.Cardano.Ledger.Plutus, Test.Cardano.Ledger.Mary.ImpTest, Test.Cardano.Ledger.Shelley.ImpTest |
| 2 (Type/Class) | Cardano.Ledger.Plutus.Language, Cardano.Ledger.Plutus.Language, Cardano.Ledger.Plutus, Cardano.Ledger.Plutus |
| 3 (Data Constructor) | Test.Cardano.Ledger.Plutus.ScriptTestContext, Test.Cardano.Ledger.Plutus |
| PlutusBinary | |
| 1 (Type/Class) | Cardano.Ledger.Alonzo.Scripts, Cardano.Ledger.Plutus.Language, Cardano.Ledger.Plutus |
| 2 (Data Constructor) | Cardano.Ledger.Alonzo.Scripts, Cardano.Ledger.Plutus.Language, Cardano.Ledger.Plutus |
| plutusBinary | Cardano.Ledger.Plutus.Language, Cardano.Ledger.Plutus |
| PlutusData | |
| 1 (Type/Class) | Cardano.Ledger.Plutus.Data, Cardano.Ledger.Plutus |
| 2 (Data Constructor) | Cardano.Ledger.Plutus.Data, Cardano.Ledger.Plutus |
| PlutusDebugInfo | Cardano.Ledger.Plutus.Evaluate, Cardano.Ledger.Plutus |
| PlutusDebugOverrides | |
| 1 (Type/Class) | Cardano.Ledger.Plutus.Evaluate, Cardano.Ledger.Plutus |
| 2 (Data Constructor) | Cardano.Ledger.Plutus.Evaluate, Cardano.Ledger.Plutus |
| PlutusFailure | Cardano.Ledger.Alonzo.Rules |
| 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 |
| PlutusPurpose | Cardano.Ledger.Alonzo.Scripts, Cardano.Ledger.Alonzo.Core, 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, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Dijkstra.Core, Cardano.Ledger.Dijkstra.Core |
| PlutusPurposeNotSupported | Cardano.Ledger.Conway.TxInfo |
| PlutusPurposeTag | Test.Cardano.Ledger.Generic.GenState |
| plutusPurposeTags | Test.Cardano.Ledger.Generic.GenState |
| PlutusRunnable | |
| 1 (Type/Class) | Cardano.Ledger.Plutus.Language, Cardano.Ledger.Plutus |
| 2 (Data Constructor) | Cardano.Ledger.Plutus.Language, Cardano.Ledger.Plutus |
| plutusRunnable | Cardano.Ledger.Plutus.Language, Cardano.Ledger.Plutus |
| PlutusScript | |
| 1 (Data Constructor) | Cardano.Ledger.Alonzo.Scripts, Cardano.Ledger.Babbage.Scripts, Cardano.Ledger.Conway.Scripts |
| 2 (Type/Class) | Cardano.Ledger.Alonzo.Scripts, Cardano.Ledger.Alonzo.Scripts, Cardano.Ledger.Alonzo.Core, 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, Cardano.Ledger.Babbage.Scripts, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Scripts, Cardano.Ledger.Conway.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Dijkstra.Core, Cardano.Ledger.Dijkstra.Core, Cardano.Ledger.Dijkstra.Scripts |
| plutusScriptBinary | Cardano.Ledger.Alonzo.Scripts |
| PlutusScriptContext | Cardano.Ledger.Alonzo.Plutus.Context, Cardano.Ledger.Plutus.Language, Cardano.Ledger.Plutus |
| plutusScriptLanguage | Cardano.Ledger.Alonzo.Scripts |
| PlutusScriptPurpose | Cardano.Ledger.Alonzo.Plutus.Context |
| plutusScriptsAllegraTxAuxDataL | Cardano.Ledger.Alonzo.TxAuxData |
| plutusScriptsTxAuxDataL | Cardano.Ledger.Alonzo.TxAuxData, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Api.Tx.AuxData, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Dijkstra.Core |
| plutusSLanguage | Cardano.Ledger.Plutus.Language, Cardano.Ledger.Plutus |
| plutusTestScripts | Test.Cardano.Ledger.Alonzo.ImpTest, Test.Cardano.Ledger.Babbage.ImpTest, Test.Cardano.Ledger.Conway.ImpTest |
| PlutusTxCert | Cardano.Ledger.Alonzo.Plutus.Context |
| PlutusTxInfo | Cardano.Ledger.Alonzo.Plutus.Context |
| 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 |
| PlutusV4 | Cardano.Ledger.Plutus.Language, Cardano.Ledger.Plutus |
| PlutusV4Args | Cardano.Ledger.Plutus.Language, Cardano.Ledger.Plutus |
| PlutusWithContext | |
| 1 (Type/Class) | Cardano.Ledger.Plutus.Evaluate, Cardano.Ledger.Plutus |
| 2 (Data Constructor) | Cardano.Ledger.Plutus.Evaluate, Cardano.Ledger.Plutus |
| plutus_data | |
| 1 (Function) | Test.Cardano.Ledger.Alonzo.CDDL |
| 2 (Function) | Test.Cardano.Ledger.Babbage.CDDL, Test.Cardano.Ledger.Conway.CDDL |
| plutus_script | Test.Cardano.Ledger.Alonzo.CDDL |
| plutus_v1_script | |
| 1 (Function) | Test.Cardano.Ledger.Babbage.CDDL |
| 2 (Function) | Test.Cardano.Ledger.Conway.CDDL |
| plutus_v2_script | |
| 1 (Function) | Test.Cardano.Ledger.Babbage.CDDL |
| 2 (Function) | Test.Cardano.Ledger.Conway.CDDL |
| plutus_v3_script | Test.Cardano.Ledger.Conway.CDDL |
| pmHash | Cardano.Ledger.PoolParams, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| pmUrl | Cardano.Ledger.PoolParams, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| PObject | Control.Provenance |
| pointWise | Data.CanonicalMaps |
| pointwise | Cardano.Ledger.Val |
| pointWiseExUnits | Cardano.Ledger.Alonzo.Scripts, Cardano.Ledger.Plutus.ExUnits, Cardano.Ledger.Plutus |
| policies | Cardano.Ledger.Mary.Value |
| Policy | Test.Cardano.Ledger.Generic.Updaters |
| PolicyID | |
| 1 (Type/Class) | Cardano.Ledger.Mary.Value |
| 2 (Data Constructor) | Cardano.Ledger.Mary.Value |
| policyID | Cardano.Ledger.Mary.Value |
| policyIndex | Test.Cardano.Ledger.MaryEraGen |
| policy_hash | Test.Cardano.Ledger.Conway.CDDL |
| policy_id | Test.Cardano.Ledger.Alonzo.CDDL, Test.Cardano.Ledger.Babbage.CDDL, Test.Cardano.Ledger.Conway.CDDL, Test.Cardano.Ledger.Mary.CDDL |
| polyQuickCheck | Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common, Test.Common |
| polyVerboseCheck | Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common, Test.Common |
| POOL | Test.Cardano.Ledger.Generic.Proof |
| poolBlocks | Cardano.Ledger.Shelley.Rewards |
| poolBlocksP | Cardano.Ledger.Shelley.RewardProvenance |
| PoolCert | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Core, Cardano.Ledger.Dijkstra.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Shelley.TxCert, Cardano.Ledger.Shelley.Core, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| poolCertKeyHashWitness | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Core, Cardano.Ledger.Dijkstra.Core, Cardano.Ledger.Mary.Core, 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 |
| PoolDeposit | |
| 1 (Data Constructor) | Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base, 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.Instances, Test.Cardano.Ledger.Constrained.Conway.ParametricSpec, Test.Cardano.Ledger.Constrained.Conway |
| poolDeposit_ | Test.Cardano.Ledger.Constrained.Conway.Instances.PParams, Test.Cardano.Ledger.Constrained.Conway.Instances, Test.Cardano.Ledger.Constrained.Conway.ParametricSpec, Test.Cardano.Ledger.Constrained.Conway |
| PoolDistr | |
| 1 (Type/Class) | Cardano.Ledger.Allegra.State, Cardano.Ledger.Alonzo.State, Cardano.Ledger.Babbage.State, Cardano.Ledger.Conway.State, Cardano.Ledger.PoolDistr, Cardano.Ledger.State, Cardano.Ledger.Dijkstra.State, Cardano.Ledger.Mary.State, Cardano.Ledger.Shelley.State, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| 2 (Data Constructor) | Cardano.Ledger.Allegra.State, Cardano.Ledger.Alonzo.State, Cardano.Ledger.Babbage.State, Cardano.Ledger.Conway.State, Cardano.Ledger.PoolDistr, Cardano.Ledger.State, Cardano.Ledger.Dijkstra.State, Cardano.Ledger.Mary.State, Cardano.Ledger.Shelley.State, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| poolDistrDistrL | Cardano.Ledger.Allegra.State, Cardano.Ledger.Alonzo.State, Cardano.Ledger.Babbage.State, Cardano.Ledger.Conway.State, Cardano.Ledger.PoolDistr, Cardano.Ledger.State, Cardano.Ledger.Dijkstra.State, Cardano.Ledger.Mary.State, Cardano.Ledger.Shelley.State |
| PoolDistrStats | |
| 1 (Type/Class) | Cardano.Ledger.State.UTxO |
| 2 (Data Constructor) | Cardano.Ledger.State.UTxO |
| poolDistrTotalL | Cardano.Ledger.Allegra.State, Cardano.Ledger.Alonzo.State, Cardano.Ledger.Babbage.State, Cardano.Ledger.Conway.State, Cardano.Ledger.PoolDistr, Cardano.Ledger.State, Cardano.Ledger.Dijkstra.State, Cardano.Ledger.Mary.State, Cardano.Ledger.Shelley.State |
| poolDistrZero | Test.Cardano.Ledger.Generic.ModelState |
| PoolEnv | |
| 1 (Type/Class) | Cardano.Ledger.Shelley.Rules, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| 2 (Data Constructor) | Cardano.Ledger.Shelley.Rules, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| 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 |
| PoolKey | Test.Cardano.Ledger.Constrained.Conway.Cert, Test.Cardano.Ledger.Constrained.Conway.ParametricSpec, 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 (Type/Class) | Cardano.Ledger.PoolParams, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| 2 (Data Constructor) | Cardano.Ledger.PoolParams, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| PoolParams | |
| 1 (Type/Class) | Cardano.Ledger.PoolParams, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| 2 (Data Constructor) | Cardano.Ledger.PoolParams, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| poolParamsP | Cardano.Ledger.Shelley.RewardProvenance |
| PoolParamsStats | |
| 1 (Type/Class) | Cardano.Ledger.State.UTxO |
| 2 (Data Constructor) | Cardano.Ledger.State.UTxO |
| poolPot | Cardano.Ledger.Shelley.Rewards |
| poolPs | Cardano.Ledger.Shelley.Rewards |
| 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 (Type/Class) | Cardano.Ledger.Shelley.Rewards |
| 2 (Data Constructor) | 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.Allegra.State, Cardano.Ledger.Alonzo.State, Cardano.Ledger.Babbage.State, Cardano.Ledger.Conway.State, Cardano.Ledger.EpochBoundary, Cardano.Ledger.State, Cardano.Ledger.Dijkstra.State, Cardano.Ledger.Mary.State, Cardano.Ledger.Shelley.State |
| poolTraceFromBlock | Test.Cardano.Ledger.Shelley.Rules.TestChain |
| poolTxCertDecoder | Cardano.Ledger.Shelley.TxCert |
| PoolVotingThreshold | Test.Cardano.Ledger.Generic.Fields |
| PoolVotingThresholds | |
| 1 (Type/Class) | Cardano.Ledger.Conway.PParams, Cardano.Ledger.Conway.Core, Cardano.Ledger.Dijkstra.Core |
| 2 (Data Constructor) | Cardano.Ledger.Conway.PParams, Cardano.Ledger.Conway.Core, Cardano.Ledger.Dijkstra.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.Instances, Test.Cardano.Ledger.Constrained.Conway.ParametricSpec, Test.Cardano.Ledger.Constrained.Conway |
| poolVotingThresholds_ | Test.Cardano.Ledger.Constrained.Conway.Instances.PParams, Test.Cardano.Ledger.Constrained.Conway.Instances, Test.Cardano.Ledger.Constrained.Conway.ParametricSpec, Test.Cardano.Ledger.Constrained.Conway |
| pool_keyhash | Test.Cardano.Ledger.Allegra.CDDL, Test.Cardano.Ledger.Alonzo.CDDL, Test.Cardano.Ledger.Babbage.CDDL, Test.Cardano.Ledger.Conway.CDDL, Test.Cardano.Ledger.Core.Binary.CDDL, Test.Cardano.Ledger.Mary.CDDL, Test.Cardano.Ledger.Shelley.CDDL |
| pool_metadata | |
| 1 (Function) | Test.Cardano.Ledger.Allegra.CDDL, Test.Cardano.Ledger.Alonzo.CDDL, Test.Cardano.Ledger.Babbage.CDDL, Test.Cardano.Ledger.Mary.CDDL, Test.Cardano.Ledger.Shelley.CDDL |
| 2 (Function) | Test.Cardano.Ledger.Conway.CDDL |
| pool_params | |
| 1 (Function) | Test.Cardano.Ledger.Allegra.CDDL, Test.Cardano.Ledger.Alonzo.CDDL, Test.Cardano.Ledger.Babbage.CDDL, Test.Cardano.Ledger.Mary.CDDL, Test.Cardano.Ledger.Shelley.CDDL |
| 2 (Function) | Test.Cardano.Ledger.Conway.CDDL |
| pool_registration | |
| 1 (Function) | Test.Cardano.Ledger.Allegra.CDDL, Test.Cardano.Ledger.Alonzo.CDDL, Test.Cardano.Ledger.Babbage.CDDL, Test.Cardano.Ledger.Mary.CDDL, Test.Cardano.Ledger.Shelley.CDDL |
| 2 (Function) | Test.Cardano.Ledger.Conway.CDDL |
| pool_retirement | |
| 1 (Function) | Test.Cardano.Ledger.Allegra.CDDL, Test.Cardano.Ledger.Alonzo.CDDL, Test.Cardano.Ledger.Babbage.CDDL, Test.Cardano.Ledger.Mary.CDDL, Test.Cardano.Ledger.Shelley.CDDL |
| 2 (Function) | Test.Cardano.Ledger.Conway.CDDL |
| pool_voting_thresholds | Test.Cardano.Ledger.Conway.CDDL |
| PoorSecret | |
| 1 (Type/Class) | Cardano.Chain.Genesis |
| 2 (Data Constructor) | Cardano.Chain.Genesis |
| poorSecretToKey | Cardano.Chain.Genesis |
| Port | |
| 1 (Type/Class) | Cardano.Ledger.BaseTypes, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| 2 (Data Constructor) | Cardano.Ledger.BaseTypes, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| port | Test.Cardano.Ledger.Allegra.CDDL, Test.Cardano.Ledger.Alonzo.CDDL, Test.Cardano.Ledger.Babbage.CDDL, Test.Cardano.Ledger.Conway.CDDL, Test.Cardano.Ledger.Mary.CDDL, Test.Cardano.Ledger.Shelley.CDDL |
| portToWord16 | Cardano.Ledger.BaseTypes, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| pos | Constrained.NumOrd |
| PosInf | Constrained.NumOrd |
| posInt64 | Test.Cardano.Ledger.Allegra.CDDL, Test.Cardano.Ledger.Alonzo.CDDL, Test.Cardano.Ledger.Babbage.CDDL, Test.Cardano.Ledger.Conway.CDDL, Test.Cardano.Ledger.Core.Binary.CDDL, Test.Cardano.Ledger.Mary.CDDL, Test.Cardano.Ledger.Shelley.CDDL |
| Positive | |
| 1 (Type/Class) | Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common, Test.Common |
| 2 (Data Constructor) | Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common, Test.Common |
| PositiveInterval | Cardano.Ledger.BaseTypes |
| positiveSingleDigitInt | Test.Cardano.Ledger.Generic.GenState |
| PositiveUnitInterval | Cardano.Ledger.BaseTypes |
| positiveUnitIntervalNonZeroRational | Cardano.Ledger.BaseTypes |
| positive_coin | Test.Cardano.Ledger.Allegra.CDDL, Test.Cardano.Ledger.Alonzo.CDDL, Test.Cardano.Ledger.Babbage.CDDL, Test.Cardano.Ledger.Conway.CDDL, Test.Cardano.Ledger.Core.Binary.CDDL, Test.Cardano.Ledger.Mary.CDDL, Test.Cardano.Ledger.Shelley.CDDL |
| positive_int | Test.Cardano.Ledger.Allegra.CDDL, Test.Cardano.Ledger.Alonzo.CDDL, Test.Cardano.Ledger.Babbage.CDDL, Test.Cardano.Ledger.Conway.CDDL, Test.Cardano.Ledger.Core.Binary.CDDL, Test.Cardano.Ledger.Mary.CDDL, Test.Cardano.Ledger.Shelley.CDDL |
| positive_interval | Test.Cardano.Ledger.Alonzo.CDDL, Test.Cardano.Ledger.Babbage.CDDL, Test.Cardano.Ledger.Conway.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 | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Allegra.State, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Alonzo.State, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Babbage.State, Cardano.Ledger.Conway.State, Cardano.Ledger.Conway.Core, Cardano.Ledger.State, Cardano.Ledger.Dijkstra.Core, Cardano.Ledger.Dijkstra.State, Cardano.Ledger.Mary.Core, Cardano.Ledger.Mary.State, Cardano.Ledger.Shelley.Governance, Cardano.Ledger.Shelley.State, Cardano.Ledger.Shelley.Core |
| potential_languages | Test.Cardano.Ledger.Conway.CDDL |
| powersetPickOne | Constrained.Examples.Set, Constrained.Examples |
| pow_Diff | Tests.Cardano.Ledger.NonIntegral |
| ppA0 | Cardano.Ledger.Shelley.PParams |
| ppA0L | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Api.PParams, Cardano.Ledger.Api, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Core, Cardano.Ledger.Dijkstra.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Shelley.Core |
| PPair | Control.Iterate.Exp |
| ppApp | Test.Cardano.Ledger.Allegra.TreeDiff, Test.Cardano.Ledger.Alonzo.TreeDiff, Test.Cardano.Ledger.Babbage.TreeDiff, Test.Cardano.Ledger.Binary.TreeDiff, Test.Cardano.Ledger.Conway.TreeDiff, Test.Cardano.Ledger.TreeDiff, Test.Cardano.Ledger.Mary.TreeDiff, Test.Cardano.Ledger.Shelley.TreeDiff |
| PParam | |
| 1 (Type/Class) | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Core, Cardano.Ledger.Dijkstra.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Shelley.Core |
| 2 (Data Constructor) | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Core, Cardano.Ledger.Dijkstra.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Shelley.Core |
| PParams | |
| 1 (Type/Class) | Byron.Spec.Ledger.Update |
| 2 (Data Constructor) | Byron.Spec.Ledger.Update |
| 3 (Type/Class) | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Api.PParams, Cardano.Ledger.Api, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Core, Cardano.Ledger.Dijkstra.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Shelley.Core |
| 4 (Data Constructor) | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Core, Cardano.Ledger.Dijkstra.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Shelley.Core |
| pparams | Test.Cardano.Ledger.Generic.ApplyTx |
| PParamsAlonzoToAlonzo | Test.Cardano.Ledger.Generic.Proof |
| PParamsBabbageToBabbage | Test.Cardano.Ledger.Generic.Proof |
| PParamsConwayToConway | Test.Cardano.Ledger.Generic.Proof |
| PParamsField | Test.Cardano.Ledger.Generic.Fields |
| pparamsGen | Byron.Spec.Ledger.Update.Generators |
| PParamsHKD | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Allegra.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Core, Cardano.Ledger.Core, Cardano.Ledger.Dijkstra.Core, Cardano.Ledger.Dijkstra.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Shelley.Core, Cardano.Ledger.Shelley.Core |
| PParamsShelleyToMary | Test.Cardano.Ledger.Generic.Proof |
| pparamsSpec | Test.Cardano.Ledger.Constrained.Conway.PParams, Test.Cardano.Ledger.Constrained.Conway |
| pparamsToChainChecksPParams | Cardano.Ledger.Chain |
| PParamsUpdate | |
| 1 (Type/Class) | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Api.PParams, Cardano.Ledger.Api, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Core, Cardano.Ledger.Dijkstra.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Shelley.Core |
| 2 (Data Constructor) | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Core, Cardano.Ledger.Dijkstra.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Shelley.Core |
| pparamsUpdateThreshold | Cardano.Ledger.Conway.Governance |
| PParamsWit | Test.Cardano.Ledger.Generic.Proof |
| pParamsZero | Test.Cardano.Ledger.Generic.ModelState |
| pParamsZeroByProof | Test.Cardano.Ledger.Generic.ModelState |
| PParamUpdate | |
| 1 (Type/Class) | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Core, Cardano.Ledger.Dijkstra.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Shelley.Core |
| 2 (Data Constructor) | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Core, Cardano.Ledger.Dijkstra.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Shelley.Core |
| PParamUpdatePurpose | Cardano.Ledger.Api.Governance, Cardano.Ledger.Api, Cardano.Ledger.Conway.Governance |
| ppCoinsPerUTxOByte | Cardano.Ledger.Babbage.PParams |
| ppCoinsPerUTxOByteL | Cardano.Ledger.Api.PParams, Cardano.Ledger.Api, Cardano.Ledger.Babbage.PParams, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Dijkstra.Core |
| ppCoinsPerUTxOWordL | Cardano.Ledger.Alonzo.PParams, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Api.PParams, Cardano.Ledger.Api, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Dijkstra.Core |
| ppCollateralPercentage | Cardano.Ledger.Alonzo.PParams |
| ppCollateralPercentageL | Cardano.Ledger.Alonzo.PParams, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Api.PParams, Cardano.Ledger.Api, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Dijkstra.Core |
| ppCommitteeMaxTermLength | Cardano.Ledger.Conway.PParams |
| ppCommitteeMaxTermLengthL | Cardano.Ledger.Conway.PParams, Cardano.Ledger.Conway.Core, Cardano.Ledger.Dijkstra.Core |
| ppCommitteeMinSize | Cardano.Ledger.Conway.PParams |
| ppCommitteeMinSizeL | Cardano.Ledger.Conway.PParams, Cardano.Ledger.Conway.Core, Cardano.Ledger.Dijkstra.Core |
| ppCon | Test.Cardano.Ledger.Allegra.TreeDiff, Test.Cardano.Ledger.Alonzo.TreeDiff, Test.Cardano.Ledger.Babbage.TreeDiff, Test.Cardano.Ledger.Binary.TreeDiff, Test.Cardano.Ledger.Conway.TreeDiff, Test.Cardano.Ledger.TreeDiff, Test.Cardano.Ledger.Mary.TreeDiff, Test.Cardano.Ledger.Shelley.TreeDiff |
| ppCost | Cardano.Ledger.PoolParams, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| ppCostModels | Cardano.Ledger.Alonzo.PParams |
| ppCostModelsL | Cardano.Ledger.Alonzo.PParams, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Api.PParams, Cardano.Ledger.Api, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Dijkstra.Core |
| ppCpy | Test.Cardano.Ledger.Allegra.TreeDiff, Test.Cardano.Ledger.Alonzo.TreeDiff, Test.Cardano.Ledger.Babbage.TreeDiff, Test.Cardano.Ledger.Binary.TreeDiff, Test.Cardano.Ledger.Conway.TreeDiff, Test.Cardano.Ledger.TreeDiff, Test.Cardano.Ledger.Mary.TreeDiff, Test.Cardano.Ledger.Shelley.TreeDiff |
| ppD | Cardano.Ledger.Shelley.PParams |
| ppDE | Cardano.Ledger.Shelley.Rules, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| ppDel | Test.Cardano.Ledger.Allegra.TreeDiff, Test.Cardano.Ledger.Alonzo.TreeDiff, Test.Cardano.Ledger.Babbage.TreeDiff, Test.Cardano.Ledger.Binary.TreeDiff, Test.Cardano.Ledger.Conway.TreeDiff, Test.Cardano.Ledger.TreeDiff, Test.Cardano.Ledger.Mary.TreeDiff, Test.Cardano.Ledger.Shelley.TreeDiff |
| ppDG | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Api.PParams, Cardano.Ledger.Api, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Core, Cardano.Ledger.Dijkstra.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Shelley.Core |
| ppDL | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Api.PParams, Cardano.Ledger.Api, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Core, Cardano.Ledger.Dijkstra.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Shelley.Core |
| ppDRepActivity | Cardano.Ledger.Conway.PParams |
| ppDRepActivityL | Cardano.Ledger.Conway.PParams, Cardano.Ledger.Conway.Core, Cardano.Ledger.Dijkstra.Core |
| ppDRepDeposit | Cardano.Ledger.Conway.PParams |
| ppDRepDepositL | Cardano.Ledger.Conway.PParams, Cardano.Ledger.Conway.Core, Cardano.Ledger.Dijkstra.Core |
| ppDRepVotingThresholds | Cardano.Ledger.Conway.PParams |
| ppDRepVotingThresholdsL | Cardano.Ledger.Conway.PParams, Cardano.Ledger.Conway.Core, Cardano.Ledger.Dijkstra.Core |
| ppEditExpr | Test.Cardano.Ledger.Allegra.TreeDiff, Test.Cardano.Ledger.Alonzo.TreeDiff, Test.Cardano.Ledger.Babbage.TreeDiff, Test.Cardano.Ledger.Binary.TreeDiff, Test.Cardano.Ledger.Conway.TreeDiff, Test.Cardano.Ledger.TreeDiff, Test.Cardano.Ledger.Mary.TreeDiff, Test.Cardano.Ledger.Shelley.TreeDiff |
| ppEdits | Test.Cardano.Ledger.Allegra.TreeDiff, Test.Cardano.Ledger.Alonzo.TreeDiff, Test.Cardano.Ledger.Babbage.TreeDiff, Test.Cardano.Ledger.Binary.TreeDiff, Test.Cardano.Ledger.Conway.TreeDiff, Test.Cardano.Ledger.TreeDiff, Test.Cardano.Ledger.Mary.TreeDiff, Test.Cardano.Ledger.Shelley.TreeDiff |
| ppEllip | Test.Cardano.Ledger.Allegra.TreeDiff, Test.Cardano.Ledger.Alonzo.TreeDiff, Test.Cardano.Ledger.Babbage.TreeDiff, Test.Cardano.Ledger.Binary.TreeDiff, Test.Cardano.Ledger.Conway.TreeDiff, Test.Cardano.Ledger.TreeDiff, Test.Cardano.Ledger.Mary.TreeDiff, Test.Cardano.Ledger.Shelley.TreeDiff |
| ppEMax | Cardano.Ledger.Shelley.PParams |
| ppEMaxL | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Api.PParams, Cardano.Ledger.Api, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Core, Cardano.Ledger.Dijkstra.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Shelley.Core |
| ppEx | Test.Cardano.Ledger.Shelley.Examples.Init |
| ppExtraEntropy | Cardano.Ledger.Shelley.PParams |
| ppExtraEntropyL | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Api.PParams, Cardano.Ledger.Api, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Core, Cardano.Ledger.Dijkstra.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Shelley.Core |
| ppGovActionDeposit | Cardano.Ledger.Conway.PParams |
| ppGovActionDepositL | Cardano.Ledger.Conway.PParams, Cardano.Ledger.Conway.Core, Cardano.Ledger.Dijkstra.Core |
| ppGovActionLifetime | Cardano.Ledger.Conway.PParams |
| ppGovActionLifetimeL | Cardano.Ledger.Conway.PParams, Cardano.Ledger.Conway.Core, Cardano.Ledger.Dijkstra.Core |
| ppGovProtocolVersion | Cardano.Ledger.Conway.PParams |
| PPGroups | |
| 1 (Type/Class) | Cardano.Ledger.Conway.PParams |
| 2 (Data Constructor) | Cardano.Ledger.Conway.PParams |
| ppHeavyDelThd | Cardano.Chain.Update |
| ppId | Cardano.Ledger.PoolParams, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| ppIns | Test.Cardano.Ledger.Allegra.TreeDiff, Test.Cardano.Ledger.Alonzo.TreeDiff, Test.Cardano.Ledger.Babbage.TreeDiff, Test.Cardano.Ledger.Binary.TreeDiff, Test.Cardano.Ledger.Conway.TreeDiff, Test.Cardano.Ledger.TreeDiff, Test.Cardano.Ledger.Mary.TreeDiff, Test.Cardano.Ledger.Shelley.TreeDiff |
| ppKeyDeposit | Cardano.Ledger.Shelley.PParams |
| ppKeyDepositL | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Api.PParams, Cardano.Ledger.Api, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Core, Cardano.Ledger.Dijkstra.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Shelley.Core |
| ppLens | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Core, Cardano.Ledger.Dijkstra.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Shelley.Core |
| ppLensHKD | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Core, Cardano.Ledger.Dijkstra.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Shelley.Core |
| ppList | Test.Minimal.Base |
| ppListShow | Constrained.PrettyUtils |
| ppList_ | |
| 1 (Function) | Constrained.PrettyUtils |
| 2 (Function) | Test.Minimal.Base |
| ppLst | Test.Cardano.Ledger.Allegra.TreeDiff, Test.Cardano.Ledger.Alonzo.TreeDiff, Test.Cardano.Ledger.Babbage.TreeDiff, Test.Cardano.Ledger.Binary.TreeDiff, Test.Cardano.Ledger.Conway.TreeDiff, Test.Cardano.Ledger.TreeDiff, Test.Cardano.Ledger.Mary.TreeDiff, Test.Cardano.Ledger.Shelley.TreeDiff |
| ppMargin | Cardano.Ledger.PoolParams, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| ppMaxBBSize | Cardano.Ledger.Shelley.PParams |
| ppMaxBBSizeL | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Api.PParams, Cardano.Ledger.Api, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Core, Cardano.Ledger.Dijkstra.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Shelley.Core |
| ppMaxBHSize | Cardano.Ledger.Shelley.PParams |
| ppMaxBHSizeL | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Api.PParams, Cardano.Ledger.Api, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Core, Cardano.Ledger.Dijkstra.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Shelley.Core |
| ppMaxBlockExUnits | Cardano.Ledger.Alonzo.PParams |
| ppMaxBlockExUnitsL | Cardano.Ledger.Alonzo.PParams, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Api.PParams, Cardano.Ledger.Api, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Dijkstra.Core |
| ppMaxBlockSize | Cardano.Chain.Update |
| ppMaxCollateralInputs | Cardano.Ledger.Alonzo.PParams |
| ppMaxCollateralInputsL | Cardano.Ledger.Alonzo.PParams, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Api.PParams, Cardano.Ledger.Api, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Dijkstra.Core |
| ppMaxHeaderSize | Cardano.Chain.Update |
| ppMaxProposalSize | Cardano.Chain.Update |
| ppMaxTxExUnits | Cardano.Ledger.Alonzo.PParams |
| ppMaxTxExUnitsL | Cardano.Ledger.Alonzo.PParams, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Api.PParams, Cardano.Ledger.Api, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Dijkstra.Core |
| ppMaxTxSize | |
| 1 (Function) | Cardano.Chain.Update |
| 2 (Function) | Cardano.Ledger.Shelley.PParams |
| ppMaxTxSizeL | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Api.PParams, Cardano.Ledger.Api, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Core, Cardano.Ledger.Dijkstra.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Shelley.Core |
| ppMaxValSize | Cardano.Ledger.Alonzo.PParams |
| ppMaxValSizeL | Cardano.Ledger.Alonzo.PParams, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Api.PParams, Cardano.Ledger.Api, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Dijkstra.Core |
| ppMetadata | Cardano.Ledger.PoolParams, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| ppMinFeeA | Cardano.Ledger.Shelley.PParams |
| ppMinFeeAL | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Api.PParams, Cardano.Ledger.Api, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Core, Cardano.Ledger.Dijkstra.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Shelley.Core |
| ppMinFeeB | Cardano.Ledger.Shelley.PParams |
| ppMinFeeBL | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Api.PParams, Cardano.Ledger.Api, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Core, Cardano.Ledger.Dijkstra.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Shelley.Core |
| ppMinFeeRefScriptCostPerByte | Cardano.Ledger.Conway.PParams |
| ppMinFeeRefScriptCostPerByteL | Cardano.Ledger.Conway.PParams |
| ppMinPoolCost | Cardano.Ledger.Shelley.PParams |
| ppMinPoolCostL | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Api.PParams, Cardano.Ledger.Api, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Core, Cardano.Ledger.Dijkstra.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Shelley.Core |
| ppMinUTxOValueL | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Api.PParams, Cardano.Ledger.Api, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Core, Cardano.Ledger.Dijkstra.Core, Cardano.Ledger.Mary.Core, 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 |
| ppName | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Core, Cardano.Ledger.Dijkstra.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Shelley.Core |
| ppNOpt | Cardano.Ledger.Shelley.PParams |
| ppNOptL | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Api.PParams, Cardano.Ledger.Api, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Core, Cardano.Ledger.Dijkstra.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Shelley.Core |
| ppOwners | Cardano.Ledger.PoolParams, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| ppParens | Test.Cardano.Ledger.Allegra.TreeDiff, Test.Cardano.Ledger.Alonzo.TreeDiff, Test.Cardano.Ledger.Babbage.TreeDiff, Test.Cardano.Ledger.Binary.TreeDiff, Test.Cardano.Ledger.Conway.TreeDiff, Test.Cardano.Ledger.TreeDiff, Test.Cardano.Ledger.Mary.TreeDiff, Test.Cardano.Ledger.Shelley.TreeDiff |
| ppPledge | Cardano.Ledger.PoolParams, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| ppPoolDeposit | Cardano.Ledger.Shelley.PParams |
| ppPoolDepositL | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Api.PParams, Cardano.Ledger.Api, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Core, Cardano.Ledger.Dijkstra.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Shelley.Core |
| ppPoolVotingThresholds | Cardano.Ledger.Conway.PParams |
| ppPoolVotingThresholdsL | Cardano.Ledger.Conway.PParams, Cardano.Ledger.Conway.Core, Cardano.Ledger.Dijkstra.Core |
| ppPrices | Cardano.Ledger.Alonzo.PParams |
| ppPricesL | Cardano.Ledger.Alonzo.PParams, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Api.PParams, Cardano.Ledger.Api, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Dijkstra.Core |
| ppProtocolVersion | Cardano.Ledger.Shelley.PParams |
| ppProtocolVersionL | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Api.PParams, Cardano.Ledger.Api, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Core, Cardano.Ledger.Dijkstra.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Shelley.Core |
| ppQuery | Control.Iterate.Exp |
| ppRec | Test.Cardano.Ledger.Allegra.TreeDiff, Test.Cardano.Ledger.Alonzo.TreeDiff, Test.Cardano.Ledger.Babbage.TreeDiff, Test.Cardano.Ledger.Binary.TreeDiff, Test.Cardano.Ledger.Conway.TreeDiff, Test.Cardano.Ledger.TreeDiff, Test.Cardano.Ledger.Mary.TreeDiff, Test.Cardano.Ledger.Shelley.TreeDiff |
| ppRelays | Cardano.Ledger.PoolParams, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| ppRewardAccount | Cardano.Ledger.PoolParams, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| ppRho | Cardano.Ledger.Shelley.PParams |
| ppRhoL | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Api.PParams, Cardano.Ledger.Api, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Core, Cardano.Ledger.Dijkstra.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Shelley.Core |
| pProcAnchor | Cardano.Ledger.Api.Governance, Cardano.Ledger.Api.Tx.Body, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api, Cardano.Ledger.Conway.Governance |
| pProcAnchorL | Cardano.Ledger.Conway.Governance |
| pProcDeposit | Cardano.Ledger.Api.Governance, Cardano.Ledger.Api.Tx.Body, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api, 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 | Cardano.Ledger.Api.Governance, Cardano.Ledger.Api.Tx.Body, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api, 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 | Cardano.Ledger.Api.Governance, Cardano.Ledger.Api.Tx.Body, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api, Cardano.Ledger.Conway.Governance |
| pProcReturnAddrL | Cardano.Ledger.Conway.Governance |
| pPropsL | Cardano.Ledger.Conway.Governance |
| pps | Byron.Spec.Ledger.STS.UTXO |
| ppScriptVersion | Cardano.Chain.Update |
| ppSlotDuration | Cardano.Chain.Update |
| ppSoftforkRule | Cardano.Chain.Update |
| ppsOwners | Cardano.Ledger.State.UTxO |
| ppsPoolId | Cardano.Ledger.State.UTxO |
| ppsRewardAccount | Cardano.Ledger.State.UTxO |
| ppsUpdateFrom | Byron.Spec.Ledger.Update |
| ppTau | Cardano.Ledger.Shelley.PParams |
| ppTauL | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Api.PParams, Cardano.Ledger.Api, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Core, Cardano.Ledger.Dijkstra.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Shelley.Core |
| 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.Instances, Test.Cardano.Ledger.Constrained.Conway.ParametricSpec, Test.Cardano.Ledger.Constrained.Conway |
| ppTxFeePolicy | Cardano.Chain.Update |
| ppuA0L | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Api.PParams, Cardano.Ledger.Api, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Core, Cardano.Ledger.Dijkstra.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Shelley.Core |
| ppuCoinsPerUTxOByteL | Cardano.Ledger.Api.PParams, Cardano.Ledger.Api, Cardano.Ledger.Babbage.PParams, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Dijkstra.Core |
| ppuCoinsPerUTxOWordL | Cardano.Ledger.Alonzo.PParams, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Api.PParams, Cardano.Ledger.Api, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Dijkstra.Core |
| ppuCollateralPercentageL | Cardano.Ledger.Alonzo.PParams, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Api.PParams, Cardano.Ledger.Api, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Dijkstra.Core |
| ppuCommitteeMaxTermLengthL | Cardano.Ledger.Conway.PParams, Cardano.Ledger.Conway.Core, Cardano.Ledger.Dijkstra.Core |
| ppuCommitteeMinSizeL | Cardano.Ledger.Conway.PParams, Cardano.Ledger.Conway.Core, Cardano.Ledger.Dijkstra.Core |
| ppuCostModelsL | Cardano.Ledger.Alonzo.PParams, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Api.PParams, Cardano.Ledger.Api, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Dijkstra.Core |
| ppuDL | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Api.PParams, Cardano.Ledger.Api, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Core, Cardano.Ledger.Dijkstra.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Shelley.Core |
| ppuDRepActivityL | Cardano.Ledger.Conway.PParams, Cardano.Ledger.Conway.Core, Cardano.Ledger.Dijkstra.Core |
| ppuDRepDepositL | Cardano.Ledger.Conway.PParams, Cardano.Ledger.Conway.Core, Cardano.Ledger.Dijkstra.Core |
| ppuDRepVotingThresholdsL | Cardano.Ledger.Conway.PParams, Cardano.Ledger.Conway.Core, Cardano.Ledger.Dijkstra.Core |
| ppuEMaxL | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Api.PParams, Cardano.Ledger.Api, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Core, Cardano.Ledger.Dijkstra.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Shelley.Core |
| ppuExtraEntropyL | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Api.PParams, Cardano.Ledger.Api, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Core, Cardano.Ledger.Dijkstra.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Shelley.Core |
| ppuGovActionDepositL | Cardano.Ledger.Conway.PParams, Cardano.Ledger.Conway.Core, Cardano.Ledger.Dijkstra.Core |
| ppuGovActionLifetimeL | Cardano.Ledger.Conway.PParams, Cardano.Ledger.Conway.Core, Cardano.Ledger.Dijkstra.Core |
| ppuHeavyDelThd | Cardano.Chain.Update |
| ppuKeyDepositL | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Api.PParams, Cardano.Ledger.Api, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Core, Cardano.Ledger.Dijkstra.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Shelley.Core |
| ppuLens | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Core, Cardano.Ledger.Dijkstra.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Shelley.Core |
| ppuLensHKD | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Core, Cardano.Ledger.Dijkstra.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Shelley.Core |
| ppuMaxBBSizeL | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Api.PParams, Cardano.Ledger.Api, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Core, Cardano.Ledger.Dijkstra.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Shelley.Core |
| ppuMaxBHSizeL | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Api.PParams, Cardano.Ledger.Api, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Core, Cardano.Ledger.Dijkstra.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Shelley.Core |
| ppuMaxBlockExUnitsL | Cardano.Ledger.Alonzo.PParams, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Api.PParams, Cardano.Ledger.Api, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Dijkstra.Core |
| ppuMaxBlockSize | Cardano.Chain.Update |
| ppuMaxCollateralInputsL | Cardano.Ledger.Alonzo.PParams, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Api.PParams, Cardano.Ledger.Api, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Dijkstra.Core |
| ppuMaxHeaderSize | Cardano.Chain.Update |
| ppuMaxProposalSize | Cardano.Chain.Update |
| ppuMaxTxExUnitsL | Cardano.Ledger.Alonzo.PParams, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Api.PParams, Cardano.Ledger.Api, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Dijkstra.Core |
| ppuMaxTxSize | Cardano.Chain.Update |
| ppuMaxTxSizeL | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Api.PParams, Cardano.Ledger.Api, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Core, Cardano.Ledger.Dijkstra.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Shelley.Core |
| ppuMaxValSizeL | Cardano.Ledger.Alonzo.PParams, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Api.PParams, Cardano.Ledger.Api, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Dijkstra.Core |
| ppuMinFeeAL | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Api.PParams, Cardano.Ledger.Api, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Core, Cardano.Ledger.Dijkstra.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Shelley.Core |
| ppuMinFeeBL | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Api.PParams, Cardano.Ledger.Api, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Core, Cardano.Ledger.Dijkstra.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Shelley.Core |
| ppuMinFeeRefScriptCostPerByteL | Cardano.Ledger.Conway.PParams |
| ppuMinPoolCostL | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Api.PParams, Cardano.Ledger.Api, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Core, Cardano.Ledger.Dijkstra.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Shelley.Core |
| ppuMinUTxOValueL | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Api.PParams, Cardano.Ledger.Api, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Core, Cardano.Ledger.Dijkstra.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Shelley.Core |
| ppuMpcThd | Cardano.Chain.Update |
| ppUnlockStakeEpoch | Cardano.Chain.Update |
| ppuNOptL | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Api.PParams, Cardano.Ledger.Api, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Core, Cardano.Ledger.Dijkstra.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Shelley.Core |
| ppUpdate | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Core, Cardano.Ledger.Dijkstra.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Shelley.Core |
| PPUpdateEnv | |
| 1 (Type/Class) | Cardano.Ledger.Shelley.PParams |
| 2 (Data Constructor) | 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 | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Api.PParams, Cardano.Ledger.Api, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Core, Cardano.Ledger.Dijkstra.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Shelley.Core |
| ppuPoolVotingThresholdsL | Cardano.Ledger.Conway.PParams, Cardano.Ledger.Conway.Core, Cardano.Ledger.Dijkstra.Core |
| ppuPricesL | Cardano.Ledger.Alonzo.PParams, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Api.PParams, Cardano.Ledger.Api, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Dijkstra.Core |
| ppuProtocolVersionL | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Api.PParams, Cardano.Ledger.Api, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Core, Cardano.Ledger.Dijkstra.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Shelley.Core |
| ppuRhoL | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Api.PParams, Cardano.Ledger.Api, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Core, Cardano.Ledger.Dijkstra.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Shelley.Core |
| ppuScriptVersion | Cardano.Chain.Update |
| ppuSlotDuration | Cardano.Chain.Update |
| ppuSoftforkRule | Cardano.Chain.Update |
| ppuTag | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Core, Cardano.Ledger.Dijkstra.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Shelley.Core |
| ppuTauL | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Api.PParams, Cardano.Ledger.Api, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Core, Cardano.Ledger.Dijkstra.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Shelley.Core |
| 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.Instances, Test.Cardano.Ledger.Constrained.Conway.ParametricSpec, Test.Cardano.Ledger.Constrained.Conway |
| ppuTxFeePolicy | Cardano.Chain.Update |
| ppuUnlockStakeEpoch | Cardano.Chain.Update |
| ppuUpdateProposalThd | Cardano.Chain.Update |
| ppuUpdateProposalTTL | Cardano.Chain.Update |
| ppuUpdateVoteThd | Cardano.Chain.Update |
| ppuWellFormed | Cardano.Ledger.Conway.PParams |
| PPViewHashesDontMatch | |
| 1 (Data Constructor) | Cardano.Ledger.Alonzo.Rules |
| 2 (Data Constructor) | Cardano.Ledger.Conway.Rules |
| ppViewHashesMatch | Cardano.Ledger.Alonzo.Rules |
| ppVrf | Cardano.Ledger.PoolParams, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| ppX | Test.Cardano.Ledger.Constrained.Conway.LedgerTypes.WellFormed |
| praosBlockCddlSpec | Test.Cardano.Protocol.Binary.Cddl |
| praosBlockHuddleSpec | Test.Cardano.Protocol.Binary.Cddl |
| PraosCrypto | Cardano.Protocol.TPraos.API |
| praosLeaderCheck | Tests.Cardano.Ledger.NonIntegral |
| prCertState | Cardano.Ledger.Shelley.Rules |
| prChainAccountState | Cardano.Ledger.Shelley.Rules |
| prChildren | Cardano.Ledger.Conway.Governance |
| prChildrenL | Cardano.Ledger.Conway.Governance |
| 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) | Constrained.Base, Constrained.API |
| 2 (Type/Class) | Test.Minimal.Base |
| PredD | Constrained.AbstractSyntax, Constrained.API |
| PredicateFailure | Byron.Spec.Ledger.Update, Byron.Spec.Ledger.STS.UTXO, Cardano.Ledger.Conway.Rules, Cardano.Ledger.Conway.Rules, Cardano.Ledger.Shelley.Rules, Cardano.Ledger.Shelley.Rules, Test.Cardano.Ledger.Shelley.Rules.Chain, 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, Control.State.Transition.Extended, Control.State.Transition.Simple, Control.State.Transition.Simple, Control.State.Transition, Control.State.Transition |
| predictFuturePParams | Cardano.Ledger.Conway.Governance |
| predSpecPair | Constrained.SumList |
| PreEncoded | |
| 1 (Type/Class) | Cardano.Ledger.Binary.Encoding, Cardano.Ledger.Binary |
| 2 (Data Constructor) | Cardano.Ledger.Binary.Encoding, Cardano.Ledger.Binary |
| prefixedBy | Constrained.TheKnot |
| preMapFoldSpec | Constrained.TheKnot |
| preMary | Test.Cardano.Ledger.Generic.Proof |
| prepareLinearization | |
| 1 (Function) | Constrained.Generation |
| 2 (Function) | Test.Minimal.Model |
| Prerequisites | Constrained.Base, Constrained.API |
| prerequisites | Constrained.Base, Constrained.API |
| preservesJust | Control.Provenance |
| preservesNothing | Control.Provenance |
| preShelley | Test.Cardano.Ledger.Generic.Proof |
| preStatesAndSignals | Test.Control.State.Transition.Trace |
| Pretty | |
| 1 (Type/Class) | Test.Cardano.Ledger.Allegra.TreeDiff, Test.Cardano.Ledger.Alonzo.TreeDiff, Test.Cardano.Ledger.Babbage.TreeDiff, Test.Cardano.Ledger.Binary.TreeDiff, Test.Cardano.Ledger.Conway.TreeDiff, Test.Cardano.Ledger.TreeDiff, Test.Cardano.Ledger.Mary.TreeDiff, Test.Cardano.Ledger.Shelley.TreeDiff |
| 2 (Data Constructor) | Test.Cardano.Ledger.Allegra.TreeDiff, Test.Cardano.Ledger.Alonzo.TreeDiff, Test.Cardano.Ledger.Babbage.TreeDiff, Test.Cardano.Ledger.Binary.TreeDiff, Test.Cardano.Ledger.Conway.TreeDiff, Test.Cardano.Ledger.TreeDiff, Test.Cardano.Ledger.Mary.TreeDiff, Test.Cardano.Ledger.Shelley.TreeDiff |
| prettyE | Test.Cardano.Ledger.Constrained.Conway.Instances.Basic, Test.Cardano.Ledger.Constrained.Conway.Instances.Ledger, Test.Cardano.Ledger.Constrained.Conway.Instances, Test.Cardano.Ledger.Constrained.Conway |
| prettyHash | Test.Cardano.Ledger.Constrained.Conway.WitnessUniverse |
| prettyLinear | |
| 1 (Function) | Constrained.Generation |
| 2 (Function) | Test.Minimal.Syntax |
| prettyPlan | |
| 1 (Function) | Constrained.Generation |
| 2 (Function) | Test.Minimal.Model |
| prettyPrec | |
| 1 (Function) | Constrained.PrettyUtils |
| 2 (Function) | Test.Minimal.Base |
| prettyRecord | Cardano.Ledger.State.UTxO |
| prettySetSpec | Constrained.Spec.Set |
| prettySymbol | Constrained.AbstractSyntax, Constrained.API |
| prettyType | |
| 1 (Function) | Constrained.PrettyUtils |
| 2 (Function) | Test.Minimal.Base |
| prevActionAsExpected | Cardano.Ledger.Conway.Rules |
| PrevHash | Cardano.Protocol.TPraos.BHeader |
| PrevHashNotMatching | Byron.Spec.Chain.STS.Rule.Pbft |
| prevHashToNonce | Cardano.Protocol.TPraos.BHeader |
| previewDelegationMap | Cardano.Chain.Byron.API |
| PreviousEra | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Allegra.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Api.Era, Cardano.Ledger.Api, Cardano.Ledger.Api, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Core, Cardano.Ledger.Core, Cardano.Ledger.Dijkstra.Core, Cardano.Ledger.Dijkstra.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Shelley.Core, Cardano.Ledger.Shelley.Core |
| prevPParamsEpochStateL | Cardano.Ledger.Shelley.LedgerState |
| prevPParamsGovStateL | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Allegra.State, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Alonzo.State, Cardano.Ledger.Api.Governance, Cardano.Ledger.Api, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Babbage.State, Cardano.Ledger.Conway.State, Cardano.Ledger.Conway.Governance, Cardano.Ledger.Conway.Core, Cardano.Ledger.State, Cardano.Ledger.Dijkstra.Core, Cardano.Ledger.Dijkstra.State, Cardano.Ledger.Mary.Core, Cardano.Ledger.Mary.State, Cardano.Ledger.Shelley.Governance, Cardano.Ledger.Shelley.State, Cardano.Ledger.Shelley.Core |
| prevPParamsShelleyGovStateL | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Dijkstra.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Shelley.Governance, Cardano.Ledger.Shelley.Core |
| Prices | |
| 1 (Type/Class) | Cardano.Ledger.Alonzo.Scripts, Cardano.Ledger.Plutus.ExUnits, Cardano.Ledger.Plutus |
| 2 (Data Constructor) | Cardano.Ledger.Alonzo.Scripts, Cardano.Ledger.Plutus.ExUnits, Cardano.Ledger.Plutus |
| 3 (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.Instances, Test.Cardano.Ledger.Constrained.Conway.ParametricSpec, Test.Cardano.Ledger.Constrained.Conway |
| prices_ | Test.Cardano.Ledger.Constrained.Conway.Instances.PParams, Test.Cardano.Ledger.Constrained.Conway.Instances, Test.Cardano.Ledger.Constrained.Conway.ParametricSpec, Test.Cardano.Ledger.Constrained.Conway |
| primaryLanguage | Test.Cardano.Ledger.Generic.Functions |
| PrintableString | |
| 1 (Type/Class) | Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common, Test.Common |
| 2 (Data Constructor) | Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common, Test.Common |
| printMemo | Cardano.Ledger.MemoBytes.Internal, Cardano.Ledger.MemoBytes |
| printNewEpochStateStats | Cardano.Ledger.State.UTxO |
| printPlan | |
| 1 (Function) | Constrained.Generation, Constrained.API |
| 2 (Function) | Test.Minimal.Model |
| printTestCase | Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common, Test.Common |
| prMem | Cardano.Ledger.Alonzo.Scripts, Cardano.Ledger.Plutus.ExUnits, Cardano.Ledger.Plutus |
| processDelegation | Cardano.Ledger.Conway.Rules |
| Prod | |
| 1 (Type/Class) | Constrained.Generic, Constrained.API |
| 2 (Data Constructor) | Constrained.Generic, Constrained.API |
| ProdAsListComputes | Constrained.Spec.SumProd |
| proDeposits | Cardano.Ledger.Shelley.AdaPots |
| prodFst | Constrained.Generic, Constrained.API |
| ProdFstW | Constrained.TheKnot |
| prodFst_ | Constrained.TheKnot, Constrained.Spec.SumProd, Constrained.API |
| ProdOver | Constrained.Generic |
| prodSnd | Constrained.Generic, Constrained.API |
| ProdSndW | Constrained.TheKnot |
| prodSnd_ | Constrained.TheKnot, Constrained.Spec.SumProd, Constrained.API |
| prodToList | Constrained.Generic |
| Produced | |
| 1 (Type/Class) | Cardano.Ledger.Shelley.AdaPots |
| 2 (Data Constructor) | 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 | Test.Cardano.Ledger.Babbage.ImpTest, Test.Cardano.Ledger.Conway.ImpTest |
| produceRefScripts | Test.Cardano.Ledger.Babbage.ImpTest, Test.Cardano.Ledger.Conway.ImpTest |
| produceScript | Test.Cardano.Ledger.Allegra.ImpTest, Test.Cardano.Ledger.Alonzo.ImpTest, Test.Cardano.Ledger.Babbage.ImpTest, Test.Cardano.Ledger.Conway.ImpTest, Test.Cardano.Ledger.Mary.ImpTest, Test.Cardano.Ledger.Shelley.ImpTest |
| Product | Constrained.TheKnot |
| ProdW | |
| 1 (Type/Class) | Constrained.TheKnot |
| 2 (Data Constructor) | Constrained.TheKnot |
| prod_ | Constrained.TheKnot, Constrained.Spec.SumProd, Constrained.API |
| proFees | Cardano.Ledger.Shelley.AdaPots |
| projD | Control.Iterate.Exp |
| ProjectD | Control.Iterate.Exp |
| projectEnv | Test.Cardano.Ledger.Constrained.Conway.Certs, Test.Cardano.Ledger.Constrained.Conway |
| projectQ | Control.Iterate.Exp |
| projStep | Control.Iterate.Exp |
| promoteRatio | Cardano.Ledger.BaseTypes |
| Proof | |
| 1 (Type/Class) | Cardano.Chain.Update |
| 2 (Type/Class) | Cardano.Chain.Block |
| 3 (Data Constructor) | Cardano.Chain.Block |
| 4 (Type/Class) | Test.Cardano.Ledger.Generic.Proof |
| proofDelegation | Cardano.Chain.Block |
| proofSsc | Cardano.Chain.Block |
| ProofType | Test.Cardano.Ledger.Constrained.Conway.WitnessUniverse |
| proofUpdate | Cardano.Chain.Block |
| proofUTxO | Cardano.Chain.Block |
| ProofValidationError | Cardano.Chain.Block |
| PRoot | |
| 1 (Type/Class) | Cardano.Ledger.Conway.Governance |
| 2 (Data Constructor) | Cardano.Ledger.Conway.Governance |
| pRootsL | Cardano.Ledger.Conway.Governance |
| proOutputs | Cardano.Ledger.Shelley.AdaPots |
| prop | Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common |
| prop1 | Constrained.Examples.ManualExamples |
| prop2 | Constrained.Examples.ManualExamples |
| prop3 | Constrained.Examples.ManualExamples |
| prop31 | Constrained.Examples.ManualExamples |
| propAbstractSizeBoundsBytes | Test.Cardano.Ledger.Shelley.Rules.ClassifyTraces |
| propAbstractSizeNotTooBig | Test.Cardano.Ledger.Shelley.Rules.ClassifyTraces |
| propagate | |
| 1 (Function) | Constrained.Base, Constrained.API |
| 2 (Function) | Test.Minimal.Base |
| propagateMemberSpec | |
| 1 (Function) | Constrained.Base, Constrained.API |
| 2 (Function) | Test.Minimal.Base |
| propagateSpec | |
| 1 (Function) | Constrained.Base |
| 2 (Function) | Test.Minimal.Base |
| propagateSpecM | Test.Minimal.Model |
| propagateTypeSpec | |
| 1 (Function) | Constrained.Base, Constrained.API |
| 2 (Function) | Test.Minimal.Base |
| propBack | Constrained.Examples.Basic, Constrained.Examples |
| propBack' | Constrained.Examples.Basic, Constrained.Examples |
| propBack'' | Constrained.Examples.Basic, Constrained.Examples |
| Property | Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common, Test.Common |
| property | Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common, Test.Common |
| propertyForAllShrinkShow | Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common, 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 |
| propex11 | Constrained.Examples.ManualExamples |
| propGenInputOutput | Byron.Spec.Ledger.UTxO.Generators |
| propGenSplitValue | Byron.Spec.Ledger.UTxO.Generators |
| propNo | Constrained.Examples.Fold |
| 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 (Type/Class) | Cardano.Chain.Update.Proposal, Cardano.Chain.Update |
| 2 (Data Constructor) | Cardano.Chain.Update.Proposal, Cardano.Chain.Update |
| ProposalCantFollow | Cardano.Ledger.Conway.Rules |
| ProposalDepositIncorrect | Cardano.Ledger.Conway.Rules |
| proposalExists | Test.Cardano.Ledger.Constrained.Conway.Epoch, Test.Cardano.Ledger.Constrained.Conway |
| proposalId | Cardano.Chain.Update.Vote, Cardano.Chain.Update |
| proposalIds | Test.Cardano.Chain.Elaboration.Block |
| ProposalProc | Test.Cardano.Ledger.Generic.Fields |
| ProposalProcedure | |
| 1 (Type/Class) | Cardano.Ledger.Api.Governance, Cardano.Ledger.Api.Tx.Body, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api, Cardano.Ledger.Conway.Governance |
| 2 (Data Constructor) | Cardano.Ledger.Api.Governance, Cardano.Ledger.Api.Tx.Body, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api, Cardano.Ledger.Conway.Governance |
| ProposalProcedureNetworkIdMismatch | Cardano.Ledger.Conway.Rules |
| ProposalProceduresFieldNotSupported | Cardano.Ledger.Conway.TxInfo |
| proposalProceduresTxBodyL | Cardano.Ledger.Api.Tx.Body, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api, Cardano.Ledger.Conway.TxBody, Cardano.Ledger.Conway.Core, Cardano.Ledger.Dijkstra.Core |
| proposalProcedureWitness | Test.Cardano.Ledger.Constrained.Conway.WitnessUniverse |
| 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 (Type/Class) | Test.Cardano.Ledger.Conway.Arbitrary |
| 2 (Data Constructor) | Test.Cardano.Ledger.Conway.Arbitrary |
| proposalsGovStateL | Cardano.Ledger.Conway.Governance |
| proposalsIds | Cardano.Ledger.Conway.Governance |
| proposalsLookupId | Cardano.Ledger.Conway.Governance |
| ProposalsNewActions | |
| 1 (Type/Class) | Test.Cardano.Ledger.Conway.Arbitrary |
| 2 (Data Constructor) | Test.Cardano.Ledger.Conway.Arbitrary |
| proposalSplitSum | Test.Cardano.Ledger.Constrained.Conway.Instances.Ledger, Test.Cardano.Ledger.Constrained.Conway.Instances, Test.Cardano.Ledger.Constrained.Conway |
| 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 (Type/Class) | Test.Cardano.Ledger.Constrained.Conway.Instances.Ledger, Test.Cardano.Ledger.Constrained.Conway.Instances, Test.Cardano.Ledger.Constrained.Conway |
| 2 (Data Constructor) | Test.Cardano.Ledger.Constrained.Conway.Instances.Ledger, Test.Cardano.Ledger.Constrained.Conway.Instances, Test.Cardano.Ledger.Constrained.Conway |
| 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 |
| proposal_procedure | Test.Cardano.Ledger.Conway.CDDL |
| proposal_procedures | Test.Cardano.Ledger.Conway.CDDL |
| ProposedPPUpdates | |
| 1 (Type/Class) | Cardano.Ledger.Api.Governance, Cardano.Ledger.Api, Cardano.Ledger.Shelley.PParams, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| 2 (Data Constructor) | Cardano.Ledger.Api.Governance, Cardano.Ledger.Api, Cardano.Ledger.Shelley.PParams, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| proposed_protocol_parameter_updates | |
| 1 (Function) | Test.Cardano.Ledger.Allegra.CDDL, Test.Cardano.Ledger.Mary.CDDL, Test.Cardano.Ledger.Shelley.CDDL |
| 2 (Function) | Test.Cardano.Ledger.Alonzo.CDDL |
| 3 (Function) | Test.Cardano.Ledger.Babbage.CDDL, Test.Cardano.Ledger.Conway.CDDL |
| Proposing | Test.Cardano.Ledger.Generic.GenState |
| ProposingPurpose | Cardano.Ledger.Api.Scripts, Cardano.Ledger.Api.Tx.Body, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api, Cardano.Ledger.Conway.Scripts, Cardano.Ledger.Conway.Core, Cardano.Ledger.Dijkstra.Core |
| propYes | Constrained.Examples.Fold |
| prop_AsMapFrom | Test.VMap |
| prop_AsMapTo | Test.VMap |
| prop_CERT | Test.Cardano.Ledger.STS |
| prop_chooseSpec | Constrained.Examples.CheatSheet |
| prop_complete | Constrained.Test |
| prop_conformEmpty | Constrained.Test |
| prop_constrained_explained | Constrained.Test |
| prop_constrained_satisfies_complete | Constrained.Test |
| prop_constrained_satisfies_sound | Constrained.Test |
| 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.Test |
| 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.Test |
| prop_monitoring | Constrained.Examples.CheatSheet |
| prop_Monotonic | Tests.Cardano.Ledger.NonIntegral |
| prop_neg_taylorExpCmp | Tests.Cardano.Ledger.NonIntegral |
| prop_noNarrowLoop | Constrained.Tests |
| prop_POOL | Test.Cardano.Ledger.STS |
| prop_PowDiff | Tests.Cardano.Ledger.NonIntegral |
| prop_propagateSpecSound | Constrained.Test |
| 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_shrink_sound | Constrained.Test |
| prop_sound | Constrained.Test |
| prop_univSound | Constrained.Test |
| 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) | Cardano.Chain.Delegation.Validation.Scheduling |
| 3 (Function) | Cardano.Chain.Update.Validation.Registration |
| 4 (Function) | Cardano.Chain.Update.Validation.Interface |
| 5 (Function) | Cardano.Chain.Delegation.Validation.Interface |
| 6 (Function) | Cardano.Chain.UTxO.Validation, Cardano.Chain.UTxO |
| ProtocolMagicId | |
| 1 (Type/Class) | Cardano.Crypto.ProtocolMagic, Cardano.Crypto |
| 2 (Data Constructor) | Cardano.Crypto.ProtocolMagic, Cardano.Crypto |
| protocolMagicId | Test.Cardano.Crypto.Dummy |
| ProtocolParameters | |
| 1 (Type/Class) | Cardano.Chain.Update |
| 2 (Data Constructor) | Cardano.Chain.Update |
| protocolParameters | |
| 1 (Function) | Byron.Spec.Ledger.Update |
| 2 (Function) | Cardano.Chain.UTxO.Validation, Cardano.Chain.UTxO |
| ProtocolParametersUpdate | |
| 1 (Type/Class) | Cardano.Chain.Update |
| 2 (Data Constructor) | Cardano.Chain.Update |
| ProtocolUpdateProposal | |
| 1 (Type/Class) | Cardano.Chain.Update.Validation.Registration |
| 2 (Data Constructor) | Cardano.Chain.Update.Validation.Registration |
| ProtocolUpdateProposals | Cardano.Chain.Update.Validation.Registration |
| ProtocolVersion | |
| 1 (Type/Class) | Cardano.Chain.Update |
| 2 (Data Constructor) | Cardano.Chain.Update |
| 3 (Data Constructor) | Test.Cardano.Ledger.Generic.Fields |
| protocolVersion | |
| 1 (Function) | Byron.Spec.Ledger.Update |
| 2 (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.Instances, Test.Cardano.Ledger.Constrained.Conway.ParametricSpec, Test.Cardano.Ledger.Constrained.Conway |
| 3 (Function) | Test.Cardano.Ledger.Generic.Functions |
| protocolVersionEndorsementGen | Byron.Spec.Ledger.Update |
| protocolVersion_ | Test.Cardano.Ledger.Constrained.Conway.Instances.PParams, Test.Cardano.Ledger.Constrained.Conway.Instances, Test.Cardano.Ledger.Constrained.Conway.ParametricSpec, Test.Cardano.Ledger.Constrained.Conway |
| protocol_param_update | |
| 1 (Function) | Test.Cardano.Ledger.Allegra.CDDL, Test.Cardano.Ledger.Mary.CDDL, Test.Cardano.Ledger.Shelley.CDDL |
| 2 (Function) | Test.Cardano.Ledger.Alonzo.CDDL |
| 3 (Function) | Test.Cardano.Ledger.Babbage.CDDL |
| 4 (Function) | Test.Cardano.Ledger.Conway.CDDL |
| protocol_version | |
| 1 (Function) | Test.Cardano.Ledger.Allegra.CDDL, Test.Cardano.Ledger.Mary.CDDL, Test.Cardano.Ledger.Shelley.CDDL |
| 2 (Function) | Test.Cardano.Ledger.Alonzo.CDDL |
| 3 (Function) | Test.Cardano.Ledger.Babbage.CDDL |
| 4 (Function) | Test.Cardano.Ledger.Conway.CDDL |
| ProtVer | |
| 1 (Type/Class) | Byron.Spec.Ledger.Update |
| 2 (Data Constructor) | Byron.Spec.Ledger.Update |
| 3 (Type/Class) | Cardano.Ledger.BaseTypes, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| 4 (Data Constructor) | Cardano.Ledger.BaseTypes, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| ProtVerAtLeast | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Api.Era, Cardano.Ledger.Api, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Core, Cardano.Ledger.Dijkstra.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Shelley.Core |
| ProtVerAtMost | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Api.Era, Cardano.Ledger.Api, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Core, Cardano.Ledger.Dijkstra.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Shelley.Core |
| ProtVerHigh | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Allegra.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Api.Era, Cardano.Ledger.Api, Cardano.Ledger.Api, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Core, Cardano.Ledger.Core, Cardano.Ledger.Dijkstra.Core, Cardano.Ledger.Dijkstra.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Shelley.Core, Cardano.Ledger.Shelley.Core |
| ProtVerInBounds | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Api.Era, Cardano.Ledger.Api, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Core, Cardano.Ledger.Dijkstra.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Shelley.Core |
| ProtVerLow | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Allegra.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Api.Era, Cardano.Ledger.Api, Cardano.Ledger.Api, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Core, Cardano.Ledger.Core, Cardano.Ledger.Dijkstra.Core, Cardano.Ledger.Dijkstra.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Shelley.Core, Cardano.Ledger.Shelley.Core |
| protVersCanfollow | Test.Cardano.Ledger.Constrained.Conway.LedgerTypes.Specs |
| ProtVerUnknown | Byron.Spec.Ledger.Update |
| Prov | Control.Provenance |
| Provenance | Control.Provenance |
| ProvM | |
| 1 (Type/Class) | Control.Provenance |
| 2 (Data Constructor) | Control.Provenance |
| Proxy | |
| 1 (Type/Class) | Test.Common |
| 2 (Data Constructor) | Test.Common |
| Proxy1 | |
| 1 (Type/Class) | Test.Common |
| 2 (Data Constructor) | Test.Common |
| Proxy2 | |
| 1 (Type/Class) | Test.Common |
| 2 (Data Constructor) | Test.Common |
| prRoot | Cardano.Ledger.Conway.Governance |
| prRootL | Cardano.Ledger.Conway.Governance |
| prSteps | Cardano.Ledger.Alonzo.Scripts, Cardano.Ledger.Plutus.ExUnits, Cardano.Ledger.Plutus |
| PRTCL | Cardano.Protocol.TPraos.Rules.Prtcl |
| PrtclEnv | |
| 1 (Type/Class) | Cardano.Protocol.TPraos.Rules.Prtcl |
| 2 (Data Constructor) | 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 (Type/Class) | Cardano.Protocol.TPraos.Rules.Prtcl |
| 2 (Data Constructor) | 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 | Cardano.Ledger.Allegra.State, Cardano.Ledger.Alonzo.State, Cardano.Ledger.Babbage.State, Cardano.Ledger.Conway.State, Cardano.Ledger.State, Cardano.Ledger.Dijkstra.State, Cardano.Ledger.Mary.State, Cardano.Ledger.Shelley.State, Cardano.Ledger.Shelley.LedgerState, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| psDepositsL | Cardano.Ledger.Allegra.State, Cardano.Ledger.Alonzo.State, Cardano.Ledger.Babbage.State, Cardano.Ledger.Conway.State, Cardano.Ledger.State, Cardano.Ledger.Dijkstra.State, Cardano.Ledger.Mary.State, Cardano.Ledger.Shelley.State, 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 |
| psFutureStakePoolParams | Cardano.Ledger.Allegra.State, Cardano.Ledger.Alonzo.State, Cardano.Ledger.Babbage.State, Cardano.Ledger.Conway.State, Cardano.Ledger.State, Cardano.Ledger.Dijkstra.State, Cardano.Ledger.Mary.State, Cardano.Ledger.Shelley.State, Cardano.Ledger.Shelley.LedgerState, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| psFutureStakePoolParamsL | Cardano.Ledger.Allegra.State, Cardano.Ledger.Alonzo.State, Cardano.Ledger.Babbage.State, Cardano.Ledger.Conway.State, Cardano.Ledger.State, Cardano.Ledger.Dijkstra.State, Cardano.Ledger.Mary.State, Cardano.Ledger.Shelley.State, Cardano.Ledger.Shelley.LedgerState |
| psHFInitiation | Test.Cardano.Ledger.Constrained.Conway.Instances.Ledger, Test.Cardano.Ledger.Constrained.Conway.Instances, Test.Cardano.Ledger.Constrained.Conway |
| psNewConstitution | Test.Cardano.Ledger.Constrained.Conway.Instances.Ledger, Test.Cardano.Ledger.Constrained.Conway.Instances, Test.Cardano.Ledger.Constrained.Conway |
| 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 |
| psPParamUpdate_ | Test.Cardano.Ledger.Constrained.Conway.Instances.Ledger, Test.Cardano.Ledger.Constrained.Conway.Instances, Test.Cardano.Ledger.Constrained.Conway |
| 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 | Cardano.Ledger.Allegra.State, Cardano.Ledger.Alonzo.State, Cardano.Ledger.Babbage.State, Cardano.Ledger.Conway.State, Cardano.Ledger.State, Cardano.Ledger.Dijkstra.State, Cardano.Ledger.Mary.State, Cardano.Ledger.Shelley.State, Cardano.Ledger.Shelley.LedgerState, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| psRetiringL | Cardano.Ledger.Allegra.State, Cardano.Ledger.Alonzo.State, Cardano.Ledger.Babbage.State, Cardano.Ledger.Conway.State, Cardano.Ledger.State, Cardano.Ledger.Dijkstra.State, Cardano.Ledger.Mary.State, Cardano.Ledger.Shelley.State, Cardano.Ledger.Shelley.LedgerState |
| pssKeyHashStakePool | Cardano.Ledger.State.UTxO |
| pssPoolParamsStats | Cardano.Ledger.State.UTxO |
| psStakePoolParams | Cardano.Ledger.Allegra.State, Cardano.Ledger.Alonzo.State, Cardano.Ledger.Babbage.State, Cardano.Ledger.Conway.State, Cardano.Ledger.State, Cardano.Ledger.Dijkstra.State, Cardano.Ledger.Mary.State, Cardano.Ledger.Shelley.State, Cardano.Ledger.Shelley.LedgerState, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| psStakePoolParamsL | Cardano.Ledger.Allegra.State, Cardano.Ledger.Alonzo.State, Cardano.Ledger.Babbage.State, Cardano.Ledger.Conway.State, Cardano.Ledger.State, Cardano.Ledger.Dijkstra.State, Cardano.Ledger.Mary.State, Cardano.Ledger.Shelley.State, Cardano.Ledger.Shelley.LedgerState |
| PState | |
| 1 (Type/Class) | Cardano.Ledger.Allegra.State, Cardano.Ledger.Alonzo.State, Cardano.Ledger.Babbage.State, Cardano.Ledger.Conway.State, Cardano.Ledger.State, Cardano.Ledger.Dijkstra.State, Cardano.Ledger.Mary.State, Cardano.Ledger.Shelley.State, Cardano.Ledger.Shelley.LedgerState, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| 2 (Data Constructor) | Cardano.Ledger.Allegra.State, Cardano.Ledger.Alonzo.State, Cardano.Ledger.Babbage.State, Cardano.Ledger.Conway.State, Cardano.Ledger.State, Cardano.Ledger.Dijkstra.State, Cardano.Ledger.Mary.State, Cardano.Ledger.Shelley.State, Cardano.Ledger.Shelley.LedgerState, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| pStateSpec | Test.Cardano.Ledger.Constrained.Conway.Pool, Test.Cardano.Ledger.Constrained.Conway |
| pstateSpec | Test.Cardano.Ledger.Constrained.Conway.LedgerTypes.Specs |
| PStateStats | |
| 1 (Type/Class) | Cardano.Ledger.State.UTxO |
| 2 (Data Constructor) | Cardano.Ledger.State.UTxO |
| 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 |
| psX | Test.Cardano.Ledger.Constrained.Conway.LedgerTypes.WellFormed |
| Ptr | |
| 1 (Type/Class) | Cardano.Ledger.Credential, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| 2 (Data Constructor) | Cardano.Ledger.Credential, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| 3 (Type/Class) | Cardano.Ledger.State.Schema |
| 4 (Data Constructor) | 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 (Type/Class) | Cardano.Ledger.State.Schema |
| 2 (Data Constructor) | Cardano.Ledger.State.Schema |
| PtrKey | Cardano.Ledger.State.Schema |
| ptrMap | Cardano.Ledger.UMap |
| PtrPtr | Cardano.Ledger.State.Schema |
| ptrPtr | Cardano.Ledger.State.Schema |
| ptrSlotNo | Cardano.Ledger.Credential |
| ptrsMap | Cardano.Ledger.Allegra.State, Cardano.Ledger.Alonzo.State, Cardano.Ledger.Babbage.State, Cardano.Ledger.Conway.State, Cardano.Ledger.State, Cardano.Ledger.Dijkstra.State, Cardano.Ledger.Mary.State, Cardano.Ledger.Shelley.State, Cardano.Ledger.Shelley.LedgerState |
| ptrTxIx | Cardano.Ledger.Credential |
| 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 (Type/Class) | Data.Pulse |
| 2 (Data Constructor) | Data.Pulse |
| pulseList | Data.Pulse |
| PulseListM | Data.Pulse |
| pulseM | Data.Pulse |
| PulseMap | |
| 1 (Type/Class) | Data.Pulse |
| 2 (Data Constructor) | Data.Pulse |
| pulseMap | Data.Pulse |
| PulseMapM | Data.Pulse |
| Pulser | Cardano.Ledger.Shelley.RewardUpdate |
| pulserUpdate | Test.Cardano.Ledger.Shelley.Examples.Combinators |
| pulseStep | Cardano.Ledger.Shelley.LedgerState, Cardano.Ledger.Shelley.Rules |
| Pulsing | Cardano.Ledger.Shelley.RewardUpdate, Cardano.Ledger.Shelley.LedgerState, Cardano.Ledger.Shelley.Rules |
| PulsingRewUpdate | Cardano.Ledger.Shelley.RewardUpdate, Cardano.Ledger.Shelley.LedgerState, Cardano.Ledger.Shelley.Rules |
| PulsingSnapshot | |
| 1 (Type/Class) | Cardano.Ledger.Conway.Governance.DRepPulser, Cardano.Ledger.Conway.Governance |
| 2 (Data Constructor) | Cardano.Ledger.Conway.Governance.DRepPulser, Cardano.Ledger.Conway.Governance |
| pupProtocolParameters | Cardano.Chain.Update.Validation.Registration |
| pupProtocolVersion | Cardano.Chain.Update.Validation.Registration |
| pureGen | Constrained.GenT |
| purposeIsWellformedNoDatum | |
| 1 (Function) | Test.Cardano.Ledger.Plutus.Examples |
| 2 (Function) | Cardano.Ledger.Plutus.Preprocessor.Binary.V1 |
| 3 (Function) | Cardano.Ledger.Plutus.Preprocessor.Binary.V2 |
| 4 (Function) | Cardano.Ledger.Plutus.Preprocessor.Binary.V3 |
| purposeIsWellformedNoDatumBytes | |
| 1 (Function) | Cardano.Ledger.Plutus.Preprocessor.Binary.V1 |
| 2 (Function) | Cardano.Ledger.Plutus.Preprocessor.Binary.V2 |
| 3 (Function) | Cardano.Ledger.Plutus.Preprocessor.Binary.V3 |
| purposeIsWellformedNoDatumQ | |
| 1 (Function) | Cardano.Ledger.Plutus.Preprocessor.Source.V1 |
| 2 (Function) | Cardano.Ledger.Plutus.Preprocessor.Source.V2 |
| 3 (Function) | Cardano.Ledger.Plutus.Preprocessor.Source.V3 |
| purposeIsWellformedWithDatum | |
| 1 (Function) | Test.Cardano.Ledger.Plutus.Examples |
| 2 (Function) | Cardano.Ledger.Plutus.Preprocessor.Binary.V1 |
| 3 (Function) | Cardano.Ledger.Plutus.Preprocessor.Binary.V2 |
| 4 (Function) | Cardano.Ledger.Plutus.Preprocessor.Binary.V3 |
| purposeIsWellformedWithDatumBytes | |
| 1 (Function) | Cardano.Ledger.Plutus.Preprocessor.Binary.V1 |
| 2 (Function) | Cardano.Ledger.Plutus.Preprocessor.Binary.V2 |
| 3 (Function) | Cardano.Ledger.Plutus.Preprocessor.Binary.V3 |
| purposeIsWellformedWithDatumQ | |
| 1 (Function) | Cardano.Ledger.Plutus.Preprocessor.Source.V1 |
| 2 (Function) | Cardano.Ledger.Plutus.Preprocessor.Source.V2 |
| 3 (Function) | Cardano.Ledger.Plutus.Preprocessor.Source.V3 |
| push | |
| 1 (Function) | Constrained.GenT |
| 2 (Function) | Control.Provenance |
| pushGE | Constrained.GenT |
| pushOtherProv | Control.Provenance |
| putAddr | Cardano.Ledger.Address |
| putCredential | Cardano.Ledger.Address |
| putM | Control.Provenance |
| putPretty | Test.Cardano.Ledger.Constrained.Conway.TxBodySpec |
| putPtr | Cardano.Ledger.Address |
| putRewardAccount | Cardano.Ledger.Address |
| putVariableLengthWord64 | Cardano.Ledger.Address |
| 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, 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, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| pvtCommitteeNoConfidence | Cardano.Ledger.Conway.PParams, Cardano.Ledger.Conway.Core, Cardano.Ledger.Dijkstra.Core |
| pvtCommitteeNoConfidenceL | Cardano.Ledger.Conway.PParams |
| pvtCommitteeNormal | Cardano.Ledger.Conway.PParams, Cardano.Ledger.Conway.Core, Cardano.Ledger.Dijkstra.Core |
| pvtCommitteeNormalL | Cardano.Ledger.Conway.PParams |
| pvtHardForkInitiation | Cardano.Ledger.Conway.PParams, Cardano.Ledger.Conway.Core, Cardano.Ledger.Dijkstra.Core |
| pvtHardForkInitiationL | Cardano.Ledger.Conway.PParams |
| pvtMotionNoConfidence | Cardano.Ledger.Conway.PParams, Cardano.Ledger.Conway.Core, Cardano.Ledger.Dijkstra.Core |
| pvtMotionNoConfidenceL | Cardano.Ledger.Conway.PParams |
| pvtPPSecurityGroup | Cardano.Ledger.Conway.PParams, Cardano.Ledger.Conway.Core, Cardano.Ledger.Dijkstra.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 |