| C | |
| 1 (Type/Class) | Test.Cardano.Ledger.Shelley.ConcreteCryptoTypes, Test.Cardano.Ledger.Shelley.Rewards |
| 2 (Type/Class) | Cardano.Ledger.State.UTxO |
| c | Byron.Spec.Ledger.GlobalParams |
| calcEraMinUTxO | Test.Cardano.Ledger.Shelley.Generator.EraGen |
| calcMinFeeTx | |
| 1 (Function) | Cardano.Ledger.Api.Tx, Cardano.Ledger.Api |
| 2 (Function) | Cardano.Ledger.Tools |
| calcMinFeeTxNativeScriptWits | Cardano.Ledger.Tools |
| calcPoolDistOldEqualsNew | Test.Cardano.Ledger.Tickf |
| calcPoolDistrStats | Cardano.Ledger.State.UTxO |
| calculateCommitteeAcceptedRatio | Test.Cardano.Ledger.Conway.ImpTest |
| calculateDRepAcceptedRatio | Test.Cardano.Ledger.Conway.ImpTest |
| calculatePoolAcceptedRatio | Test.Cardano.Ledger.Conway.ImpTest |
| calculatePoolDistr | |
| 1 (Function) | Cardano.Ledger.EpochBoundary |
| 2 (Function) | Cardano.Ledger.Shelley.Rules, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| calculatePoolDistr' | |
| 1 (Function) | Cardano.Ledger.EpochBoundary |
| 2 (Function) | Cardano.Ledger.Shelley.Rules, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| calculatePoolStake | Cardano.Ledger.EpochBoundary |
| calculateTxSizeLinear | Cardano.Chain.Common |
| calcUTxOSize | Cardano.Chain.Block |
| callStackToLocation | |
| 1 (Function) | Test.Cardano.Ledger.Allegra.TreeDiff |
| 2 (Function) | Test.Cardano.Ledger.Alonzo.TreeDiff |
| 3 (Function) | Test.Cardano.Ledger.Babbage.TreeDiff |
| 4 (Function) | Test.Cardano.Ledger.Binary.TreeDiff |
| 5 (Function) | Test.Cardano.Ledger.Conway.TreeDiff |
| 6 (Function) | Test.Cardano.Ledger.TreeDiff |
| 7 (Function) | Test.Cardano.Ledger.Mary.TreeDiff |
| 8 (Function) | Test.Cardano.Ledger.Shelley.TreeDiff |
| CanAdopt | Byron.Spec.Ledger.Update |
| CandidateProtocolUpdate | |
| 1 (Data Constructor) | Cardano.Chain.Update.Validation.Endorsement |
| 2 (Type/Class) | Cardano.Chain.Update.Validation.Endorsement |
| candidateProtocolUpdates | Cardano.Chain.Update.Validation.Interface |
| candidateProtocolVersions | Cardano.Chain.Update.Validation.Endorsement |
| CanFollow | Test.Cardano.Ledger.Constrained.Ast |
| canFollow | |
| 1 (Function) | Test.Cardano.Ledger.Constrained.Classes |
| 2 (Function) | Test.Cardano.Ledger.Constrained.Conway.LedgerTypes.Specs |
| canFollowExample | Constrained.Examples.CheatSheet |
| canFollowLike | Constrained.Examples.Basic, Constrained.Examples |
| CannotAdopt | Byron.Spec.Ledger.Update |
| CannotFollowPv | Byron.Spec.Ledger.Update |
| CannotFollowSv | Byron.Spec.Ledger.Update |
| CannotUpdatePv | Byron.Spec.Ledger.Update |
| canonicalInsert | Data.CanonicalMaps |
| canonicalMap | Data.CanonicalMaps |
| canonicalMapUnion | Data.CanonicalMaps |
| CanonicalZero | Data.CanonicalMaps |
| cantFollow | Test.Cardano.Ledger.Conway.ImpTest |
| canUpdate | Byron.Spec.Ledger.Update |
| cardinality | Constrained.Base, Constrained.Spec, Constrained.Internals |
| cardinalNumSpec | Constrained.Base, Constrained.Spec, Constrained.Internals, Constrained |
| cardinalTrueSpec | Constrained.Base, Constrained.Spec, Constrained.Internals, Constrained |
| cardinalTypeSpec | Constrained.Base, Constrained.Spec, Constrained.Internals, Constrained |
| carlAddr | |
| 1 (Function) | Test.Cardano.Ledger.Mary.Examples.Cast |
| 2 (Function) | Test.Cardano.Ledger.Shelley.Examples.Cast |
| carlPay | |
| 1 (Function) | Test.Cardano.Ledger.Mary.Examples.Cast |
| 2 (Function) | Test.Cardano.Ledger.Shelley.Examples.Cast |
| carlSHK | Test.Cardano.Ledger.Shelley.Examples.Cast |
| carlStake | |
| 1 (Function) | Test.Cardano.Ledger.Mary.Examples.Cast |
| 2 (Function) | Test.Cardano.Ledger.Shelley.Examples.Cast |
| Cartesian | Constrained.Spec.Pairs, Constrained.Spec, Constrained.Internals, Constrained |
| cartesian | Constrained.Spec.Pairs, Constrained.Spec, Constrained.Internals |
| Case | |
| 1 (Data Constructor) | Cardano.Ledger.Binary.Encoding, Cardano.Ledger.Binary |
| 2 (Type/Class) | Cardano.Ledger.Binary.Encoding, Cardano.Ledger.Binary |
| 3 (Type/Class) | Cardano.Ledger.Binary.Plain |
| 4 (Data Constructor) | Cardano.Ledger.Binary.Plain |
| 5 (Type/Class) | Test.Cardano.Ledger.TerseTools |
| 6 (Data Constructor) | Constrained.Base, Constrained.Spec, Constrained.Internals |
| caseBoolSpec | Constrained.Base, Constrained.Spec, Constrained.Internals, Constrained |
| caseKey | Test.Cardano.Ledger.TerseTools |
| caseOn | Constrained.Spec.Generics, Constrained.Spec, Constrained.Internals, Constrained |
| caseSOP | Constrained.Base, Constrained.Spec, Constrained.Internals |
| caseSpec | Constrained.Base, Constrained.Spec, Constrained.Internals |
| caseValue | |
| 1 (Function) | Cardano.Ledger.Binary.Encoding, Cardano.Ledger.Binary |
| 2 (Function) | Cardano.Ledger.Binary.Plain |
| cast | Test.Cardano.Ledger.Constrained.Preds.Universes |
| castCredCold | Test.Cardano.Ledger.Constrained.Preds.Universes |
| castCredHot | Test.Cardano.Ledger.Constrained.Preds.Universes |
| castSafeHash | Cardano.Ledger.SafeHash |
| castWitness | |
| 1 (Function) | Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common |
| 2 (Function) | Test.Common |
| Cat | Control.Iterate.Exp |
| catchGen | Constrained.GenT, Constrained.Internals, Constrained |
| catchGenT | Constrained.GenT, Constrained.Internals, Constrained |
| categoryLaws | Test.Common |
| catGEs | Constrained.GenT, Constrained.Internals, Constrained |
| Cbor | |
| 1 (Data Constructor) | Test.Cardano.Ledger.Binary.Cddl |
| 2 (Type/Class) | Test.Cardano.Ledger.Binary.Cddl |
| CBORBytes | |
| 1 (Data Constructor) | Test.Cardano.Ledger.Allegra.TreeDiff |
| 2 (Type/Class) | Test.Cardano.Ledger.Allegra.TreeDiff |
| 3 (Data Constructor) | Test.Cardano.Ledger.Alonzo.TreeDiff |
| 4 (Type/Class) | Test.Cardano.Ledger.Alonzo.TreeDiff |
| 5 (Data Constructor) | Test.Cardano.Ledger.Babbage.TreeDiff |
| 6 (Type/Class) | Test.Cardano.Ledger.Babbage.TreeDiff |
| 7 (Data Constructor) | Test.Cardano.Ledger.Binary.TreeDiff |
| 8 (Type/Class) | Test.Cardano.Ledger.Binary.TreeDiff |
| 9 (Data Constructor) | Test.Cardano.Ledger.Conway.TreeDiff |
| 10 (Type/Class) | Test.Cardano.Ledger.Conway.TreeDiff |
| 11 (Data Constructor) | Test.Cardano.Ledger.TreeDiff |
| 12 (Type/Class) | Test.Cardano.Ledger.TreeDiff |
| 13 (Data Constructor) | Test.Cardano.Ledger.Mary.TreeDiff |
| 14 (Type/Class) | Test.Cardano.Ledger.Mary.TreeDiff |
| 15 (Data Constructor) | Test.Cardano.Ledger.Shelley.TreeDiff |
| 16 (Type/Class) | Test.Cardano.Ledger.Shelley.TreeDiff |
| cborError | Cardano.Ledger.Binary.Plain, Cardano.Ledger.Binary.Decoding, Cardano.Ledger.Binary |
| cborFlatTermValid | Test.Cardano.Ledger.Binary.Vintage.Helpers |
| CBORGroup | |
| 1 (Data Constructor) | Cardano.Ledger.Binary.Group, Cardano.Ledger.Binary |
| 2 (Type/Class) | Cardano.Ledger.Binary.Group, Cardano.Ledger.Binary |
| cborTrip | |
| 1 (Function) | Test.Cardano.Ledger.Binary.RoundTrip |
| 2 (Function) | Test.Cardano.Ledger.Binary.Plain.RoundTrip |
| ccecDelegatees | Test.Cardano.Ledger.Conformance.ExecSpecRule.Conway.Base |
| ccecDeposits | Test.Cardano.Ledger.Conformance.ExecSpecRule.Conway.Base |
| ccecVotes | Test.Cardano.Ledger.Conformance.ExecSpecRule.Conway.Base |
| ccecWithdrawals | Test.Cardano.Ledger.Conformance.ExecSpecRule.Conway.Base |
| ccMaxBBSize | Cardano.Ledger.Chain |
| ccMaxBHSize | Cardano.Ledger.Chain |
| ccProtocolVersion | Cardano.Ledger.Chain |
| ccShouldBeExpired | Test.Cardano.Ledger.Conway.ImpTest |
| ccShouldBeResigned | Test.Cardano.Ledger.Conway.ImpTest |
| ccShouldNotBeExpired | Test.Cardano.Ledger.Conway.ImpTest |
| ccShouldNotBeResigned | Test.Cardano.Ledger.Conway.ImpTest |
| Cddl | |
| 1 (Data Constructor) | Test.Cardano.Ledger.Binary.Cddl |
| 2 (Type/Class) | Test.Cardano.Ledger.Binary.Cddl |
| cddl | |
| 1 (Function) | Test.Cardano.Ledger.Allegra.CDDL |
| 2 (Function) | Test.Cardano.Ledger.Mary.CDDL |
| CddlData | |
| 1 (Data Constructor) | Test.Cardano.Ledger.Binary.Cddl |
| 2 (Type/Class) | Test.Cardano.Ledger.Binary.Cddl |
| cddlData | Test.Cardano.Ledger.Binary.Cddl |
| cddlNumExamples | Test.Cardano.Ledger.Binary.Cddl |
| cddlRoundTripAnnCborSpec | Test.Cardano.Ledger.Binary.Cddl |
| cddlRoundTripAnnExpectation | Test.Cardano.Ledger.Binary.Cddl |
| cddlRoundTripCborSpec | Test.Cardano.Ledger.Binary.Cddl |
| cddlRoundTripExpectation | Test.Cardano.Ledger.Binary.Cddl |
| cddlVarData | Test.Cardano.Ledger.Binary.Cddl |
| cddlVarDiagCbor | Test.Cardano.Ledger.Binary.Cddl |
| CddlVarFile | |
| 1 (Data Constructor) | Test.Cardano.Ledger.Binary.Cddl |
| 2 (Type/Class) | Test.Cardano.Ledger.Binary.Cddl |
| cddlVarFilePath | Test.Cardano.Ledger.Binary.Cddl |
| cddlVarName | Test.Cardano.Ledger.Binary.Cddl |
| cDelegateeStake | Test.Cardano.Ledger.Constrained.Preds.Certs |
| cDelegateeStakeVote | Test.Cardano.Ledger.Constrained.Preds.Certs |
| cDelegateeVote | Test.Cardano.Ledger.Constrained.Preds.Certs |
| cDelegStake | Test.Cardano.Ledger.Constrained.Preds.Certs |
| cDelegStakeVote | Test.Cardano.Ledger.Constrained.Preds.Certs |
| cDelegVote | Test.Cardano.Ledger.Constrained.Preds.Certs |
| cdePools | Cardano.Ledger.Conway.Rules |
| cdePParams | Cardano.Ledger.Conway.Rules |
| ceCommitteeProposals | Cardano.Ledger.Conway.Rules |
| ceCurrentCommittee | Cardano.Ledger.Conway.Rules |
| ceCurrentEpoch | Cardano.Ledger.Conway.Rules |
| cePParams | Cardano.Ledger.Conway.Rules |
| CERT | Test.Cardano.Ledger.Generic.Proof |
| certAction | Test.Cardano.Ledger.Constrained.Trace.Actions |
| certainty | |
| 1 (Function) | Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common |
| 2 (Function) | Test.Common |
| CertCred | Test.Cardano.Ledger.Shelley.Generator.TxCert, Test.Cardano.Ledger.Shelley.Generator.Delegation |
| certDState | |
| 1 (Function) | Cardano.Ledger.CertState |
| 2 (Function) | Cardano.Ledger.Shelley.LedgerState, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| certDStateL | |
| 1 (Function) | Cardano.Ledger.CertState |
| 2 (Function) | Cardano.Ledger.Shelley.LedgerState |
| CertEnv | |
| 1 (Data Constructor) | Cardano.Ledger.Conway.Rules |
| 2 (Type/Class) | Cardano.Ledger.Conway.Rules |
| certEnvSpec | Test.Cardano.Ledger.Constrained.Conway.Cert, Test.Cardano.Ledger.Constrained.Conway |
| certEpoch | Byron.Spec.Ledger.Delegation |
| CertEvent | Cardano.Ledger.Conway.Rules |
| CertFailure | Cardano.Ledger.Conway.Rules |
| Certificate | Cardano.Chain.Delegation |
| certificate | Test.Cardano.Ledger.Shelley.CDDL |
| CertificateId | Cardano.Chain.Delegation |
| certificateMax | Test.Cardano.Ledger.Generic.GenState |
| CertificateNotSupported | Cardano.Ledger.Conway.TxInfo |
| CertifiedVRF | |
| 1 (Type/Class) | Cardano.Ledger.Keys |
| 2 (Type/Class) | Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| Certifying | Test.Cardano.Ledger.Generic.GenState |
| CertifyingPurpose | |
| 1 (Data Constructor) | Cardano.Ledger.Alonzo.Scripts, Cardano.Ledger.Alonzo.Core |
| 2 (Data Constructor) | Cardano.Ledger.Api.Scripts, Cardano.Ledger.Api.Tx.Body, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api |
| 3 (Data Constructor) | Cardano.Ledger.Babbage.Core |
| 4 (Data Constructor) | Cardano.Ledger.Conway.Core |
| CertIx | |
| 1 (Data Constructor) | Cardano.Ledger.BaseTypes |
| 2 (Type/Class) | Cardano.Ledger.BaseTypes |
| 3 (Type/Class) | Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| certIxFromIntegral | |
| 1 (Function) | Cardano.Ledger.BaseTypes |
| 2 (Function) | Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| certIxToInt | |
| 1 (Function) | Cardano.Ledger.BaseTypes |
| 2 (Function) | Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| CertKey | Test.Cardano.Ledger.Constrained.Conway.Cert, Test.Cardano.Ledger.Constrained.Conway.ParametricSpec, Test.Cardano.Ledger.Constrained.Conway.Instances, Test.Cardano.Ledger.Constrained.Conway |
| certPState | |
| 1 (Function) | Cardano.Ledger.CertState |
| 2 (Function) | Cardano.Ledger.Shelley.LedgerState, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| certPStateL | |
| 1 (Function) | Cardano.Ledger.CertState |
| 2 (Function) | Cardano.Ledger.Shelley.LedgerState |
| CERTS | |
| 1 (Type/Class) | Test.Cardano.Ledger.Shelley.Generator.Trace.TxCert, Test.Cardano.Ledger.Shelley.Generator.Trace.DCert |
| 2 (Data Constructor) | Test.Cardano.Ledger.Generic.Proof |
| Certs | Test.Cardano.Ledger.Generic.Fields |
| certs | |
| 1 (Function) | Test.Cardano.Ledger.Constrained.Vars |
| 2 (Function) | Test.Cardano.Ledger.Generic.Functions |
| Certs' | Test.Cardano.Ledger.Generic.Fields |
| certs' | |
| 1 (Function) | Cardano.Ledger.Alonzo.TxBody.Internal, Cardano.Ledger.Alonzo.TxBody |
| 2 (Function) | Cardano.Ledger.Babbage.TxBody.Internal, Cardano.Ledger.Babbage.TxBody |
| certsAction | Test.Cardano.Ledger.Constrained.Trace.Actions |
| certsCommitteeProposals | Cardano.Ledger.Conway.Rules |
| CertsContext | Test.Cardano.Ledger.Constrained.Conway.Certs, Test.Cardano.Ledger.Constrained.Conway |
| certsCurrentCommittee | Cardano.Ledger.Conway.Rules |
| certsCurrentEpoch | Cardano.Ledger.Conway.Rules |
| CertsEnv | |
| 1 (Data Constructor) | Cardano.Ledger.Conway.Rules |
| 2 (Type/Class) | Cardano.Ledger.Conway.Rules |
| certsEnvSpec | Test.Cardano.Ledger.Constrained.Conway.Certs, Test.Cardano.Ledger.Constrained.Conway |
| CertsEvent | Cardano.Ledger.Conway.Rules |
| certsOf | Test.Cardano.Ledger.Constrained.Trace.DrepCertTx |
| certsPParams | Cardano.Ledger.Conway.Rules |
| certsPreds | Test.Cardano.Ledger.Constrained.Preds.Certs |
| certsStage | Test.Cardano.Ledger.Constrained.Preds.Certs |
| CertState | |
| 1 (Data Constructor) | Cardano.Ledger.CertState |
| 2 (Type/Class) | Cardano.Ledger.CertState |
| 3 (Type/Class) | Cardano.Ledger.Shelley.LedgerState, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| 4 (Data Constructor) | Cardano.Ledger.Shelley.LedgerState, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| certStateCheckPreds | Test.Cardano.Ledger.Constrained.Preds.CertState |
| certStateGenPreds | Test.Cardano.Ledger.Constrained.Preds.CertState |
| certStatePreds | Test.Cardano.Ledger.Constrained.Preds.CertState |
| certStateSpec | |
| 1 (Function) | Test.Cardano.Ledger.Constrained.Conway.LedgerTypes.Specs |
| 2 (Function) | Test.Cardano.Ledger.Constrained.Conway.Cert, Test.Cardano.Ledger.Constrained.Conway |
| certStateSpecEx | Test.Cardano.Ledger.Constrained.Conway.Cert, Test.Cardano.Ledger.Constrained.Conway |
| certstateT | Test.Cardano.Ledger.Constrained.Vars |
| certsTotalDepositsTxBody | Cardano.Ledger.CertState |
| certsTotalRefundsTxBody | Cardano.Ledger.CertState |
| certsTx | Cardano.Ledger.Conway.Rules |
| certsTxBodyL | |
| 1 (Function) | Cardano.Ledger.Allegra.Core |
| 2 (Function) | Cardano.Ledger.Alonzo.Core |
| 3 (Function) | Cardano.Ledger.Api.Tx.Body, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api |
| 4 (Function) | Cardano.Ledger.Babbage.Core |
| 5 (Function) | Cardano.Ledger.Conway.Core |
| 6 (Function) | Cardano.Ledger.Core |
| 7 (Function) | Cardano.Ledger.Mary.Core |
| 8 (Function) | Cardano.Ledger.Shelley.Core |
| 9 (Function) | Test.Cardano.Ledger.EraClass |
| certVState | |
| 1 (Function) | Cardano.Ledger.CertState |
| 2 (Function) | Cardano.Ledger.Shelley.LedgerState, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| certVStateL | |
| 1 (Function) | Cardano.Ledger.CertState |
| 2 (Function) | Cardano.Ledger.Shelley.LedgerState |
| cfg | Test.Cardano.Ledger.Binary.Vintage.Helpers |
| cgceCommitteeProposals | Cardano.Ledger.Conway.Rules |
| cgceCurrentCommittee | Cardano.Ledger.Conway.Rules |
| cgceCurrentEpoch | Cardano.Ledger.Conway.Rules |
| cgcePParams | Cardano.Ledger.Conway.Rules |
| cgCommittee | |
| 1 (Function) | Cardano.Ledger.Api.Transition |
| 2 (Function) | Cardano.Ledger.Conway.Genesis |
| cgConstitution | |
| 1 (Function) | Cardano.Ledger.Api.Transition |
| 2 (Function) | Cardano.Ledger.Conway.Genesis |
| cgDelegs | |
| 1 (Function) | Cardano.Ledger.Api.Transition |
| 2 (Function) | Cardano.Ledger.Conway.Genesis |
| cgDelegsL | Cardano.Ledger.Conway.Genesis |
| cgInitialDReps | |
| 1 (Function) | Cardano.Ledger.Api.Transition |
| 2 (Function) | Cardano.Ledger.Conway.Genesis |
| cgsCommittee | |
| 1 (Function) | Cardano.Ledger.Api.Governance, Cardano.Ledger.Api |
| 2 (Function) | Cardano.Ledger.Conway.Governance |
| cgsCommitteeL | Cardano.Ledger.Conway.Governance |
| cgsConstitution | |
| 1 (Function) | Cardano.Ledger.Api.Governance, Cardano.Ledger.Api |
| 2 (Function) | Cardano.Ledger.Conway.Governance |
| cgsConstitutionL | Cardano.Ledger.Conway.Governance |
| cgsCurPParams | |
| 1 (Function) | Cardano.Ledger.Api.Governance, Cardano.Ledger.Api |
| 2 (Function) | Cardano.Ledger.Conway.Governance |
| cgsCurPParamsL | Cardano.Ledger.Conway.Governance |
| cgsDRepPulsingState | |
| 1 (Function) | Cardano.Ledger.Api.Governance, Cardano.Ledger.Api |
| 2 (Function) | Cardano.Ledger.Conway.Governance |
| cgsDRepPulsingStateL | Cardano.Ledger.Conway.Governance |
| cgsFuturePParams | |
| 1 (Function) | Cardano.Ledger.Api.Governance, Cardano.Ledger.Api |
| 2 (Function) | Cardano.Ledger.Conway.Governance |
| cgsFuturePParamsL | Cardano.Ledger.Conway.Governance |
| cgsPrevPParams | |
| 1 (Function) | Cardano.Ledger.Api.Governance, Cardano.Ledger.Api |
| 2 (Function) | Cardano.Ledger.Conway.Governance |
| cgsPrevPParamsL | Cardano.Ledger.Conway.Governance |
| cgsProposals | |
| 1 (Function) | Cardano.Ledger.Api.Governance, Cardano.Ledger.Api |
| 2 (Function) | Cardano.Ledger.Conway.Governance |
| cgsProposalsL | |
| 1 (Function) | Cardano.Ledger.Api.Governance, Cardano.Ledger.Api |
| 2 (Function) | Cardano.Ledger.Conway.Governance |
| cgUpgradePParams | |
| 1 (Function) | Cardano.Ledger.Api.Transition |
| 2 (Function) | Cardano.Ledger.Conway.Genesis |
| CHAIN | |
| 1 (Type/Class) | Byron.Spec.Chain.STS.Rule.Chain |
| 2 (Type/Class) | Test.Cardano.Ledger.Shelley.Rules.Chain |
| chainBlockStats | Byron.Spec.Chain.STS.Block |
| chainCandidateNonce | Test.Cardano.Ledger.Shelley.Rules.Chain |
| chainChecks | |
| 1 (Function) | Cardano.Ledger.Shelley.API.Validation, Cardano.Ledger.Shelley.API |
| 2 (Function) | Cardano.Ledger.Chain |
| ChainChecksPParams | |
| 1 (Data Constructor) | Cardano.Ledger.Chain |
| 2 (Type/Class) | Cardano.Ledger.Chain |
| ChainCode | |
| 1 (Data Constructor) | Cardano.Ledger.Keys.Bootstrap, Cardano.Ledger.Keys |
| 2 (Type/Class) | Cardano.Ledger.Keys.Bootstrap, Cardano.Ledger.Keys |
| ChainD | Control.Iterate.Exp |
| chainD | Control.Iterate.Exp |
| ChainDepState | |
| 1 (Data Constructor) | Cardano.Protocol.TPraos.API |
| 2 (Type/Class) | Cardano.Protocol.TPraos.API |
| ChainDifficulty | |
| 1 (Data Constructor) | Cardano.Chain.Common |
| 2 (Type/Class) | Cardano.Chain.Common |
| chainEpochNonce | Test.Cardano.Ledger.Shelley.Rules.Chain |
| ChainEvent | Test.Cardano.Ledger.Shelley.Rules.Chain |
| chainEvolvingNonce | Test.Cardano.Ledger.Shelley.Rules.Chain |
| CHAINExample | |
| 1 (Data Constructor) | Test.Cardano.Ledger.Shelley.Examples |
| 2 (Type/Class) | Test.Cardano.Ledger.Shelley.Examples |
| chainExamples | Test.Cardano.Ledger.Shelley.RulesTests |
| chainLastAppliedBlock | Test.Cardano.Ledger.Shelley.Rules.Chain |
| chainNes | Test.Cardano.Ledger.Shelley.Rules.Chain |
| chainOCertIssue | Test.Cardano.Ledger.Shelley.Rules.Chain |
| ChainPredicateFailure | |
| 1 (Type/Class) | Byron.Spec.Chain.STS.Rule.Chain |
| 2 (Type/Class) | Cardano.Ledger.Chain |
| chainPrevEpochNonce | Test.Cardano.Ledger.Shelley.Rules.Chain |
| ChainProperty | Test.Cardano.Ledger.Shelley.Utils |
| chainQ | Control.Iterate.Exp |
| chainSstWithTick | Test.Cardano.Ledger.Shelley.Rules.TestChain |
| ChainState | |
| 1 (Data Constructor) | Test.Cardano.Ledger.Shelley.Rules.Chain |
| 2 (Type/Class) | Test.Cardano.Ledger.Shelley.Rules.Chain |
| chainStateNesL | Test.Cardano.Ledger.Shelley.Rules.Chain |
| chainStep | Control.Iterate.Exp |
| chainTest | Test.Cardano.Ledger.Generic.Trace |
| ChainTransitionError | |
| 1 (Data Constructor) | Cardano.Protocol.TPraos.API |
| 2 (Type/Class) | Cardano.Protocol.TPraos.API |
| ChainValidationBlockAttributesTooLarge | Cardano.Chain.Block |
| ChainValidationBlockTooLarge | Cardano.Chain.Block |
| ChainValidationBoundaryTooLarge | Cardano.Chain.Block |
| ChainValidationDelegationPayloadError | Cardano.Chain.Block |
| ChainValidationDelegationSchedulingError | Cardano.Chain.Block |
| ChainValidationError | Cardano.Chain.Block |
| ChainValidationExpectedGenesisHash | Cardano.Chain.Block |
| ChainValidationExpectedHeaderHash | Cardano.Chain.Block |
| ChainValidationGenesisHashMismatch | Cardano.Chain.Block |
| ChainValidationHeaderAttributesTooLarge | Cardano.Chain.Block |
| ChainValidationHeaderTooLarge | Cardano.Chain.Block |
| ChainValidationInvalidDelegation | Cardano.Chain.Block |
| ChainValidationInvalidHash | Cardano.Chain.Block |
| ChainValidationInvalidSignature | Cardano.Chain.Block |
| ChainValidationMissingHash | Cardano.Chain.Block |
| ChainValidationProofValidationError | Cardano.Chain.Block |
| ChainValidationProtocolMagicMismatch | Cardano.Chain.Block |
| ChainValidationSignatureLight | Cardano.Chain.Block |
| ChainValidationState | |
| 1 (Data Constructor) | Cardano.Chain.Block |
| 2 (Type/Class) | Cardano.Chain.Block |
| ChainValidationTooManyDelegations | Cardano.Chain.Block |
| ChainValidationUnexpectedGenesisHash | Cardano.Chain.Block |
| ChainValidationUpdateError | Cardano.Chain.Block |
| ChainValidationUTxOValidationError | Cardano.Chain.Block |
| change | Test.Cardano.Ledger.Shelley.Generator.Utxo |
| changedDelegationsRatio | Byron.Spec.Ledger.Delegation |
| CharR | Test.Cardano.Ledger.Constrained.TypeRep |
| chatty | Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common |
| check | Test.Cardano.Ledger.Conformance.ExecSpecRule.MiniTrace |
| checkAddrSpendingData | Cardano.Chain.Common |
| checkApplicationName | Cardano.Chain.Update |
| checkConformance | Test.Cardano.Ledger.Conformance.ExecSpecRule.Core, Test.Cardano.Ledger.Conformance |
| checkCoverage | |
| 1 (Function) | Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common |
| 2 (Function) | Test.Common |
| checkCoverageWith | |
| 1 (Function) | Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common |
| 2 (Function) | Test.Common |
| checkEncoding | Test.Cardano.Ledger.Shelley.Serialisation.GoldenUtils |
| checkEncodingCBOR | Test.Cardano.Ledger.Shelley.Serialisation.GoldenUtils |
| checkEncodingCBORAnnotated | Test.Cardano.Ledger.Shelley.Serialisation.GoldenUtils |
| checkEncodingCBORDecodeFailure | Test.Cardano.Ledger.Shelley.Serialisation.GoldenUtils |
| checkForNegativeSize | Constrained.Base, Constrained.Spec, Constrained.Internals |
| checkForSoundness | Test.Cardano.Ledger.Constrained.Utils |
| checkLeaderNatValue | Cardano.Protocol.TPraos.BHeader |
| checkLeaderValue | Cardano.Protocol.TPraos.BHeader, Cardano.Protocol.TPraos.API |
| checkPred | Constrained.Base, Constrained.Spec, Constrained.Internals |
| checkPredicates | Test.Cardano.Ledger.Constrained.Tests |
| checkPredPure | Constrained.Base, Constrained.Spec, Constrained.Internals |
| checkPreds | Constrained.Base, Constrained.Spec, Constrained.Internals |
| checkRedeemAddress | Cardano.Chain.Common |
| checkSoftwareVersion | Cardano.Chain.Update |
| checkSystemTag | Cardano.Chain.Update |
| checkTrace | Test.Control.State.Transition.Trace |
| checkUpdateConstraints | Byron.Spec.Ledger.Update |
| checkVerKeyAddress | Cardano.Chain.Common |
| children | Test.Cardano.Ledger.Constrained.Preds.LedgerState |
| childrenV | Test.Cardano.Ledger.Constrained.Vars |
| Choose | Test.Cardano.Ledger.Constrained.Ast |
| choose | |
| 1 (Function) | Test.Cardano.Ledger.Imp.Common |
| 2 (Function) | Test.Cardano.Ledger.Common |
| 3 (Function) | Test.Common |
| chooseAny | |
| 1 (Function) | Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common |
| 2 (Function) | Test.Common |
| chooseBackwards | Constrained.Examples.Basic, Constrained.Examples |
| chooseBackwards' | Constrained.Examples.Basic, Constrained.Examples |
| chooseBoundedIntegral | |
| 1 (Function) | Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common |
| 2 (Function) | Test.Common |
| chooseEnum | |
| 1 (Function) | Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common |
| 2 (Function) | Test.Common |
| chooseInt | |
| 1 (Function) | Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common |
| 2 (Function) | Test.Common |
| chooseInteger | |
| 1 (Function) | Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common |
| 2 (Function) | Test.Common |
| chooseIssuer | Test.Cardano.Ledger.Generic.Trace |
| chooseSpec | Constrained.Spec.Generics, Constrained.Spec, Constrained.Internals, Constrained |
| chooseSpecExample | Constrained.Examples.CheatSheet |
| chooseT | Constrained.GenT, Constrained.Internals, Constrained |
| CI | Test.Cardano.Ledger.Constrained.Preds.Repl |
| ciAddmap | Test.Cardano.Ledger.Generic.ApplyTx |
| ciBal | Test.Cardano.Ledger.Generic.ApplyTx |
| ciDelset | Test.Cardano.Ledger.Generic.ApplyTx |
| circulation | Cardano.Ledger.Shelley.LedgerState |
| ciRet | Test.Cardano.Ledger.Generic.ApplyTx |
| cJust_ | Constrained.Spec.Generics, Constrained.Spec, Constrained.Internals, Constrained |
| cKeyHashObj | Test.Cardano.Ledger.Constrained.Conway.Instances.Ledger, Test.Cardano.Ledger.Constrained.Conway.Instances, Test.Cardano.Ledger.Constrained.Conway |
| classes | |
| 1 (Function) | Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common |
| 2 (Function) | Test.Common |
| classify | |
| 1 (Function) | Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common |
| 2 (Function) | Test.Common |
| classifyFirst | Test.Cardano.Ledger.Conformance.ExecSpecRule.MiniTrace |
| classifyFirst' | Test.Cardano.Ledger.Conformance.ExecSpecRule.MiniTrace |
| classifyMany | Test.Cardano.Ledger.Conformance.ExecSpecRule.MiniTrace |
| classifyOverlaySlot | Cardano.Protocol.TPraos.Rules.Overlay |
| classifySize | |
| 1 (Function) | Test.Control.State.Transition.Generator |
| 2 (Function) | Test.Control.State.Transition.Trace.Generator.QuickCheck |
| classifyTraceLength | |
| 1 (Function) | Test.Control.State.Transition.Generator |
| 2 (Function) | Test.Control.State.Transition.Trace.Generator.QuickCheck |
| classOf | Test.Cardano.Ledger.Conformance.ExecSpecRule.Core, Test.Cardano.Ledger.Conformance |
| clearRecent | Cardano.Ledger.Shelley.RewardUpdate |
| Closed | Cardano.Ledger.Binary.Coders |
| closure | Test.Control.State.Transition.Trace |
| cmpIndex | |
| 1 (Function) | Data.Universe |
| 2 (Function) | Test.Cardano.Ledger.Constrained.TypeRep |
| cmsExpiration | Cardano.Ledger.Api.State.Query |
| cmsHotCredAuthStatus | Cardano.Ledger.Api.State.Query |
| cmsNextEpochChange | Cardano.Ledger.Api.State.Query |
| cmsStatus | Cardano.Ledger.Api.State.Query |
| cNothing_ | Constrained.Spec.Generics, Constrained.Spec, Constrained.Internals, Constrained |
| CoArbitrary | |
| 1 (Type/Class) | Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common |
| 2 (Type/Class) | Test.Common |
| coarbitrary | |
| 1 (Function) | Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common |
| 2 (Function) | Test.Common |
| coarbitraryEnum | |
| 1 (Function) | Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common |
| 2 (Function) | Test.Common |
| coarbitraryIntegral | |
| 1 (Function) | Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common |
| 2 (Function) | Test.Common |
| coarbitraryReal | |
| 1 (Function) | Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common |
| 2 (Function) | Test.Common |
| coarbitraryShow | |
| 1 (Function) | Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common |
| 2 (Function) | Test.Common |
| coerceKeyRole | |
| 1 (Function) | Cardano.Ledger.Keys |
| 2 (Function) | Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| coerceValidated | Cardano.Ledger.Shelley.API.Mempool, Cardano.Ledger.Shelley.API |
| coerceWitness | |
| 1 (Function) | Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common |
| 2 (Function) | Test.Common |
| coerce_ | Test.Cardano.Ledger.Constrained.Conway.Instances.Ledger, Test.Cardano.Ledger.Constrained.Conway.Instances, Test.Cardano.Ledger.Constrained.Conway |
| Coin | |
| 1 (Data Constructor) | Cardano.Ledger.Coin |
| 2 (Type/Class) | Cardano.Ledger.Coin |
| 3 (Type/Class) | Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| 4 (Data Constructor) | Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| coin | |
| 1 (Function) | Cardano.Ledger.Val |
| 2 (Function) | Test.Cardano.Ledger.Core.Binary.CDDL |
| coinBalance | |
| 1 (Function) | Cardano.Ledger.UTxO |
| 2 (Function) | Cardano.Ledger.Shelley.UTxO |
| coinCompact | Cardano.Ledger.Val |
| CoinPerByte | |
| 1 (Type/Class) | Cardano.Ledger.Api.PParams, Cardano.Ledger.Api |
| 2 (Data Constructor) | Cardano.Ledger.Api.PParams, Cardano.Ledger.Api |
| 3 (Data Constructor) | Cardano.Ledger.Babbage.PParams, Cardano.Ledger.Babbage.Core |
| 4 (Type/Class) | Cardano.Ledger.Babbage.PParams, Cardano.Ledger.Babbage.Core |
| 5 (Data Constructor) | Cardano.Ledger.Conway.Core |
| 6 (Type/Class) | Cardano.Ledger.Conway.Core |
| CoinPerUTxOByte | Test.Cardano.Ledger.Generic.Fields |
| CoinPerUTxOWord | Test.Cardano.Ledger.Generic.Fields |
| CoinPerWord | |
| 1 (Data Constructor) | Cardano.Ledger.Alonzo.PParams, Cardano.Ledger.Alonzo.Core |
| 2 (Type/Class) | Cardano.Ledger.Alonzo.PParams, Cardano.Ledger.Alonzo.Core |
| 3 (Type/Class) | Cardano.Ledger.Api.PParams, Cardano.Ledger.Api |
| 4 (Data Constructor) | Cardano.Ledger.Api.PParams, Cardano.Ledger.Api |
| 5 (Data Constructor) | Cardano.Ledger.Babbage.Core |
| 6 (Type/Class) | Cardano.Ledger.Babbage.Core |
| 7 (Data Constructor) | Cardano.Ledger.Conway.Core |
| 8 (Type/Class) | Cardano.Ledger.Conway.Core |
| CoinR | Test.Cardano.Ledger.Constrained.TypeRep |
| coinSized | Test.Cardano.Ledger.Constrained.Combinators |
| coinsPerUTxOByte | Test.Cardano.Ledger.Constrained.Conway.Instances.Basic, Test.Cardano.Ledger.Constrained.Conway.Instances.PParams, Test.Cardano.Ledger.Constrained.Conway.Instances.Ledger, Test.Cardano.Ledger.Constrained.Conway.ParametricSpec, Test.Cardano.Ledger.Constrained.Conway.Instances, Test.Cardano.Ledger.Constrained.Conway |
| coinsPerUTxOByteToCoinsPerUTxOWord | |
| 1 (Function) | Cardano.Ledger.Api.PParams, Cardano.Ledger.Api |
| 2 (Function) | Cardano.Ledger.Babbage.PParams |
| coinsPerUTxOByte_ | Test.Cardano.Ledger.Constrained.Conway.Instances.PParams, Test.Cardano.Ledger.Constrained.Conway.ParametricSpec, Test.Cardano.Ledger.Constrained.Conway.Instances, Test.Cardano.Ledger.Constrained.Conway |
| coinsPerUTxOWord | Test.Cardano.Ledger.Constrained.Conway.Instances.Basic, Test.Cardano.Ledger.Constrained.Conway.Instances.PParams, Test.Cardano.Ledger.Constrained.Conway.Instances.Ledger, Test.Cardano.Ledger.Constrained.Conway.ParametricSpec, Test.Cardano.Ledger.Constrained.Conway.Instances, Test.Cardano.Ledger.Constrained.Conway |
| coinsPerUTxOWordToCoinsPerUTxOByte | |
| 1 (Function) | Cardano.Ledger.Api.PParams, Cardano.Ledger.Api |
| 2 (Function) | Cardano.Ledger.Babbage.PParams |
| coinsPerUTxOWord_ | Test.Cardano.Ledger.Constrained.Conway.Instances.PParams, Test.Cardano.Ledger.Constrained.Conway.ParametricSpec, Test.Cardano.Ledger.Constrained.Conway.Instances, Test.Cardano.Ledger.Constrained.Conway |
| coinToRational | Cardano.Ledger.Coin |
| coinToWord64 | Test.Cardano.Ledger.Constrained.Conway.Certs, Test.Cardano.Ledger.Constrained.Conway |
| coinTxOutL | |
| 1 (Function) | Cardano.Ledger.Allegra.Core |
| 2 (Function) | Cardano.Ledger.Alonzo.Core |
| 3 (Function) | Cardano.Ledger.Api.Tx.Out, Cardano.Ledger.Api.Tx.Body, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api |
| 4 (Function) | Cardano.Ledger.Babbage.Core |
| 5 (Function) | Cardano.Ledger.Conway.Core |
| 6 (Function) | Cardano.Ledger.Core |
| 7 (Function) | Cardano.Ledger.Mary.Core |
| 8 (Function) | Cardano.Ledger.Shelley.Core |
| 9 (Function) | Test.Cardano.Ledger.EraClass |
| coldCommitteeCredsUniv | Test.Cardano.Ledger.Constrained.Vars |
| ColdCommitteeRole | |
| 1 (Data Constructor) | Cardano.Ledger.Keys |
| 2 (Data Constructor) | Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| ColdKey | Test.Cardano.Ledger.Constrained.Conway.Cert, Test.Cardano.Ledger.Constrained.Conway.ParametricSpec, Test.Cardano.Ledger.Constrained.Conway.Instances, Test.Cardano.Ledger.Constrained.Conway |
| collAdaBalance | Cardano.Ledger.Babbage.Collateral |
| Collateral | Test.Cardano.Ledger.Generic.Fields |
| collateral | |
| 1 (Function) | Test.Cardano.Ledger.Examples.BabbageFeatures |
| 2 (Function) | Test.Cardano.Ledger.Constrained.Vars |
| Collateral' | Test.Cardano.Ledger.Generic.Fields |
| collateral' | Cardano.Ledger.Alonzo.TxBody.Internal, Cardano.Ledger.Alonzo.TxBody |
| CollateralContainsNonADA | |
| 1 (Data Constructor) | Cardano.Ledger.Alonzo.Rules |
| 2 (Data Constructor) | Cardano.Ledger.Conway.Rules |
| collateralInputs' | Cardano.Ledger.Babbage.TxBody.Internal, Cardano.Ledger.Babbage.TxBody |
| collateralInputsTxBodyL | |
| 1 (Function) | Cardano.Ledger.Alonzo.TxBody.Internal, Cardano.Ledger.Alonzo.TxBody, Cardano.Ledger.Alonzo.Core |
| 2 (Function) | Cardano.Ledger.Api.Tx.Body, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api |
| 3 (Function) | Cardano.Ledger.Babbage.Core |
| 4 (Function) | Cardano.Ledger.Conway.Core |
| 5 (Function) | Test.Cardano.Ledger.EraClass |
| collateralOutput | |
| 1 (Function) | Test.Cardano.Ledger.Babbage.Examples.Consensus |
| 2 (Function) | Test.Cardano.Ledger.Conway.Examples.Consensus |
| CollateralPercentage | Test.Cardano.Ledger.Generic.Fields |
| collateralPercentage | |
| 1 (Function) | Test.Cardano.Ledger.Constrained.Vars |
| 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.ParametricSpec, Test.Cardano.Ledger.Constrained.Conway.Instances, Test.Cardano.Ledger.Constrained.Conway |
| collateralPercentage' | Test.Cardano.Ledger.Generic.Functions |
| collateralPercentage_ | Test.Cardano.Ledger.Constrained.Conway.Instances.PParams, Test.Cardano.Ledger.Constrained.Conway.ParametricSpec, Test.Cardano.Ledger.Constrained.Conway.Instances, Test.Cardano.Ledger.Constrained.Conway |
| CollateralReturn | Test.Cardano.Ledger.Generic.Fields |
| collateralReturn | Test.Cardano.Ledger.Constrained.Vars |
| CollateralReturn' | Test.Cardano.Ledger.Generic.Fields |
| collateralReturn' | Cardano.Ledger.Babbage.TxBody.Internal, Cardano.Ledger.Babbage.TxBody |
| collateralReturnTxBodyL | |
| 1 (Function) | Cardano.Ledger.Api.Tx.Body, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api |
| 2 (Function) | Cardano.Ledger.Babbage.TxBody.Internal, Cardano.Ledger.Babbage.TxBody, Cardano.Ledger.Babbage.Core |
| 3 (Function) | Cardano.Ledger.Conway.Core |
| Collect | |
| 1 (Data Constructor) | Control.Iterate.Collect |
| 2 (Type/Class) | Control.Iterate.Collect |
| collect | |
| 1 (Function) | Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common |
| 2 (Function) | Test.Common |
| CollectError | Cardano.Ledger.Alonzo.Plutus.Evaluate |
| CollectErrors | |
| 1 (Data Constructor) | Cardano.Ledger.Alonzo.Rules |
| 2 (Data Constructor) | Cardano.Ledger.Conway.Rules |
| collectionDatumMaxSize | Test.Cardano.Ledger.Shelley.Arbitrary |
| collectPlutusScriptsWithContext | Cardano.Ledger.Alonzo.Plutus.Evaluate |
| collectStats | Cardano.Ledger.State.UTxO |
| CollInfo | |
| 1 (Data Constructor) | Test.Cardano.Ledger.Generic.ApplyTx |
| 2 (Type/Class) | Test.Cardano.Ledger.Generic.ApplyTx |
| collInfo | Test.Cardano.Ledger.Generic.ApplyTx |
| collInputsMax | Test.Cardano.Ledger.Generic.GenState |
| collOuts | Cardano.Ledger.Babbage.Collateral |
| ColPlus | |
| 1 (Data Constructor) | Control.Iterate.Collect |
| 2 (Type/Class) | Control.Iterate.Collect |
| colRetAddr | Test.Cardano.Ledger.Constrained.Vars |
| colRetCoin | Test.Cardano.Ledger.Constrained.Vars |
| colTxOutSetT | Test.Cardano.Ledger.Constrained.Preds.Universes |
| colTxOutT | Test.Cardano.Ledger.Constrained.Preds.Universes |
| colTxoutUniv | Test.Cardano.Ledger.Constrained.Vars |
| combinedScripts | Test.Cardano.Ledger.Shelley.Generator.ScriptClass |
| combineFoldSpec | Constrained.Base, Constrained.Spec, Constrained.Internals |
| combineNumSpec | Constrained.Base, Constrained.Spec, Constrained.Internals, Constrained |
| combineSpec | Constrained.Base, Constrained.Spec, Constrained.Internals, Constrained |
| combTypeName | Constrained.Base, Constrained.Spec, Constrained.Internals |
| CommColdCredR | Test.Cardano.Ledger.Constrained.TypeRep |
| CommHotCredR | Test.Cardano.Ledger.Constrained.TypeRep |
| Commit | Test.Control.State.Transition.Examples.CommitReveal |
| committedHashes | Test.Control.State.Transition.Examples.CommitReveal |
| Committee | |
| 1 (Data Constructor) | Cardano.Ledger.Conway.Governance |
| 2 (Type/Class) | Cardano.Ledger.Conway.Governance |
| committeeAccepted | Cardano.Ledger.Conway.Rules |
| committeeAcceptedRatio | Cardano.Ledger.Conway.Rules |
| CommitteeAuthorization | Cardano.Ledger.CertState |
| CommitteeAuthorizationR | Test.Cardano.Ledger.Constrained.TypeRep |
| committeeChildren | Test.Cardano.Ledger.Constrained.Vars |
| committeeGovStateL | Cardano.Ledger.Conway.Governance |
| CommitteeHotCredential | Cardano.Ledger.CertState |
| committeeL | Test.Cardano.Ledger.Constrained.Vars |
| committeeMaxTermLength | Test.Cardano.Ledger.Constrained.Conway.Instances.Basic, Test.Cardano.Ledger.Constrained.Conway.Instances.PParams, Test.Cardano.Ledger.Constrained.Conway.Instances.Ledger, Test.Cardano.Ledger.Constrained.Conway.ParametricSpec, Test.Cardano.Ledger.Constrained.Conway.Instances, Test.Cardano.Ledger.Constrained.Conway |
| committeeMaxTermLength_ | Test.Cardano.Ledger.Constrained.Conway.Instances.PParams, Test.Cardano.Ledger.Constrained.Conway.ParametricSpec, Test.Cardano.Ledger.Constrained.Conway.Instances, Test.Cardano.Ledger.Constrained.Conway |
| CommitteeMemberResigned | Cardano.Ledger.CertState |
| committeeMembers | Cardano.Ledger.Conway.Governance |
| committeeMembersL | Cardano.Ledger.Conway.Governance |
| CommitteeMembersState | |
| 1 (Data Constructor) | Cardano.Ledger.Api.State.Query |
| 2 (Type/Class) | Cardano.Ledger.Api.State.Query |
| CommitteeMemberState | |
| 1 (Data Constructor) | Cardano.Ledger.Api.State.Query |
| 2 (Type/Class) | Cardano.Ledger.Api.State.Query |
| committeeMinSize | Test.Cardano.Ledger.Constrained.Conway.Instances.Basic, Test.Cardano.Ledger.Constrained.Conway.Instances.PParams, Test.Cardano.Ledger.Constrained.Conway.Instances.Ledger, Test.Cardano.Ledger.Constrained.Conway.ParametricSpec, Test.Cardano.Ledger.Constrained.Conway.Instances, Test.Cardano.Ledger.Constrained.Conway |
| committeeMinSize_ | Test.Cardano.Ledger.Constrained.Conway.Instances.PParams, Test.Cardano.Ledger.Constrained.Conway.ParametricSpec, Test.Cardano.Ledger.Constrained.Conway.Instances, Test.Cardano.Ledger.Constrained.Conway |
| CommitteePurpose | |
| 1 (Data Constructor) | Cardano.Ledger.Api.Governance, Cardano.Ledger.Api |
| 2 (Data Constructor) | Cardano.Ledger.Conway.Governance |
| CommitteeR | Test.Cardano.Ledger.Constrained.TypeRep |
| CommitteeState | |
| 1 (Data Constructor) | Cardano.Ledger.CertState |
| 2 (Type/Class) | Cardano.Ledger.CertState |
| committeeState | Test.Cardano.Ledger.Constrained.Vars |
| committeeStateL | Test.Cardano.Ledger.Constrained.Vars |
| CommitteeStateR | Test.Cardano.Ledger.Constrained.TypeRep |
| committeeT | Test.Cardano.Ledger.Constrained.Vars |
| CommitteeTermLimit | Test.Cardano.Ledger.Generic.Fields |
| committeeThreshold | Cardano.Ledger.Conway.Governance |
| committeeThresholdL | Cardano.Ledger.Conway.Governance |
| committeeVar | Test.Cardano.Ledger.Constrained.Vars |
| CommitteeVoter | |
| 1 (Data Constructor) | Cardano.Ledger.Api.Governance, Cardano.Ledger.Api |
| 2 (Data Constructor) | Cardano.Ledger.Conway.Governance |
| committeeVotesV | Test.Cardano.Ledger.Constrained.Vars |
| commMembers | Test.Cardano.Ledger.Constrained.Vars |
| commonTests | Test.Cardano.Ledger.Shelley.PropertyTests |
| commQuorum | Test.Cardano.Ledger.Constrained.Vars |
| commutativeCategoryLaws | Test.Common |
| commutativeMonoidLaws | Test.Common |
| commutativeSemigroupLaws | Test.Common |
| commutesNumSpec | Constrained.Test |
| commuteTimes | Constrained.Test |
| CompactAddr | Cardano.Ledger.Address |
| compactAddr | Cardano.Ledger.Address |
| CompactAddress | Cardano.Chain.Common |
| compactAddrTxOutL | |
| 1 (Function) | Cardano.Ledger.Allegra.Core |
| 2 (Function) | Cardano.Ledger.Alonzo.Core |
| 3 (Function) | Cardano.Ledger.Babbage.Core |
| 4 (Function) | Cardano.Ledger.Conway.Core |
| 5 (Function) | Cardano.Ledger.Core |
| 6 (Function) | Cardano.Ledger.Mary.Core |
| 7 (Function) | Cardano.Ledger.Shelley.Core |
| 8 (Function) | Test.Cardano.Ledger.EraClass |
| CompactCoin | Cardano.Ledger.Coin, Cardano.Ledger.UMap |
| compactCoinOrError | Cardano.Ledger.Coin, Cardano.Ledger.UMap |
| compactCoinTxOutL | |
| 1 (Function) | Cardano.Ledger.Allegra.Core |
| 2 (Function) | Cardano.Ledger.Alonzo.Core |
| 3 (Function) | Cardano.Ledger.Babbage.Core |
| 4 (Function) | Cardano.Ledger.Conway.Core |
| 5 (Function) | Cardano.Ledger.Core |
| 6 (Function) | Cardano.Ledger.Mary.Core |
| 7 (Function) | Cardano.Ledger.Shelley.Core |
| CompactDeltaCoin | Cardano.Ledger.Coin |
| CompactForm | |
| 1 (Type/Class) | Cardano.Ledger.Compactible, Cardano.Ledger.Coin, Cardano.Ledger.UMap |
| 2 (Type/Class) | Cardano.Ledger.Mary.Value |
| Compactible | Cardano.Ledger.Compactible |
| CompactRedeemVerificationKey | |
| 1 (Data Constructor) | Cardano.Crypto.Signing.Redeem, Cardano.Crypto.Signing, Cardano.Crypto |
| 2 (Type/Class) | Cardano.Crypto.Signing.Redeem, Cardano.Crypto.Signing, Cardano.Crypto |
| compactRewardMap | Cardano.Ledger.UMap |
| CompactTxId | Cardano.Chain.UTxO |
| CompactTxIn | Cardano.Chain.UTxO |
| CompactTxInUtxo | Cardano.Chain.UTxO |
| CompactTxOut | |
| 1 (Data Constructor) | Cardano.Chain.UTxO |
| 2 (Type/Class) | Cardano.Chain.UTxO |
| CompactValue | |
| 1 (Data Constructor) | Cardano.Ledger.Mary.Value |
| 2 (Type/Class) | Cardano.Ledger.Mary.Value |
| CompactValueAdaOnly | Cardano.Ledger.Mary.Value |
| CompactValueMultiAsset | Cardano.Ledger.Mary.Value |
| compactValueTxOutL | |
| 1 (Function) | Cardano.Ledger.Allegra.Core |
| 2 (Function) | Cardano.Ledger.Alonzo.Core |
| 3 (Function) | Cardano.Ledger.Babbage.Core |
| 4 (Function) | Cardano.Ledger.Conway.Core |
| 5 (Function) | Cardano.Ledger.Core |
| 6 (Function) | Cardano.Ledger.Mary.Core |
| 7 (Function) | Cardano.Ledger.Shelley.Core |
| 8 (Function) | Test.Cardano.Ledger.EraClass |
| compareByShape | Data.Universe |
| compareHexDump | Test.Cardano.Ledger.Binary.Vintage.Helpers.GoldenRoundTrip |
| CompareResult | Cardano.Ledger.NonIntegral |
| compCurryR | Control.Iterate.Exp |
| compile | |
| 1 (Function) | Test.Cardano.Ledger.Constrained.Rewrite |
| 2 (Function) | Control.Iterate.SetAlgebra |
| compileGenWithSubst | Test.Cardano.Ledger.Constrained.Rewrite |
| compileSubterm | Control.Iterate.SetAlgebra |
| compileTraceWithSubst | Test.Cardano.Ledger.Constrained.Trace.TraceMonad |
| Complete | Cardano.Ledger.Shelley.RewardUpdate, Cardano.Ledger.Shelley.LedgerState, Cardano.Ledger.Shelley.Rules |
| complete | |
| 1 (Function) | Data.Pulse |
| 2 (Function) | Test.Cardano.Ledger.Generic.ModelState |
| completeDRepPulsingState | Cardano.Ledger.Conway.Governance.DRepPulser, Cardano.Ledger.Conway.Governance |
| completeM | Data.Pulse |
| completePulsingStateT | Test.Cardano.Ledger.Constrained.Vars |
| completeRupd | Cardano.Ledger.Shelley.LedgerState |
| completeStep | Cardano.Ledger.Shelley.LedgerState, Cardano.Ledger.Shelley.Rules |
| completeTxBody | Test.Cardano.Ledger.Constrained.Trace.SimpleTx |
| complexUnion | Constrained.Examples.Set, Constrained.Examples |
| Component | Test.Cardano.Ledger.Constrained.Ast |
| componentPreds | Test.Cardano.Ledger.Constrained.Examples |
| Compose | Constrained.Base, Constrained.Spec, Constrained.Internals |
| compose1 | Control.Iterate.Exp |
| composeFn | Constrained.Base, Constrained.Spec, Constrained.Internals |
| composeSubst | Test.Cardano.Ledger.Constrained.Ast |
| compositionalSpec | Constrained.Examples.Set, Constrained.Examples |
| compSndL | Control.Iterate.Exp |
| compSndR | Control.Iterate.Exp |
| computationResultToEither | Test.Cardano.Ledger.Conformance |
| compute | Control.Iterate.SetAlgebra |
| computeBinderDependencies | Constrained.Base, Constrained.Spec, Constrained.Internals |
| computedCtx | Test.Cardano.Ledger.Binary.Vintage.Helpers |
| computeDependencies | Constrained.Base, Constrained.Spec, Constrained.Internals |
| computeDRepDistr | Cardano.Ledger.Conway.Governance.DRepPulser, Cardano.Ledger.Conway.Governance |
| computeDRepExpiry | Cardano.Ledger.Conway.Rules |
| computeFinalFee | Test.Cardano.Ledger.Constrained.Preds.Tx |
| computeHints | Constrained.Base, Constrained.Spec, Constrained.Internals |
| computeRandomnessStabilisationWindow | Cardano.Ledger.Shelley.StabilityWindow, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| computeSets | Test.Cardano.Ledger.Constrained.Conway.Cert, Test.Cardano.Ledger.Constrained.Conway |
| computeSlow | Control.Iterate.SetAlgebra |
| computeSpec | Constrained.Base, Constrained.Spec, Constrained.Internals |
| computeSpecBinder | Constrained.Base, Constrained.Spec, Constrained.Internals |
| computeSpecBinderSimplified | Constrained.Base, Constrained.Spec, Constrained.Internals |
| computeSpecSimplified | Constrained.Base, Constrained.Spec, Constrained.Internals |
| computeStabilityWindow | Cardano.Ledger.Shelley.StabilityWindow, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| computeTermDependencies | Constrained.Base, Constrained.Spec, Constrained.Internals |
| computeTermDependencies' | Constrained.Base, Constrained.Spec, Constrained.Internals |
| con | Constrained.Spec.Generics, Constrained.Spec, Constrained.Internals, Constrained |
| concat | Cardano.Chain.UTxO.UTxO, Cardano.Chain.UTxO |
| concatGroups | |
| 1 (Function) | Test.Options |
| 2 (Function) | Test.Options |
| concatTSGroups | |
| 1 (Function) | Test.Options |
| 2 (Function) | Test.Options |
| condReverse | Test.Cardano.Ledger.Constrained.Spec |
| conf | Main |
| Confidence | |
| 1 (Type/Class) | Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common |
| 2 (Data Constructor) | Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common |
| 3 (Data Constructor) | Test.Common |
| 4 (Type/Class) | Test.Common |
| Config | |
| 1 (Data Constructor) | Cardano.Chain.Genesis |
| 2 (Type/Class) | Cardano.Chain.Genesis |
| configAvvmDistr | Cardano.Chain.Genesis |
| configChainQualityThreshold | Cardano.Chain.Genesis |
| configEpochSlots | Cardano.Chain.Genesis |
| configGenesisData | Cardano.Chain.Genesis |
| configGenesisHash | Cardano.Chain.Genesis |
| configGenesisHeaderHash | Cardano.Chain.Genesis |
| configGenesisKeyHashes | Cardano.Chain.Genesis |
| configHeavyDelegation | Cardano.Chain.Genesis |
| configK | Cardano.Chain.Genesis |
| configNonAvvmBalances | Cardano.Chain.Genesis |
| configProtocolMagic | Cardano.Chain.Genesis |
| configProtocolMagicId | Cardano.Chain.Genesis |
| configProtocolParameters | Cardano.Chain.Genesis |
| configReqNetMagic | Cardano.Chain.Genesis |
| configSlotSecurityParam | Cardano.Chain.Genesis |
| configStartTime | Cardano.Chain.Genesis |
| ConfigurationError | Cardano.Chain.Genesis |
| ConfigurationGenesisDataError | Cardano.Chain.Genesis |
| configUTxOConfiguration | Cardano.Chain.Genesis |
| confirmedProposals | |
| 1 (Function) | Byron.Spec.Ledger.Update |
| 2 (Function) | Cardano.Chain.Update.Validation.Interface |
| 3 (Function) | Cardano.Chain.Update.Validation.Endorsement |
| ConflictingCommitteeUpdate | Cardano.Ledger.Conway.Rules |
| ConflictingMetadataHash | |
| 1 (Data Constructor) | Cardano.Ledger.Conway.Rules |
| 2 (Data Constructor) | Cardano.Ledger.Shelley.Rules |
| conformsTo | Constrained.Base, Constrained.Spec, Constrained.Internals, Constrained |
| conformsToFoldSpec | Constrained.Base, Constrained.Spec, Constrained.Internals |
| conformsToImpl | Test.Cardano.Ledger.Conformance.ExecSpecRule.Core, Test.Cardano.Ledger.Conformance |
| conformsToNumSpec | Constrained.Base, Constrained.Spec, Constrained.Internals, Constrained |
| conformsToSpec | Constrained.Base, Constrained.Spec, Constrained.Internals, Constrained |
| conformsToSpecM | Constrained.Base, Constrained.Spec, Constrained.Internals |
| conformsToSpecProp | Constrained.Base, Constrained.Spec, Constrained.Internals, Constrained |
| conInputs | Cardano.Ledger.Shelley.AdaPots |
| conjoin | |
| 1 (Function) | Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common |
| 2 (Function) | Test.Common |
| conRefunds | Cardano.Ledger.Shelley.AdaPots |
| consistent | Test.Cardano.Ledger.Constrained.Spec |
| consistentUtxoSizeProp | Test.Cardano.Ledger.Generic.AggPropTests |
| constant | Control.Iterate.Exp |
| constantByteString | |
| 1 (Function) | Test.Cardano.Crypto.CBOR |
| 2 (Function) | Test.Cardano.Crypto.CBOR |
| Constants | |
| 1 (Type/Class) | Test.Cardano.Ledger.Shelley.Generator.Constants |
| 2 (Data Constructor) | Test.Cardano.Ledger.Shelley.Generator.Constants |
| 3 (Data Constructor) | Test.Cardano.Ledger.Shelley.Constants |
| 4 (Type/Class) | Test.Cardano.Ledger.Shelley.Constants |
| Constitution | |
| 1 (Type/Class) | Cardano.Ledger.Api.Governance, Cardano.Ledger.Api |
| 2 (Data Constructor) | Cardano.Ledger.Api.Governance, Cardano.Ledger.Api |
| 3 (Data Constructor) | Cardano.Ledger.Conway.Governance |
| 4 (Type/Class) | Cardano.Ledger.Conway.Governance |
| constitution | Test.Cardano.Ledger.Constrained.Vars |
| constitutionAnchor | |
| 1 (Function) | Cardano.Ledger.Api.Governance, Cardano.Ledger.Api |
| 2 (Function) | Cardano.Ledger.Conway.Governance |
| constitutionAnchorL | |
| 1 (Function) | Cardano.Ledger.Api.Governance, Cardano.Ledger.Api |
| 2 (Function) | Cardano.Ledger.Conway.Governance |
| constitutionChildren | Test.Cardano.Ledger.Constrained.Vars |
| constitutionGovStateL | Cardano.Ledger.Conway.Governance |
| ConstitutionPurpose | |
| 1 (Data Constructor) | Cardano.Ledger.Api.Governance, Cardano.Ledger.Api |
| 2 (Data Constructor) | Cardano.Ledger.Conway.Governance |
| ConstitutionR | Test.Cardano.Ledger.Constrained.TypeRep |
| constitutionScript | |
| 1 (Function) | Cardano.Ledger.Api.Governance, Cardano.Ledger.Api |
| 2 (Function) | Cardano.Ledger.Conway.Governance |
| constitutionScriptL | |
| 1 (Function) | Cardano.Ledger.Api.Governance, Cardano.Ledger.Api |
| 2 (Function) | Cardano.Ledger.Conway.Governance |
| constitutionT | Test.Cardano.Ledger.Constrained.Vars |
| Constr | |
| 1 (Data Constructor) | Test.Cardano.Ledger.Constrained.Ast |
| 2 (Type/Class) | Constrained.Base, Constrained.Spec, Constrained.Internals |
| constrained | Constrained.Base, Constrained.Spec, Constrained.Internals, Constrained |
| constrained' | Constrained.Spec.Generics, Constrained.Spec, Constrained.Internals, Constrained |
| constrainInterval | Constrained.Base, Constrained.Spec, Constrained.Internals |
| constraintProperty | Test.Cardano.Ledger.Constrained.Tests |
| constraints | Test.Cardano.Ledger.Constrained.Examples |
| ConstrOf | Constrained.Base, Constrained.Spec, Constrained.Internals |
| constRootTarget | Test.Cardano.Ledger.Constrained.Ast |
| constructMetadata | Cardano.Ledger.Shelley.BlockChain |
| constructTx | Test.Cardano.Ledger.Shelley.Generator.EraGen |
| consts | Constrained.Base, Constrained.Spec, Constrained.Internals |
| constTarget | Test.Cardano.Ledger.Constrained.Ast |
| ConsumeBool | Cardano.Ledger.Binary.Plain, Cardano.Ledger.Binary.Decoding, Cardano.Ledger.Binary |
| ConsumeBreakOr | Cardano.Ledger.Binary.Plain, Cardano.Ledger.Binary.Decoding, Cardano.Ledger.Binary |
| ConsumeByteArray | Cardano.Ledger.Binary.Plain, Cardano.Ledger.Binary.Decoding, Cardano.Ledger.Binary |
| ConsumeByteArrayCanonical | Cardano.Ledger.Binary.Plain, Cardano.Ledger.Binary.Decoding, Cardano.Ledger.Binary |
| ConsumeBytes | Cardano.Ledger.Binary.Plain, Cardano.Ledger.Binary.Decoding, Cardano.Ledger.Binary |
| ConsumeBytesCanonical | Cardano.Ledger.Binary.Plain, Cardano.Ledger.Binary.Decoding, Cardano.Ledger.Binary |
| ConsumeBytesIndef | Cardano.Ledger.Binary.Plain, Cardano.Ledger.Binary.Decoding, Cardano.Ledger.Binary |
| Consumed | |
| 1 (Data Constructor) | Cardano.Ledger.Shelley.AdaPots |
| 2 (Type/Class) | Cardano.Ledger.Shelley.AdaPots |
| consumed | Cardano.Ledger.Shelley.UTxO, Cardano.Ledger.Shelley.LedgerState |
| ConsumeDouble | Cardano.Ledger.Binary.Plain, Cardano.Ledger.Binary.Decoding, Cardano.Ledger.Binary |
| ConsumeDoubleCanonical | Cardano.Ledger.Binary.Plain, Cardano.Ledger.Binary.Decoding, Cardano.Ledger.Binary |
| consumedTxBody | Cardano.Ledger.Shelley.AdaPots |
| ConsumeFloat | Cardano.Ledger.Binary.Plain, Cardano.Ledger.Binary.Decoding, Cardano.Ledger.Binary |
| ConsumeFloat16Canonical | Cardano.Ledger.Binary.Plain, Cardano.Ledger.Binary.Decoding, Cardano.Ledger.Binary |
| ConsumeFloatCanonical | Cardano.Ledger.Binary.Plain, Cardano.Ledger.Binary.Decoding, Cardano.Ledger.Binary |
| ConsumeInt | Cardano.Ledger.Binary.Plain, Cardano.Ledger.Binary.Decoding, Cardano.Ledger.Binary |
| ConsumeInt16 | Cardano.Ledger.Binary.Plain, Cardano.Ledger.Binary.Decoding, Cardano.Ledger.Binary |
| ConsumeInt16Canonical | Cardano.Ledger.Binary.Plain, Cardano.Ledger.Binary.Decoding, Cardano.Ledger.Binary |
| ConsumeInt32 | Cardano.Ledger.Binary.Plain, Cardano.Ledger.Binary.Decoding, Cardano.Ledger.Binary |
| ConsumeInt32Canonical | Cardano.Ledger.Binary.Plain, Cardano.Ledger.Binary.Decoding, Cardano.Ledger.Binary |
| ConsumeInt8 | Cardano.Ledger.Binary.Plain, Cardano.Ledger.Binary.Decoding, Cardano.Ledger.Binary |
| ConsumeInt8Canonical | Cardano.Ledger.Binary.Plain, Cardano.Ledger.Binary.Decoding, Cardano.Ledger.Binary |
| ConsumeIntCanonical | Cardano.Ledger.Binary.Plain, Cardano.Ledger.Binary.Decoding, Cardano.Ledger.Binary |
| ConsumeInteger | Cardano.Ledger.Binary.Plain, Cardano.Ledger.Binary.Decoding, Cardano.Ledger.Binary |
| ConsumeIntegerCanonical | Cardano.Ledger.Binary.Plain, Cardano.Ledger.Binary.Decoding, Cardano.Ledger.Binary |
| ConsumeListLen | Cardano.Ledger.Binary.Plain, Cardano.Ledger.Binary.Decoding, Cardano.Ledger.Binary |
| ConsumeListLenCanonical | Cardano.Ledger.Binary.Plain, Cardano.Ledger.Binary.Decoding, Cardano.Ledger.Binary |
| ConsumeListLenIndef | Cardano.Ledger.Binary.Plain, Cardano.Ledger.Binary.Decoding, Cardano.Ledger.Binary |
| ConsumeListLenOrIndef | Cardano.Ledger.Binary.Plain, Cardano.Ledger.Binary.Decoding, Cardano.Ledger.Binary |
| ConsumeMapLen | Cardano.Ledger.Binary.Plain, Cardano.Ledger.Binary.Decoding, Cardano.Ledger.Binary |
| ConsumeMapLenCanonical | Cardano.Ledger.Binary.Plain, Cardano.Ledger.Binary.Decoding, Cardano.Ledger.Binary |
| ConsumeMapLenIndef | Cardano.Ledger.Binary.Plain, Cardano.Ledger.Binary.Decoding, Cardano.Ledger.Binary |
| ConsumeMapLenOrIndef | Cardano.Ledger.Binary.Plain, Cardano.Ledger.Binary.Decoding, Cardano.Ledger.Binary |
| ConsumeNegWord | Cardano.Ledger.Binary.Plain, Cardano.Ledger.Binary.Decoding, Cardano.Ledger.Binary |
| ConsumeNegWordCanonical | Cardano.Ledger.Binary.Plain, Cardano.Ledger.Binary.Decoding, Cardano.Ledger.Binary |
| ConsumeNull | Cardano.Ledger.Binary.Plain, Cardano.Ledger.Binary.Decoding, Cardano.Ledger.Binary |
| ConsumeSimple | Cardano.Ledger.Binary.Plain, Cardano.Ledger.Binary.Decoding, Cardano.Ledger.Binary |
| ConsumeSimpleCanonical | Cardano.Ledger.Binary.Plain, Cardano.Ledger.Binary.Decoding, Cardano.Ledger.Binary |
| ConsumeString | Cardano.Ledger.Binary.Plain, Cardano.Ledger.Binary.Decoding, Cardano.Ledger.Binary |
| ConsumeStringCanonical | Cardano.Ledger.Binary.Plain, Cardano.Ledger.Binary.Decoding, Cardano.Ledger.Binary |
| ConsumeStringIndef | Cardano.Ledger.Binary.Plain, Cardano.Ledger.Binary.Decoding, Cardano.Ledger.Binary |
| ConsumeTag | Cardano.Ledger.Binary.Plain, Cardano.Ledger.Binary.Decoding, Cardano.Ledger.Binary |
| ConsumeTagCanonical | Cardano.Ledger.Binary.Plain, Cardano.Ledger.Binary.Decoding, Cardano.Ledger.Binary |
| ConsumeUtf8ByteArray | Cardano.Ledger.Binary.Plain, Cardano.Ledger.Binary.Decoding, Cardano.Ledger.Binary |
| ConsumeUtf8ByteArrayCanonical | Cardano.Ledger.Binary.Plain, Cardano.Ledger.Binary.Decoding, Cardano.Ledger.Binary |
| ConsumeWord | Cardano.Ledger.Binary.Plain, Cardano.Ledger.Binary.Decoding, Cardano.Ledger.Binary |
| ConsumeWord16 | Cardano.Ledger.Binary.Plain, Cardano.Ledger.Binary.Decoding, Cardano.Ledger.Binary |
| ConsumeWord16Canonical | Cardano.Ledger.Binary.Plain, Cardano.Ledger.Binary.Decoding, Cardano.Ledger.Binary |
| ConsumeWord32 | Cardano.Ledger.Binary.Plain, Cardano.Ledger.Binary.Decoding, Cardano.Ledger.Binary |
| ConsumeWord32Canonical | Cardano.Ledger.Binary.Plain, Cardano.Ledger.Binary.Decoding, Cardano.Ledger.Binary |
| ConsumeWord8 | Cardano.Ledger.Binary.Plain, Cardano.Ledger.Binary.Decoding, Cardano.Ledger.Binary |
| ConsumeWord8Canonical | Cardano.Ledger.Binary.Plain, Cardano.Ledger.Binary.Decoding, Cardano.Ledger.Binary |
| ConsumeWordCanonical | Cardano.Ledger.Binary.Plain, Cardano.Ledger.Binary.Decoding, Cardano.Ledger.Binary |
| Cont | |
| 1 (Data Constructor) | Control.Iterate.Collect |
| 2 (Type/Class) | Control.Iterate.Collect |
| contentsEq | Cardano.Ledger.MemoBytes.Internal, Cardano.Ledger.MemoBytes |
| context | Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common |
| ContextError | |
| 1 (Data Constructor) | Cardano.Ledger.Alonzo.Plutus.Evaluate |
| 2 (Type/Class) | Cardano.Ledger.Alonzo.Plutus.Context |
| 3 (Data Constructor) | Cardano.Ledger.Api.Tx, Cardano.Ledger.Api |
| ContinuousIntegration | |
| 1 (Data Constructor) | Test.Options |
| 2 (Data Constructor) | Test.Options |
| contravariantLaws | Test.Common |
| convertNonAvvmDataToBalances | Cardano.Chain.Genesis |
| Conway | |
| 1 (Type/Class) | Cardano.Ledger.Api.Era, Cardano.Ledger.Api |
| 2 (Type/Class) | Cardano.Ledger.Conway |
| 3 (Data Constructor) | Test.Cardano.Ledger.Generic.Proof, Test.Cardano.Ledger.Constrained.TypeRep |
| conway | Test.Cardano.Ledger.Conway.CDDL |
| ConwayAuthCommitteeHotKey | Cardano.Ledger.Conway.TxCert |
| ConwayBBODY | Cardano.Ledger.Conway.Rules |
| ConwayBbodyPredFailure | Cardano.Ledger.Conway.Rules |
| ConwayCERT | Cardano.Ledger.Conway.Rules |
| ConwayCertEvent | Cardano.Ledger.Conway.Rules |
| ConwayCertExecContext | |
| 1 (Data Constructor) | Test.Cardano.Ledger.Conformance.ExecSpecRule.Conway.Base |
| 2 (Type/Class) | Test.Cardano.Ledger.Conformance.ExecSpecRule.Conway.Base |
| ConwayCertifying | |
| 1 (Data Constructor) | Cardano.Ledger.Api.Tx.Wits, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api |
| 2 (Data Constructor) | Cardano.Ledger.Conway.Scripts |
| ConwayCertPredFailure | Cardano.Ledger.Conway.Rules |
| ConwayCERTS | Cardano.Ledger.Conway.Rules |
| ConwayCertsEvent | Cardano.Ledger.Conway.Rules |
| ConwayCertsFailure | Cardano.Ledger.Conway.Rules |
| ConwayCertsPredFailure | Cardano.Ledger.Conway.Rules |
| ConwayCommitteeHasPreviouslyResigned | Cardano.Ledger.Conway.Rules |
| ConwayCommitteeIsUnknown | Cardano.Ledger.Conway.Rules |
| ConwayContextError | Cardano.Ledger.Conway.TxInfo |
| ConwayDELEG | Cardano.Ledger.Conway.Rules |
| ConwayDelegCert | |
| 1 (Data Constructor) | Cardano.Ledger.Conway.TxCert |
| 2 (Type/Class) | Cardano.Ledger.Conway.TxCert |
| conwayDelegCertSpec | Test.Cardano.Ledger.Constrained.Conway.Deleg, Test.Cardano.Ledger.Constrained.Conway |
| ConwayDelegEnv | |
| 1 (Data Constructor) | Cardano.Ledger.Conway.Rules |
| 2 (Type/Class) | Cardano.Ledger.Conway.Rules |
| ConwayDelegPredFailure | Cardano.Ledger.Conway.Rules |
| ConwayDRepAlreadyRegistered | Cardano.Ledger.Conway.Rules |
| conwayDRepDepositsTxCerts | Cardano.Ledger.Conway.TxCert |
| ConwayDRepIncorrectDeposit | Cardano.Ledger.Conway.Rules |
| ConwayDRepIncorrectRefund | Cardano.Ledger.Conway.Rules |
| ConwayDRepNotRegistered | Cardano.Ledger.Conway.Rules |
| conwayDRepRefundsTxCerts | Cardano.Ledger.Conway.TxCert |
| ConwayENACT | Cardano.Ledger.Conway.Rules |
| ConwayEPOCH | Cardano.Ledger.Conway.Rules |
| ConwayEpochEvent | Cardano.Ledger.Conway.Rules |
| ConwayEra | |
| 1 (Type/Class) | Cardano.Ledger.Api.Era, Cardano.Ledger.Api |
| 2 (Type/Class) | Cardano.Ledger.Conway |
| 3 (Type/Class) | Test.Cardano.Ledger.Generic.Proof |
| ConwayEraGov | Cardano.Ledger.Conway.Governance |
| ConwayEraImp | Test.Cardano.Ledger.Conway.ImpTest |
| ConwayEraPlutusTxInfo | Cardano.Ledger.Conway.Plutus.Context |
| ConwayEraPParams | |
| 1 (Type/Class) | Cardano.Ledger.Conway.PParams, Cardano.Ledger.Conway.Core |
| 2 (Type/Class) | Test.Cardano.Ledger.EraClass |
| ConwayEraScript | |
| 1 (Type/Class) | Cardano.Ledger.Api.Scripts, Cardano.Ledger.Api.Tx.Body, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api |
| 2 (Type/Class) | Cardano.Ledger.Conway.Scripts, Cardano.Ledger.Conway.Core |
| ConwayEraTransition | Cardano.Ledger.Conway.Transition |
| ConwayEraTxBody | |
| 1 (Type/Class) | Cardano.Ledger.Api.Tx.Body, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api |
| 2 (Type/Class) | Cardano.Ledger.Conway.TxBody.Internal, Cardano.Ledger.Conway.TxBody, Cardano.Ledger.Conway.Core |
| 3 (Type/Class) | Test.Cardano.Ledger.EraClass |
| ConwayEraTxCert | |
| 1 (Type/Class) | Cardano.Ledger.Api.Tx.Cert, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api |
| 2 (Type/Class) | Cardano.Ledger.Conway.TxCert, Cardano.Ledger.Conway.Core |
| 3 (Type/Class) | Test.Cardano.Ledger.EraClass |
| ConwayFn | Test.Cardano.Ledger.Constrained.Conway.Instances.Ledger, Test.Cardano.Ledger.Constrained.Conway.Instances, Test.Cardano.Ledger.Constrained.Conway |
| ConwayGenesis | |
| 1 (Type/Class) | Cardano.Ledger.Api.Transition |
| 2 (Data Constructor) | Cardano.Ledger.Api.Transition |
| 3 (Data Constructor) | Cardano.Ledger.Conway.Genesis |
| 4 (Type/Class) | Cardano.Ledger.Conway.Genesis |
| ConwayGOV | Cardano.Ledger.Conway.Rules |
| ConwayGOVCERT | Cardano.Ledger.Conway.Rules |
| ConwayGovCert | Cardano.Ledger.Conway.TxCert |
| ConwayGovCertEnv | |
| 1 (Data Constructor) | Cardano.Ledger.Conway.Rules |
| 2 (Type/Class) | Cardano.Ledger.Conway.Rules |
| ConwayGovCertPredFailure | Cardano.Ledger.Conway.Rules |
| ConwayGovEvent | Cardano.Ledger.Conway.Rules |
| ConwayGovFailure | Cardano.Ledger.Conway.Rules |
| ConwayGovPredFailure | Cardano.Ledger.Conway.Rules |
| ConwayGovState | |
| 1 (Type/Class) | Cardano.Ledger.Api.Governance, Cardano.Ledger.Api |
| 2 (Data Constructor) | Cardano.Ledger.Api.Governance, Cardano.Ledger.Api |
| 3 (Data Constructor) | Cardano.Ledger.Conway.Governance |
| 4 (Type/Class) | Cardano.Ledger.Conway.Governance |
| conwayGovStateDRepDistrG | Cardano.Ledger.Conway.Governance |
| conwayGovStateSpec | Test.Cardano.Ledger.Constrained.Conway.LedgerTypes.Specs |
| conwayGovStateT | Test.Cardano.Ledger.Constrained.Vars |
| conwaygovX | Test.Cardano.Ledger.Constrained.Conway.LedgerTypes.WellFormed |
| ConwayHARDFORK | Cardano.Ledger.Conway.Rules |
| ConwayHardForkEvent | |
| 1 (Data Constructor) | Cardano.Ledger.Conway.Rules |
| 2 (Type/Class) | Cardano.Ledger.Conway.Rules |
| ConwayLEDGER | Cardano.Ledger.Conway.Rules |
| ConwayLedgerEvent | Cardano.Ledger.Conway.Rules |
| ConwayLedgerPredFailure | Cardano.Ledger.Conway.Rules |
| ConwayMEMPOOL | Cardano.Ledger.Conway.Rules |
| ConwayMempoolEvent | |
| 1 (Data Constructor) | Cardano.Ledger.Conway.Rules |
| 2 (Type/Class) | Cardano.Ledger.Conway.Rules |
| ConwayMempoolFailure | Cardano.Ledger.Conway.Rules |
| ConwayMempoolPredFailure | |
| 1 (Data Constructor) | Cardano.Ledger.Conway.Rules |
| 2 (Type/Class) | Cardano.Ledger.Conway.Rules |
| ConwayMinting | |
| 1 (Data Constructor) | Cardano.Ledger.Api.Tx.Wits, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api |
| 2 (Data Constructor) | Cardano.Ledger.Conway.Scripts |
| conwayModifiedPPGroups | Cardano.Ledger.Conway.PParams |
| conwayModifyPParams | Test.Cardano.Ledger.Conway.ImpTest |
| ConwayNEWEPOCH | Cardano.Ledger.Conway.Rules |
| ConwayNewEpochEvent | Cardano.Ledger.Conway.Rules |
| ConwayNewEpochPredFailure | Cardano.Ledger.Conway.Rules |
| ConwayPlutusPurpose | |
| 1 (Type/Class) | Cardano.Ledger.Api.Tx.Wits, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api |
| 2 (Type/Class) | Cardano.Ledger.Conway.Scripts |
| ConwayPlutusV1 | Cardano.Ledger.Conway.Scripts |
| ConwayPlutusV2 | Cardano.Ledger.Conway.Scripts |
| ConwayPlutusV3 | Cardano.Ledger.Conway.Scripts |
| conwayPParam | Cardano.Ledger.Conway.Plutus.Context |
| conwayPParamMap | Cardano.Ledger.Conway.Plutus.Context |
| ConwayPParams | |
| 1 (Data Constructor) | Cardano.Ledger.Conway.PParams |
| 2 (Type/Class) | Cardano.Ledger.Conway.PParams |
| conwayProducedValue | Cardano.Ledger.Conway.UTxO |
| conwayProposalsDeposits | Cardano.Ledger.Conway.TxBody.Internal, Cardano.Ledger.Conway.TxBody |
| ConwayProposing | |
| 1 (Data Constructor) | Cardano.Ledger.Api.Tx.Wits, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api |
| 2 (Data Constructor) | Cardano.Ledger.Conway.Scripts |
| ConwayRatifyExecContext | |
| 1 (Data Constructor) | Test.Cardano.Ledger.Conformance.ExecSpecRule.Conway.Base, Test.Cardano.Ledger.Conformance.ExecSpecRule.Conway |
| 2 (Type/Class) | Test.Cardano.Ledger.Conformance.ExecSpecRule.Conway.Base, Test.Cardano.Ledger.Conformance.ExecSpecRule.Conway |
| ConwayRegCert | Cardano.Ledger.Conway.TxCert |
| ConwayRegDelegCert | Cardano.Ledger.Conway.TxCert |
| ConwayRegDRep | Cardano.Ledger.Conway.TxCert |
| ConwayResignCommitteeColdKey | Cardano.Ledger.Conway.TxCert |
| ConwayRewarding | |
| 1 (Data Constructor) | Cardano.Ledger.Api.Tx.Wits, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api |
| 2 (Data Constructor) | Cardano.Ledger.Conway.Scripts |
| ConwaySpending | |
| 1 (Data Constructor) | Cardano.Ledger.Api.Tx.Wits, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api |
| 2 (Data Constructor) | Cardano.Ledger.Conway.Scripts |
| ConwayTICKF | Cardano.Ledger.Conway.Rules |
| ConwayTickfEvent | Cardano.Ledger.Conway.Rules |
| ConwayTickfPredFailure | Cardano.Ledger.Conway.Rules |
| conwayTotalDepositsTxBody | Cardano.Ledger.Conway.TxBody.Internal, Cardano.Ledger.Conway.TxBody |
| conwayTotalDepositsTxCerts | Cardano.Ledger.Conway.TxCert |
| conwayTotalRefundsTxCerts | Cardano.Ledger.Conway.TxCert |
| conwayTrace | Test.Cardano.Ledger.Constrained.Trace.Tests |
| ConwayTransitionConfig | Cardano.Ledger.Conway.Transition |
| ConwayTreasuryValueMismatch | Cardano.Ledger.Conway.Rules |
| ConwayTxBody | |
| 1 (Data Constructor) | Cardano.Ledger.Conway.TxBody.Internal, Cardano.Ledger.Conway.TxBody |
| 2 (Type/Class) | Cardano.Ledger.Conway.TxBody.Internal, Cardano.Ledger.Conway.TxBody |
| ConwayTxBodyRaw | |
| 1 (Data Constructor) | Cardano.Ledger.Conway.TxBody.Internal |
| 2 (Type/Class) | Cardano.Ledger.Conway.TxBody.Internal, Cardano.Ledger.Conway.TxBody |
| ConwayTxCert | Cardano.Ledger.Conway.TxCert |
| ConwayTxCertDeleg | Cardano.Ledger.Conway.TxCert |
| ConwayTxCertGov | Cardano.Ledger.Conway.TxCert |
| conwayTxCertKey | Test.Cardano.Ledger.Constrained.Conway.Cert, Test.Cardano.Ledger.Constrained.Conway |
| ConwayTxCertPool | Cardano.Ledger.Conway.TxCert |
| ConwayTxCertR | Test.Cardano.Ledger.Constrained.TypeRep |
| conwayTxCertSpec | Test.Cardano.Ledger.Constrained.Conway.Cert, Test.Cardano.Ledger.Constrained.Conway |
| ConwayTxCertUpgradeError | Cardano.Ledger.Conway.TxCert |
| ConwayTxRefScriptsSizeTooBig | Cardano.Ledger.Conway.Rules |
| conwayTxwithDRepCertsTraceTests | Test.Cardano.Ledger.Constrained.Trace.Tests |
| ConwayUnRegCert | Cardano.Ledger.Conway.TxCert |
| ConwayUnRegDRep | Cardano.Ledger.Conway.TxCert |
| ConwayUpdateDRep | Cardano.Ledger.Conway.TxCert |
| ConwayUtxoPredFailure | Cardano.Ledger.Conway.Rules |
| ConwayUTXOS | Cardano.Ledger.Conway.Rules |
| ConwayUtxosEvent | Cardano.Ledger.Conway.Rules |
| ConwayUtxosPredFailure | Cardano.Ledger.Conway.Rules |
| ConwayUTXOW | Cardano.Ledger.Conway.Rules |
| ConwayUtxowFailure | Cardano.Ledger.Conway.Rules |
| ConwayUtxowPredFailure | Cardano.Ledger.Conway.Rules |
| ConwayVoting | |
| 1 (Data Constructor) | Cardano.Ledger.Api.Tx.Wits, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api |
| 2 (Data Constructor) | Cardano.Ledger.Conway.Scripts |
| ConwayWdrlNotDelegatedToDRep | Cardano.Ledger.Conway.Rules |
| conWithdrawals | Cardano.Ledger.Shelley.AdaPots |
| coreAuxDataBytes | Cardano.Ledger.Shelley.BlockChain |
| CoreKeyCred | Test.Cardano.Ledger.Shelley.Generator.TxCert, Test.Cardano.Ledger.Shelley.Generator.Delegation |
| coreMapL | Test.Cardano.Ledger.Constrained.Classes |
| coreNodeIssuerKeys | Test.Cardano.Ledger.Shelley.Examples.Federation |
| coreNodeKeys | Test.Cardano.Ledger.Shelley.Generator.Presets |
| coreNodeKeysBySchedule | Test.Cardano.Ledger.Shelley.Examples.Federation |
| coreNodeSK | Test.Cardano.Ledger.Shelley.Examples.Federation |
| coreNodeVK | Test.Cardano.Ledger.Shelley.Examples.Federation |
| coreTx | Test.Cardano.Ledger.Generic.TxGen |
| coreTxBody | Test.Cardano.Ledger.Generic.TxGen |
| coreTxOut | Test.Cardano.Ledger.Generic.TxGen |
| coreTypesRoundTrip | Test.Cardano.Ledger.Generic.Properties |
| correctAddrAndWFCoin | Test.Cardano.Ledger.Constrained.Conway.Utxo, Test.Cardano.Ledger.Constrained.Conway |
| correctTxOut | Test.Cardano.Ledger.Constrained.Conway.ParametricSpec, Test.Cardano.Ledger.Constrained.Conway.Instances, Test.Cardano.Ledger.Constrained.Conway |
| CorruptRewardUpdate | |
| 1 (Data Constructor) | Cardano.Ledger.Conway.Rules |
| 2 (Data Constructor) | Cardano.Ledger.Shelley.Rules |
| cost | Cardano.Ledger.Shelley.API.Wallet, Cardano.Ledger.Shelley.API |
| Costmdls | Test.Cardano.Ledger.Generic.Fields |
| CostModel | |
| 1 (Type/Class) | Cardano.Ledger.Alonzo.Scripts, Cardano.Ledger.Alonzo.Tx |
| 2 (Type/Class) | Cardano.Ledger.Babbage.Tx |
| 3 (Type/Class) | Cardano.Ledger.Plutus.CostModels, Cardano.Ledger.Plutus |
| costModelFromMap | |
| 1 (Function) | Cardano.Ledger.Alonzo.Scripts |
| 2 (Function) | Cardano.Ledger.Plutus.CostModels, Cardano.Ledger.Plutus |
| costModelParamNames | |
| 1 (Function) | Cardano.Ledger.Alonzo.Scripts |
| 2 (Function) | Cardano.Ledger.Plutus.CostModels, Cardano.Ledger.Plutus |
| costModelParamsCount | |
| 1 (Function) | Cardano.Ledger.Alonzo.Scripts |
| 2 (Function) | Cardano.Ledger.Plutus.CostModels, Cardano.Ledger.Plutus |
| CostModels | |
| 1 (Type/Class) | Cardano.Ledger.Alonzo.Scripts |
| 2 (Type/Class) | Cardano.Ledger.Api.Scripts, Cardano.Ledger.Api.Tx.Body, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api |
| 3 (Type/Class) | Cardano.Ledger.Plutus.CostModels, Cardano.Ledger.Plutus |
| costModels | Test.Cardano.Ledger.Constrained.Conway.Instances.Basic, Test.Cardano.Ledger.Constrained.Conway.Instances.PParams, Test.Cardano.Ledger.Constrained.Conway.Instances.Ledger, Test.Cardano.Ledger.Constrained.Conway.ParametricSpec, Test.Cardano.Ledger.Constrained.Conway.Instances, Test.Cardano.Ledger.Constrained.Conway |
| costModelsUnknown | |
| 1 (Function) | Cardano.Ledger.Alonzo.Scripts |
| 2 (Function) | Cardano.Ledger.Plutus.CostModels, Cardano.Ledger.Plutus |
| costModelsValid | |
| 1 (Function) | Cardano.Ledger.Alonzo.Scripts |
| 2 (Function) | Cardano.Ledger.Plutus.CostModels, Cardano.Ledger.Plutus |
| costModels_ | Test.Cardano.Ledger.Constrained.Conway.Instances.PParams, Test.Cardano.Ledger.Constrained.Conway.ParametricSpec, Test.Cardano.Ledger.Constrained.Conway.Instances, Test.Cardano.Ledger.Constrained.Conway |
| costModelToMap | |
| 1 (Function) | Cardano.Ledger.Alonzo.Scripts |
| 2 (Function) | Cardano.Ledger.Plutus.CostModels, Cardano.Ledger.Plutus |
| Count | |
| 1 (Type/Class) | Test.Cardano.Ledger.Constrained.SpecClass |
| 2 (Type/Class) | Test.Cardano.Ledger.Constrained.Classes |
| 3 (Data Constructor) | Cardano.Ledger.State.UTxO |
| 4 (Type/Class) | Cardano.Ledger.State.UTxO |
| count | |
| 1 (Function) | Constrained.Base, Constrained.Spec, Constrained.Internals |
| 2 (Function) | Control.Iterate.Collect |
| CountCases | Constrained.Base, Constrained.Spec, Constrained.Internals |
| countCases | Constrained.Base, Constrained.Spec, Constrained.Internals |
| countDStateStats | Cardano.Ledger.State.UTxO |
| countEpochStateStats | Cardano.Ledger.State.UTxO |
| counterexample | |
| 1 (Function) | Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common |
| 2 (Function) | Test.Common |
| CounterTooSmallOCERT | Cardano.Protocol.TPraos.Rules.OCert |
| countLedgerStateStats | Cardano.Ledger.State.UTxO |
| countNewEpochStateStats | Cardano.Ledger.State.UTxO |
| countOf | Constrained.Base, Constrained.Spec, Constrained.Internals |
| countPoolParamsStats | Cardano.Ledger.State.UTxO |
| countPStateStats | Cardano.Ledger.State.UTxO |
| countSnapShotStat | Cardano.Ledger.State.UTxO |
| countSpec | Constrained.Base, Constrained.Spec, Constrained.Internals |
| countTxInStats | Cardano.Ledger.State.UTxO |
| countTxOutStats | Cardano.Ledger.State.UTxO |
| countUTxOStats | Cardano.Ledger.State.UTxO |
| cover | |
| 1 (Function) | Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common |
| 2 (Function) | Test.Common |
| coverDelegFailures | Byron.Spec.Ledger.Delegation.Test |
| coverFailures | Test.Control.State.Transition.Generator |
| coverInvalidBlockProofs | Byron.Spec.Chain.STS.Rule.Chain |
| coverTable | |
| 1 (Function) | Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common |
| 2 (Function) | Test.Common |
| coverUpiregFailures | Byron.Spec.Ledger.Update.Test |
| coverUpivoteFailures | Byron.Spec.Ledger.Update.Test |
| coverUtxoFailure | Byron.Spec.Ledger.STS.UTXOW |
| cpeq | Test.Cardano.Ledger.Constrained.Rewrite |
| cppA0 | Cardano.Ledger.Conway.PParams |
| cppCoinsPerUTxOByte | Cardano.Ledger.Conway.PParams |
| cppCollateralPercentage | Cardano.Ledger.Conway.PParams |
| cppCommitteeMaxTermLength | Cardano.Ledger.Conway.PParams |
| cppCommitteeMinSize | Cardano.Ledger.Conway.PParams |
| cppCostModels | Cardano.Ledger.Conway.PParams |
| cppDRepActivity | Cardano.Ledger.Conway.PParams |
| cppDRepDeposit | Cardano.Ledger.Conway.PParams |
| cppDRepVotingThresholds | Cardano.Ledger.Conway.PParams |
| cppEMax | Cardano.Ledger.Conway.PParams |
| cppGovActionDeposit | Cardano.Ledger.Conway.PParams |
| cppGovActionLifetime | Cardano.Ledger.Conway.PParams |
| cppKeyDeposit | Cardano.Ledger.Conway.PParams |
| cppMaxBBSize | Cardano.Ledger.Conway.PParams |
| cppMaxBHSize | Cardano.Ledger.Conway.PParams |
| cppMaxBlockExUnits | Cardano.Ledger.Conway.PParams |
| cppMaxCollateralInputs | Cardano.Ledger.Conway.PParams |
| cppMaxTxExUnits | Cardano.Ledger.Conway.PParams |
| cppMaxTxSize | Cardano.Ledger.Conway.PParams |
| cppMaxValSize | Cardano.Ledger.Conway.PParams |
| cppMinFeeA | Cardano.Ledger.Conway.PParams |
| cppMinFeeB | Cardano.Ledger.Conway.PParams |
| cppMinFeeRefScriptCostPerByte | Cardano.Ledger.Conway.PParams |
| cppMinPoolCost | Cardano.Ledger.Conway.PParams |
| cppNOpt | Cardano.Ledger.Conway.PParams |
| cppPoolDeposit | Cardano.Ledger.Conway.PParams |
| cppPoolVotingThresholds | Cardano.Ledger.Conway.PParams |
| cppPrices | Cardano.Ledger.Conway.PParams |
| cppProtocolVersion | Cardano.Ledger.Conway.PParams |
| cppRho | Cardano.Ledger.Conway.PParams |
| cppTau | Cardano.Ledger.Conway.PParams |
| cpuProtocolParameters | Cardano.Chain.Update.Validation.Endorsement |
| cpuProtocolVersion | Cardano.Chain.Update.Validation.Endorsement |
| cpuSlot | Cardano.Chain.Update.Validation.Endorsement |
| CR | Test.Control.State.Transition.Examples.CommitReveal |
| createInitialState | |
| 1 (Function) | Cardano.Ledger.Api.Transition |
| 2 (Function) | Cardano.Ledger.Shelley.Transition |
| createRUpd | Cardano.Ledger.Shelley.LedgerState |
| createRUpdNonPulsing' | Test.Cardano.Ledger.Generic.Functions |
| createRUpdOld | Test.Cardano.Ledger.Shelley.Rewards |
| createRUpdOld_ | Test.Cardano.Ledger.Shelley.Rewards |
| crecGovActionMap | Test.Cardano.Ledger.Conformance.ExecSpecRule.Conway.Base, Test.Cardano.Ledger.Conformance.ExecSpecRule.Conway |
| crecGovActionMapL | Test.Cardano.Ledger.Conformance.ExecSpecRule.Conway.Base, Test.Cardano.Ledger.Conformance.ExecSpecRule.Conway |
| crecTreasury | Test.Cardano.Ledger.Conformance.ExecSpecRule.Conway.Base, Test.Cardano.Ledger.Conformance.ExecSpecRule.Conway |
| crecTreasuryL | Test.Cardano.Ledger.Conformance.ExecSpecRule.Conway.Base, Test.Cardano.Ledger.Conformance.ExecSpecRule.Conway |
| Credential | |
| 1 (Type/Class) | Cardano.Ledger.Credential |
| 2 (Type/Class) | Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| 3 (Data Constructor) | Cardano.Ledger.State.Schema |
| 4 (Type/Class) | Cardano.Ledger.State.Schema |
| CredentialDeposit | Test.Cardano.Ledger.Constrained.Conway.Utxo, Test.Cardano.Ledger.Constrained.Conway |
| CredentialId | |
| 1 (Data Constructor) | Cardano.Ledger.State.Schema |
| 2 (Type/Class) | Cardano.Ledger.State.Schema |
| CredentialKey | Cardano.Ledger.State.Schema |
| CredentialWitness | |
| 1 (Data Constructor) | Cardano.Ledger.State.Schema |
| 2 (Type/Class) | Cardano.Ledger.State.Schema |
| credentialWitness | Cardano.Ledger.State.Schema |
| credKeyHash | Cardano.Ledger.Credential |
| credKeyHashWitness | Cardano.Ledger.Credential |
| credMap | Cardano.Ledger.Shelley.LedgerState, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| credMapL | |
| 1 (Function) | Cardano.Ledger.Shelley.LedgerState |
| 2 (Function) | Test.Cardano.Ledger.Constrained.Vars |
| CredR | Test.Cardano.Ledger.Constrained.TypeRep |
| credScriptHash | Cardano.Ledger.Credential |
| credSummary | Test.Cardano.Ledger.Generic.PrettyCore |
| credsUniv | Test.Cardano.Ledger.Constrained.Vars |
| credToText | Cardano.Ledger.Credential |
| cRegDeleg | Test.Cardano.Ledger.Constrained.Preds.Certs |
| cRegKey | Test.Cardano.Ledger.Constrained.Preds.Certs |
| cRegPool | Test.Cardano.Ledger.Constrained.Preds.Certs |
| cRetirePool | Test.Cardano.Ledger.Constrained.Preds.Certs |
| CRPredicateFailure | Test.Control.State.Transition.Examples.CommitReveal |
| CRSignal | Test.Control.State.Transition.Examples.CommitReveal |
| CRSt | |
| 1 (Data Constructor) | Test.Control.State.Transition.Examples.CommitReveal |
| 2 (Type/Class) | Test.Control.State.Transition.Examples.CommitReveal |
| Crypto | |
| 1 (Type/Class) | Cardano.Ledger.Api.Era, Cardano.Ledger.Api |
| 2 (Type/Class) | Cardano.Ledger.Crypto |
| csCommittee | Cardano.Ledger.Api.State.Query |
| csCommitteeCreds | Cardano.Ledger.CertState |
| csCommitteeCredsL | Cardano.Ledger.CertState |
| cScriptHashObj | Test.Cardano.Ledger.Constrained.Conway.Instances.Ledger, Test.Cardano.Ledger.Constrained.Conway.Instances, Test.Cardano.Ledger.Constrained.Conway |
| csEpochNo | Cardano.Ledger.Api.State.Query |
| cSJust_ | Test.Cardano.Ledger.Constrained.Conway.Instances.Basic, Test.Cardano.Ledger.Constrained.Conway.Instances.PParams, Test.Cardano.Ledger.Constrained.Conway.Instances.Ledger, Test.Cardano.Ledger.Constrained.Conway.ParametricSpec, Test.Cardano.Ledger.Constrained.Conway.Instances, Test.Cardano.Ledger.Constrained.Conway |
| csLabNonce | Cardano.Protocol.TPraos.API |
| cSNothing_ | Test.Cardano.Ledger.Constrained.Conway.Instances.Basic, Test.Cardano.Ledger.Constrained.Conway.Instances.PParams, Test.Cardano.Ledger.Constrained.Conway.Instances.Ledger, Test.Cardano.Ledger.Constrained.Conway.ParametricSpec, Test.Cardano.Ledger.Constrained.Conway.Instances, Test.Cardano.Ledger.Constrained.Conway |
| csProtocol | Cardano.Protocol.TPraos.API |
| csThreshold | Cardano.Ledger.Api.State.Query |
| csTickn | Cardano.Protocol.TPraos.API |
| csX | Test.Cardano.Ledger.Constrained.Conway.LedgerTypes.WellFormed |
| ctbAdHash | Cardano.Ledger.Conway.TxBody.Internal, Cardano.Ledger.Conway.TxBody |
| ctbCerts | Cardano.Ledger.Conway.TxBody.Internal, Cardano.Ledger.Conway.TxBody |
| ctbCollateralInputs | Cardano.Ledger.Conway.TxBody.Internal, Cardano.Ledger.Conway.TxBody |
| ctbCollateralReturn | Cardano.Ledger.Conway.TxBody.Internal, Cardano.Ledger.Conway.TxBody |
| ctbCurrentTreasuryValue | Cardano.Ledger.Conway.TxBody.Internal, Cardano.Ledger.Conway.TxBody |
| ctbMint | Cardano.Ledger.Conway.TxBody.Internal, Cardano.Ledger.Conway.TxBody |
| ctbOutputs | Cardano.Ledger.Conway.TxBody.Internal, Cardano.Ledger.Conway.TxBody |
| ctbProposalProcedures | Cardano.Ledger.Conway.TxBody.Internal, Cardano.Ledger.Conway.TxBody |
| ctbrAuxDataHash | Cardano.Ledger.Conway.TxBody.Internal |
| ctbrCerts | Cardano.Ledger.Conway.TxBody.Internal |
| ctbrCollateralInputs | Cardano.Ledger.Conway.TxBody.Internal |
| ctbrCollateralReturn | Cardano.Ledger.Conway.TxBody.Internal |
| ctbrCurrentTreasuryValue | Cardano.Ledger.Conway.TxBody.Internal |
| ctbReferenceInputs | Cardano.Ledger.Conway.TxBody.Internal, Cardano.Ledger.Conway.TxBody |
| ctbReqSignerHashes | Cardano.Ledger.Conway.TxBody.Internal, Cardano.Ledger.Conway.TxBody |
| ctbrMint | Cardano.Ledger.Conway.TxBody.Internal |
| ctbrOutputs | Cardano.Ledger.Conway.TxBody.Internal |
| ctbrProposalProcedures | Cardano.Ledger.Conway.TxBody.Internal |
| ctbrReferenceInputs | Cardano.Ledger.Conway.TxBody.Internal |
| ctbrReqSignerHashes | Cardano.Ledger.Conway.TxBody.Internal |
| ctbrScriptIntegrityHash | Cardano.Ledger.Conway.TxBody.Internal |
| ctbrSpendInputs | Cardano.Ledger.Conway.TxBody.Internal |
| ctbrTotalCollateral | Cardano.Ledger.Conway.TxBody.Internal |
| ctbrTreasuryDonation | Cardano.Ledger.Conway.TxBody.Internal |
| ctbrTxfee | Cardano.Ledger.Conway.TxBody.Internal |
| ctbrTxNetworkId | Cardano.Ledger.Conway.TxBody.Internal |
| ctbrVldt | Cardano.Ledger.Conway.TxBody.Internal |
| ctbrVotingProcedures | Cardano.Ledger.Conway.TxBody.Internal |
| ctbrWithdrawals | Cardano.Ledger.Conway.TxBody.Internal |
| ctbScriptIntegrityHash | Cardano.Ledger.Conway.TxBody.Internal, Cardano.Ledger.Conway.TxBody |
| ctbSpendInputs | Cardano.Ledger.Conway.TxBody.Internal, Cardano.Ledger.Conway.TxBody |
| ctbTotalCollateral | Cardano.Ledger.Conway.TxBody.Internal, Cardano.Ledger.Conway.TxBody |
| ctbTreasuryDonation | Cardano.Ledger.Conway.TxBody.Internal, Cardano.Ledger.Conway.TxBody |
| ctbTxfee | Cardano.Ledger.Conway.TxBody.Internal, Cardano.Ledger.Conway.TxBody |
| ctbTxNetworkId | Cardano.Ledger.Conway.TxBody.Internal, Cardano.Ledger.Conway.TxBody |
| ctbVldt | Cardano.Ledger.Conway.TxBody.Internal, Cardano.Ledger.Conway.TxBody |
| ctbVotingProcedures | Cardano.Ledger.Conway.TxBody.Internal, Cardano.Ledger.Conway.TxBody |
| ctbWithdrawals | Cardano.Ledger.Conway.TxBody.Internal, Cardano.Ledger.Conway.TxBody |
| ctcBabbageTransitionConfig | Cardano.Ledger.Conway.Transition |
| ctcConwayGenesis | Cardano.Ledger.Conway.Transition |
| cteq | Test.Cardano.Ledger.Constrained.Rewrite |
| Ctx | Constrained.Base, Constrained.Spec, Constrained.Internals |
| CtxApp | Constrained.Base, Constrained.Spec, Constrained.Internals |
| ctxHasSpec | Constrained.Base, Constrained.Spec, Constrained.Internals |
| CtxHOLE | Constrained.Base, Constrained.Spec, Constrained.Internals |
| cUnRegKey | Test.Cardano.Ledger.Constrained.Preds.Certs |
| curEpochNo | Cardano.Ledger.Shelley.Rules, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| curPParamsEpochStateL | Cardano.Ledger.Shelley.LedgerState |
| curPParamsGovStateL | |
| 1 (Function) | Cardano.Ledger.Allegra.Core |
| 2 (Function) | Cardano.Ledger.Alonzo.Core |
| 3 (Function) | Cardano.Ledger.Api.Governance, Cardano.Ledger.Api |
| 4 (Function) | Cardano.Ledger.Babbage.Core |
| 5 (Function) | Cardano.Ledger.Conway.Governance, Cardano.Ledger.Conway.Core |
| 6 (Function) | Cardano.Ledger.Mary.Core |
| 7 (Function) | Cardano.Ledger.Shelley.Governance, Cardano.Ledger.Shelley.Core |
| curPParamsShelleyGovStateL | |
| 1 (Function) | Cardano.Ledger.Allegra.Core |
| 2 (Function) | Cardano.Ledger.Alonzo.Core |
| 3 (Function) | Cardano.Ledger.Babbage.Core |
| 4 (Function) | Cardano.Ledger.Conway.Core |
| 5 (Function) | Cardano.Ledger.Mary.Core |
| 6 (Function) | Cardano.Ledger.Shelley.Governance, Cardano.Ledger.Shelley.Core |
| currBlocksMade | Test.Cardano.Ledger.Constrained.Vars |
| current | Data.Pulse |
| currentDRepState | Test.Cardano.Ledger.Constrained.Vars |
| currentEpoch | |
| 1 (Function) | Byron.Spec.Ledger.Delegation |
| 2 (Function) | Cardano.Chain.Delegation.Validation.Interface |
| 3 (Function) | Cardano.Chain.Update.Validation.Interface |
| 4 (Function) | Cardano.Chain.Delegation.Validation.Scheduling |
| 5 (Function) | Test.Cardano.Ledger.Constrained.Vars |
| 6 (Function) | Test.Cardano.Ledger.Constrained.Conway.Pool, Test.Cardano.Ledger.Constrained.Conway |
| CurrentEra | Cardano.Ledger.State.UTxO |
| currentGovActionStates | Test.Cardano.Ledger.Constrained.Vars |
| currentIssueNo | Cardano.Protocol.TPraos.OCert |
| currentLedgerView | Cardano.Protocol.TPraos.API |
| currentProposalOrder | Test.Cardano.Ledger.Constrained.Vars |
| currentProposalsShouldContain | Test.Cardano.Ledger.Conway.ImpTest |
| currentSlot | |
| 1 (Function) | Cardano.Chain.Delegation.Validation.Interface |
| 2 (Function) | Cardano.Chain.Update.Validation.Interface |
| 3 (Function) | Cardano.Chain.Update.Validation.Endorsement |
| 4 (Function) | Cardano.Chain.Update.Validation.Registration |
| 5 (Function) | Cardano.Chain.Delegation.Validation.Scheduling |
| 6 (Function) | Test.Cardano.Ledger.Constrained.Vars |
| CurrentTreasuryFieldNotSupported | Cardano.Ledger.Conway.TxInfo |
| CurrentTreasuryValue | Test.Cardano.Ledger.Generic.Fields |
| currentTreasuryValueTxBodyL | |
| 1 (Function) | Cardano.Ledger.Conway.TxBody.Internal, Cardano.Ledger.Conway.TxBody, Cardano.Ledger.Conway.Core |
| 2 (Function) | Test.Cardano.Ledger.EraClass |
| currGovStates | Test.Cardano.Ledger.Constrained.Vars |
| currPParams | Test.Cardano.Ledger.Constrained.Vars |
| currProposals | Test.Cardano.Ledger.Constrained.Vars |
| curryList | Constrained.List, Constrained |
| curryList_ | Constrained.List, Constrained |
| cyclicPred | Test.Cardano.Ledger.Constrained.Examples |
| C_Crypto | |
| 1 (Type/Class) | Test.Cardano.Ledger.Shelley.ConcreteCryptoTypes |
| 2 (Type/Class) | Test.Cardano.Ledger.Generic.Proof |