| calcPoolDistOldEqualsNew | Test.Cardano.Ledger.Tickf |
| CanFollow | Test.Cardano.Ledger.Constrained.Ast |
| canFollow | |
| 1 (Function) | Test.Cardano.Ledger.Constrained.Conway.LedgerTypes.Specs |
| 2 (Function) | Test.Cardano.Ledger.Constrained.Classes |
| cast | Test.Cardano.Ledger.Constrained.Preds.Universes |
| castCredCold | Test.Cardano.Ledger.Constrained.Preds.Universes |
| castCredHot | Test.Cardano.Ledger.Constrained.Preds.Universes |
| 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 |
| CERT | Test.Cardano.Ledger.Generic.Proof |
| certAction | Test.Cardano.Ledger.Constrained.Trace.Actions |
| certEnvSpec | Test.Cardano.Ledger.Constrained.Conway.Cert, Test.Cardano.Ledger.Constrained.Conway |
| certificateMax | Test.Cardano.Ledger.Generic.GenState |
| Certifying | Test.Cardano.Ledger.Generic.GenState |
| CertKey | Test.Cardano.Ledger.Constrained.Conway.Cert, Test.Cardano.Ledger.Constrained.Conway.ParametricSpec, Test.Cardano.Ledger.Constrained.Conway |
| CERTS | Test.Cardano.Ledger.Generic.Proof |
| Certs | Test.Cardano.Ledger.Generic.Fields |
| certs | |
| 1 (Function) | Test.Cardano.Ledger.Generic.Functions |
| 2 (Function) | Test.Cardano.Ledger.Constrained.Vars |
| Certs' | Test.Cardano.Ledger.Generic.Fields |
| certsAction | Test.Cardano.Ledger.Constrained.Trace.Actions |
| certsEnvSpec | Test.Cardano.Ledger.Constrained.Conway.Certs, Test.Cardano.Ledger.Constrained.Conway |
| certsOf | Test.Cardano.Ledger.Constrained.Trace.DrepCertTx |
| certsPreds | Test.Cardano.Ledger.Constrained.Preds.Certs |
| certsStage | Test.Cardano.Ledger.Constrained.Preds.Certs |
| certStateCheckPreds | Test.Cardano.Ledger.Constrained.Preds.CertState |
| CertStateConwayToConway | Test.Cardano.Ledger.Generic.Proof |
| CertStateF | |
| 1 (Type/Class) | Test.Cardano.Ledger.Constrained.Classes |
| 2 (Data Constructor) | Test.Cardano.Ledger.Constrained.Classes |
| certStateFL | Test.Cardano.Ledger.Constrained.Vars |
| certStateGenPreds | Test.Cardano.Ledger.Constrained.Preds.CertState |
| certStatePreds | Test.Cardano.Ledger.Constrained.Preds.CertState |
| CertStateR | Test.Cardano.Ledger.Constrained.TypeRep |
| 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 |
| certStateT | Test.Cardano.Ledger.Constrained.Vars |
| certStateTotalAda | Test.Cardano.Ledger.Generic.Functions |
| CertStateWit | Test.Cardano.Ledger.Generic.Proof |
| certsTxBodyL | Test.Cardano.Ledger.EraClass |
| chainTest | Test.Cardano.Ledger.Generic.Trace |
| CharR | Test.Cardano.Ledger.Constrained.TypeRep |
| checkForSoundness | Test.Cardano.Ledger.Constrained.Utils |
| checkPredicates | Test.Cardano.Ledger.Constrained.Tests |
| children | Test.Cardano.Ledger.Constrained.Preds.LedgerState |
| childrenV | Test.Cardano.Ledger.Constrained.Vars |
| Choose | Test.Cardano.Ledger.Constrained.Ast |
| chooseIssuer | Test.Cardano.Ledger.Generic.Trace |
| 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 |
| ciRet | Test.Cardano.Ledger.Generic.ApplyTx |
| cKeyHashObj | Test.Cardano.Ledger.Constrained.Conway.Instances.Ledger, Test.Cardano.Ledger.Constrained.Conway.Instances, Test.Cardano.Ledger.Constrained.Conway |
| cmpIndex | Test.Cardano.Ledger.Constrained.TypeRep |
| coerce_ | Test.Cardano.Ledger.Constrained.Conway.Instances.Ledger, Test.Cardano.Ledger.Constrained.Conway.Instances, Test.Cardano.Ledger.Constrained.Conway |
| CoinPerUTxOByte | Test.Cardano.Ledger.Generic.Fields |
| CoinPerUTxOWord | Test.Cardano.Ledger.Generic.Fields |
| 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.Instances, Test.Cardano.Ledger.Constrained.Conway.ParametricSpec, Test.Cardano.Ledger.Constrained.Conway |
| 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 |
| 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 |
| coinToWord64 | Test.Cardano.Ledger.Constrained.Conway.Deleg, Test.Cardano.Ledger.Constrained.Conway |
| coinTxOutL | Test.Cardano.Ledger.EraClass |
| coldCommitteeCredsUniv | Test.Cardano.Ledger.Constrained.Vars |
| ColdKey | Test.Cardano.Ledger.Constrained.Conway.Cert, Test.Cardano.Ledger.Constrained.Conway.ParametricSpec, Test.Cardano.Ledger.Constrained.Conway |
| Collateral | Test.Cardano.Ledger.Generic.Fields |
| collateral | |
| 1 (Function) | Test.Cardano.Ledger.Constrained.Vars |
| 2 (Function) | Test.Cardano.Ledger.Examples.BabbageFeatures |
| Collateral' | Test.Cardano.Ledger.Generic.Fields |
| collateralInputsTxBodyL | Test.Cardano.Ledger.EraClass |
| CollateralPercentage | Test.Cardano.Ledger.Generic.Fields |
| collateralPercentage | |
| 1 (Function) | Test.Cardano.Ledger.Constrained.Conway.Instances.Basic, Test.Cardano.Ledger.Constrained.Conway.Instances.PParams, Test.Cardano.Ledger.Constrained.Conway.Instances.Ledger, Test.Cardano.Ledger.Constrained.Conway.Instances, Test.Cardano.Ledger.Constrained.Conway.ParametricSpec, Test.Cardano.Ledger.Constrained.Conway |
| 2 (Function) | Test.Cardano.Ledger.Constrained.Vars |
| 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.Constrained.Vars |
| CollateralReturn' | Test.Cardano.Ledger.Generic.Fields |
| 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 |
| 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 |
| CommColdCredR | Test.Cardano.Ledger.Constrained.TypeRep |
| CommHotCredR | Test.Cardano.Ledger.Constrained.TypeRep |
| CommitteeAuthorizationR | Test.Cardano.Ledger.Constrained.TypeRep |
| committeeChildren | Test.Cardano.Ledger.Constrained.Vars |
| 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.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 |
| 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 |
| CommitteeR | Test.Cardano.Ledger.Constrained.TypeRep |
| 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 |
| committeeVar | Test.Cardano.Ledger.Constrained.Vars |
| committeeVotesV | Test.Cardano.Ledger.Constrained.Vars |
| committeeWitness | Test.Cardano.Ledger.Constrained.Conway.WitnessUniverse |
| commMembers | Test.Cardano.Ledger.Constrained.Vars |
| commQuorum | Test.Cardano.Ledger.Constrained.Vars |
| compactAddrTxOutL | Test.Cardano.Ledger.EraClass |
| compactValueTxOutL | Test.Cardano.Ledger.EraClass |
| compile | Test.Cardano.Ledger.Constrained.Rewrite |
| compileGenWithSubst | Test.Cardano.Ledger.Constrained.Rewrite |
| compileTraceWithSubst | Test.Cardano.Ledger.Constrained.Trace.TraceMonad |
| complete | Test.Cardano.Ledger.Generic.ModelState |
| completePulsingStateT | Test.Cardano.Ledger.Constrained.Vars |
| completeTxBody | Test.Cardano.Ledger.Constrained.Trace.SimpleTx |
| Component | Test.Cardano.Ledger.Constrained.Ast |
| componentPreds | Test.Cardano.Ledger.Constrained.Examples |
| composeSubst | Test.Cardano.Ledger.Constrained.Ast |
| computeFinalFee | Test.Cardano.Ledger.Constrained.Preds.Tx |
| computeSets | Test.Cardano.Ledger.Constrained.Conway.Cert, Test.Cardano.Ledger.Constrained.Conway |
| condReverse | Test.Cardano.Ledger.Constrained.Spec |
| consistent | Test.Cardano.Ledger.Constrained.Spec |
| consistentUtxoSizeProp | Test.Cardano.Ledger.Generic.AggPropTests |
| constitution | Test.Cardano.Ledger.Constrained.Vars |
| constitutionChildren | Test.Cardano.Ledger.Constrained.Vars |
| ConstitutionR | Test.Cardano.Ledger.Constrained.TypeRep |
| constitutionT | Test.Cardano.Ledger.Constrained.Vars |
| Constr | Test.Cardano.Ledger.Constrained.Ast |
| constraintProperty | Test.Cardano.Ledger.Constrained.Tests |
| constraints | Test.Cardano.Ledger.Constrained.Examples |
| constRootTarget | Test.Cardano.Ledger.Constrained.Ast |
| constTarget | Test.Cardano.Ledger.Constrained.Ast |
| Conway | Test.Cardano.Ledger.Generic.Proof, Test.Cardano.Ledger.Constrained.TypeRep |
| conwayCertStateSpec | |
| 1 (Function) | Test.Cardano.Ledger.Constrained.Conway.Cert, Test.Cardano.Ledger.Constrained.Conway |
| 2 (Function) | Test.Cardano.Ledger.Constrained.Conway.LedgerTypes.Specs |
| conwayDelegCertSpec | Test.Cardano.Ledger.Constrained.Conway.Deleg, Test.Cardano.Ledger.Constrained.Conway |
| ConwayEra | Test.Cardano.Ledger.Generic.Proof |
| ConwayEraPParams | Test.Cardano.Ledger.EraClass |
| ConwayEraTxBody | Test.Cardano.Ledger.EraClass |
| ConwayEraTxCert | Test.Cardano.Ledger.EraClass |
| conwayGovStateSpec | Test.Cardano.Ledger.Constrained.Conway.LedgerTypes.Specs |
| conwayGovStateT | Test.Cardano.Ledger.Constrained.Vars |
| conwaygovX | Test.Cardano.Ledger.Constrained.Conway.LedgerTypes.WellFormed |
| conwayTrace | Test.Cardano.Ledger.Constrained.Trace.Tests |
| conwayTxCertKey | Test.Cardano.Ledger.Constrained.Conway.Cert, Test.Cardano.Ledger.Constrained.Conway |
| ConwayTxCertR | Test.Cardano.Ledger.Constrained.TypeRep |
| conwayTxCertSpec | Test.Cardano.Ledger.Constrained.Conway.Cert, Test.Cardano.Ledger.Constrained.Conway |
| conwayTxwithDRepCertsTraceTests | Test.Cardano.Ledger.Constrained.Trace.Tests |
| conwayWitUniv | Test.Cardano.Ledger.Constrained.Conway.WitnessUniverse |
| coreMapL | Test.Cardano.Ledger.Constrained.Classes |
| 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 |
| Costmdls | Test.Cardano.Ledger.Generic.Fields |
| 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 |
| 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 |
| Count | |
| 1 (Type/Class) | Test.Cardano.Ledger.Constrained.Classes |
| 2 (Type/Class) | Test.Cardano.Ledger.Constrained.SpecClass |
| cpeq | Test.Cardano.Ledger.Constrained.Rewrite |
| createRUpdNonPulsing' | Test.Cardano.Ledger.Generic.Functions |
| CredentialDeposit | Test.Cardano.Ledger.Constrained.Conway.Utxo, Test.Cardano.Ledger.Constrained.Conway |
| credMapL | Test.Cardano.Ledger.Constrained.Vars |
| CredR | Test.Cardano.Ledger.Constrained.TypeRep |
| credSummary | Test.Cardano.Ledger.Generic.PrettyCore |
| credsUniv | Test.Cardano.Ledger.Constrained.Vars |
| 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 |
| cScriptHashObj | Test.Cardano.Ledger.Constrained.Conway.Instances.Ledger, Test.Cardano.Ledger.Constrained.Conway.Instances, Test.Cardano.Ledger.Constrained.Conway |
| 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 |
| 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 |
| csX | Test.Cardano.Ledger.Constrained.Conway.LedgerTypes.WellFormed |
| cteq | Test.Cardano.Ledger.Constrained.Rewrite |
| cUnRegKey | Test.Cardano.Ledger.Constrained.Preds.Certs |
| currBlocksMade | Test.Cardano.Ledger.Constrained.Vars |
| currentDRepState | Test.Cardano.Ledger.Constrained.Vars |
| currentEpoch | |
| 1 (Function) | Test.Cardano.Ledger.Constrained.Conway.Pool, Test.Cardano.Ledger.Constrained.Conway |
| 2 (Function) | Test.Cardano.Ledger.Constrained.Vars |
| currentGovActionStates | Test.Cardano.Ledger.Constrained.Vars |
| currentProposalOrder | Test.Cardano.Ledger.Constrained.Vars |
| currentSlot | Test.Cardano.Ledger.Constrained.Vars |
| CurrentTreasuryValue | Test.Cardano.Ledger.Generic.Fields |
| currentTreasuryValueTxBodyL | Test.Cardano.Ledger.EraClass |
| currGovStates | Test.Cardano.Ledger.Constrained.Vars |
| currPParams | Test.Cardano.Ledger.Constrained.Vars |
| currProposals | Test.Cardano.Ledger.Constrained.Vars |
| cyclicPred | Test.Cardano.Ledger.Constrained.Examples |