cardano-ledger-test-9.9.9.9: Testing harness, tests and benchmarks for Shelley style cardano ledgers

Index - C

calcPoolDistOldEqualsNewTest.Cardano.Ledger.Tickf
CanFollowTest.Cardano.Ledger.Constrained.Ast
canFollow 
1 (Function)Test.Cardano.Ledger.Constrained.Conway.LedgerTypes.Specs
2 (Function)Test.Cardano.Ledger.Constrained.Classes
castTest.Cardano.Ledger.Constrained.Preds.Universes
castCredColdTest.Cardano.Ledger.Constrained.Preds.Universes
castCredHotTest.Cardano.Ledger.Constrained.Preds.Universes
cDelegateeStakeTest.Cardano.Ledger.Constrained.Preds.Certs
cDelegateeStakeVoteTest.Cardano.Ledger.Constrained.Preds.Certs
cDelegateeVoteTest.Cardano.Ledger.Constrained.Preds.Certs
cDelegStakeTest.Cardano.Ledger.Constrained.Preds.Certs
cDelegStakeVoteTest.Cardano.Ledger.Constrained.Preds.Certs
cDelegVoteTest.Cardano.Ledger.Constrained.Preds.Certs
CERTTest.Cardano.Ledger.Generic.Proof
certActionTest.Cardano.Ledger.Constrained.Trace.Actions
certEnvSpecTest.Cardano.Ledger.Constrained.Conway.Cert, Test.Cardano.Ledger.Constrained.Conway
certificateMaxTest.Cardano.Ledger.Generic.GenState
CertifyingTest.Cardano.Ledger.Generic.GenState
CertKeyTest.Cardano.Ledger.Constrained.Conway.Cert, Test.Cardano.Ledger.Constrained.Conway.ParametricSpec, Test.Cardano.Ledger.Constrained.Conway.Instances, Test.Cardano.Ledger.Constrained.Conway
CERTSTest.Cardano.Ledger.Generic.Proof
CertsTest.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
certsActionTest.Cardano.Ledger.Constrained.Trace.Actions
CertsContextTest.Cardano.Ledger.Constrained.Conway.Certs, Test.Cardano.Ledger.Constrained.Conway
certsEnvSpecTest.Cardano.Ledger.Constrained.Conway.Certs, Test.Cardano.Ledger.Constrained.Conway
certsOfTest.Cardano.Ledger.Constrained.Trace.DrepCertTx
certsPredsTest.Cardano.Ledger.Constrained.Preds.Certs
certsStageTest.Cardano.Ledger.Constrained.Preds.Certs
certStateCheckPredsTest.Cardano.Ledger.Constrained.Preds.CertState
certStateGenPredsTest.Cardano.Ledger.Constrained.Preds.CertState
certStatePredsTest.Cardano.Ledger.Constrained.Preds.CertState
certStateSpec 
1 (Function)Test.Cardano.Ledger.Constrained.Conway.Cert, Test.Cardano.Ledger.Constrained.Conway
2 (Function)Test.Cardano.Ledger.Constrained.Conway.LedgerTypes.Specs
certStateSpecExTest.Cardano.Ledger.Constrained.Conway.Cert, Test.Cardano.Ledger.Constrained.Conway
certstateTTest.Cardano.Ledger.Constrained.Vars
certsTxBodyLTest.Cardano.Ledger.EraClass
chainTestTest.Cardano.Ledger.Generic.Trace
CharRTest.Cardano.Ledger.Constrained.TypeRep
checkForSoundnessTest.Cardano.Ledger.Constrained.Utils
checkPredicatesTest.Cardano.Ledger.Constrained.Tests
childrenTest.Cardano.Ledger.Constrained.Preds.LedgerState
childrenVTest.Cardano.Ledger.Constrained.Vars
ChooseTest.Cardano.Ledger.Constrained.Ast
chooseIssuerTest.Cardano.Ledger.Generic.Trace
CITest.Cardano.Ledger.Constrained.Preds.Repl
ciAddmapTest.Cardano.Ledger.Generic.ApplyTx
ciBalTest.Cardano.Ledger.Generic.ApplyTx
ciDelsetTest.Cardano.Ledger.Generic.ApplyTx
ciRetTest.Cardano.Ledger.Generic.ApplyTx
cKeyHashObjTest.Cardano.Ledger.Constrained.Conway.Instances.Ledger, Test.Cardano.Ledger.Constrained.Conway.Instances, Test.Cardano.Ledger.Constrained.Conway
cmpIndexTest.Cardano.Ledger.Constrained.TypeRep
coerce_Test.Cardano.Ledger.Constrained.Conway.Instances.Ledger, Test.Cardano.Ledger.Constrained.Conway.Instances, Test.Cardano.Ledger.Constrained.Conway
CoinPerUTxOByteTest.Cardano.Ledger.Generic.Fields
CoinPerUTxOWordTest.Cardano.Ledger.Generic.Fields
CoinRTest.Cardano.Ledger.Constrained.TypeRep
coinSizedTest.Cardano.Ledger.Constrained.Combinators
coinsPerUTxOByteTest.Cardano.Ledger.Constrained.Conway.Instances.Basic, Test.Cardano.Ledger.Constrained.Conway.Instances.PParams, Test.Cardano.Ledger.Constrained.Conway.Instances.Ledger, Test.Cardano.Ledger.Constrained.Conway.ParametricSpec, Test.Cardano.Ledger.Constrained.Conway.Instances, Test.Cardano.Ledger.Constrained.Conway
coinsPerUTxOByte_Test.Cardano.Ledger.Constrained.Conway.Instances.PParams, Test.Cardano.Ledger.Constrained.Conway.ParametricSpec, Test.Cardano.Ledger.Constrained.Conway.Instances, Test.Cardano.Ledger.Constrained.Conway
coinsPerUTxOWordTest.Cardano.Ledger.Constrained.Conway.Instances.Basic, Test.Cardano.Ledger.Constrained.Conway.Instances.PParams, Test.Cardano.Ledger.Constrained.Conway.Instances.Ledger, Test.Cardano.Ledger.Constrained.Conway.ParametricSpec, Test.Cardano.Ledger.Constrained.Conway.Instances, Test.Cardano.Ledger.Constrained.Conway
coinsPerUTxOWord_Test.Cardano.Ledger.Constrained.Conway.Instances.PParams, Test.Cardano.Ledger.Constrained.Conway.ParametricSpec, Test.Cardano.Ledger.Constrained.Conway.Instances, Test.Cardano.Ledger.Constrained.Conway
coinToWord64Test.Cardano.Ledger.Constrained.Conway.Certs, Test.Cardano.Ledger.Constrained.Conway
coinTxOutLTest.Cardano.Ledger.EraClass
coldCommitteeCredsUnivTest.Cardano.Ledger.Constrained.Vars
ColdKeyTest.Cardano.Ledger.Constrained.Conway.Cert, Test.Cardano.Ledger.Constrained.Conway.ParametricSpec, Test.Cardano.Ledger.Constrained.Conway.Instances, Test.Cardano.Ledger.Constrained.Conway
CollateralTest.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
collateralInputsTxBodyLTest.Cardano.Ledger.EraClass
CollateralPercentageTest.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.ParametricSpec, Test.Cardano.Ledger.Constrained.Conway.Instances, 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.ParametricSpec, Test.Cardano.Ledger.Constrained.Conway.Instances, Test.Cardano.Ledger.Constrained.Conway
CollateralReturnTest.Cardano.Ledger.Generic.Fields
collateralReturnTest.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
collInfoTest.Cardano.Ledger.Generic.ApplyTx
collInputsMaxTest.Cardano.Ledger.Generic.GenState
colRetAddrTest.Cardano.Ledger.Constrained.Vars
colRetCoinTest.Cardano.Ledger.Constrained.Vars
colTxOutSetTTest.Cardano.Ledger.Constrained.Preds.Universes
colTxOutTTest.Cardano.Ledger.Constrained.Preds.Universes
colTxoutUnivTest.Cardano.Ledger.Constrained.Vars
CommColdCredRTest.Cardano.Ledger.Constrained.TypeRep
CommHotCredRTest.Cardano.Ledger.Constrained.TypeRep
CommitteeAuthorizationRTest.Cardano.Ledger.Constrained.TypeRep
committeeChildrenTest.Cardano.Ledger.Constrained.Vars
committeeLTest.Cardano.Ledger.Constrained.Vars
committeeMaxTermLengthTest.Cardano.Ledger.Constrained.Conway.Instances.Basic, Test.Cardano.Ledger.Constrained.Conway.Instances.PParams, Test.Cardano.Ledger.Constrained.Conway.Instances.Ledger, Test.Cardano.Ledger.Constrained.Conway.ParametricSpec, Test.Cardano.Ledger.Constrained.Conway.Instances, Test.Cardano.Ledger.Constrained.Conway
committeeMaxTermLength_Test.Cardano.Ledger.Constrained.Conway.Instances.PParams, Test.Cardano.Ledger.Constrained.Conway.ParametricSpec, Test.Cardano.Ledger.Constrained.Conway.Instances, Test.Cardano.Ledger.Constrained.Conway
committeeMinSizeTest.Cardano.Ledger.Constrained.Conway.Instances.Basic, Test.Cardano.Ledger.Constrained.Conway.Instances.PParams, Test.Cardano.Ledger.Constrained.Conway.Instances.Ledger, Test.Cardano.Ledger.Constrained.Conway.ParametricSpec, Test.Cardano.Ledger.Constrained.Conway.Instances, Test.Cardano.Ledger.Constrained.Conway
committeeMinSize_Test.Cardano.Ledger.Constrained.Conway.Instances.PParams, Test.Cardano.Ledger.Constrained.Conway.ParametricSpec, Test.Cardano.Ledger.Constrained.Conway.Instances, Test.Cardano.Ledger.Constrained.Conway
CommitteeRTest.Cardano.Ledger.Constrained.TypeRep
committeeStateTest.Cardano.Ledger.Constrained.Vars
committeeStateLTest.Cardano.Ledger.Constrained.Vars
CommitteeStateRTest.Cardano.Ledger.Constrained.TypeRep
committeeTTest.Cardano.Ledger.Constrained.Vars
CommitteeTermLimitTest.Cardano.Ledger.Generic.Fields
committeeVarTest.Cardano.Ledger.Constrained.Vars
committeeVotesVTest.Cardano.Ledger.Constrained.Vars
commMembersTest.Cardano.Ledger.Constrained.Vars
commQuorumTest.Cardano.Ledger.Constrained.Vars
compactAddrTxOutLTest.Cardano.Ledger.EraClass
compactValueTxOutLTest.Cardano.Ledger.EraClass
compileTest.Cardano.Ledger.Constrained.Rewrite
compileGenWithSubstTest.Cardano.Ledger.Constrained.Rewrite
compileTraceWithSubstTest.Cardano.Ledger.Constrained.Trace.TraceMonad
completeTest.Cardano.Ledger.Generic.ModelState
completePulsingStateTTest.Cardano.Ledger.Constrained.Vars
completeTxBodyTest.Cardano.Ledger.Constrained.Trace.SimpleTx
ComponentTest.Cardano.Ledger.Constrained.Ast
componentPredsTest.Cardano.Ledger.Constrained.Examples
composeSubstTest.Cardano.Ledger.Constrained.Ast
computeFinalFeeTest.Cardano.Ledger.Constrained.Preds.Tx
computeSetsTest.Cardano.Ledger.Constrained.Conway.Cert, Test.Cardano.Ledger.Constrained.Conway
condReverseTest.Cardano.Ledger.Constrained.Spec
consistentTest.Cardano.Ledger.Constrained.Spec
consistentUtxoSizePropTest.Cardano.Ledger.Generic.AggPropTests
constitutionTest.Cardano.Ledger.Constrained.Vars
constitutionChildrenTest.Cardano.Ledger.Constrained.Vars
ConstitutionRTest.Cardano.Ledger.Constrained.TypeRep
constitutionTTest.Cardano.Ledger.Constrained.Vars
ConstrTest.Cardano.Ledger.Constrained.Ast
constraintPropertyTest.Cardano.Ledger.Constrained.Tests
constraintsTest.Cardano.Ledger.Constrained.Examples
constRootTargetTest.Cardano.Ledger.Constrained.Ast
constTargetTest.Cardano.Ledger.Constrained.Ast
ConwayTest.Cardano.Ledger.Generic.Proof, Test.Cardano.Ledger.Constrained.TypeRep
conwayDelegCertSpecTest.Cardano.Ledger.Constrained.Conway.Deleg, Test.Cardano.Ledger.Constrained.Conway
ConwayEraTest.Cardano.Ledger.Generic.Proof
ConwayEraPParamsTest.Cardano.Ledger.EraClass
ConwayEraTxBodyTest.Cardano.Ledger.EraClass
ConwayEraTxCertTest.Cardano.Ledger.EraClass
ConwayFnTest.Cardano.Ledger.Constrained.Conway.Instances.Ledger, Test.Cardano.Ledger.Constrained.Conway.Instances, Test.Cardano.Ledger.Constrained.Conway
conwayGovStateSpecTest.Cardano.Ledger.Constrained.Conway.LedgerTypes.Specs
conwayGovStateTTest.Cardano.Ledger.Constrained.Vars
conwaygovXTest.Cardano.Ledger.Constrained.Conway.LedgerTypes.WellFormed
conwayTraceTest.Cardano.Ledger.Constrained.Trace.Tests
conwayTxCertKeyTest.Cardano.Ledger.Constrained.Conway.Cert, Test.Cardano.Ledger.Constrained.Conway
ConwayTxCertRTest.Cardano.Ledger.Constrained.TypeRep
conwayTxCertSpecTest.Cardano.Ledger.Constrained.Conway.Cert, Test.Cardano.Ledger.Constrained.Conway
conwayTxwithDRepCertsTraceTestsTest.Cardano.Ledger.Constrained.Trace.Tests
coreMapLTest.Cardano.Ledger.Constrained.Classes
coreTxTest.Cardano.Ledger.Generic.TxGen
coreTxBodyTest.Cardano.Ledger.Generic.TxGen
coreTxOutTest.Cardano.Ledger.Generic.TxGen
coreTypesRoundTripTest.Cardano.Ledger.Generic.Properties
correctAddrAndWFCoinTest.Cardano.Ledger.Constrained.Conway.Utxo, Test.Cardano.Ledger.Constrained.Conway
correctTxOutTest.Cardano.Ledger.Constrained.Conway.ParametricSpec, Test.Cardano.Ledger.Constrained.Conway.Instances, Test.Cardano.Ledger.Constrained.Conway
CostmdlsTest.Cardano.Ledger.Generic.Fields
costModelsTest.Cardano.Ledger.Constrained.Conway.Instances.Basic, Test.Cardano.Ledger.Constrained.Conway.Instances.PParams, Test.Cardano.Ledger.Constrained.Conway.Instances.Ledger, Test.Cardano.Ledger.Constrained.Conway.ParametricSpec, Test.Cardano.Ledger.Constrained.Conway.Instances, Test.Cardano.Ledger.Constrained.Conway
costModels_Test.Cardano.Ledger.Constrained.Conway.Instances.PParams, Test.Cardano.Ledger.Constrained.Conway.ParametricSpec, Test.Cardano.Ledger.Constrained.Conway.Instances, Test.Cardano.Ledger.Constrained.Conway
Count 
1 (Type/Class)Test.Cardano.Ledger.Constrained.Classes
2 (Type/Class)Test.Cardano.Ledger.Constrained.SpecClass
cpeqTest.Cardano.Ledger.Constrained.Rewrite
createRUpdNonPulsing'Test.Cardano.Ledger.Generic.Functions
CredentialDepositTest.Cardano.Ledger.Constrained.Conway.Utxo, Test.Cardano.Ledger.Constrained.Conway
credMapLTest.Cardano.Ledger.Constrained.Vars
CredRTest.Cardano.Ledger.Constrained.TypeRep
credSummaryTest.Cardano.Ledger.Generic.PrettyCore
credsUnivTest.Cardano.Ledger.Constrained.Vars
cRegDelegTest.Cardano.Ledger.Constrained.Preds.Certs
cRegKeyTest.Cardano.Ledger.Constrained.Preds.Certs
cRegPoolTest.Cardano.Ledger.Constrained.Preds.Certs
cRetirePoolTest.Cardano.Ledger.Constrained.Preds.Certs
cScriptHashObjTest.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.ParametricSpec, Test.Cardano.Ledger.Constrained.Conway.Instances, 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.ParametricSpec, Test.Cardano.Ledger.Constrained.Conway.Instances, Test.Cardano.Ledger.Constrained.Conway
csXTest.Cardano.Ledger.Constrained.Conway.LedgerTypes.WellFormed
cteqTest.Cardano.Ledger.Constrained.Rewrite
cUnRegKeyTest.Cardano.Ledger.Constrained.Preds.Certs
currBlocksMadeTest.Cardano.Ledger.Constrained.Vars
currentDRepStateTest.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
currentGovActionStatesTest.Cardano.Ledger.Constrained.Vars
currentProposalOrderTest.Cardano.Ledger.Constrained.Vars
currentSlotTest.Cardano.Ledger.Constrained.Vars
CurrentTreasuryValueTest.Cardano.Ledger.Generic.Fields
currentTreasuryValueTxBodyLTest.Cardano.Ledger.EraClass
currGovStatesTest.Cardano.Ledger.Constrained.Vars
currPParamsTest.Cardano.Ledger.Constrained.Vars
currProposalsTest.Cardano.Ledger.Constrained.Vars
cyclicPredTest.Cardano.Ledger.Constrained.Examples
C_CryptoTest.Cardano.Ledger.Generic.Proof