| P | |
| 1 (Type/Class) | Test.Cardano.Ledger.Constrained.Env |
| 2 (Data Constructor) | Test.Cardano.Ledger.Constrained.Env |
| P1 | Control.Iterate.Exp |
| P2 | Control.Iterate.Exp |
| P3 | Control.Iterate.Exp |
| P4 | Control.Iterate.Exp |
| packMemoBytesM | Cardano.Ledger.MemoBytes.Internal, Cardano.Ledger.MemoBytes |
| pad | Test.Cardano.Ledger.Constrained.Ast |
| paData | Test.Cardano.Ledger.Plutus.ScriptTestContext, Test.Cardano.Ledger.Plutus |
| Pair | Test.Cardano.Ledger.Constrained.Ast |
| pair | Test.Cardano.Ledger.Constrained.Pairing |
| pair1 | Test.Cardano.Ledger.Constrained.Vars |
| pair2 | Test.Cardano.Ledger.Constrained.Vars |
| PairAny | Test.Cardano.Ledger.Constrained.Spec |
| pairL | Test.Cardano.Ledger.Constrained.Lenses |
| pairListError | Constrained.Examples.List, Constrained.Examples |
| pairMember | Cardano.Chain.Delegation |
| PairNever | Test.Cardano.Ledger.Constrained.Spec |
| PairR | Test.Cardano.Ledger.Constrained.TypeRep |
| PairSide | Test.Cardano.Ledger.Constrained.Spec |
| pairSingletonSpec | Constrained.Examples.Basic, Constrained.Examples |
| PairSpec | |
| 1 (Type/Class) | Test.Cardano.Ledger.Constrained.Spec |
| 2 (Data Constructor) | Test.Cardano.Ledger.Constrained.Spec |
| 3 (Type/Class) | Constrained.TheKnot, Constrained.Spec.SumProd, Constrained.API |
| pairSpecTransform | Test.Cardano.Ledger.Constrained.Spec |
| pairT | Test.Cardano.Ledger.Constrained.Vars |
| pairView | Constrained.TheKnot |
| pair_ | Constrained.Spec.SumProd, Constrained.API |
| 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 |
| parameterChangeT | Test.Cardano.Ledger.Constrained.Vars |
| 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 | Constrained.PrettyUtils |
| 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 |
| partBfromPartA | Test.Cardano.Ledger.Constrained.Preds.Certs |
| Partial | Test.Cardano.Ledger.Constrained.Ast |
| partialDRepDistr | Test.Cardano.Ledger.Constrained.Vars |
| partialDRepDistrL | Test.Cardano.Ledger.Constrained.Vars |
| partialIndividualPoolStake | Test.Cardano.Ledger.Constrained.Vars |
| partition | Test.Cardano.Ledger.Constrained.Classes |
| partitionCoin | Test.Cardano.Ledger.Constrained.Classes |
| partitionDeltaCoin | Test.Cardano.Ledger.Constrained.Classes |
| partitionE | Test.Cardano.Ledger.Constrained.Rewrite |
| partitionInt | Test.Cardano.Ledger.Constrained.Classes |
| partitionNatural | Test.Cardano.Ledger.Constrained.Classes |
| partitionRational | Test.Cardano.Ledger.Constrained.Classes |
| partitionWord64 | Test.Cardano.Ledger.Constrained.Classes |
| paSpendDatum | Test.Cardano.Ledger.Plutus.ScriptTestContext, Test.Cardano.Ledger.Plutus |
| passConcreteValidation | 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 | |
| 1 (Type/Class) | Test.Cardano.Ledger.Constrained.Ast |
| 2 (Data Constructor) | Test.Cardano.Ledger.Constrained.Ast |
| 3 (Type/Class) | Control.Iterate.Exp |
| patt | Test.Cardano.Ledger.Constrained.Ast |
| patToAnyF | Test.Cardano.Ledger.Constrained.Ast |
| PayHashR | Test.Cardano.Ledger.Constrained.TypeRep |
| Payload | |
| 1 (Type/Class) | Cardano.Chain.Delegation |
| 2 (Type/Class) | Cardano.Chain.Update |
| 3 (Type/Class) | Test.Cardano.Ledger.Constrained.Env |
| 4 (Data Constructor) | Test.Cardano.Ledger.Constrained.Env |
| 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.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.Mary.State, Cardano.Ledger.Shelley.State, Cardano.Ledger.Shelley.LedgerState |
| payUniv | Test.Cardano.Ledger.Constrained.Vars |
| PBFT | Byron.Spec.Chain.STS.Rule.Pbft |
| PBFTFailure | Byron.Spec.Chain.STS.Rule.Chain |
| PbftPredicateFailure | Byron.Spec.Chain.STS.Rule.Pbft |
| pcAdaPot | Test.Cardano.Ledger.Generic.PrettyCore |
| pcAddr | Test.Cardano.Ledger.Generic.PrettyCore |
| pcAnchor | Test.Cardano.Ledger.Generic.PrettyCore |
| pcAssetName | Test.Cardano.Ledger.Generic.PrettyCore |
| pcAuxData | |
| 1 (Function) | Test.Cardano.Ledger.Generic.PrettyCore |
| 2 (Function) | Test.Cardano.Ledger.Constrained.Classes |
| pcByronAddress | Test.Cardano.Ledger.Generic.PrettyCore |
| pcCertState | Test.Cardano.Ledger.Generic.PrettyCore |
| pcChainAccountState | Test.Cardano.Ledger.Generic.PrettyCore |
| pcCoin | Test.Cardano.Ledger.Generic.PrettyCore |
| pcCommittee | Test.Cardano.Ledger.Generic.PrettyCore |
| pcCommitteeState | Test.Cardano.Ledger.Generic.PrettyCore |
| pcConstitution | Test.Cardano.Ledger.Generic.PrettyCore |
| pcConwayCertState | Test.Cardano.Ledger.Generic.PrettyCore |
| pcConwayDelegCert | Test.Cardano.Ledger.Generic.PrettyCore |
| pcConwayGovCert | Test.Cardano.Ledger.Generic.PrettyCore |
| pcConwayGovCertEnv | Test.Cardano.Ledger.Generic.PrettyCore |
| pcConwayGovState | Test.Cardano.Ledger.Generic.PrettyCore |
| pcConwayTxCert | Test.Cardano.Ledger.Generic.PrettyCore |
| pcCoreValue | Test.Cardano.Ledger.Generic.PrettyCore |
| pcCredential | Test.Cardano.Ledger.Generic.PrettyCore |
| pcData | Test.Cardano.Ledger.Generic.PrettyCore |
| pcDataHash | Test.Cardano.Ledger.Generic.PrettyCore |
| pcDatum | Test.Cardano.Ledger.Generic.PrettyCore |
| pcDelegatee | Test.Cardano.Ledger.Generic.PrettyCore |
| pcDelegCert | Test.Cardano.Ledger.Generic.PrettyCore |
| pcDeltaCoin | Test.Cardano.Ledger.Generic.PrettyCore |
| pcDRep | Test.Cardano.Ledger.Generic.PrettyCore |
| pcDRepPulser | Test.Cardano.Ledger.Generic.PrettyCore |
| pcDRepPulsingState | Test.Cardano.Ledger.Generic.PrettyCore |
| pcDRepState | Test.Cardano.Ledger.Generic.PrettyCore |
| pcDState | Test.Cardano.Ledger.Generic.PrettyCore |
| pcEnactSignal | Test.Cardano.Ledger.Generic.PrettyCore |
| pcEnactState | Test.Cardano.Ledger.Generic.PrettyCore |
| pcEpochState | Test.Cardano.Ledger.Generic.PrettyCore |
| pcExUnits | Test.Cardano.Ledger.Generic.PrettyCore |
| pcForest | Test.Cardano.Ledger.Generic.PrettyCore |
| pcFutureGenDeleg | Test.Cardano.Ledger.Generic.PrettyCore |
| pcFuturePParams | Test.Cardano.Ledger.Generic.PrettyCore |
| pcGenDelegPair | Test.Cardano.Ledger.Generic.PrettyCore |
| pcGenesisDelegCert | Test.Cardano.Ledger.Generic.PrettyCore |
| pcGovAction | Test.Cardano.Ledger.Generic.PrettyCore |
| pcGovActionId | Test.Cardano.Ledger.Generic.PrettyCore |
| pcGovActionState | Test.Cardano.Ledger.Generic.PrettyCore |
| pcGovEnv | Test.Cardano.Ledger.Generic.PrettyCore |
| pcGovPurposeId | Test.Cardano.Ledger.Generic.PrettyCore |
| pcGovSignal | Test.Cardano.Ledger.Generic.PrettyCore |
| pcGovState | Test.Cardano.Ledger.Generic.PrettyCore |
| pcHashScript | Test.Cardano.Ledger.Generic.PrettyCore |
| pcIndividualPoolStake | Test.Cardano.Ledger.Generic.PrettyCore |
| pcIRewards | Test.Cardano.Ledger.Generic.PrettyCore |
| pcKeyHash | Test.Cardano.Ledger.Generic.PrettyCore |
| pcLedgerState | Test.Cardano.Ledger.Generic.PrettyCore |
| pcMinFee | Byron.Spec.Ledger.UTxO |
| pcModelNewEpochState | Test.Cardano.Ledger.Generic.ModelState |
| pcMultiAsset | Test.Cardano.Ledger.Generic.PrettyCore |
| pcMultiSig | Test.Cardano.Ledger.Generic.PrettyCore |
| pcMUtxo | Test.Cardano.Ledger.Generic.ModelState |
| pcNetwork | Test.Cardano.Ledger.Generic.PrettyCore |
| pcNewEpochState | Test.Cardano.Ledger.Generic.PrettyCore |
| pcPair | Test.Cardano.Ledger.Generic.PrettyCore |
| pcPEdges | Test.Cardano.Ledger.Generic.PrettyCore |
| pcPolicyID | Test.Cardano.Ledger.Generic.PrettyCore |
| pcPoolCert | Test.Cardano.Ledger.Generic.PrettyCore |
| pcPoolDistr | Test.Cardano.Ledger.Generic.PrettyCore |
| pcPoolEnv | Test.Cardano.Ledger.Generic.PrettyCore |
| pcPoolParams | Test.Cardano.Ledger.Generic.PrettyCore |
| pcPParams | Test.Cardano.Ledger.Generic.PrettyCore |
| pcPParamsField | Test.Cardano.Ledger.Generic.PrettyCore |
| pcPParamsSynopsis | Test.Cardano.Ledger.Generic.PrettyCore |
| pcPrevGovActionIds | Test.Cardano.Ledger.Generic.PrettyCore |
| pcProposalProcedure | Test.Cardano.Ledger.Generic.PrettyCore |
| pcProposals | Test.Cardano.Ledger.Generic.PrettyCore |
| pcPState | Test.Cardano.Ledger.Generic.PrettyCore |
| pcPulsingSnapshot | Test.Cardano.Ledger.Generic.PrettyCore |
| pcRatifyEnv | Test.Cardano.Ledger.Generic.PrettyCore |
| pcRatifySignal | Test.Cardano.Ledger.Generic.PrettyCore |
| pcRatifyState | Test.Cardano.Ledger.Generic.PrettyCore |
| PCredR | Test.Cardano.Ledger.Constrained.TypeRep |
| pcReward | Test.Cardano.Ledger.Generic.PrettyCore |
| pcRewardAccount | Test.Cardano.Ledger.Generic.PrettyCore |
| pcScript | Test.Cardano.Ledger.Generic.PrettyCore |
| pcScriptHash | Test.Cardano.Ledger.Generic.PrettyCore |
| pcScriptsNeeded | Test.Cardano.Ledger.Generic.PrettyCore |
| pcShelleyCertState | Test.Cardano.Ledger.Generic.PrettyCore |
| pcShelleyGovState | Test.Cardano.Ledger.Generic.PrettyCore |
| pcShelleyTxCert | Test.Cardano.Ledger.Generic.PrettyCore |
| pcSlotNo | Test.Cardano.Ledger.Generic.PrettyCore |
| pcSmallUTxO | Test.Cardano.Ledger.Generic.Trace |
| pcSnapShot | Test.Cardano.Ledger.Generic.PrettyCore |
| pcSnapShotL | Test.Cardano.Ledger.Generic.PrettyCore |
| pcSnapShots | Test.Cardano.Ledger.Generic.PrettyCore |
| pcStake | Test.Cardano.Ledger.Generic.PrettyCore |
| pcStakeReference | Test.Cardano.Ledger.Generic.PrettyCore |
| pcTimelock | Test.Cardano.Ledger.Generic.PrettyCore |
| pcTx | Test.Cardano.Ledger.Generic.PrettyCore |
| pcTxBody | Test.Cardano.Ledger.Generic.PrettyCore |
| pcTxBodyField | Test.Cardano.Ledger.Generic.PrettyCore |
| pcTxBodyWithUTxO | Test.Cardano.Ledger.Generic.PrettyCore |
| pcTxCert | Test.Cardano.Ledger.Generic.PrettyCore |
| pcTxField | Test.Cardano.Ledger.Generic.PrettyCore |
| pcTxId | Test.Cardano.Ledger.Generic.PrettyCore |
| pcTxIn | Test.Cardano.Ledger.Generic.PrettyCore |
| pcTxOut | Test.Cardano.Ledger.Generic.PrettyCore |
| pcTxWithUTxO | Test.Cardano.Ledger.Constrained.Preds.Tx |
| pcUTxO | Test.Cardano.Ledger.Generic.PrettyCore |
| pcUtxo | Test.Cardano.Ledger.Constrained.Preds.Tx |
| pcUtxoDoc | Test.Cardano.Ledger.Constrained.Preds.Tx |
| pcUTxOState | Test.Cardano.Ledger.Generic.PrettyCore |
| pcVal | Test.Cardano.Ledger.Generic.PrettyCore |
| pcValue | Test.Cardano.Ledger.Generic.PrettyCore |
| pcVote | Test.Cardano.Ledger.Generic.PrettyCore |
| pcVoter | Test.Cardano.Ledger.Generic.PrettyCore |
| pcVotingProcedure | Test.Cardano.Ledger.Generic.PrettyCore |
| pcVotingProcedures | Test.Cardano.Ledger.Generic.PrettyCore |
| pcVState | Test.Cardano.Ledger.Generic.PrettyCore |
| pcWitnesses | Test.Cardano.Ledger.Generic.PrettyCore |
| pcWitnessesField | Test.Cardano.Ledger.Generic.PrettyCore |
| pcWitVKey | Test.Cardano.Ledger.Generic.PrettyCore |
| PDoc | Test.Cardano.Ledger.Generic.PrettyCore |
| pdoCostModelValues | 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.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 |
| pgenTx | Test.Cardano.Ledger.Constrained.Preds.Tx |
| pgenTxBody | Test.Cardano.Ledger.Constrained.Preds.Tx |
| pgenTxBodyField | Test.Cardano.Ledger.Constrained.Preds.Tx |
| pgenTxField | Test.Cardano.Ledger.Constrained.Preds.Tx |
| PGraph | |
| 1 (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 |
| pick1 | Test.Cardano.Ledger.Constrained.Preds.Universes |
| 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 | Constrained.TheKnot |
| Pipeline | Test.Cardano.Ledger.Constrained.Stage |
| pipeToGraph | Test.Cardano.Ledger.Constrained.Trace.Pipeline |
| pledgeRatioP | Cardano.Ledger.Shelley.RewardProvenance |
| Plus | Test.Cardano.Ledger.Shelley.Serialisation.GoldenUtils |
| plus | Control.Iterate.Exp |
| plusNegate | Constrained.Test |
| 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 |
| plutusDataSummary | Test.Cardano.Ledger.Generic.PrettyCore |
| 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 |
| plutusFree | Test.Cardano.Ledger.Constrained.Trace.SimpleTx |
| plutusFreeAddr | Test.Cardano.Ledger.Constrained.Trace.SimpleTx |
| plutusFreeCredential | Test.Cardano.Ledger.Constrained.Trace.SimpleTx |
| plutusFreePolicyID | Test.Cardano.Ledger.Constrained.Trace.SimpleTx |
| plutusFreeValue | Test.Cardano.Ledger.Constrained.Trace.SimpleTx |
| plutusFromRunnable | Cardano.Ledger.Plutus.Language, Cardano.Ledger.Plutus |
| PlutusLanguage | Cardano.Ledger.Plutus.Language, Cardano.Ledger.Plutus |
| plutusLanguage | Cardano.Ledger.Plutus.Language, Cardano.Ledger.Plutus |
| plutusLanguageTag | Cardano.Ledger.Plutus.Language, Cardano.Ledger.Plutus |
| PlutusPointerF | |
| 1 (Type/Class) | Test.Cardano.Ledger.Constrained.Classes |
| 2 (Data Constructor) | Test.Cardano.Ledger.Constrained.Classes |
| 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 |
| PlutusPurposeF | |
| 1 (Type/Class) | Test.Cardano.Ledger.Constrained.Classes |
| 2 (Data Constructor) | Test.Cardano.Ledger.Constrained.Classes |
| 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 |
| 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 |
| plutusSLanguage | Cardano.Ledger.Plutus.Language, Cardano.Ledger.Plutus |
| plutusSummary | Test.Cardano.Ledger.Generic.PrettyCore |
| 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 |
| plutusUniv | Test.Cardano.Ledger.Constrained.Vars |
| PlutusV1 | Cardano.Ledger.Plutus.Language, Cardano.Ledger.Plutus |
| PlutusV1Args | Cardano.Ledger.Plutus.Language, Cardano.Ledger.Plutus |
| PlutusV2 | Cardano.Ledger.Plutus.Language, Cardano.Ledger.Plutus |
| PlutusV2Args | Cardano.Ledger.Plutus.Language, Cardano.Ledger.Plutus |
| PlutusV3 | Cardano.Ledger.Plutus.Language, Cardano.Ledger.Plutus |
| PlutusV3Args | Cardano.Ledger.Plutus.Language, Cardano.Ledger.Plutus |
| PlutusWithContext | |
| 1 (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 |
| PolicyIDR | Test.Cardano.Ledger.Constrained.TypeRep |
| 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 | |
| 1 (Data Constructor) | Test.Cardano.Ledger.Generic.Proof |
| 2 (Data Constructor) | Test.Cardano.Ledger.Constrained.Trace.Pipeline |
| 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.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.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 |
| poolDepAmt | Test.Cardano.Ledger.Constrained.Vars |
| 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 |
| poolDeposits | Test.Cardano.Ledger.Constrained.Vars |
| poolDepositsL | Test.Cardano.Ledger.Constrained.Vars |
| poolDeposit_ | Test.Cardano.Ledger.Constrained.Conway.Instances.PParams, Test.Cardano.Ledger.Constrained.Conway.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.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.Mary.State, Cardano.Ledger.Shelley.State, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| poolDistr | Test.Cardano.Ledger.Constrained.Vars |
| 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.Mary.State, Cardano.Ledger.Shelley.State |
| poolDistrL | Test.Cardano.Ledger.Constrained.Vars |
| 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.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 |
| PoolHashR | Test.Cardano.Ledger.Constrained.TypeRep |
| poolHashUniv | Test.Cardano.Ledger.Constrained.Vars |
| PoolKey | Test.Cardano.Ledger.Constrained.Conway.Cert, Test.Cardano.Ledger.Constrained.Conway.ParametricSpec, Test.Cardano.Ledger.Constrained.Conway |
| 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 |
| poolMetadata | Test.Cardano.Ledger.Constrained.Preds.Certs |
| PoolMetadataR | Test.Cardano.Ledger.Constrained.TypeRep |
| poolMetaL | Test.Cardano.Ledger.Constrained.Preds.Certs |
| 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 |
| poolParams | 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 |
| poolParamsP | Cardano.Ledger.Shelley.RewardProvenance |
| PoolParamsR | Test.Cardano.Ledger.Constrained.TypeRep |
| 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 |
| POOLREAP | Test.Cardano.Ledger.Constrained.Trace.Pipeline |
| PoolReapEvent | |
| 1 (Data Constructor) | Cardano.Ledger.Conway.Rules |
| 2 (Data Constructor) | Cardano.Ledger.Shelley.Rules |
| PoolReapFailure | Cardano.Ledger.Shelley.Rules |
| PoolreapState | Cardano.Ledger.Shelley.Rules |
| poolRelativeStake | Cardano.Ledger.Shelley.Rewards |
| poolReRegExample | Test.Cardano.Ledger.Shelley.Examples.PoolReReg |
| PoolRewardInfo | |
| 1 (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.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 |
| 2 (Data Constructor) | Cardano.Ledger.Conway.PParams, Cardano.Ledger.Conway.Core |
| poolVotingThresholds | Test.Cardano.Ledger.Constrained.Conway.Instances.Basic, Test.Cardano.Ledger.Constrained.Conway.Instances.PParams, Test.Cardano.Ledger.Constrained.Conway.Instances.Ledger, Test.Cardano.Ledger.Constrained.Conway.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 | |
| 1 (Function) | Test.Cardano.Ledger.Constrained.Spec |
| 2 (Function) | Constrained.NumSpec |
| PosInf | Constrained.NumSpec |
| 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.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.Mary.Core, Cardano.Ledger.Shelley.Core, Test.Cardano.Ledger.EraClass |
| PPair | Control.Iterate.Exp |
| ppAllegraTxAuxData | Test.Cardano.Ledger.Generic.PrettyCore |
| ppAllegraTxBody | Test.Cardano.Ledger.Generic.PrettyCore |
| ppAllegraUtxoPredFailure | Test.Cardano.Ledger.Generic.PrettyCore |
| ppAlonzoBbodyPredFail | Test.Cardano.Ledger.Generic.PrettyCore |
| ppAlonzoTx | Test.Cardano.Ledger.Generic.PrettyCore |
| ppAlonzoTxAuxData | Test.Cardano.Ledger.Generic.PrettyCore |
| ppAlonzoTxBody | Test.Cardano.Ledger.Generic.PrettyCore |
| ppAlonzoUtxoPredFailure | Test.Cardano.Ledger.Generic.PrettyCore |
| ppAlonzoUtxowPredFailure | Test.Cardano.Ledger.Generic.PrettyCore |
| ppApp | 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.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.Mary.Core, Cardano.Ledger.Shelley.Core |
| pparamProposals | Test.Cardano.Ledger.Constrained.Vars |
| 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.Mary.Core, Cardano.Ledger.Shelley.Core, Test.Cardano.Ledger.EraClass |
| 4 (Data Constructor) | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Shelley.Core |
| pparams | |
| 1 (Function) | Test.Cardano.Ledger.Constrained.Vars |
| 2 (Function) | Test.Cardano.Ledger.Generic.ApplyTx |
| PParamsAlonzoToAlonzo | Test.Cardano.Ledger.Generic.Proof |
| PParamsBabbageToBabbage | Test.Cardano.Ledger.Generic.Proof |
| PParamsConwayToConway | Test.Cardano.Ledger.Generic.Proof |
| PParamsF | |
| 1 (Type/Class) | Test.Cardano.Ledger.Constrained.Classes, Test.Cardano.Ledger.Constrained.TypeRep |
| 2 (Data Constructor) | Test.Cardano.Ledger.Constrained.Classes, Test.Cardano.Ledger.Constrained.TypeRep |
| PParamsField | Test.Cardano.Ledger.Generic.Fields |
| pparamsFL | Test.Cardano.Ledger.Constrained.Vars |
| pparamsGen | Byron.Spec.Ledger.Update.Generators |
| PParamsHKD | 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.Mary.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Shelley.Core, Cardano.Ledger.Shelley.Core |
| pparamsMaybeFL | Test.Cardano.Ledger.Constrained.Vars |
| pParamsPreds | Test.Cardano.Ledger.Constrained.Preds.PParams |
| PParamsR | Test.Cardano.Ledger.Constrained.TypeRep |
| PParamsShelleyToMary | Test.Cardano.Ledger.Generic.Proof |
| pparamsSpec | Test.Cardano.Ledger.Constrained.Conway.PParams, Test.Cardano.Ledger.Constrained.Conway |
| pParamsStage | Test.Cardano.Ledger.Constrained.Preds.PParams |
| pparamsToChainChecksPParams | Cardano.Ledger.Chain |
| pparamsTrace | Test.Cardano.Ledger.Constrained.Trace.TraceMonad |
| PParamsUpdate | |
| 1 (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.Mary.Core, Cardano.Ledger.Shelley.Core, Test.Cardano.Ledger.EraClass |
| 2 (Data Constructor) | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Shelley.Core |
| PParamsUpdateF | |
| 1 (Type/Class) | Test.Cardano.Ledger.Constrained.Classes, Test.Cardano.Ledger.Constrained.TypeRep |
| 2 (Data Constructor) | Test.Cardano.Ledger.Constrained.Classes, Test.Cardano.Ledger.Constrained.TypeRep |
| PParamsUpdateR | Test.Cardano.Ledger.Constrained.TypeRep |
| pparamsUpdateThreshold | Cardano.Ledger.Conway.Governance |
| pparamsUpdateWrapperL | Test.Cardano.Ledger.Constrained.Classes |
| pparamsVar | Test.Cardano.Ledger.Constrained.Vars |
| PParamsWit | Test.Cardano.Ledger.Generic.Proof |
| pparamsWrapperL | Test.Cardano.Ledger.Constrained.Classes |
| pParamsZero | Test.Cardano.Ledger.Generic.ModelState |
| pParamsZeroByProof | Test.Cardano.Ledger.Generic.ModelState |
| 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.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.Mary.Core, Cardano.Ledger.Shelley.Core |
| PParamUpdatePurpose | Cardano.Ledger.Api.Governance, Cardano.Ledger.Api, Cardano.Ledger.Conway.Governance |
| ppAssocList | Test.Cardano.Ledger.Generic.PrettyCore |
| ppBabbageUtxoPredFailure | Test.Cardano.Ledger.Generic.PrettyCore |
| ppBabbageUtxowPredFailure | Test.Cardano.Ledger.Generic.PrettyCore |
| ppBbodyPredicateFailure | Test.Cardano.Ledger.Generic.PrettyCore |
| ppBbodyState | Test.Cardano.Ledger.Generic.PrettyCore |
| ppBool | Test.Cardano.Ledger.Generic.PrettyCore |
| ppBootstrapWitness | Test.Cardano.Ledger.Generic.PrettyCore |
| 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, Test.Cardano.Ledger.EraClass |
| ppCoinsPerUTxOWordL | Cardano.Ledger.Alonzo.PParams, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Api.PParams, Cardano.Ledger.Api, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Test.Cardano.Ledger.EraClass |
| 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, Test.Cardano.Ledger.EraClass |
| ppCollectError | Test.Cardano.Ledger.Generic.PrettyCore |
| ppCommitteeAuthorization | Test.Cardano.Ledger.Generic.PrettyCore |
| ppCommitteeMaxTermLength | Cardano.Ledger.Conway.PParams |
| ppCommitteeMaxTermLengthL | Cardano.Ledger.Conway.PParams, Cardano.Ledger.Conway.Core, Test.Cardano.Ledger.EraClass |
| ppCommitteeMinSize | Cardano.Ledger.Conway.PParams |
| ppCommitteeMinSizeL | Cardano.Ledger.Conway.PParams, Cardano.Ledger.Conway.Core, Test.Cardano.Ledger.EraClass |
| 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 |
| ppContextError | Test.Cardano.Ledger.Generic.PrettyCore |
| ppConwayBbodyPredFail | Test.Cardano.Ledger.Generic.PrettyCore |
| ppConwayCertPredFailure | Test.Cardano.Ledger.Generic.PrettyCore |
| ppConwayCertsPredFailure | Test.Cardano.Ledger.Generic.PrettyCore |
| ppConwayDelegPredFailure | Test.Cardano.Ledger.Generic.PrettyCore |
| ppConwayGovCertPredFailure | Test.Cardano.Ledger.Generic.PrettyCore |
| ppConwayGovPredFailure | Test.Cardano.Ledger.Generic.PrettyCore |
| ppConwayLedgerPredFailure | Test.Cardano.Ledger.Generic.PrettyCore |
| ppConwayUtxoPredFailure | Test.Cardano.Ledger.Generic.PrettyCore |
| ppConwayUtxowPredFailure | Test.Cardano.Ledger.Generic.PrettyCore |
| ppCoreWitnesses | Test.Cardano.Ledger.Generic.PrettyCore |
| 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, Test.Cardano.Ledger.EraClass |
| 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 |
| ppDELEG | Test.Cardano.Ledger.Generic.PrettyCore |
| ppDELEGS | Test.Cardano.Ledger.Generic.PrettyCore |
| ppDELPL | Test.Cardano.Ledger.Generic.PrettyCore |
| 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.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.Mary.Core, Cardano.Ledger.Shelley.Core, Test.Cardano.Ledger.EraClass |
| ppDouble | Test.Cardano.Ledger.Generic.PrettyCore |
| ppDRepActivity | Cardano.Ledger.Conway.PParams |
| ppDRepActivityL | Cardano.Ledger.Conway.PParams, Cardano.Ledger.Conway.Core, Test.Cardano.Ledger.EraClass |
| ppDRepDeposit | Cardano.Ledger.Conway.PParams |
| ppDRepDepositL | Cardano.Ledger.Conway.PParams, Cardano.Ledger.Conway.Core, Test.Cardano.Ledger.EraClass |
| ppDRepVotingThresholds | Cardano.Ledger.Conway.PParams |
| ppDRepVotingThresholdsL | Cardano.Ledger.Conway.PParams, Cardano.Ledger.Conway.Core, Test.Cardano.Ledger.EraClass |
| 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.Mary.Core, Cardano.Ledger.Shelley.Core, Test.Cardano.Ledger.EraClass |
| ppEPOCH | Test.Cardano.Ledger.Generic.PrettyCore |
| ppEpochInterval | Test.Cardano.Ledger.Generic.PrettyCore |
| ppEpochNo | Test.Cardano.Ledger.Generic.PrettyCore |
| ppEx | Test.Cardano.Ledger.Shelley.Examples.Init |
| 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.Mary.Core, Cardano.Ledger.Shelley.Core |
| ppFailureDescription | Test.Cardano.Ledger.Generic.PrettyCore |
| ppFixedPoint | Test.Cardano.Ledger.Generic.PrettyCore |
| ppFL | Test.Cardano.Ledger.Constrained.Vars |
| ppFloat | Test.Cardano.Ledger.Generic.PrettyCore |
| ppGovActionDeposit | Cardano.Ledger.Conway.PParams |
| ppGovActionDepositL | Cardano.Ledger.Conway.PParams, Cardano.Ledger.Conway.Core, Test.Cardano.Ledger.EraClass |
| ppGovActionLifetime | Cardano.Ledger.Conway.PParams |
| ppGovActionLifetimeL | Cardano.Ledger.Conway.PParams, Cardano.Ledger.Conway.Core, Test.Cardano.Ledger.EraClass |
| ppGovProtocolVersion | Cardano.Ledger.Conway.PParams |
| PPGroups | |
| 1 (Type/Class) | Cardano.Ledger.Conway.PParams |
| 2 (Data Constructor) | Cardano.Ledger.Conway.PParams |
| ppHash | Test.Cardano.Ledger.Generic.PrettyCore |
| 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 |
| ppInt | Test.Cardano.Ledger.Generic.PrettyCore |
| ppInteger | Test.Cardano.Ledger.Generic.PrettyCore |
| ppIsValid | Test.Cardano.Ledger.Generic.PrettyCore |
| 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.Mary.Core, Cardano.Ledger.Shelley.Core, Test.Cardano.Ledger.EraClass |
| ppLanguage | Test.Cardano.Ledger.Generic.PrettyCore |
| ppLazy | Test.Cardano.Ledger.Generic.PrettyCore |
| ppLEDGER | Test.Cardano.Ledger.Generic.PrettyCore |
| ppLEDGERS | Test.Cardano.Ledger.Generic.PrettyCore |
| ppLens | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.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.Mary.Core, Cardano.Ledger.Shelley.Core |
| ppLikelihood | Test.Cardano.Ledger.Generic.PrettyCore |
| ppList | Test.Cardano.Ledger.Generic.PrettyCore |
| ppListShow | Constrained.PrettyUtils |
| ppList_ | Constrained.PrettyUtils |
| ppLogWeight | Test.Cardano.Ledger.Generic.PrettyCore |
| ppLong | Test.Cardano.Ledger.Generic.PrettyCore |
| 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 |
| ppMap | Test.Cardano.Ledger.Generic.PrettyCore |
| ppMap' | Test.Cardano.Ledger.Generic.PrettyCore |
| ppMargin | Cardano.Ledger.PoolParams, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| ppMaryTxBody | Test.Cardano.Ledger.Generic.PrettyCore |
| 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.Mary.Core, Cardano.Ledger.Shelley.Core, Test.Cardano.Ledger.EraClass |
| 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.Mary.Core, Cardano.Ledger.Shelley.Core, Test.Cardano.Ledger.EraClass |
| 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, Test.Cardano.Ledger.EraClass |
| 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, Test.Cardano.Ledger.EraClass |
| 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, Test.Cardano.Ledger.EraClass |
| 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.Mary.Core, Cardano.Ledger.Shelley.Core, Test.Cardano.Ledger.EraClass |
| 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, Test.Cardano.Ledger.EraClass |
| ppMaybe | Test.Cardano.Ledger.Generic.PrettyCore |
| ppMetadata | Cardano.Ledger.PoolParams, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| ppMetadatum | Test.Cardano.Ledger.Generic.PrettyCore |
| 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.Mary.Core, Cardano.Ledger.Shelley.Core, Test.Cardano.Ledger.EraClass |
| 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.Mary.Core, Cardano.Ledger.Shelley.Core, Test.Cardano.Ledger.EraClass |
| ppMinFeeRefScriptCostPerByte | Cardano.Ledger.Conway.PParams |
| ppMinFeeRefScriptCostPerByteL | Cardano.Ledger.Conway.PParams, Test.Cardano.Ledger.EraClass |
| 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.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.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.Mary.Core, Cardano.Ledger.Shelley.Core |
| ppNatural | Test.Cardano.Ledger.Generic.PrettyCore |
| ppNetwork | Test.Cardano.Ledger.Generic.PrettyCore |
| ppNEWEPOCH | Test.Cardano.Ledger.Generic.PrettyCore |
| ppNonce | Test.Cardano.Ledger.Generic.PrettyCore |
| ppNonMyopic | Test.Cardano.Ledger.Generic.PrettyCore |
| 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.Mary.Core, Cardano.Ledger.Shelley.Core, Test.Cardano.Ledger.EraClass |
| ppOSet | Test.Cardano.Ledger.Generic.PrettyCore |
| ppOwners | Cardano.Ledger.PoolParams, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| ppPair | Test.Cardano.Ledger.Generic.PrettyCore |
| 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 |
| ppPlutusPurpose | Test.Cardano.Ledger.Generic.PrettyCore |
| ppPlutusPurposeAsItem | Test.Cardano.Ledger.Generic.PrettyCore |
| ppPlutusPurposeAsIx | Test.Cardano.Ledger.Generic.PrettyCore |
| ppPlutusPurposeAsIxItem | Test.Cardano.Ledger.Generic.PrettyCore |
| ppPolicyID | Test.Cardano.Ledger.Generic.PrettyCore |
| ppPOOL | Test.Cardano.Ledger.Generic.PrettyCore |
| 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.Mary.Core, Cardano.Ledger.Shelley.Core, Test.Cardano.Ledger.EraClass |
| ppPoolVotingThresholds | Cardano.Ledger.Conway.PParams |
| ppPoolVotingThresholdsL | Cardano.Ledger.Conway.PParams, Cardano.Ledger.Conway.Core, Test.Cardano.Ledger.EraClass |
| ppPParamsUpdate | Test.Cardano.Ledger.Generic.PrettyCore |
| ppPPUpdate | Test.Cardano.Ledger.Generic.PrettyCore |
| ppPPUPPredFailure | Test.Cardano.Ledger.Generic.PrettyCore |
| ppPpupPredicateFailure | Test.Cardano.Ledger.Generic.PrettyCore |
| ppPrices | |
| 1 (Function) | Cardano.Ledger.Alonzo.PParams |
| 2 (Function) | Test.Cardano.Ledger.Generic.PrettyCore |
| ppPricesL | Cardano.Ledger.Alonzo.PParams, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Api.PParams, Cardano.Ledger.Api, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Test.Cardano.Ledger.EraClass |
| ppProposedPPUpdates | Test.Cardano.Ledger.Generic.PrettyCore |
| 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.Mary.Core, Cardano.Ledger.Shelley.Core, Test.Cardano.Ledger.EraClass |
| ppProtVer | Test.Cardano.Ledger.Generic.PrettyCore |
| ppPtr | Test.Cardano.Ledger.Generic.PrettyCore |
| ppQuery | Control.Iterate.Exp |
| ppRational | Test.Cardano.Ledger.Generic.PrettyCore |
| ppRec | 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 |
| ppRecord | Test.Cardano.Ledger.Generic.PrettyCore |
| ppRecord' | Test.Cardano.Ledger.Generic.PrettyCore |
| 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 |
| ppRewardType | Test.Cardano.Ledger.Generic.PrettyCore |
| ppRewardUpdate | Test.Cardano.Ledger.Generic.PrettyCore |
| 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.Mary.Core, Cardano.Ledger.Shelley.Core, Test.Cardano.Ledger.EraClass |
| pProcAnchor | Cardano.Ledger.Api.Governance, Cardano.Ledger.Api, Cardano.Ledger.Conway.Governance |
| pProcAnchorL | Cardano.Ledger.Conway.Governance |
| pProcDeposit | Cardano.Ledger.Api.Governance, 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, 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, Cardano.Ledger.Conway.Governance |
| pProcReturnAddrL | Cardano.Ledger.Conway.Governance |
| pPropsL | Cardano.Ledger.Conway.Governance |
| pps | Byron.Spec.Ledger.STS.UTXO |
| ppSafeHash | Test.Cardano.Ledger.Generic.PrettyCore |
| ppScriptVersion | Cardano.Chain.Update |
| ppSeq | Test.Cardano.Ledger.Generic.PrettyCore |
| ppSet | Test.Cardano.Ledger.Generic.PrettyCore |
| ppSexp | Test.Cardano.Ledger.Generic.PrettyCore |
| ppSexp' | Test.Cardano.Ledger.Generic.PrettyCore |
| ppShelleyDelegPredFailure | Test.Cardano.Ledger.Generic.PrettyCore |
| ppShelleyDelegsPredFailure | Test.Cardano.Ledger.Generic.PrettyCore |
| ppShelleyDelplPredFailure | Test.Cardano.Ledger.Generic.PrettyCore |
| ppShelleyEpochPredFailure | Test.Cardano.Ledger.Generic.PrettyCore |
| ppShelleyLedgerPredFailure | Test.Cardano.Ledger.Generic.PrettyCore |
| ppShelleyLedgersPredFailure | Test.Cardano.Ledger.Generic.PrettyCore |
| ppShelleyNewEpochPredicateFailure | Test.Cardano.Ledger.Generic.PrettyCore |
| ppShelleyPoolPredFailure | Test.Cardano.Ledger.Generic.PrettyCore |
| ppShelleyTx | Test.Cardano.Ledger.Generic.PrettyCore |
| ppShelleyTxAuxData | Test.Cardano.Ledger.Generic.PrettyCore |
| ppShelleyTxBody | Test.Cardano.Ledger.Generic.PrettyCore |
| ppShelleyUtxoPredFailure | Test.Cardano.Ledger.Generic.PrettyCore |
| ppShelleyUtxowPredFailure | Test.Cardano.Ledger.Generic.PrettyCore |
| ppSignedDSIGN | Test.Cardano.Ledger.Generic.PrettyCore |
| ppSlotDuration | Cardano.Chain.Update |
| ppSoftforkRule | Cardano.Chain.Update |
| ppsOwners | Cardano.Ledger.State.UTxO |
| ppsPoolId | Cardano.Ledger.State.UTxO |
| ppsRewardAccount | Cardano.Ledger.State.UTxO |
| ppStateLEDGERS | Test.Cardano.Ledger.Generic.PrettyCore |
| ppStrictMaybe | Test.Cardano.Ledger.Generic.PrettyCore |
| ppStrictSeq | Test.Cardano.Ledger.Generic.PrettyCore |
| ppString | Test.Cardano.Ledger.Generic.PrettyCore |
| ppsUpdateFrom | Byron.Spec.Ledger.Update |
| ppTagMismatchDescription | Test.Cardano.Ledger.Generic.PrettyCore |
| ppTarget | Test.Cardano.Ledger.Constrained.Ast |
| 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.Mary.Core, Cardano.Ledger.Shelley.Core, Test.Cardano.Ledger.EraClass |
| ppTickPredicateFailure | Test.Cardano.Ledger.Generic.PrettyCore |
| ppToSubset | Test.Cardano.Ledger.Constrained.Conway.Instances.Basic, Test.Cardano.Ledger.Constrained.Conway.Instances.PParams, Test.Cardano.Ledger.Constrained.Conway.Instances.Ledger, Test.Cardano.Ledger.Constrained.Conway.Instances, Test.Cardano.Ledger.Constrained.Conway.ParametricSpec, Test.Cardano.Ledger.Constrained.Conway |
| ppTxAuxDataHash | Test.Cardano.Ledger.Generic.PrettyCore |
| ppTxFeePolicy | Cardano.Chain.Update |
| ppTxWitness | Test.Cardano.Ledger.Generic.PrettyCore |
| 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.Mary.Core, Cardano.Ledger.Shelley.Core, Test.Cardano.Ledger.EraClass |
| ppuCoinsPerUTxOByteL | Cardano.Ledger.Api.PParams, Cardano.Ledger.Api, Cardano.Ledger.Babbage.PParams, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Test.Cardano.Ledger.EraClass |
| ppuCoinsPerUTxOWordL | Cardano.Ledger.Alonzo.PParams, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Api.PParams, Cardano.Ledger.Api, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Test.Cardano.Ledger.EraClass |
| ppuCollateralPercentageL | Cardano.Ledger.Alonzo.PParams, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Api.PParams, Cardano.Ledger.Api, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Test.Cardano.Ledger.EraClass |
| ppuCommitteeMaxTermLengthL | Cardano.Ledger.Conway.PParams, Cardano.Ledger.Conway.Core, Test.Cardano.Ledger.EraClass |
| ppuCommitteeMinSizeL | Cardano.Ledger.Conway.PParams, Cardano.Ledger.Conway.Core, Test.Cardano.Ledger.EraClass |
| ppuCostModelsL | Cardano.Ledger.Alonzo.PParams, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Api.PParams, Cardano.Ledger.Api, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Test.Cardano.Ledger.EraClass |
| 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.Mary.Core, Cardano.Ledger.Shelley.Core, Test.Cardano.Ledger.EraClass |
| ppuDRepActivityL | Cardano.Ledger.Conway.PParams, Cardano.Ledger.Conway.Core, Test.Cardano.Ledger.EraClass |
| ppuDRepDepositL | Cardano.Ledger.Conway.PParams, Cardano.Ledger.Conway.Core, Test.Cardano.Ledger.EraClass |
| ppuDRepVotingThresholdsL | Cardano.Ledger.Conway.PParams, Cardano.Ledger.Conway.Core, Test.Cardano.Ledger.EraClass |
| 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.Mary.Core, Cardano.Ledger.Shelley.Core, Test.Cardano.Ledger.EraClass |
| 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.Mary.Core, Cardano.Ledger.Shelley.Core |
| ppuGovActionDepositL | Cardano.Ledger.Conway.PParams, Cardano.Ledger.Conway.Core, Test.Cardano.Ledger.EraClass |
| ppuGovActionLifetimeL | Cardano.Ledger.Conway.PParams, Cardano.Ledger.Conway.Core, Test.Cardano.Ledger.EraClass |
| 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.Mary.Core, Cardano.Ledger.Shelley.Core, Test.Cardano.Ledger.EraClass |
| ppuLens | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.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.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.Mary.Core, Cardano.Ledger.Shelley.Core, Test.Cardano.Ledger.EraClass |
| 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.Mary.Core, Cardano.Ledger.Shelley.Core, Test.Cardano.Ledger.EraClass |
| ppuMaxBlockExUnitsL | Cardano.Ledger.Alonzo.PParams, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Api.PParams, Cardano.Ledger.Api, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Test.Cardano.Ledger.EraClass |
| 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, Test.Cardano.Ledger.EraClass |
| 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, Test.Cardano.Ledger.EraClass |
| 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.Mary.Core, Cardano.Ledger.Shelley.Core, Test.Cardano.Ledger.EraClass |
| ppuMaxValSizeL | Cardano.Ledger.Alonzo.PParams, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Api.PParams, Cardano.Ledger.Api, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Test.Cardano.Ledger.EraClass |
| 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.Mary.Core, Cardano.Ledger.Shelley.Core, Test.Cardano.Ledger.EraClass |
| 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.Mary.Core, Cardano.Ledger.Shelley.Core, Test.Cardano.Ledger.EraClass |
| ppuMinFeeRefScriptCostPerByteL | Cardano.Ledger.Conway.PParams, Test.Cardano.Ledger.EraClass |
| 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.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.Mary.Core, Cardano.Ledger.Shelley.Core |
| ppuMpcThd | Cardano.Chain.Update |
| ppUnitInterval | Test.Cardano.Ledger.Generic.PrettyCore |
| 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.Mary.Core, Cardano.Ledger.Shelley.Core, Test.Cardano.Ledger.EraClass |
| PPUP | Test.Cardano.Ledger.Constrained.Trace.Pipeline |
| ppup | Test.Cardano.Ledger.Constrained.Vars |
| ppUpdate | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Shelley.Core |
| ppUpdateChildren | Test.Cardano.Ledger.Constrained.Vars |
| 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.Mary.Core, Cardano.Ledger.Shelley.Core, Test.Cardano.Ledger.EraClass |
| ppuPoolVotingThresholdsL | Cardano.Ledger.Conway.PParams, Cardano.Ledger.Conway.Core, Test.Cardano.Ledger.EraClass |
| ppuPricesL | Cardano.Ledger.Alonzo.PParams, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Api.PParams, Cardano.Ledger.Api, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Test.Cardano.Ledger.EraClass |
| 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.Mary.Core, Cardano.Ledger.Shelley.Core |
| ppupsL | Test.Cardano.Ledger.Constrained.Vars |
| PPUPStateR | Test.Cardano.Ledger.Constrained.TypeRep |
| ppupStateT | Test.Cardano.Ledger.Constrained.Vars |
| 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.Mary.Core, Cardano.Ledger.Shelley.Core, Test.Cardano.Ledger.EraClass |
| 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.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.Mary.Core, Cardano.Ledger.Shelley.Core, Test.Cardano.Ledger.EraClass |
| ppuToUpdate | Test.Cardano.Ledger.Constrained.Conway.Instances.Basic, Test.Cardano.Ledger.Constrained.Conway.Instances.PParams, Test.Cardano.Ledger.Constrained.Conway.Instances.Ledger, Test.Cardano.Ledger.Constrained.Conway.Instances, Test.Cardano.Ledger.Constrained.Conway.ParametricSpec, Test.Cardano.Ledger.Constrained.Conway |
| ppuTxFeePolicy | Cardano.Chain.Update |
| ppUTXO | Test.Cardano.Ledger.Generic.PrettyCore |
| ppUTXOS | Test.Cardano.Ledger.Generic.PrettyCore |
| ppUtxosPredicateFailure | Test.Cardano.Ledger.Generic.PrettyCore |
| ppUTXOW | Test.Cardano.Ledger.Generic.PrettyCore |
| ppuUnlockStakeEpoch | Cardano.Chain.Update |
| ppuUpdateProposalThd | Cardano.Chain.Update |
| ppuUpdateProposalTTL | Cardano.Chain.Update |
| ppuUpdateVoteThd | Cardano.Chain.Update |
| ppuWellFormed | Cardano.Ledger.Conway.PParams |
| ppValidityInterval | Test.Cardano.Ledger.Generic.PrettyCore |
| ppVersion | Test.Cardano.Ledger.Generic.PrettyCore |
| PPViewHashesDontMatch | |
| 1 (Data Constructor) | Cardano.Ledger.Alonzo.Rules |
| 2 (Data Constructor) | Cardano.Ledger.Conway.Rules |
| ppViewHashesMatch | Cardano.Ledger.Alonzo.Rules |
| ppVKey | Test.Cardano.Ledger.Generic.PrettyCore |
| ppVMap | Test.Cardano.Ledger.Generic.PrettyCore |
| ppVrf | Cardano.Ledger.PoolParams, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| ppVRFHash | Test.Cardano.Ledger.Generic.PrettyCore |
| ppWitHashes | Test.Cardano.Ledger.Generic.PrettyCore |
| ppWithdrawals | Test.Cardano.Ledger.Generic.PrettyCore |
| ppWitnessSetHKD | Test.Cardano.Ledger.Generic.PrettyCore |
| ppWord16 | Test.Cardano.Ledger.Generic.PrettyCore |
| ppWord32 | Test.Cardano.Ledger.Generic.PrettyCore |
| ppWord64 | Test.Cardano.Ledger.Generic.PrettyCore |
| ppWord8 | Test.Cardano.Ledger.Generic.PrettyCore |
| ppX | Test.Cardano.Ledger.Constrained.Conway.LedgerTypes.WellFormed |
| 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) | Test.Cardano.Ledger.Constrained.Ast |
| 2 (Type/Class) | Constrained.Base, Constrained.API |
| predConstr | Test.Cardano.Ledger.Constrained.Tests |
| PredD | Constrained.AbstractSyntax, Constrained.API |
| PredGen | |
| 1 (Type/Class) | Test.Cardano.Ledger.Constrained.Trace.TraceMonad |
| 2 (Data Constructor) | Test.Cardano.Ledger.Constrained.Trace.TraceMonad |
| 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 |
| preds16 | Test.Cardano.Ledger.Constrained.Examples |
| preds20 | Test.Cardano.Ledger.Constrained.Examples |
| predSpecPair | Constrained.SumList |
| predsTests | Test.Cardano.Ledger.Constrained.Preds.Tx |
| 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 | Constrained.TheKnot |
| Prerequisites | Constrained.Base, Constrained.API |
| prerequisites | Constrained.Base, Constrained.API |
| preserveProp | Test.Cardano.Ledger.Constrained.Trace.TraceMonad |
| preservesJust | Control.Provenance |
| preservesNothing | Control.Provenance |
| preShelley | Test.Cardano.Ledger.Generic.Proof |
| preStatesAndSignals | Test.Control.State.Transition.Trace |
| Pretty | |
| 1 (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 |
| PrettyA | Test.Cardano.Ledger.Generic.PrettyCore |
| prettyA | Test.Cardano.Ledger.Generic.PrettyCore |
| PrettyAnn | Test.Cardano.Ledger.Generic.PrettyCore |
| 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 | Constrained.Syntax |
| prettyPlan | Constrained.TheKnot |
| prettyPrec | Constrained.PrettyUtils |
| prettyRecord | Cardano.Ledger.State.UTxO |
| prettySetSpec | Constrained.Spec.Set |
| prettySymbol | Constrained.AbstractSyntax, Constrained.API |
| prettyTest | Test.Cardano.Ledger.Generic.PrettyTest |
| prettyType | Constrained.PrettyUtils |
| prevActionAsExpected | Cardano.Ledger.Conway.Rules |
| prevBlocksMade | Test.Cardano.Ledger.Constrained.Vars |
| PrevCommitteeR | Test.Cardano.Ledger.Constrained.TypeRep |
| prevCommitteeState | Test.Cardano.Ledger.Constrained.Vars |
| prevCommitteeStateL | Test.Cardano.Ledger.Constrained.Vars |
| PrevConstitutionR | Test.Cardano.Ledger.Constrained.TypeRep |
| prevDRepDelegations | Test.Cardano.Ledger.Constrained.Vars |
| prevDRepDelegationsL | Test.Cardano.Ledger.Constrained.Vars |
| prevDRepState | Test.Cardano.Ledger.Constrained.Vars |
| prevDRepStateL | Test.Cardano.Ledger.Constrained.Vars |
| prevEnactState | Test.Cardano.Ledger.Constrained.Vars |
| prevEnactStateL | Test.Cardano.Ledger.Constrained.Vars |
| prevEpoch | Test.Cardano.Ledger.Constrained.Vars |
| prevEpochL | Test.Cardano.Ledger.Constrained.Vars |
| prevGovActionIds | Test.Cardano.Ledger.Constrained.Vars |
| prevGovActionIdsCheckPreds | Test.Cardano.Ledger.Constrained.Preds.LedgerState |
| prevGovActionIdsGenPreds | Test.Cardano.Ledger.Constrained.Preds.LedgerState |
| PrevGovActionIdsR | Test.Cardano.Ledger.Constrained.TypeRep |
| prevGovActionStates | Test.Cardano.Ledger.Constrained.Vars |
| PrevHardForkR | Test.Cardano.Ledger.Constrained.TypeRep |
| PrevHash | Cardano.Protocol.TPraos.BHeader |
| PrevHashNotMatching | Byron.Spec.Chain.STS.Rule.Pbft |
| prevHashToNonce | Cardano.Protocol.TPraos.BHeader |
| previewDelegationMap | Cardano.Chain.Byron.API |
| previousCommitteeState | Test.Cardano.Ledger.Constrained.Vars |
| PreviousEra | 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.Mary.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Shelley.Core, Cardano.Ledger.Shelley.Core |
| prevPoolDistr | Test.Cardano.Ledger.Constrained.Vars |
| prevPoolDistrL | Test.Cardano.Ledger.Constrained.Vars |
| prevPParams | Test.Cardano.Ledger.Constrained.Vars |
| prevPParamsEpochStateL | Cardano.Ledger.Shelley.LedgerState |
| prevPParamsGovStateL | 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.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.Mary.Core, Cardano.Ledger.Shelley.Governance, Cardano.Ledger.Shelley.Core |
| PrevPParamUpdateR | Test.Cardano.Ledger.Constrained.TypeRep |
| prevProposalOrder | Test.Cardano.Ledger.Constrained.Vars |
| prevProposals | Test.Cardano.Ledger.Constrained.Vars |
| prevProtVer | Test.Cardano.Ledger.Constrained.Vars |
| prevPulsingPreds | Test.Cardano.Ledger.Constrained.Vars |
| prevRegPools | Test.Cardano.Ledger.Constrained.Vars |
| prevRegPoolsL | Test.Cardano.Ledger.Constrained.Vars |
| prevTreasury | Test.Cardano.Ledger.Constrained.Vars |
| Prices | |
| 1 (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 | Constrained.TheKnot, Constrained.API |
| printTarget | Test.Cardano.Ledger.Constrained.Vars |
| 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 |
| Proj | Test.Cardano.Ledger.Constrained.Ast |
| projD | Control.Iterate.Exp |
| ProjectD | Control.Iterate.Exp |
| projectEnv | Test.Cardano.Ledger.Constrained.Conway.Certs, Test.Cardano.Ledger.Constrained.Conway |
| projectQ | Control.Iterate.Exp |
| ProjM | Test.Cardano.Ledger.Constrained.Ast |
| ProjMap | Test.Cardano.Ledger.Constrained.Ast |
| projOnDom | Test.Cardano.Ledger.Constrained.Solver |
| ProjOne | Test.Cardano.Ledger.Constrained.Ast |
| projPreds1 | Test.Cardano.Ledger.Constrained.Examples |
| projPreds2 | Test.Cardano.Ledger.Constrained.Examples |
| ProjS | Test.Cardano.Ledger.Constrained.Ast |
| projStep | Control.Iterate.Exp |
| promoteRatio | Cardano.Ledger.BaseTypes |
| Proof | |
| 1 (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, Test.Cardano.Ledger.Constrained.TypeRep |
| 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 |
| proofx | Test.Cardano.Ledger.Constrained.Trace.Pipeline |
| 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 |
| propAbstractSizeBoundsBytes | Test.Cardano.Ledger.Shelley.Rules.ClassifyTraces |
| propAbstractSizeNotTooBig | Test.Cardano.Ledger.Shelley.Rules.ClassifyTraces |
| propagate | Constrained.Base, Constrained.API |
| propagateMemberSpec | Constrained.Base, Constrained.API |
| propagateSpec | Constrained.Base |
| propagateTypeSpec | Constrained.Base, Constrained.API |
| 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 |
| 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 |
| proposalDeposit | Test.Cardano.Ledger.Constrained.Vars |
| ProposalDepositIncorrect | Cardano.Ledger.Conway.Rules |
| proposalDeposits | Test.Cardano.Ledger.Constrained.Vars |
| 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, Cardano.Ledger.Conway.Governance |
| 2 (Data Constructor) | Cardano.Ledger.Api.Governance, 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, Test.Cardano.Ledger.EraClass |
| 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 |
| proposalsL | Test.Cardano.Ledger.Constrained.Vars |
| 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 |
| ProposalsR | Test.Cardano.Ledger.Constrained.TypeRep |
| proposalsRemoveWithDescendants | Cardano.Ledger.Conway.Governance |
| proposalsShowDebug | Test.Cardano.Ledger.Conway.ImpTest |
| proposalsSize | Cardano.Ledger.Conway.Governance |
| proposalsSpec | Test.Cardano.Ledger.Constrained.Conway.Gov, Test.Cardano.Ledger.Constrained.Conway |
| ProposalsSplit | |
| 1 (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 |
| proposalsT | Test.Cardano.Ledger.Constrained.Vars |
| proposalsWithPurpose | Cardano.Ledger.Conway.Governance |
| ProposalTooLarge | Cardano.Chain.Update.Validation.Registration |
| ProposalTree | Test.Cardano.Ledger.Constrained.Conway.Instances.Ledger, Test.Cardano.Ledger.Constrained.Conway.Instances, Test.Cardano.Ledger.Constrained.Conway |
| proposalVotes | Cardano.Chain.Update.Validation.Interface |
| proposal_procedure | Test.Cardano.Ledger.Conway.CDDL |
| proposal_procedures | Test.Cardano.Ledger.Conway.CDDL |
| proposedCoreL | Test.Cardano.Ledger.Constrained.Classes |
| proposedInV | Test.Cardano.Ledger.Constrained.Vars |
| proposedMapL | |
| 1 (Function) | Test.Cardano.Ledger.Constrained.Classes |
| 2 (Function) | Test.Cardano.Ledger.Constrained.Vars |
| 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 |
| ProposedPPUpdatesF | |
| 1 (Type/Class) | Test.Cardano.Ledger.Constrained.Classes |
| 2 (Data Constructor) | Test.Cardano.Ledger.Constrained.Classes |
| proposedWrapperL | Test.Cardano.Ledger.Constrained.Classes |
| 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 |
| 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.Properties |
| prop_conformEmpty | Constrained.Properties |
| prop_constrained_explained | Constrained.Properties |
| prop_constrained_satisfies_complete | Constrained.Properties |
| prop_constrained_satisfies_sound | Constrained.Properties |
| prop_DELEG | Test.Cardano.Ledger.STS |
| prop_DExpLaw | Tests.Cardano.Ledger.NonIntegral |
| prop_DExpUnitInterval | Tests.Cardano.Ledger.NonIntegral |
| prop_DfindD | Tests.Cardano.Ledger.NonIntegral |
| prop_DIdemPotent | Tests.Cardano.Ledger.NonIntegral |
| prop_DIdemPotent' | Tests.Cardano.Ledger.NonIntegral |
| prop_DlnLaw | Tests.Cardano.Ledger.NonIntegral |
| prop_DlnPow | Tests.Cardano.Ledger.NonIntegral |
| prop_DMonotonic | Tests.Cardano.Ledger.NonIntegral |
| prop_DPowDiff | Tests.Cardano.Ledger.NonIntegral |
| prop_ENACT | Test.Cardano.Ledger.STS |
| prop_EPOCH | Test.Cardano.Ledger.STS |
| prop_ExpLaw | Tests.Cardano.Ledger.NonIntegral |
| prop_ExpUnitInterval | Tests.Cardano.Ledger.NonIntegral |
| prop_exp_is_monotonic_fp | Tests.Cardano.Ledger.NonIntegral |
| prop_exp_is_monotonic_q | Tests.Cardano.Ledger.NonIntegral |
| prop_findD | Tests.Cardano.Ledger.NonIntegral |
| prop_FPExpLaw | Tests.Cardano.Ledger.NonIntegral |
| prop_FPExpUnitInterval | Tests.Cardano.Ledger.NonIntegral |
| prop_FPfindD | Tests.Cardano.Ledger.NonIntegral |
| prop_FPIdemPotent | Tests.Cardano.Ledger.NonIntegral |
| prop_FPIdemPotent' | Tests.Cardano.Ledger.NonIntegral |
| prop_FPlnLaw | Tests.Cardano.Ledger.NonIntegral |
| prop_FPlnPow | Tests.Cardano.Ledger.NonIntegral |
| prop_FPMonotonic | Tests.Cardano.Ledger.NonIntegral |
| prop_FPPowDiff | Tests.Cardano.Ledger.NonIntegral |
| prop_gen_sound | Constrained.Properties |
| prop_GOV | Test.Cardano.Ledger.STS |
| prop_GOVCERT | Test.Cardano.Ledger.STS |
| prop_IdemPotent | Tests.Cardano.Ledger.NonIntegral |
| prop_IdemPotent' | Tests.Cardano.Ledger.NonIntegral |
| prop_LeaderCmp | Tests.Cardano.Ledger.NonIntegral |
| prop_lnLaw | Tests.Cardano.Ledger.NonIntegral |
| prop_lnPow | Tests.Cardano.Ledger.NonIntegral |
| prop_log_is_monotonic_fp | Tests.Cardano.Ledger.NonIntegral |
| prop_log_is_monotonic_q | Tests.Cardano.Ledger.NonIntegral |
| prop_mapSpec | Constrained.Properties |
| prop_monitoring | Constrained.Examples.CheatSheet |
| prop_Monotonic | Tests.Cardano.Ledger.NonIntegral |
| prop_neg_taylorExpCmp | Tests.Cardano.Ledger.NonIntegral |
| prop_noNarrowLoop | Constrained.Test |
| prop_POOL | Test.Cardano.Ledger.STS |
| prop_PowDiff | Tests.Cardano.Ledger.NonIntegral |
| prop_propagateSpecSound | Constrained.Properties |
| prop_qc_Bounded | Test.Control.State.Transition.Examples.Sum |
| prop_qc_Classified | Test.Control.State.Transition.Examples.Sum |
| prop_qc_OnlyValidSignals | Test.Control.State.Transition.Examples.CommitReveal |
| prop_qc_onlyValidSignalsAreGenerated | Test.Control.State.Transition.Examples.Sum |
| prop_qc_UniqueData | Test.Control.State.Transition.Examples.CommitReveal |
| prop_RATIFY | Test.Cardano.Ledger.STS |
| prop_Roundtrip | Test.VMap |
| prop_shrinking | Test.Cardano.Ledger.Constrained.Tests |
| prop_shrinking' | Test.Cardano.Ledger.Constrained.Tests |
| prop_shrink_sound | Constrained.Properties |
| prop_sound | Constrained.Properties |
| prop_soundness | Test.Cardano.Ledger.Constrained.Tests |
| prop_soundness' | Test.Cardano.Ledger.Constrained.Tests |
| prop_univSound | Constrained.Properties |
| prop_UTXOS | Test.Cardano.Ledger.STS |
| prop_UTXOW | Test.Cardano.Ledger.STS |
| protectMainnet | Cardano.Ledger.Shelley.Transition |
| protectMainnetLens | Cardano.Ledger.Shelley.Transition |
| ProtocolMagic | Cardano.Crypto.ProtocolMagic, Cardano.Crypto |
| protocolMagic | |
| 1 (Function) | Test.Cardano.Crypto.Dummy |
| 2 (Function) | 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 |
| protVer | Test.Cardano.Ledger.Constrained.Vars |
| 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.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.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.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.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.Mary.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Shelley.Core, Cardano.Ledger.Shelley.Core |
| ProtVerR | Test.Cardano.Ledger.Constrained.TypeRep |
| protVersCanfollow | Test.Cardano.Ledger.Constrained.Conway.LedgerTypes.Specs |
| ProtVerUnknown | Byron.Spec.Ledger.Update |
| Prov | Control.Provenance |
| Provenance | Control.Provenance |
| ProvM | |
| 1 (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.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.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 |
| psEpochState | Test.Cardano.Ledger.Generic.PrettyCore |
| psFutureStakePoolParams | Cardano.Ledger.Allegra.State, Cardano.Ledger.Alonzo.State, Cardano.Ledger.Babbage.State, Cardano.Ledger.Conway.State, Cardano.Ledger.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.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 |
| psLedgerState | Test.Cardano.Ledger.Generic.PrettyCore |
| psNewConstitution | Test.Cardano.Ledger.Constrained.Conway.Instances.Ledger, Test.Cardano.Ledger.Constrained.Conway.Instances, Test.Cardano.Ledger.Constrained.Conway |
| psNewEpochState | Test.Cardano.Ledger.Generic.PrettyCore |
| psOthers | Test.Cardano.Ledger.Constrained.Conway.Instances.Ledger, Test.Cardano.Ledger.Constrained.Conway.Instances, Test.Cardano.Ledger.Constrained.Conway |
| psPoolDistr | Cardano.Ledger.Conway.Governance.DRepPulser, Cardano.Ledger.Conway.Governance |
| psPoolDistrL | Cardano.Ledger.Conway.Governance.DRepPulser, Cardano.Ledger.Conway.Governance |
| 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.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.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.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.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.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.Mary.State, Cardano.Ledger.Shelley.State, Cardano.Ledger.Shelley.LedgerState, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| pstateCheckPreds | Test.Cardano.Ledger.Constrained.Preds.CertState |
| pstateConstraints | Test.Cardano.Ledger.Constrained.Examples |
| pstateGenPreds | Test.Cardano.Ledger.Constrained.Preds.CertState |
| pstateNames | Test.Cardano.Ledger.Constrained.Preds.CertState |
| pstatePreds | |
| 1 (Function) | Test.Cardano.Ledger.Constrained.Preds.CertState |
| 2 (Function) | Test.Cardano.Ledger.Constrained.Examples |
| pStateSpec | Test.Cardano.Ledger.Constrained.Conway.Pool, Test.Cardano.Ledger.Constrained.Conway |
| pstateSpec | Test.Cardano.Ledger.Constrained.Conway.LedgerTypes.Specs |
| pstateStage | Test.Cardano.Ledger.Constrained.Preds.CertState |
| PStateStats | |
| 1 (Type/Class) | Cardano.Ledger.State.UTxO |
| 2 (Data Constructor) | Cardano.Ledger.State.UTxO |
| pStateSummary | Test.Cardano.Ledger.Generic.PrettyCore |
| pstateT | Test.Cardano.Ledger.Constrained.Vars |
| pstateTrace | Test.Cardano.Ledger.Constrained.Trace.TraceMonad |
| pStateZero | Test.Cardano.Ledger.Generic.ModelState |
| psUpdateCommittee | Test.Cardano.Ledger.Constrained.Conway.Instances.Ledger, Test.Cardano.Ledger.Constrained.Conway.Instances, Test.Cardano.Ledger.Constrained.Conway |
| psUTxOState | Test.Cardano.Ledger.Generic.PrettyCore |
| psX | Test.Cardano.Ledger.Constrained.Conway.LedgerTypes.WellFormed |
| Ptr | |
| 1 (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 |
| ptrMapL | Test.Cardano.Ledger.Constrained.Vars |
| PtrPtr | Cardano.Ledger.State.Schema |
| ptrPtr | Cardano.Ledger.State.Schema |
| PtrR | Test.Cardano.Ledger.Constrained.TypeRep |
| ptrs | Test.Cardano.Ledger.Constrained.Vars |
| ptrsL | Test.Cardano.Ledger.Constrained.Vars |
| ptrSlotNo | Cardano.Ledger.Credential |
| ptrsMap | Cardano.Ledger.Allegra.State, Cardano.Ledger.Alonzo.State, Cardano.Ledger.Babbage.State, Cardano.Ledger.Conway.State, Cardano.Ledger.State, Cardano.Ledger.Mary.State, Cardano.Ledger.Shelley.State, Cardano.Ledger.Shelley.LedgerState |
| ptrsUMapL | Test.Cardano.Ledger.Constrained.Lenses |
| ptrTxIx | Cardano.Ledger.Credential |
| ptrUniv | Test.Cardano.Ledger.Constrained.Vars |
| ptrUnivT | Test.Cardano.Ledger.Constrained.Preds.Universes |
| PtrUView | Cardano.Ledger.UMap |
| ptrUView | Cardano.Ledger.UMap |
| ptr_ | Cardano.Ledger.Shelley.Rules, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| pull | Control.Provenance |
| Pulsable | Data.Pulse |
| pulse | Data.Pulse |
| pulseDRepPulsingState | Cardano.Ledger.Conway.Governance.DRepPulser, Cardano.Ledger.Conway.Governance |
| PulseList | |
| 1 (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 |
| pulserWorks | Test.Cardano.Ledger.Constrained.Trace.DrepCertTx |
| pulseStep | Cardano.Ledger.Shelley.LedgerState, Cardano.Ledger.Shelley.Rules |
| Pulsing | Cardano.Ledger.Shelley.RewardUpdate, Cardano.Ledger.Shelley.LedgerState, Cardano.Ledger.Shelley.Rules |
| pulsingPairT | Test.Cardano.Ledger.Constrained.Vars |
| pulsingPulsingStateT | Test.Cardano.Ledger.Constrained.Vars |
| PulsingRewUpdate | Cardano.Ledger.Shelley.RewardUpdate, Cardano.Ledger.Shelley.LedgerState, Cardano.Ledger.Shelley.Rules |
| PulsingSnapshot | |
| 1 (Type/Class) | Cardano.Ledger.Conway.Governance.DRepPulser, Cardano.Ledger.Conway.Governance |
| 2 (Data Constructor) | Cardano.Ledger.Conway.Governance.DRepPulser, Cardano.Ledger.Conway.Governance |
| pulsingSnapshotL | Test.Cardano.Ledger.Constrained.Vars |
| pulsingSnapshotT | Test.Cardano.Ledger.Constrained.Vars |
| pulsingStatePulserL | Test.Cardano.Ledger.Constrained.Vars |
| puncLeft | Test.Cardano.Ledger.Generic.PrettyCore |
| pupProtocolParameters | Cardano.Chain.Update.Validation.Registration |
| pupProtocolVersion | Cardano.Chain.Update.Validation.Registration |
| pureGen | Constrained.GenT |
| 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) | Test.Cardano.Ledger.Constrained.Ast |
| 2 (Function) | Constrained.GenT |
| 3 (Function) | Control.Provenance |
| pushGE | Constrained.GenT |
| pushOtherProv | Control.Provenance |
| putAddr | Cardano.Ledger.Address |
| putCount | Test.Cardano.Ledger.Constrained.Trace.TraceMonad |
| putCredential | Cardano.Ledger.Address |
| putDoc | Test.Cardano.Ledger.Generic.PrettyCore |
| putEnv | Test.Cardano.Ledger.Constrained.Trace.TraceMonad |
| putM | Control.Provenance |
| putPPUP | Test.Cardano.Ledger.Constrained.Classes |
| putPretty | Test.Cardano.Ledger.Constrained.Conway.TxBodySpec |
| putPtr | Cardano.Ledger.Address |
| putRewardAccount | Cardano.Ledger.Address |
| putVariableLengthWord64 | Cardano.Ledger.Address |
| pV | Test.Cardano.Ledger.Constrained.Env |
| pvAlt | |
| 1 (Function) | Byron.Spec.Ledger.Update |
| 2 (Function) | Cardano.Chain.Update |
| PVBUMP | Byron.Spec.Ledger.Update |
| PVBUMPFailure | Byron.Spec.Ledger.Update |
| PvbumpPredicateFailure | Byron.Spec.Ledger.Update |
| pvCanFollow | |
| 1 (Function) | Byron.Spec.Ledger.Update |
| 2 (Function) | Cardano.Ledger.Shelley.PParams, Cardano.Ledger.Shelley.LedgerState |
| PVCannotFollowPPUP | Cardano.Ledger.Shelley.Rules |
| PVChangedInSVUpdate | Byron.Spec.Ledger.Update |
| pvMaj | Byron.Spec.Ledger.Update |
| pvMajor | |
| 1 (Function) | Cardano.Chain.Update |
| 2 (Function) | Cardano.Ledger.BaseTypes, 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 |
| pvtCommitteeNoConfidenceL | Cardano.Ledger.Conway.PParams |
| pvtCommitteeNormal | Cardano.Ledger.Conway.PParams, Cardano.Ledger.Conway.Core |
| pvtCommitteeNormalL | Cardano.Ledger.Conway.PParams |
| pvtHardForkInitiation | Cardano.Ledger.Conway.PParams, Cardano.Ledger.Conway.Core |
| pvtHardForkInitiationL | Cardano.Ledger.Conway.PParams |
| pvtMotionNoConfidence | Cardano.Ledger.Conway.PParams, Cardano.Ledger.Conway.Core |
| pvtMotionNoConfidenceL | Cardano.Ledger.Conway.PParams |
| pvtPPSecurityGroup | Cardano.Ledger.Conway.PParams, Cardano.Ledger.Conway.Core |
| pvtPPSecurityGroupL | Cardano.Ledger.Conway.PParams |
| pwcArgs | Cardano.Ledger.Plutus.Evaluate, Cardano.Ledger.Plutus |
| pwcCostModel | Cardano.Ledger.Plutus.Evaluate, Cardano.Ledger.Plutus |
| pwcExUnits | Cardano.Ledger.Plutus.Evaluate, Cardano.Ledger.Plutus |
| pwcProtocolVersion | Cardano.Ledger.Plutus.Evaluate, Cardano.Ledger.Plutus |
| pwcScript | Cardano.Ledger.Plutus.Evaluate, Cardano.Ledger.Plutus |
| pwcScriptHash | Cardano.Ledger.Plutus.Evaluate, Cardano.Ledger.Plutus |