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.Instances, 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 |
CertsContext | Test.Cardano.Ledger.Constrained.Conway.Certs, Test.Cardano.Ledger.Constrained.Conway |
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 |
certStateGenPreds | Test.Cardano.Ledger.Constrained.Preds.CertState |
certStatePreds | Test.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 |
certStateSpecEx | Test.Cardano.Ledger.Constrained.Conway.Cert, Test.Cardano.Ledger.Constrained.Conway |
certstateT | Test.Cardano.Ledger.Constrained.Vars |
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.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 |
coinsPerUTxOWord | Test.Cardano.Ledger.Constrained.Conway.Instances.Basic, Test.Cardano.Ledger.Constrained.Conway.Instances.PParams, Test.Cardano.Ledger.Constrained.Conway.Instances.Ledger, Test.Cardano.Ledger.Constrained.Conway.ParametricSpec, Test.Cardano.Ledger.Constrained.Conway.Instances, Test.Cardano.Ledger.Constrained.Conway |
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 |
coinToWord64 | Test.Cardano.Ledger.Constrained.Conway.Certs, 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.Instances, 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.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 |
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.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 |
committeeMinSize | Test.Cardano.Ledger.Constrained.Conway.Instances.Basic, Test.Cardano.Ledger.Constrained.Conway.Instances.PParams, Test.Cardano.Ledger.Constrained.Conway.Instances.Ledger, Test.Cardano.Ledger.Constrained.Conway.ParametricSpec, Test.Cardano.Ledger.Constrained.Conway.Instances, Test.Cardano.Ledger.Constrained.Conway |
committeeMinSize_ | Test.Cardano.Ledger.Constrained.Conway.Instances.PParams, Test.Cardano.Ledger.Constrained.Conway.ParametricSpec, Test.Cardano.Ledger.Constrained.Conway.Instances, Test.Cardano.Ledger.Constrained.Conway |
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 |
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 |
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 |
ConwayFn | Test.Cardano.Ledger.Constrained.Conway.Instances.Ledger, Test.Cardano.Ledger.Constrained.Conway.Instances, Test.Cardano.Ledger.Constrained.Conway |
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 |
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 |
correctTxOut | Test.Cardano.Ledger.Constrained.Conway.ParametricSpec, Test.Cardano.Ledger.Constrained.Conway.Instances, 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.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 |
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.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 |
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 |
C_Crypto | Test.Cardano.Ledger.Generic.Proof |