| C | Test.Cardano.Ledger.Shelley.ConcreteCryptoTypes, Test.Cardano.Ledger.Shelley.Rewards |
| c | Byron.Spec.Ledger.GlobalParams |
| calcEraMinUTxO | Test.Cardano.Ledger.Shelley.Generator.EraGen |
| calcMinFeeTx | Cardano.Ledger.Api.Tx, Cardano.Ledger.Api, 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 | Cardano.Ledger.Allegra.State, Cardano.Ledger.Alonzo.State, Cardano.Ledger.Babbage.State, Cardano.Ledger.Conway.State, Cardano.Ledger.EpochBoundary, Cardano.Ledger.State, Cardano.Ledger.Dijkstra.State, Cardano.Ledger.Mary.State, Cardano.Ledger.Shelley.State, Cardano.Ledger.Shelley.Rules, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| calculatePoolDistr' | Cardano.Ledger.Allegra.State, Cardano.Ledger.Alonzo.State, Cardano.Ledger.Babbage.State, Cardano.Ledger.Conway.State, Cardano.Ledger.EpochBoundary, Cardano.Ledger.State, Cardano.Ledger.Dijkstra.State, Cardano.Ledger.Mary.State, Cardano.Ledger.Shelley.State, Cardano.Ledger.Shelley.Rules, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| calculatePoolStake | Cardano.Ledger.Allegra.State, Cardano.Ledger.Alonzo.State, Cardano.Ledger.Babbage.State, Cardano.Ledger.Conway.State, Cardano.Ledger.EpochBoundary, Cardano.Ledger.State, Cardano.Ledger.Dijkstra.State, Cardano.Ledger.Mary.State, Cardano.Ledger.Shelley.State |
| calculateTxSizeLinear | Cardano.Chain.Common |
| calcUTxOSize | Cardano.Chain.Block |
| callStackToLocation | 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 |
| CanAdopt | Byron.Spec.Ledger.Update |
| CandidateProtocolUpdate | |
| 1 (Type/Class) | Cardano.Chain.Update.Validation.Endorsement |
| 2 (Data Constructor) | Cardano.Chain.Update.Validation.Endorsement |
| candidateProtocolUpdates | Cardano.Chain.Update.Validation.Interface |
| candidateProtocolVersions | Cardano.Chain.Update.Validation.Endorsement |
| canFollow | Test.Cardano.Ledger.Constrained.Conway.LedgerTypes.Specs |
| canFollowExample | Constrained.Examples.CheatSheet |
| canFollowLike | Constrained.Examples.Basic, Constrained.Examples |
| CanGetChainAccountState | Cardano.Ledger.Allegra.State, Cardano.Ledger.Alonzo.State, Cardano.Ledger.Babbage.State, Cardano.Ledger.Conway.State, Cardano.Ledger.State, Cardano.Ledger.Dijkstra.State, Cardano.Ledger.Mary.State, Cardano.Ledger.Shelley.State |
| CanGetInstantStake | Cardano.Ledger.Allegra.State, Cardano.Ledger.Alonzo.State, Cardano.Ledger.Babbage.State, Cardano.Ledger.Conway.State, Cardano.Ledger.State, Cardano.Ledger.Dijkstra.State, Cardano.Ledger.Mary.State, Cardano.Ledger.Shelley.State |
| CanGetUTxO | Cardano.Ledger.Allegra.State, Cardano.Ledger.Alonzo.State, Cardano.Ledger.Babbage.State, Cardano.Ledger.Conway.State, Cardano.Ledger.UTxO, Cardano.Ledger.State, Cardano.Ledger.Dijkstra.State, Cardano.Ledger.Mary.State, Cardano.Ledger.Shelley.State, Cardano.Ledger.Shelley.UTxO, Cardano.Ledger.Shelley.LedgerState |
| 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 |
| CanSetChainAccountState | Cardano.Ledger.Allegra.State, Cardano.Ledger.Alonzo.State, Cardano.Ledger.Babbage.State, Cardano.Ledger.Conway.State, Cardano.Ledger.State, Cardano.Ledger.Dijkstra.State, Cardano.Ledger.Mary.State, Cardano.Ledger.Shelley.State |
| CanSetInstantStake | Cardano.Ledger.Allegra.State, Cardano.Ledger.Alonzo.State, Cardano.Ledger.Babbage.State, Cardano.Ledger.Conway.State, Cardano.Ledger.State, Cardano.Ledger.Dijkstra.State, Cardano.Ledger.Mary.State, Cardano.Ledger.Shelley.State |
| CanSetUTxO | Cardano.Ledger.Allegra.State, Cardano.Ledger.Alonzo.State, Cardano.Ledger.Babbage.State, Cardano.Ledger.Conway.State, Cardano.Ledger.UTxO, Cardano.Ledger.State, Cardano.Ledger.Dijkstra.State, Cardano.Ledger.Mary.State, Cardano.Ledger.Shelley.State, Cardano.Ledger.Shelley.UTxO, Cardano.Ledger.Shelley.LedgerState |
| cantFollow | 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 |
| canUpdate | Byron.Spec.Ledger.Update |
| cardinality | Constrained.NumOrd, Constrained.API |
| cardinalNumSpec | Constrained.NumOrd |
| cardinalTrueSpec | Constrained.Base, Constrained.API |
| cardinalTypeSpec | Constrained.Base, Constrained.API |
| 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 | |
| 1 (Data Constructor) | Constrained.TheKnot, Constrained.Spec.SumProd, Constrained.API |
| 2 (Data Constructor) | Test.Minimal.Model |
| cartesian | Constrained.TheKnot |
| Case | |
| 1 (Type/Class) | Cardano.Ledger.Binary.Plain |
| 2 (Data Constructor) | Cardano.Ledger.Binary.Plain |
| 3 (Type/Class) | Cardano.Ledger.Binary.Encoding, Cardano.Ledger.Binary |
| 4 (Data Constructor) | Cardano.Ledger.Binary.Encoding, Cardano.Ledger.Binary |
| 5 (Type/Class) | Test.Cardano.Ledger.TerseTools |
| 6 (Data Constructor) | Constrained.AbstractSyntax, Constrained.API |
| 7 (Data Constructor) | Test.Minimal.Base |
| caseBoolSpec | |
| 1 (Function) | Constrained.NumOrd |
| 2 (Function) | Test.Minimal.Syntax |
| caseKey | Test.Cardano.Ledger.TerseTools |
| caseOn | Constrained.Spec.SumProd, Constrained.API |
| caseSOP | Constrained.Generic |
| caseSpec | Constrained.Generation |
| caseValue | |
| 1 (Function) | Cardano.Ledger.Binary.Plain |
| 2 (Function) | Cardano.Ledger.Binary.Encoding, Cardano.Ledger.Binary |
| casReserves | Cardano.Ledger.Allegra.State, Cardano.Ledger.Alonzo.State, Cardano.Ledger.Babbage.State, Cardano.Ledger.Conway.State, Cardano.Ledger.State, Cardano.Ledger.Dijkstra.State, Cardano.Ledger.Mary.State, Cardano.Ledger.Shelley.State |
| casReservesL | Cardano.Ledger.Allegra.State, Cardano.Ledger.Alonzo.State, Cardano.Ledger.Babbage.State, Cardano.Ledger.Conway.State, Cardano.Ledger.State, Cardano.Ledger.Dijkstra.State, Cardano.Ledger.Mary.State, Cardano.Ledger.Shelley.State |
| casTreasury | Cardano.Ledger.Allegra.State, Cardano.Ledger.Alonzo.State, Cardano.Ledger.Babbage.State, Cardano.Ledger.Conway.State, Cardano.Ledger.State, Cardano.Ledger.Dijkstra.State, Cardano.Ledger.Mary.State, Cardano.Ledger.Shelley.State |
| casTreasuryL | Cardano.Ledger.Allegra.State, Cardano.Ledger.Alonzo.State, Cardano.Ledger.Babbage.State, Cardano.Ledger.Conway.State, Cardano.Ledger.State, Cardano.Ledger.Dijkstra.State, Cardano.Ledger.Mary.State, Cardano.Ledger.Shelley.State |
| castSafeHash | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Hashes, Cardano.Ledger.SafeHash, Cardano.Ledger.Core, Cardano.Ledger.Dijkstra.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Shelley.Core |
| castWitness | Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common, Test.Common |
| Cat | Control.Iterate.Exp |
| cat | Constrained.GenT |
| catchGen | Constrained.GenT |
| catchGenT | Constrained.GenT |
| categoryLaws | Test.Common |
| catGEs | Constrained.GenT |
| catMessageList | Constrained.GenT |
| catMessages | Constrained.GenT |
| Cbor | |
| 1 (Type/Class) | Test.Cardano.Ledger.Binary.Cddl |
| 2 (Data Constructor) | Test.Cardano.Ledger.Binary.Cddl |
| CBORBytes | |
| 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 |
| cborError | Cardano.Ledger.Binary.Plain, Cardano.Ledger.Binary.Decoding, Cardano.Ledger.Binary |
| cborFlatTermValid | Test.Cardano.Ledger.Binary.Vintage.Helpers |
| CBORGroup | |
| 1 (Type/Class) | Cardano.Ledger.Binary.Group, Cardano.Ledger.Binary |
| 2 (Data Constructor) | Cardano.Ledger.Binary.Group, Cardano.Ledger.Binary |
| cborTrip | |
| 1 (Function) | Test.Cardano.Ledger.Binary.Plain.RoundTrip |
| 2 (Function) | Test.Cardano.Ledger.Binary.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 (Type/Class) | Test.Cardano.Ledger.Binary.Cddl |
| 2 (Data Constructor) | Test.Cardano.Ledger.Binary.Cddl |
| cddlBlockSpec | Test.Cardano.Protocol.Binary.Cddl |
| CddlData | |
| 1 (Type/Class) | Test.Cardano.Ledger.Binary.Cddl |
| 2 (Data Constructor) | Test.Cardano.Ledger.Binary.Cddl |
| cddlData | Test.Cardano.Ledger.Binary.Cddl |
| cddlDecoderEquivalenceSpec | 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 (Type/Class) | Test.Cardano.Ledger.Binary.Cddl |
| 2 (Data Constructor) | Test.Cardano.Ledger.Binary.Cddl |
| cddlVarFilePath | Test.Cardano.Ledger.Binary.Cddl |
| cddlVarName | Test.Cardano.Ledger.Binary.Cddl |
| 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 |
| ceeeEpoch | Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base |
| ceeeGid | Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base |
| ceeeTreasury | Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base |
| cePParams | Cardano.Ledger.Conway.Rules |
| CERT | Test.Cardano.Ledger.Generic.Proof |
| certainty | Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common, Test.Common |
| CertCred | Test.Cardano.Ledger.Shelley.Generator.TxCert, Test.Cardano.Ledger.Shelley.Generator.Delegation |
| certDStateL | Cardano.Ledger.Allegra.State, Cardano.Ledger.Alonzo.State, Cardano.Ledger.Babbage.State, Cardano.Ledger.Conway.State, Cardano.Ledger.State, Cardano.Ledger.Dijkstra.State, Cardano.Ledger.Mary.State, Cardano.Ledger.Shelley.State, Cardano.Ledger.Shelley.LedgerState, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| CertEnv | |
| 1 (Type/Class) | Cardano.Ledger.Conway.Rules |
| 2 (Data Constructor) | 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 | |
| 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 |
| CertificateId | Cardano.Chain.Delegation |
| certificateMax | Test.Cardano.Ledger.Generic.GenState |
| CertificateNotSupported | Cardano.Ledger.Conway.TxInfo |
| certificates | |
| 1 (Function) | Test.Cardano.Ledger.Alonzo.CDDL, Test.Cardano.Ledger.Babbage.CDDL |
| 2 (Function) | Test.Cardano.Ledger.Conway.CDDL |
| CertifiedVRF | Cardano.Ledger.Keys, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| Certifying | Test.Cardano.Ledger.Generic.GenState |
| CertifyingPurpose | Cardano.Ledger.Alonzo.Scripts, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Api.Scripts, Cardano.Ledger.Api.Tx.Body, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Dijkstra.Core |
| CertIx | |
| 1 (Type/Class) | Cardano.Ledger.BaseTypes, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| 2 (Data Constructor) | Cardano.Ledger.BaseTypes |
| certIxFromIntegral | Cardano.Ledger.BaseTypes, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| certIxToInt | Cardano.Ledger.BaseTypes, 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 |
| certPStateL | Cardano.Ledger.Allegra.State, Cardano.Ledger.Alonzo.State, Cardano.Ledger.Babbage.State, Cardano.Ledger.Conway.State, Cardano.Ledger.State, Cardano.Ledger.Dijkstra.State, Cardano.Ledger.Mary.State, Cardano.Ledger.Shelley.State, Cardano.Ledger.Shelley.LedgerState, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| 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 | Test.Cardano.Ledger.Generic.Functions |
| Certs' | Test.Cardano.Ledger.Generic.Fields |
| certs' | |
| 1 (Function) | Cardano.Ledger.Alonzo.TxBody |
| 2 (Function) | Cardano.Ledger.Babbage.TxBody |
| certsCommitteeProposals | Cardano.Ledger.Conway.Rules |
| certsCurrentCommittee | Cardano.Ledger.Conway.Rules |
| certsCurrentEpoch | Cardano.Ledger.Conway.Rules |
| CertsEnv | |
| 1 (Type/Class) | Cardano.Ledger.Conway.Rules |
| 2 (Data Constructor) | Cardano.Ledger.Conway.Rules |
| certsEnvSpec | Test.Cardano.Ledger.Constrained.Conway.Certs, Test.Cardano.Ledger.Constrained.Conway |
| CertsEvent | Cardano.Ledger.Conway.Rules |
| certsPParams | Cardano.Ledger.Conway.Rules |
| CertState | Cardano.Ledger.Allegra.State, Cardano.Ledger.Allegra.State, Cardano.Ledger.Alonzo.State, Cardano.Ledger.Alonzo.State, Cardano.Ledger.Babbage.State, Cardano.Ledger.Babbage.State, Cardano.Ledger.Conway.State, Cardano.Ledger.Conway.State, Cardano.Ledger.State, Cardano.Ledger.State, Cardano.Ledger.Dijkstra.State, Cardano.Ledger.Dijkstra.State, Cardano.Ledger.Mary.State, Cardano.Ledger.Mary.State, Cardano.Ledger.Shelley.State, Cardano.Ledger.Shelley.State, Cardano.Ledger.Shelley.LedgerState, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API, Cardano.Ledger.Shelley.API |
| CertStateConwayToConway | Test.Cardano.Ledger.Generic.Proof |
| CertStateShelleyToBabbage | Test.Cardano.Ledger.Generic.Proof |
| certStateSpec | |
| 1 (Function) | Test.Cardano.Ledger.Constrained.Conway.Cert, Test.Cardano.Ledger.Constrained.Conway.ParametricSpec, Test.Cardano.Ledger.Constrained.Conway |
| 2 (Function) | Test.Cardano.Ledger.Constrained.Conway.LedgerTypes.Specs |
| certStateTotalAda | Test.Cardano.Ledger.Generic.Functions |
| CertStateWit | Test.Cardano.Ledger.Generic.Proof |
| certsTotalDepositsTxBody | Cardano.Ledger.Allegra.State, Cardano.Ledger.Alonzo.State, Cardano.Ledger.Babbage.State, Cardano.Ledger.Conway.State, Cardano.Ledger.State, Cardano.Ledger.Dijkstra.State, Cardano.Ledger.Mary.State, Cardano.Ledger.Shelley.State, Cardano.Ledger.Shelley.LedgerState, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| certsTotalRefundsTxBody | Cardano.Ledger.Allegra.State, Cardano.Ledger.Alonzo.State, Cardano.Ledger.Babbage.State, Cardano.Ledger.Conway.State, Cardano.Ledger.State, Cardano.Ledger.Dijkstra.State, Cardano.Ledger.Mary.State, Cardano.Ledger.Shelley.State, Cardano.Ledger.Shelley.LedgerState, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| certsTx | Cardano.Ledger.Conway.Rules |
| certsTxBodyL | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Api.Tx.Body, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Core, Cardano.Ledger.Dijkstra.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Shelley.Core |
| certVStateL | Cardano.Ledger.Conway.State, Cardano.Ledger.Dijkstra.State |
| 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 | Cardano.Ledger.Api.Transition, Cardano.Ledger.Conway.Genesis |
| cgConstitution | Cardano.Ledger.Api.Transition, Cardano.Ledger.Conway.Genesis |
| cgDelegs | Cardano.Ledger.Api.Transition, Cardano.Ledger.Conway.Genesis |
| cgDelegsL | Cardano.Ledger.Conway.Genesis |
| cgInitialDReps | Cardano.Ledger.Api.Transition, Cardano.Ledger.Conway.Genesis |
| cgsCommittee | Cardano.Ledger.Api.Governance, Cardano.Ledger.Api, Cardano.Ledger.Conway.Governance |
| cgsCommitteeL | Cardano.Ledger.Conway.Governance |
| cgsConstitution | Cardano.Ledger.Api.Governance, Cardano.Ledger.Api, Cardano.Ledger.Conway.Governance |
| cgsConstitutionL | Cardano.Ledger.Conway.Governance |
| cgsCurPParams | Cardano.Ledger.Api.Governance, Cardano.Ledger.Api, Cardano.Ledger.Conway.Governance |
| cgsCurPParamsL | Cardano.Ledger.Conway.Governance |
| cgsDRepPulsingState | Cardano.Ledger.Api.Governance, Cardano.Ledger.Api, Cardano.Ledger.Conway.Governance |
| cgsDRepPulsingStateL | Cardano.Ledger.Conway.Governance |
| cgsFuturePParams | Cardano.Ledger.Api.Governance, Cardano.Ledger.Api, Cardano.Ledger.Conway.Governance |
| cgsFuturePParamsL | Cardano.Ledger.Conway.Governance |
| cgsPrevPParams | Cardano.Ledger.Api.Governance, Cardano.Ledger.Api, Cardano.Ledger.Conway.Governance |
| cgsPrevPParamsL | Cardano.Ledger.Conway.Governance |
| cgsProposals | Cardano.Ledger.Api.Governance, Cardano.Ledger.Api, Cardano.Ledger.Conway.Governance |
| cgsProposalsL | Cardano.Ledger.Api.Governance, Cardano.Ledger.Api, Cardano.Ledger.Conway.Governance |
| cgUpgradePParams | Cardano.Ledger.Api.Transition, Cardano.Ledger.Conway.Genesis |
| CHAIN | |
| 1 (Type/Class) | Byron.Spec.Chain.STS.Rule.Chain |
| 2 (Type/Class) | Test.Cardano.Ledger.Shelley.Rules.Chain |
| ChainAccountState | |
| 1 (Type/Class) | Cardano.Ledger.Allegra.State, Cardano.Ledger.Alonzo.State, Cardano.Ledger.Babbage.State, Cardano.Ledger.Conway.State, Cardano.Ledger.State, Cardano.Ledger.Dijkstra.State, Cardano.Ledger.Mary.State, Cardano.Ledger.Shelley.State, Cardano.Ledger.Shelley.LedgerState, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| 2 (Data Constructor) | Cardano.Ledger.Allegra.State, Cardano.Ledger.Alonzo.State, Cardano.Ledger.Babbage.State, Cardano.Ledger.Conway.State, Cardano.Ledger.State, Cardano.Ledger.Dijkstra.State, Cardano.Ledger.Mary.State, Cardano.Ledger.Shelley.State |
| chainAccountStateG | Cardano.Ledger.Allegra.State, Cardano.Ledger.Alonzo.State, Cardano.Ledger.Babbage.State, Cardano.Ledger.Conway.State, Cardano.Ledger.State, Cardano.Ledger.Dijkstra.State, Cardano.Ledger.Mary.State, Cardano.Ledger.Shelley.State |
| chainAccountStateL | Cardano.Ledger.Allegra.State, Cardano.Ledger.Alonzo.State, Cardano.Ledger.Babbage.State, Cardano.Ledger.Conway.State, Cardano.Ledger.State, Cardano.Ledger.Dijkstra.State, Cardano.Ledger.Mary.State, Cardano.Ledger.Shelley.State |
| chainBlockStats | Byron.Spec.Chain.STS.Block |
| chainCandidateNonce | Test.Cardano.Ledger.Shelley.Rules.Chain |
| chainChecks | |
| 1 (Function) | Cardano.Ledger.Chain |
| 2 (Function) | Cardano.Ledger.Shelley.API.Validation, Cardano.Ledger.Shelley.API |
| ChainChecksPParams | |
| 1 (Type/Class) | Cardano.Ledger.Chain |
| 2 (Data Constructor) | Cardano.Ledger.Chain |
| ChainCode | |
| 1 (Type/Class) | Cardano.Ledger.Keys.Bootstrap, Cardano.Ledger.Keys |
| 2 (Data Constructor) | Cardano.Ledger.Keys.Bootstrap, Cardano.Ledger.Keys |
| ChainD | Control.Iterate.Exp |
| chainD | Control.Iterate.Exp |
| ChainDepState | |
| 1 (Type/Class) | Cardano.Protocol.TPraos.API |
| 2 (Data Constructor) | Cardano.Protocol.TPraos.API |
| ChainDifficulty | |
| 1 (Type/Class) | Cardano.Chain.Common |
| 2 (Data Constructor) | 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 (Type/Class) | Test.Cardano.Ledger.Shelley.Examples |
| 2 (Data Constructor) | 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 (Type/Class) | Test.Cardano.Ledger.Shelley.Rules.Chain |
| 2 (Data Constructor) | 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 (Type/Class) | Cardano.Protocol.TPraos.API |
| 2 (Data Constructor) | 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 (Type/Class) | Cardano.Chain.Block |
| 2 (Data Constructor) | 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 |
| chatty | Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common |
| checkAddrSpendingData | Cardano.Chain.Common |
| checkApplicationName | Cardano.Chain.Update |
| checkConformance | Test.Cardano.Ledger.Conformance.ExecSpecRule.Core, Test.Cardano.Ledger.Conformance |
| checkCoverage | Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common, Test.Common |
| checkCoverageWith | Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common, 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 |
| checkLeaderNatValue | Cardano.Protocol.TPraos.BHeader |
| checkLeaderValue | Cardano.Protocol.TPraos.BHeader, Cardano.Protocol.TPraos.API |
| checkPred | Constrained.Conformance |
| checkPredE | |
| 1 (Function) | Constrained.Conformance |
| 2 (Function) | Test.Minimal.Syntax |
| checkPredPure | Constrained.Conformance |
| checkPreds | Constrained.Conformance |
| checkPredsE | |
| 1 (Function) | Constrained.Conformance |
| 2 (Function) | Test.Minimal.Syntax |
| 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 |
| choose | |
| 1 (Function) | Test.Cardano.Ledger.Common, Test.Common |
| 2 (Function) | Test.Cardano.Ledger.Imp.Common |
| chooseAny | Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common, Test.Common |
| chooseBackwards | Constrained.Examples.Basic, Constrained.Examples |
| chooseBackwards' | Constrained.Examples.Basic, Constrained.Examples |
| chooseBoundedIntegral | Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common, Test.Common |
| chooseEnum | Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common, Test.Common |
| chooseInt | Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common, Test.Common |
| chooseInteger | Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common, Test.Common |
| chooseIssuer | Test.Cardano.Ledger.Generic.Trace |
| chooseSpec | Constrained.Spec.SumProd, Constrained.API |
| chooseSpecExample | Constrained.Examples.CheatSheet |
| chooseT | Constrained.GenT |
| 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 |
| cisCredentialStake | Cardano.Ledger.Conway.State, Cardano.Ledger.Dijkstra.State |
| cJust_ | Constrained.Spec.SumProd, Constrained.API |
| cKeyHashObj | Test.Cardano.Ledger.Constrained.Conway.Instances.Ledger, Test.Cardano.Ledger.Constrained.Conway.Instances, Test.Cardano.Ledger.Constrained.Conway |
| classes | Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common, Test.Common |
| classify | Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common, 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.Trace.Generator.QuickCheck |
| 2 (Function) | Test.Control.State.Transition.Generator |
| classifyTraceLength | |
| 1 (Function) | Test.Control.State.Transition.Trace.Generator.QuickCheck |
| 2 (Function) | Test.Control.State.Transition.Generator |
| classOf | Test.Cardano.Ledger.Conformance.ExecSpecRule.Core, Test.Cardano.Ledger.Conformance |
| clearRecent | Cardano.Ledger.Shelley.RewardUpdate |
| clecEnactState | Test.Cardano.Ledger.Conformance.ExecSpecRule.Conway |
| clecPolicyHash | Test.Cardano.Ledger.Conformance.ExecSpecRule.Conway |
| clecUtxoExecContext | Test.Cardano.Ledger.Conformance.ExecSpecRule.Conway |
| Closed | Cardano.Ledger.Binary.Coders |
| closure | Test.Control.State.Transition.Trace |
| cmpIndex | Data.Universe |
| 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.SumProd, Constrained.API |
| CoArbitrary | Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common, Test.Common |
| coarbitrary | Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common, Test.Common |
| coarbitraryEnum | Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common, Test.Common |
| coarbitraryIntegral | Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common, Test.Common |
| coarbitraryReal | Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common, Test.Common |
| coarbitraryShow | Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common, Test.Common |
| coerceKeyRole | Cardano.Ledger.Keys, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| coerceValidated | Cardano.Ledger.Shelley.API.Mempool, Cardano.Ledger.Shelley.API |
| coerceWitness | Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common, Test.Common |
| coerce_ | |
| 1 (Function) | Test.Cardano.Ledger.Constrained.Conway.Instances.Ledger, Test.Cardano.Ledger.Constrained.Conway.Instances, Test.Cardano.Ledger.Constrained.Conway |
| 2 (Function) | Test.Minimal.Tuple |
| Coin | |
| 1 (Type/Class) | Cardano.Ledger.Coin, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| 2 (Data Constructor) | Cardano.Ledger.Coin, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| 3 (Type/Class) | Constrained.Examples.ManualExamples |
| 4 (Data Constructor) | Constrained.Examples.ManualExamples |
| coin | |
| 1 (Function) | 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 |
| 2 (Function) | Cardano.Ledger.Val |
| coinBalance | Cardano.Ledger.Allegra.State, Cardano.Ledger.Alonzo.State, Cardano.Ledger.Babbage.State, Cardano.Ledger.Conway.State, Cardano.Ledger.UTxO, Cardano.Ledger.State, Cardano.Ledger.Dijkstra.State, Cardano.Ledger.Mary.State, Cardano.Ledger.Shelley.State |
| coinCompact | Cardano.Ledger.Val |
| CoinPerByte | |
| 1 (Type/Class) | Cardano.Ledger.Api.PParams, Cardano.Ledger.Api, Cardano.Ledger.Babbage.PParams, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Dijkstra.Core |
| 2 (Data Constructor) | Cardano.Ledger.Api.PParams, Cardano.Ledger.Api, Cardano.Ledger.Babbage.PParams, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Dijkstra.Core |
| CoinPerUTxOByte | Test.Cardano.Ledger.Generic.Fields |
| CoinPerUTxOWord | Test.Cardano.Ledger.Generic.Fields |
| CoinPerWord | |
| 1 (Type/Class) | Cardano.Ledger.Alonzo.PParams, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Api.PParams, Cardano.Ledger.Api, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Dijkstra.Core |
| 2 (Data Constructor) | Cardano.Ledger.Alonzo.PParams, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Api.PParams, Cardano.Ledger.Api, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Dijkstra.Core |
| 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.Instances, Test.Cardano.Ledger.Constrained.Conway.ParametricSpec, Test.Cardano.Ledger.Constrained.Conway |
| coinsPerUTxOByteToCoinsPerUTxOWord | Cardano.Ledger.Api.PParams, Cardano.Ledger.Api, Cardano.Ledger.Babbage.PParams |
| coinsPerUTxOByte_ | Test.Cardano.Ledger.Constrained.Conway.Instances.PParams, Test.Cardano.Ledger.Constrained.Conway.Instances, Test.Cardano.Ledger.Constrained.Conway.ParametricSpec, 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.Instances, Test.Cardano.Ledger.Constrained.Conway.ParametricSpec, Test.Cardano.Ledger.Constrained.Conway |
| coinsPerUTxOWordToCoinsPerUTxOByte | Cardano.Ledger.Api.PParams, Cardano.Ledger.Api, Cardano.Ledger.Babbage.PParams |
| coinsPerUTxOWord_ | Test.Cardano.Ledger.Constrained.Conway.Instances.PParams, Test.Cardano.Ledger.Constrained.Conway.Instances, Test.Cardano.Ledger.Constrained.Conway.ParametricSpec, Test.Cardano.Ledger.Constrained.Conway |
| coinToRational | Cardano.Ledger.Coin |
| coinToWord64 | Test.Cardano.Ledger.Constrained.Conway.Deleg, Test.Cardano.Ledger.Constrained.Conway |
| coinTxOutL | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Api.Tx.Out, Cardano.Ledger.Api.Tx.Body, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Core, Cardano.Ledger.Dijkstra.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Shelley.Core |
| ColdCommitteeRole | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Hashes, Cardano.Ledger.Keys, Cardano.Ledger.Core, Cardano.Ledger.Dijkstra.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Shelley.Core, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| ColdKey | Test.Cardano.Ledger.Constrained.Conway.Cert, Test.Cardano.Ledger.Constrained.Conway.ParametricSpec, Test.Cardano.Ledger.Constrained.Conway |
| collAdaBalance | Cardano.Ledger.Babbage.Collateral |
| Collateral | Test.Cardano.Ledger.Generic.Fields |
| collateral | Test.Cardano.Ledger.Examples.BabbageFeatures |
| Collateral' | Test.Cardano.Ledger.Generic.Fields |
| collateral' | Cardano.Ledger.Alonzo.TxBody |
| CollateralContainsNonADA | |
| 1 (Data Constructor) | Cardano.Ledger.Alonzo.Rules |
| 2 (Data Constructor) | Cardano.Ledger.Conway.Rules |
| collateralInputs' | Cardano.Ledger.Babbage.TxBody |
| collateralInputsTxBodyL | Cardano.Ledger.Alonzo.TxBody, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Api.Tx.Body, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Dijkstra.Core |
| collateralOutput | |
| 1 (Function) | Test.Cardano.Ledger.Api.Examples.Consensus.Conway |
| 2 (Function) | Test.Cardano.Ledger.Api.Examples.Consensus.Dijkstra |
| 3 (Function) | Test.Cardano.Ledger.Api.Examples.Consensus.Babbage |
| CollateralPercentage | Test.Cardano.Ledger.Generic.Fields |
| collateralPercentage | 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 |
| collateralPercentage' | Test.Cardano.Ledger.Generic.Functions |
| collateralPercentage_ | Test.Cardano.Ledger.Constrained.Conway.Instances.PParams, Test.Cardano.Ledger.Constrained.Conway.Instances, Test.Cardano.Ledger.Constrained.Conway.ParametricSpec, Test.Cardano.Ledger.Constrained.Conway |
| CollateralReturn | Test.Cardano.Ledger.Generic.Fields |
| CollateralReturn' | Test.Cardano.Ledger.Generic.Fields |
| collateralReturn' | Cardano.Ledger.Babbage.TxBody |
| collateralReturnTxBodyL | Cardano.Ledger.Api.Tx.Body, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api, Cardano.Ledger.Babbage.TxBody, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Dijkstra.Core |
| Collect | |
| 1 (Type/Class) | Control.Iterate.Collect |
| 2 (Data Constructor) | Control.Iterate.Collect |
| collect | Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common, 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 (Type/Class) | Test.Cardano.Ledger.Generic.ApplyTx |
| 2 (Data Constructor) | Test.Cardano.Ledger.Generic.ApplyTx |
| collInfo | Test.Cardano.Ledger.Generic.ApplyTx |
| collInputsMax | Test.Cardano.Ledger.Generic.GenState |
| collOuts | Cardano.Ledger.Babbage.Collateral |
| ColPlus | |
| 1 (Type/Class) | Control.Iterate.Collect |
| 2 (Data Constructor) | Control.Iterate.Collect |
| combinedScripts | Test.Cardano.Ledger.Shelley.Generator.ScriptClass |
| combineFoldSpec | Constrained.TheKnot |
| combineNumSpec | Constrained.NumOrd |
| combineSpec | |
| 1 (Function) | Constrained.Base, Constrained.API |
| 2 (Function) | Test.Minimal.Base |
| combTypeName | Constrained.Generation |
| Commit | Test.Control.State.Transition.Examples.CommitReveal |
| committedHashes | Test.Control.State.Transition.Examples.CommitReveal |
| Committee | |
| 1 (Type/Class) | Cardano.Ledger.Conway.Governance |
| 2 (Data Constructor) | Cardano.Ledger.Conway.Governance |
| committeeAccepted | Cardano.Ledger.Conway.Rules |
| committeeAcceptedRatio | Cardano.Ledger.Conway.Rules |
| CommitteeAuthorization | Cardano.Ledger.Allegra.State, Cardano.Ledger.Alonzo.State, Cardano.Ledger.Babbage.State, Cardano.Ledger.Conway.State, Cardano.Ledger.State, Cardano.Ledger.Dijkstra.State, Cardano.Ledger.Mary.State, Cardano.Ledger.Shelley.State |
| committeeCredentialToStrictMaybe | Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base |
| committeeGovStateL | Cardano.Ledger.Conway.Governance |
| CommitteeHotCredential | Cardano.Ledger.Allegra.State, Cardano.Ledger.Alonzo.State, Cardano.Ledger.Babbage.State, Cardano.Ledger.Conway.State, Cardano.Ledger.State, Cardano.Ledger.Dijkstra.State, Cardano.Ledger.Mary.State, Cardano.Ledger.Shelley.State |
| 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.Instances, Test.Cardano.Ledger.Constrained.Conway.ParametricSpec, Test.Cardano.Ledger.Constrained.Conway |
| committeeMaxTermLength_ | Test.Cardano.Ledger.Constrained.Conway.Instances.PParams, Test.Cardano.Ledger.Constrained.Conway.Instances, Test.Cardano.Ledger.Constrained.Conway.ParametricSpec, Test.Cardano.Ledger.Constrained.Conway |
| CommitteeMemberResigned | Cardano.Ledger.Allegra.State, Cardano.Ledger.Alonzo.State, Cardano.Ledger.Babbage.State, Cardano.Ledger.Conway.State, Cardano.Ledger.State, Cardano.Ledger.Dijkstra.State, Cardano.Ledger.Mary.State, Cardano.Ledger.Shelley.State |
| committeeMembers | Cardano.Ledger.Conway.Governance |
| committeeMembersL | Cardano.Ledger.Conway.Governance |
| CommitteeMembersState | |
| 1 (Type/Class) | Cardano.Ledger.Api.State.Query |
| 2 (Data Constructor) | Cardano.Ledger.Api.State.Query |
| CommitteeMemberState | |
| 1 (Type/Class) | Cardano.Ledger.Api.State.Query |
| 2 (Data Constructor) | 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.Instances, Test.Cardano.Ledger.Constrained.Conway.ParametricSpec, Test.Cardano.Ledger.Constrained.Conway |
| committeeMinSize_ | Test.Cardano.Ledger.Constrained.Conway.Instances.PParams, Test.Cardano.Ledger.Constrained.Conway.Instances, Test.Cardano.Ledger.Constrained.Conway.ParametricSpec, Test.Cardano.Ledger.Constrained.Conway |
| CommitteePurpose | Cardano.Ledger.Api.Governance, Cardano.Ledger.Api, Cardano.Ledger.Conway.Governance |
| CommitteeState | |
| 1 (Type/Class) | Cardano.Ledger.Allegra.State, Cardano.Ledger.Alonzo.State, Cardano.Ledger.Babbage.State, Cardano.Ledger.Conway.State, Cardano.Ledger.State, Cardano.Ledger.Dijkstra.State, Cardano.Ledger.Mary.State, Cardano.Ledger.Shelley.State |
| 2 (Data Constructor) | Cardano.Ledger.Allegra.State, Cardano.Ledger.Alonzo.State, Cardano.Ledger.Babbage.State, Cardano.Ledger.Conway.State, Cardano.Ledger.State, Cardano.Ledger.Dijkstra.State, Cardano.Ledger.Mary.State, Cardano.Ledger.Shelley.State |
| CommitteeTermLimit | Test.Cardano.Ledger.Generic.Fields |
| committeeThreshold | Cardano.Ledger.Conway.Governance |
| committeeThresholdL | Cardano.Ledger.Conway.Governance |
| CommitteeVoter | Cardano.Ledger.Api.Governance, Cardano.Ledger.Api, Cardano.Ledger.Conway.Governance |
| committeeWitness | Test.Cardano.Ledger.Constrained.Conway.WitnessUniverse |
| committee_cold_credential | Test.Cardano.Ledger.Conway.CDDL |
| committee_hot_credential | Test.Cardano.Ledger.Conway.CDDL |
| commonTests | Test.Cardano.Ledger.Shelley.PropertyTests |
| commutativeCategoryLaws | Test.Common |
| commutativeMonoidLaws | Test.Common |
| commutativeSemigroupLaws | Test.Common |
| commutesNumSpec | Constrained.Tests |
| commuteTimes | Constrained.Tests |
| CompactAddr | Cardano.Ledger.Address |
| compactAddr | Cardano.Ledger.Address |
| CompactAddress | Cardano.Chain.Common |
| compactAddrTxOutL | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Core, Cardano.Ledger.Dijkstra.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Shelley.Core |
| CompactCoin | Cardano.Ledger.Coin, Cardano.Ledger.UMap |
| compactCoinNonZero | Cardano.Ledger.Coin |
| compactCoinOrError | Cardano.Ledger.Coin, Cardano.Ledger.UMap |
| compactCoinTxOutL | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Core, Cardano.Ledger.Dijkstra.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Shelley.Core |
| CompactDeltaCoin | Cardano.Ledger.Coin |
| CompactForm | Cardano.Ledger.Compactible, Cardano.Ledger.Coin, Cardano.Ledger.UMap, Cardano.Ledger.Mary.Value |
| Compactible | Cardano.Ledger.Compactible |
| CompactRedeemVerificationKey | |
| 1 (Type/Class) | Cardano.Crypto.Signing.Redeem, Cardano.Crypto.Signing, Cardano.Crypto |
| 2 (Data Constructor) | 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 (Type/Class) | Cardano.Chain.UTxO |
| 2 (Data Constructor) | Cardano.Chain.UTxO |
| CompactValue | |
| 1 (Type/Class) | Cardano.Ledger.Mary.Value |
| 2 (Data Constructor) | Cardano.Ledger.Mary.Value |
| CompactValueAdaOnly | Cardano.Ledger.Mary.Value |
| CompactValueMultiAsset | Cardano.Ledger.Mary.Value |
| compactValueTxOutL | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Core, Cardano.Ledger.Dijkstra.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Shelley.Core |
| compareByShape | Data.Universe |
| compareHexDump | Test.Cardano.Ledger.Binary.Vintage.Helpers.GoldenRoundTrip |
| CompareResult | Cardano.Ledger.NonIntegral |
| compareWit | Constrained.TheKnot |
| compCurryR | Control.Iterate.Exp |
| compile | Control.Iterate.SetAlgebra |
| compileSubterm | Control.Iterate.SetAlgebra |
| Complete | |
| 1 (Data Constructor) | Cardano.Ledger.Shelley.RewardUpdate, Cardano.Ledger.Shelley.LedgerState, Cardano.Ledger.Shelley.Rules |
| 2 (Type/Class) | Constrained.SumList |
| 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 |
| completeRupd | Cardano.Ledger.Shelley.LedgerState |
| completeStep | Cardano.Ledger.Shelley.LedgerState, Cardano.Ledger.Shelley.Rules |
| complexUnion | Constrained.Examples.Set, Constrained.Examples |
| compose1 | Control.Iterate.Exp |
| composeFn | Constrained.TheKnot |
| ComposeW | Constrained.TheKnot |
| compose_ | Constrained.TheKnot, Constrained.API |
| compositionalSpec | Constrained.Examples.Set, Constrained.Examples |
| compSndL | Control.Iterate.Exp |
| compSndR | Control.Iterate.Exp |
| compute | Control.Iterate.SetAlgebra |
| computeBinderDependencies | |
| 1 (Function) | Constrained.Syntax |
| 2 (Function) | Test.Minimal.Model |
| computedCtx | Test.Cardano.Ledger.Binary.Vintage.Helpers |
| computeDependencies | |
| 1 (Function) | Constrained.Syntax |
| 2 (Function) | Test.Minimal.Model |
| computeDRepDistr | Cardano.Ledger.Conway.Governance.DRepPulser, Cardano.Ledger.Conway.Governance |
| computeDRepExpiry | Cardano.Ledger.Conway.Rules |
| computeHints | |
| 1 (Function) | Constrained.Generation |
| 2 (Function) | Test.Minimal.Model |
| computeRandomnessStabilisationWindow | Cardano.Ledger.Shelley.StabilityWindow, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| Computes | Constrained.TypeErrors |
| computeSets | Test.Cardano.Ledger.Constrained.Conway.Cert, Test.Cardano.Ledger.Constrained.Conway |
| computeSlow | Control.Iterate.SetAlgebra |
| computeSpec | |
| 1 (Function) | Constrained.Generation |
| 2 (Function) | Test.Minimal.Model |
| computeSpecBinder | |
| 1 (Function) | Constrained.Generation |
| 2 (Function) | Test.Minimal.Model |
| computeSpecBinderSimplified | |
| 1 (Function) | Constrained.Generation |
| 2 (Function) | Test.Minimal.Model |
| computeSpecSimplified | |
| 1 (Function) | Constrained.Generation |
| 2 (Function) | Test.Minimal.Model |
| computeStabilityWindow | Cardano.Ledger.Shelley.StabilityWindow, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| computeTermDependencies | |
| 1 (Function) | Constrained.Syntax |
| 2 (Function) | Test.Minimal.Model |
| computeTermDependencies' | |
| 1 (Function) | Constrained.Syntax |
| 2 (Function) | Test.Minimal.Model |
| con | Constrained.Spec.SumProd, Constrained.API |
| concat | Cardano.Chain.UTxO.UTxO, Cardano.Chain.UTxO |
| concatGroups | Test.Options |
| concatSolution | Constrained.SumList |
| concatTSGroups | Test.Options |
| conf | Main |
| Confidence | |
| 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 |
| Config | |
| 1 (Type/Class) | Cardano.Chain.Genesis |
| 2 (Data Constructor) | 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.Endorsement |
| 3 (Function) | Cardano.Chain.Update.Validation.Interface |
| ConflictingCommitteeUpdate | Cardano.Ledger.Conway.Rules |
| ConflictingMetadataHash | |
| 1 (Data Constructor) | Cardano.Ledger.Conway.Rules |
| 2 (Data Constructor) | Cardano.Ledger.Shelley.Rules |
| conformsTo | |
| 1 (Function) | Constrained.Base, Constrained.API |
| 2 (Function) | Test.Minimal.Base |
| conformsToFoldSpec | Constrained.TheKnot |
| conformsToImpl | Test.Cardano.Ledger.Conformance.ExecSpecRule.Core, Test.Cardano.Ledger.Conformance |
| conformsToNumSpec | Constrained.NumOrd |
| conformsToSpec | |
| 1 (Function) | Constrained.Conformance, Constrained.API |
| 2 (Function) | Test.Minimal.Syntax |
| conformsToSpecE | Constrained.Conformance, Constrained.API |
| conformsToSpecESpec | Constrained.Tests |
| conformsToSpecETest | Constrained.Tests |
| conformsToSpecProp | Constrained.Properties |
| conInputs | Cardano.Ledger.Shelley.AdaPots |
| conjoin | Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common, Test.Common |
| conRefunds | Cardano.Ledger.Shelley.AdaPots |
| consistentUtxoSizeProp | Test.Cardano.Ledger.Generic.AggPropTests |
| constant | Control.Iterate.Exp |
| constantByteString | Test.Cardano.Crypto.CBOR |
| Constants | |
| 1 (Type/Class) | Test.Cardano.Ledger.Shelley.Generator.Constants, Test.Cardano.Ledger.Shelley.Constants |
| 2 (Data Constructor) | Test.Cardano.Ledger.Shelley.Generator.Constants, Test.Cardano.Ledger.Shelley.Constants |
| Constitution | |
| 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 |
| constitution | Test.Cardano.Ledger.Conway.CDDL |
| constitutionAnchor | Cardano.Ledger.Api.Governance, Cardano.Ledger.Api, Cardano.Ledger.Conway.Governance |
| constitutionAnchorL | Cardano.Ledger.Api.Governance, Cardano.Ledger.Api, Cardano.Ledger.Conway.Governance |
| constitutionGovStateL | Cardano.Ledger.Conway.Governance |
| ConstitutionPurpose | Cardano.Ledger.Api.Governance, Cardano.Ledger.Api, Cardano.Ledger.Conway.Governance |
| constitutionScript | Cardano.Ledger.Api.Governance, Cardano.Ledger.Api, Cardano.Ledger.Conway.Governance |
| constitutionScriptL | Cardano.Ledger.Api.Governance, Cardano.Ledger.Api, Cardano.Ledger.Conway.Governance |
| Constr | Constrained.Generic |
| constr | Test.Cardano.Ledger.Alonzo.CDDL, Test.Cardano.Ledger.Babbage.CDDL, Test.Cardano.Ledger.Conway.CDDL |
| constrained | |
| 1 (Function) | Constrained.Base, Constrained.API |
| 2 (Function) | Test.Minimal.Base |
| constrained' | Constrained.Spec.SumProd, Constrained.API |
| constrainInterval | |
| 1 (Function) | Constrained.NumOrd |
| 2 (Function) | Test.Minimal.Model |
| ConstrOf | Constrained.Generic |
| constructTx | Test.Cardano.Ledger.Shelley.Generator.EraGen |
| consts | Constrained.Generic |
| 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 (Type/Class) | Cardano.Ledger.Shelley.AdaPots |
| 2 (Data Constructor) | Cardano.Ledger.Shelley.AdaPots |
| consumed | Cardano.Ledger.Allegra.State, Cardano.Ledger.Alonzo.State, Cardano.Ledger.Api.UTxO, Cardano.Ledger.Babbage.State, Cardano.Ledger.Conway.State, Cardano.Ledger.UTxO, Cardano.Ledger.State, Cardano.Ledger.Dijkstra.State, Cardano.Ledger.Mary.State, Cardano.Ledger.Shelley.State, 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 (Type/Class) | Control.Iterate.Collect |
| 2 (Data Constructor) | Control.Iterate.Collect |
| Container | Test.Minimal.Base |
| contentsEq | Cardano.Ledger.MemoBytes.Internal, Cardano.Ledger.MemoBytes |
| context | Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common |
| ContextError | |
| 1 (Type/Class) | Cardano.Ledger.Alonzo.Plutus.Context |
| 2 (Data Constructor) | Cardano.Ledger.Alonzo.Plutus.Evaluate, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api |
| ContinuousIntegration | Test.Options |
| contravariantLaws | Test.Common |
| convertNonAvvmDataToBalances | Cardano.Chain.Genesis |
| Conway | |
| 1 (Type/Class) | Cardano.Ledger.Conway |
| 2 (Data Constructor) | Test.Cardano.Ledger.Generic.Proof |
| conwayApplyPPUpdates | Cardano.Ledger.Conway.PParams |
| ConwayAuthCommitteeHotKey | Cardano.Ledger.Conway.TxCert |
| ConwayBBODY | Cardano.Ledger.Conway.Rules |
| ConwayBbodyPredFailure | Cardano.Ledger.Conway.Rules |
| conwayCDDL | Test.Cardano.Ledger.Conway.CDDL |
| ConwayCERT | Cardano.Ledger.Conway.Rules |
| conwayCertDState | Cardano.Ledger.Conway.State, Cardano.Ledger.Dijkstra.State |
| conwayCertDStateL | Cardano.Ledger.Conway.State, Cardano.Ledger.Dijkstra.State |
| ConwayCertEvent | Cardano.Ledger.Conway.Rules |
| ConwayCertExecContext | |
| 1 (Type/Class) | Test.Cardano.Ledger.Conformance.ExecSpecRule.Conway.Base |
| 2 (Data Constructor) | Test.Cardano.Ledger.Conformance.ExecSpecRule.Conway.Base |
| conwayCertExecContextSpec | Test.Cardano.Ledger.Conformance.ExecSpecRule.Conway.Base |
| ConwayCertifying | Cardano.Ledger.Api.Tx.Wits, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api, Cardano.Ledger.Conway.Scripts |
| ConwayCertPredFailure | Cardano.Ledger.Conway.Rules |
| conwayCertPState | Cardano.Ledger.Conway.State, Cardano.Ledger.Dijkstra.State |
| conwayCertPStateL | Cardano.Ledger.Conway.State, Cardano.Ledger.Dijkstra.State |
| ConwayCERTS | Cardano.Ledger.Conway.Rules |
| ConwayCertsEvent | Cardano.Ledger.Conway.Rules |
| ConwayCertsFailure | Cardano.Ledger.Conway.Rules |
| ConwayCertsPredFailure | Cardano.Ledger.Conway.Rules |
| ConwayCertState | |
| 1 (Type/Class) | Cardano.Ledger.Conway.State, Cardano.Ledger.Dijkstra.State |
| 2 (Data Constructor) | Cardano.Ledger.Conway.State, Cardano.Ledger.Dijkstra.State |
| conwayCertStateSpec | |
| 1 (Function) | Test.Cardano.Ledger.Constrained.Conway.Cert, Test.Cardano.Ledger.Constrained.Conway |
| 2 (Function) | Test.Cardano.Ledger.Constrained.Conway.LedgerTypes.Specs |
| conwayCertsTotalDepositsTxBody | Cardano.Ledger.Conway.State, Cardano.Ledger.Dijkstra.State |
| conwayCertsTotalRefundsTxBody | Cardano.Ledger.Conway.State, Cardano.Ledger.Dijkstra.State |
| conwayCertVState | Cardano.Ledger.Conway.State, Cardano.Ledger.Dijkstra.State |
| conwayCertVStateL | Cardano.Ledger.Conway.State, Cardano.Ledger.Dijkstra.State |
| ConwayCommitteeHasPreviouslyResigned | Cardano.Ledger.Conway.Rules |
| ConwayCommitteeIsUnknown | Cardano.Ledger.Conway.Rules |
| conwayConsumed | Cardano.Ledger.Conway.UTxO |
| ConwayContextError | Cardano.Ledger.Conway.TxInfo |
| ConwayDELEG | Cardano.Ledger.Conway.Rules |
| ConwayDelegCert | |
| 1 (Type/Class) | Cardano.Ledger.Conway.TxCert |
| 2 (Data Constructor) | Cardano.Ledger.Conway.TxCert |
| conwayDelegCertSpec | Test.Cardano.Ledger.Constrained.Conway.Deleg, Test.Cardano.Ledger.Constrained.Conway |
| ConwayDelegEnv | |
| 1 (Type/Class) | Cardano.Ledger.Conway.Rules |
| 2 (Data Constructor) | 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 | Cardano.Ledger.Api.Era, Cardano.Ledger.Api, Cardano.Ledger.Conway, Cardano.Ledger.Internal.Definition.Era, Cardano.Ledger.Internal.Era, Test.Cardano.Ledger.Generic.Proof |
| ConwayEraCertState | Cardano.Ledger.Conway.State, Cardano.Ledger.Dijkstra.State |
| ConwayEraGov | Cardano.Ledger.Conway.Governance |
| ConwayEraImp | Test.Cardano.Ledger.Conway.ImpTest |
| ConwayEraPlutusTxInfo | Cardano.Ledger.Conway.TxInfo |
| ConwayEraPParams | Cardano.Ledger.Conway.PParams, Cardano.Ledger.Conway.Core, Cardano.Ledger.Dijkstra.Core |
| ConwayEraScript | Cardano.Ledger.Api.Scripts, Cardano.Ledger.Api.Tx.Body, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api, Cardano.Ledger.Conway.Scripts, Cardano.Ledger.Conway.Core, Cardano.Ledger.Dijkstra.Core |
| ConwayEraTest | Test.Cardano.Ledger.Conway.Era |
| ConwayEraTransition | Cardano.Ledger.Conway.Transition |
| ConwayEraTxBody | Cardano.Ledger.Api.Tx.Body, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api, Cardano.Ledger.Conway.TxBody, Cardano.Ledger.Conway.Core, Cardano.Ledger.Dijkstra.Core |
| ConwayEraTxCert | Cardano.Ledger.Api.Tx.Cert, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api, Cardano.Ledger.Conway.TxCert, Cardano.Ledger.Conway.Core, Cardano.Ledger.Dijkstra.Core |
| ConwayExecEnactEnv | |
| 1 (Type/Class) | Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base |
| 2 (Data Constructor) | Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base |
| ConwayGenesis | |
| 1 (Type/Class) | Cardano.Ledger.Api.Transition, Cardano.Ledger.Conway.Genesis |
| 2 (Data Constructor) | Cardano.Ledger.Api.Transition, Cardano.Ledger.Conway.Genesis |
| ConwayGOV | Cardano.Ledger.Conway.Rules |
| ConwayGOVCERT | Cardano.Ledger.Conway.Rules |
| ConwayGovCert | Cardano.Ledger.Conway.TxCert |
| ConwayGovCertEnv | |
| 1 (Type/Class) | Cardano.Ledger.Conway.Rules |
| 2 (Data Constructor) | 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, Cardano.Ledger.Conway.Governance |
| 2 (Data Constructor) | Cardano.Ledger.Api.Governance, Cardano.Ledger.Api, Cardano.Ledger.Conway.Governance |
| conwayGovStateDRepDistrG | Cardano.Ledger.Conway.Governance |
| conwayGovStateSpec | Test.Cardano.Ledger.Constrained.Conway.LedgerTypes.Specs |
| conwaygovX | Test.Cardano.Ledger.Constrained.Conway.LedgerTypes.WellFormed |
| ConwayHARDFORK | Cardano.Ledger.Conway.Rules |
| ConwayHardForkEvent | |
| 1 (Type/Class) | Cardano.Ledger.Conway.Rules |
| 2 (Data Constructor) | Cardano.Ledger.Conway.Rules |
| ConwayInstantStake | |
| 1 (Type/Class) | Cardano.Ledger.Conway.State, Cardano.Ledger.Dijkstra.State |
| 2 (Data Constructor) | Cardano.Ledger.Conway.State, Cardano.Ledger.Dijkstra.State |
| conwayInstantStakeCredentialsL | Cardano.Ledger.Conway.State, Cardano.Ledger.Dijkstra.State |
| ConwayLEDGER | Cardano.Ledger.Conway.Rules |
| ConwayLedgerEvent | Cardano.Ledger.Conway.Rules |
| ConwayLedgerExecContext | |
| 1 (Type/Class) | Test.Cardano.Ledger.Conformance.ExecSpecRule.Conway |
| 2 (Data Constructor) | Test.Cardano.Ledger.Conformance.ExecSpecRule.Conway |
| ConwayLedgerPredFailure | Cardano.Ledger.Conway.Rules |
| ConwayMEMPOOL | Cardano.Ledger.Conway.Rules |
| ConwayMempoolFailure | Cardano.Ledger.Conway.Rules |
| ConwayMinting | Cardano.Ledger.Api.Tx.Wits, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api, 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 |
| conwayObligationCertState | Cardano.Ledger.Conway.State, Cardano.Ledger.Dijkstra.State |
| ConwayPlutusPurpose | Cardano.Ledger.Api.Tx.Wits, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api, Cardano.Ledger.Conway.Scripts |
| ConwayPlutusV1 | Cardano.Ledger.Conway.Scripts, Cardano.Ledger.Dijkstra.Scripts |
| ConwayPlutusV2 | Cardano.Ledger.Conway.Scripts, Cardano.Ledger.Dijkstra.Scripts |
| ConwayPlutusV3 | Cardano.Ledger.Conway.Scripts, Cardano.Ledger.Dijkstra.Scripts |
| ConwayPParams | |
| 1 (Type/Class) | Cardano.Ledger.Conway.PParams |
| 2 (Data Constructor) | Cardano.Ledger.Conway.PParams |
| conwayProducedValue | Cardano.Ledger.Conway.UTxO |
| conwayProposalsDeposits | Cardano.Ledger.Conway.TxBody |
| ConwayProposing | Cardano.Ledger.Api.Tx.Wits, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api, Cardano.Ledger.Conway.Scripts |
| ConwayRATIFY | Cardano.Ledger.Conway.Rules |
| ConwayRatifyExecContext | |
| 1 (Type/Class) | Test.Cardano.Ledger.Conformance.ExecSpecRule.Conway.Base, Test.Cardano.Ledger.Conformance.ExecSpecRule.Conway |
| 2 (Data Constructor) | Test.Cardano.Ledger.Conformance.ExecSpecRule.Conway.Base, Test.Cardano.Ledger.Conformance.ExecSpecRule.Conway |
| conwayRedeemerPointer | Cardano.Ledger.Conway.TxBody |
| conwayRedeemerPointerInverse | Cardano.Ledger.Conway.TxBody |
| ConwayRegCert | Cardano.Ledger.Conway.TxCert |
| ConwayRegDelegCert | Cardano.Ledger.Conway.TxCert |
| ConwayRegDRep | Cardano.Ledger.Conway.TxCert |
| ConwayResignCommitteeColdKey | Cardano.Ledger.Conway.TxCert |
| ConwayRewarding | Cardano.Ledger.Api.Tx.Wits, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api, Cardano.Ledger.Conway.Scripts |
| conwaySpec | Test.Cardano.Ledger.Conway.Imp |
| ConwaySpending | Cardano.Ledger.Api.Tx.Wits, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api, Cardano.Ledger.Conway.Scripts |
| ConwayTICKF | Cardano.Ledger.Conway.Rules |
| ConwayTickfEvent | Cardano.Ledger.Conway.Rules |
| ConwayTickfPredFailure | Cardano.Ledger.Conway.Rules |
| conwayTotalDepositsTxBody | Cardano.Ledger.Conway.TxBody |
| conwayTotalDepositsTxCerts | Cardano.Ledger.Conway.TxCert |
| conwayTotalRefundsTxCerts | Cardano.Ledger.Conway.TxCert |
| ConwayTransitionConfig | Cardano.Ledger.Conway.Transition |
| ConwayTreasuryValueMismatch | Cardano.Ledger.Conway.Rules |
| ConwayTxBody | Cardano.Ledger.Conway.TxBody |
| ConwayTxBodyRaw | |
| 1 (Type/Class) | Cardano.Ledger.Conway.TxBody |
| 2 (Data Constructor) | Cardano.Ledger.Conway.TxBody |
| ConwayTxBodyTransContext | |
| 1 (Type/Class) | Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base, Test.Cardano.Ledger.Conformance.SpecTranslate.Conway |
| 2 (Data Constructor) | Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base |
| 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 |
| conwayTxCertSpec | Test.Cardano.Ledger.Constrained.Conway.Cert, Test.Cardano.Ledger.Constrained.Conway |
| ConwayTxCertUpgradeError | Cardano.Ledger.Conway.TxCert |
| ConwayTxRefScriptsSizeTooBig | Cardano.Ledger.Conway.Rules |
| ConwayUnRegCert | Cardano.Ledger.Conway.TxCert |
| ConwayUnRegDRep | Cardano.Ledger.Conway.TxCert |
| ConwayUpdateDRep | Cardano.Ledger.Conway.TxCert |
| ConwayUTXO | Cardano.Ledger.Conway.Rules |
| 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 | Cardano.Ledger.Api.Tx.Wits, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api, Cardano.Ledger.Conway.Scripts |
| ConwayWdrlNotDelegatedToDRep | Cardano.Ledger.Conway.Rules |
| conwayWitUniv | Test.Cardano.Ledger.Constrained.Conway.WitnessUniverse |
| conWithdrawals | Cardano.Ledger.Shelley.AdaPots |
| coreAuxDataBytes | Cardano.Ledger.Shelley.BlockChain |
| CoreKeyCred | Test.Cardano.Ledger.Shelley.Generator.TxCert, Test.Cardano.Ledger.Shelley.Generator.Delegation |
| 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 |
| 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 |
| Cost | |
| 1 (Type/Class) | Constrained.SumList |
| 2 (Data Constructor) | Constrained.SumList |
| cost | Cardano.Ledger.Shelley.API.Wallet, Cardano.Ledger.Shelley.API |
| Costmdls | Test.Cardano.Ledger.Generic.Fields |
| CostModel | Cardano.Ledger.Alonzo.Scripts, Cardano.Ledger.Alonzo.Tx, Cardano.Ledger.Babbage.Tx, Cardano.Ledger.Plutus.CostModels, Cardano.Ledger.Plutus |
| costModelFromMap | Cardano.Ledger.Alonzo.Scripts, Cardano.Ledger.Plutus.CostModels, Cardano.Ledger.Plutus |
| costModelParamNames | Cardano.Ledger.Alonzo.Scripts, Cardano.Ledger.Plutus.CostModels, Cardano.Ledger.Plutus |
| costModelParamsCount | Cardano.Ledger.Alonzo.Scripts, Cardano.Ledger.Plutus.CostModels, Cardano.Ledger.Plutus |
| CostModels | Cardano.Ledger.Alonzo.Scripts, Cardano.Ledger.Api.Scripts, Cardano.Ledger.Api.Tx.Body, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api, 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.Instances, Test.Cardano.Ledger.Constrained.Conway.ParametricSpec, Test.Cardano.Ledger.Constrained.Conway |
| costModelsUnknown | Cardano.Ledger.Alonzo.Scripts, Cardano.Ledger.Plutus.CostModels, Cardano.Ledger.Plutus |
| costModelsValid | Cardano.Ledger.Alonzo.Scripts, Cardano.Ledger.Plutus.CostModels, Cardano.Ledger.Plutus |
| costModels_ | Test.Cardano.Ledger.Constrained.Conway.Instances.PParams, Test.Cardano.Ledger.Constrained.Conway.Instances, Test.Cardano.Ledger.Constrained.Conway.ParametricSpec, Test.Cardano.Ledger.Constrained.Conway |
| costModelToMap | Cardano.Ledger.Alonzo.Scripts, Cardano.Ledger.Plutus.CostModels, Cardano.Ledger.Plutus |
| cost_model | Test.Cardano.Ledger.Alonzo.CDDL, Test.Cardano.Ledger.Babbage.CDDL, Test.Cardano.Ledger.Conway.CDDL |
| cost_models | |
| 1 (Function) | Test.Cardano.Ledger.Alonzo.CDDL |
| 2 (Function) | Test.Cardano.Ledger.Babbage.CDDL |
| 3 (Function) | Test.Cardano.Ledger.Conway.CDDL |
| Count | |
| 1 (Type/Class) | Cardano.Ledger.State.UTxO |
| 2 (Data Constructor) | Cardano.Ledger.State.UTxO |
| count | |
| 1 (Function) | Constrained.Syntax |
| 2 (Function) | Test.Minimal.Syntax |
| 3 (Function) | Control.Iterate.Collect |
| CountCases | Constrained.Generation |
| countCases | Constrained.Generation |
| countDStateStats | Cardano.Ledger.State.UTxO |
| countEpochStateStats | Cardano.Ledger.State.UTxO |
| counterexample | Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common, Test.Common |
| CounterTooSmallOCERT | Cardano.Protocol.TPraos.Rules.OCert |
| countLedgerStateStats | Cardano.Ledger.State.UTxO |
| countNewEpochStateStats | Cardano.Ledger.State.UTxO |
| countOf | |
| 1 (Function) | Constrained.Syntax |
| 2 (Function) | Test.Minimal.Syntax |
| countPoolParamsStats | Cardano.Ledger.State.UTxO |
| countPStateStats | Cardano.Ledger.State.UTxO |
| countSnapShotStat | Cardano.Ledger.State.UTxO |
| countSpec | Constrained.NumOrd |
| countTxInStats | Cardano.Ledger.State.UTxO |
| countTxOutStats | Cardano.Ledger.State.UTxO |
| countUTxOStats | Cardano.Ledger.State.UTxO |
| cover | Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common, Test.Common |
| coverDelegFailures | Byron.Spec.Ledger.Delegation.Test |
| coverFailures | Test.Control.State.Transition.Generator |
| coverInvalidBlockProofs | Byron.Spec.Chain.STS.Rule.Chain |
| coverTable | Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common, Test.Common |
| coverUpiregFailures | Byron.Spec.Ledger.Update.Test |
| coverUpivoteFailures | Byron.Spec.Ledger.Update.Test |
| coverUtxoFailure | Byron.Spec.Ledger.STS.UTXOW |
| 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 | Cardano.Ledger.Api.Transition, 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, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| 2 (Type/Class) | Cardano.Ledger.State.Schema |
| 3 (Data Constructor) | Cardano.Ledger.State.Schema |
| credential | 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 |
| CredentialDeposit | Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base, Test.Cardano.Ledger.Constrained.Conway.Utxo, Test.Cardano.Ledger.Constrained.Conway |
| CredentialId | |
| 1 (Type/Class) | Cardano.Ledger.State.Schema |
| 2 (Data Constructor) | Cardano.Ledger.State.Schema |
| CredentialKey | Cardano.Ledger.State.Schema |
| CredentialWitness | |
| 1 (Type/Class) | Cardano.Ledger.State.Schema |
| 2 (Data Constructor) | Cardano.Ledger.State.Schema |
| credentialWitness | Cardano.Ledger.State.Schema |
| credKeyHash | Cardano.Ledger.Credential |
| credKeyHashWitness | Cardano.Ledger.Credential |
| credScriptHash | Cardano.Ledger.Credential |
| credToText | Cardano.Ledger.Credential |
| CRPredicateFailure | Test.Control.State.Transition.Examples.CommitReveal |
| CRSignal | Test.Control.State.Transition.Examples.CommitReveal |
| CRSt | |
| 1 (Type/Class) | Test.Control.State.Transition.Examples.CommitReveal |
| 2 (Data Constructor) | Test.Control.State.Transition.Examples.CommitReveal |
| Crypto | Cardano.Ledger.Crypto.Internal, Cardano.Ledger.Crypto, Cardano.Protocol.Crypto |
| csCommittee | Cardano.Ledger.Api.State.Query |
| csCommitteeCreds | Cardano.Ledger.Allegra.State, Cardano.Ledger.Alonzo.State, Cardano.Ledger.Babbage.State, Cardano.Ledger.Conway.State, Cardano.Ledger.State, Cardano.Ledger.Dijkstra.State, Cardano.Ledger.Mary.State, Cardano.Ledger.Shelley.State |
| csCommitteeCredsL | Cardano.Ledger.Conway.State, Cardano.Ledger.Dijkstra.State |
| 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.Instances, Test.Cardano.Ledger.Constrained.Conway.ParametricSpec, 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.Instances, Test.Cardano.Ledger.Constrained.Conway.ParametricSpec, 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 |
| ctbCerts | Cardano.Ledger.Conway.TxBody |
| ctbCollateralInputs | Cardano.Ledger.Conway.TxBody |
| ctbCollateralReturn | Cardano.Ledger.Conway.TxBody |
| ctbCurrentTreasuryValue | Cardano.Ledger.Conway.TxBody |
| ctbMint | Cardano.Ledger.Conway.TxBody |
| ctbOutputs | Cardano.Ledger.Conway.TxBody |
| ctbProposalProcedures | Cardano.Ledger.Conway.TxBody |
| ctbrAuxDataHash | Cardano.Ledger.Conway.TxBody |
| ctbrCerts | Cardano.Ledger.Conway.TxBody |
| ctbrCollateralInputs | Cardano.Ledger.Conway.TxBody |
| ctbrCollateralReturn | Cardano.Ledger.Conway.TxBody |
| ctbrCurrentTreasuryValue | Cardano.Ledger.Conway.TxBody |
| ctbReferenceInputs | Cardano.Ledger.Conway.TxBody |
| ctbReqSignerHashes | Cardano.Ledger.Conway.TxBody |
| ctbrFee | Cardano.Ledger.Conway.TxBody |
| ctbrMint | Cardano.Ledger.Conway.TxBody |
| ctbrNetworkId | Cardano.Ledger.Conway.TxBody |
| ctbrOutputs | Cardano.Ledger.Conway.TxBody |
| ctbrProposalProcedures | Cardano.Ledger.Conway.TxBody |
| ctbrReferenceInputs | Cardano.Ledger.Conway.TxBody |
| ctbrReqSignerHashes | Cardano.Ledger.Conway.TxBody |
| ctbrScriptIntegrityHash | Cardano.Ledger.Conway.TxBody |
| ctbrSpendInputs | Cardano.Ledger.Conway.TxBody |
| ctbrTotalCollateral | Cardano.Ledger.Conway.TxBody |
| ctbrTreasuryDonation | Cardano.Ledger.Conway.TxBody |
| ctbrVldt | Cardano.Ledger.Conway.TxBody |
| ctbrVotingProcedures | Cardano.Ledger.Conway.TxBody |
| ctbrWithdrawals | Cardano.Ledger.Conway.TxBody |
| ctbScriptIntegrityHash | Cardano.Ledger.Conway.TxBody |
| ctbSpendInputs | Cardano.Ledger.Conway.TxBody |
| ctbtcSizeTx | Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base |
| ctbtcTxId | Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base |
| ctbTotalCollateral | Cardano.Ledger.Conway.TxBody |
| ctbTreasuryDonation | Cardano.Ledger.Conway.TxBody |
| ctbTxfee | Cardano.Ledger.Conway.TxBody |
| ctbTxNetworkId | Cardano.Ledger.Conway.TxBody |
| ctbVldt | Cardano.Ledger.Conway.TxBody |
| ctbVotingProcedures | Cardano.Ledger.Conway.TxBody |
| ctbWithdrawals | Cardano.Ledger.Conway.TxBody |
| ctcBabbageTransitionConfig | Cardano.Ledger.Conway.Transition |
| ctcConwayGenesis | Cardano.Ledger.Conway.Transition |
| Ctx | |
| 1 (Type/Class) | Constrained.Base |
| 2 (Type/Class) | Test.Minimal.Base |
| CtxApp | |
| 1 (Data Constructor) | Constrained.Base |
| 2 (Data Constructor) | Test.Minimal.Base |
| ctxHasSpec | |
| 1 (Function) | Constrained.Base |
| 2 (Function) | Test.Minimal.Base |
| CtxHOLE | Constrained.Base |
| CtxHole | Test.Minimal.Base |
| CuddleData | Test.Cardano.Ledger.Binary.Cuddle |
| curPParamsEpochStateL | Cardano.Ledger.Shelley.LedgerState |
| curPParamsGovStateL | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Allegra.State, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Alonzo.State, Cardano.Ledger.Api.Governance, Cardano.Ledger.Api, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Babbage.State, Cardano.Ledger.Conway.State, Cardano.Ledger.Conway.Governance, Cardano.Ledger.Conway.Core, Cardano.Ledger.State, Cardano.Ledger.Dijkstra.Core, Cardano.Ledger.Dijkstra.State, Cardano.Ledger.Mary.Core, Cardano.Ledger.Mary.State, Cardano.Ledger.Shelley.Governance, Cardano.Ledger.Shelley.State, Cardano.Ledger.Shelley.Core |
| curPParamsShelleyGovStateL | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Dijkstra.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Shelley.Governance, Cardano.Ledger.Shelley.Core |
| current | Data.Pulse |
| currentEpoch | |
| 1 (Function) | Byron.Spec.Ledger.Delegation |
| 2 (Function) | Cardano.Chain.Delegation.Validation.Scheduling |
| 3 (Function) | Cardano.Chain.Update.Validation.Interface |
| 4 (Function) | Cardano.Chain.Delegation.Validation.Interface |
| 5 (Function) | Test.Cardano.Ledger.Constrained.Conway.Pool, Test.Cardano.Ledger.Constrained.Conway |
| CurrentEra | Cardano.Ledger.State.UTxO |
| currentIssueNo | Cardano.Protocol.TPraos.OCert |
| currentLedgerView | Cardano.Protocol.TPraos.API |
| currentProposalsShouldContain | Test.Cardano.Ledger.Conway.ImpTest |
| currentSlot | |
| 1 (Function) | Cardano.Chain.Delegation.Validation.Scheduling |
| 2 (Function) | Cardano.Chain.Update.Validation.Registration |
| 3 (Function) | Cardano.Chain.Update.Validation.Endorsement |
| 4 (Function) | Cardano.Chain.Update.Validation.Interface |
| 5 (Function) | Cardano.Chain.Delegation.Validation.Interface |
| CurrentTreasuryFieldNotSupported | Cardano.Ledger.Conway.TxInfo |
| CurrentTreasuryValue | Test.Cardano.Ledger.Generic.Fields |
| currentTreasuryValueTxBodyL | Cardano.Ledger.Api.Tx.Body, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api, Cardano.Ledger.Conway.TxBody, Cardano.Ledger.Conway.Core, Cardano.Ledger.Dijkstra.Core |
| curryList | Constrained.List |
| curryList_ | Constrained.List |