| ua0 | Test.Cardano.Ledger.Constrained.Conway.InstancesBasic, Test.Cardano.Ledger.Constrained.Conway.SimplePParams, Test.Cardano.Ledger.Constrained.Conway.Instances, Test.Cardano.Ledger.Constrained.Conway |
| ucoinsPerUTxOByte | Test.Cardano.Ledger.Constrained.Conway.InstancesBasic, Test.Cardano.Ledger.Constrained.Conway.SimplePParams, Test.Cardano.Ledger.Constrained.Conway.Instances, Test.Cardano.Ledger.Constrained.Conway |
| ucoinsPerUTxOWord | Test.Cardano.Ledger.Constrained.Conway.InstancesBasic, Test.Cardano.Ledger.Constrained.Conway.SimplePParams, Test.Cardano.Ledger.Constrained.Conway.Instances, Test.Cardano.Ledger.Constrained.Conway |
| ucollateralPercentage | Test.Cardano.Ledger.Constrained.Conway.InstancesBasic, Test.Cardano.Ledger.Constrained.Conway.SimplePParams, Test.Cardano.Ledger.Constrained.Conway.Instances, Test.Cardano.Ledger.Constrained.Conway |
| ucommitteeMaxTermLength | Test.Cardano.Ledger.Constrained.Conway.InstancesBasic, Test.Cardano.Ledger.Constrained.Conway.SimplePParams, Test.Cardano.Ledger.Constrained.Conway.Instances, Test.Cardano.Ledger.Constrained.Conway |
| ucommitteeMinSize | Test.Cardano.Ledger.Constrained.Conway.InstancesBasic, Test.Cardano.Ledger.Constrained.Conway.SimplePParams, Test.Cardano.Ledger.Constrained.Conway.Instances, Test.Cardano.Ledger.Constrained.Conway |
| ucostModels | Test.Cardano.Ledger.Constrained.Conway.InstancesBasic, Test.Cardano.Ledger.Constrained.Conway.SimplePParams, Test.Cardano.Ledger.Constrained.Conway.Instances, Test.Cardano.Ledger.Constrained.Conway |
| udecentral | Test.Cardano.Ledger.Constrained.Conway.InstancesBasic, Test.Cardano.Ledger.Constrained.Conway.SimplePParams, Test.Cardano.Ledger.Constrained.Conway.Instances, Test.Cardano.Ledger.Constrained.Conway |
| udRepActivity | Test.Cardano.Ledger.Constrained.Conway.InstancesBasic, Test.Cardano.Ledger.Constrained.Conway.SimplePParams, Test.Cardano.Ledger.Constrained.Conway.Instances, Test.Cardano.Ledger.Constrained.Conway |
| udRepDeposit | Test.Cardano.Ledger.Constrained.Conway.InstancesBasic, Test.Cardano.Ledger.Constrained.Conway.SimplePParams, Test.Cardano.Ledger.Constrained.Conway.Instances, Test.Cardano.Ledger.Constrained.Conway |
| udrepVotingThresholds | Test.Cardano.Ledger.Constrained.Conway.InstancesBasic, Test.Cardano.Ledger.Constrained.Conway.SimplePParams, Test.Cardano.Ledger.Constrained.Conway.Instances, Test.Cardano.Ledger.Constrained.Conway |
| uecTx | Test.Cardano.Ledger.Constrained.Conway.Utxo, Test.Cardano.Ledger.Constrained.Conway |
| uecUTxO | Test.Cardano.Ledger.Constrained.Conway.Utxo, Test.Cardano.Ledger.Constrained.Conway |
| uecUtxoEnv | Test.Cardano.Ledger.Constrained.Conway.Utxo, Test.Cardano.Ledger.Constrained.Conway |
| ueMax | Test.Cardano.Ledger.Constrained.Conway.InstancesBasic, Test.Cardano.Ledger.Constrained.Conway.SimplePParams, Test.Cardano.Ledger.Constrained.Conway.Instances, Test.Cardano.Ledger.Constrained.Conway |
| ugovActionDeposit | Test.Cardano.Ledger.Constrained.Conway.InstancesBasic, Test.Cardano.Ledger.Constrained.Conway.SimplePParams, Test.Cardano.Ledger.Constrained.Conway.Instances, Test.Cardano.Ledger.Constrained.Conway |
| ugovActionLifetime | Test.Cardano.Ledger.Constrained.Conway.InstancesBasic, Test.Cardano.Ledger.Constrained.Conway.SimplePParams, Test.Cardano.Ledger.Constrained.Conway.Instances, Test.Cardano.Ledger.Constrained.Conway |
| ukeyDeposit | Test.Cardano.Ledger.Constrained.Conway.InstancesBasic, Test.Cardano.Ledger.Constrained.Conway.SimplePParams, Test.Cardano.Ledger.Constrained.Conway.Instances, Test.Cardano.Ledger.Constrained.Conway |
| uMapSummary | Test.Cardano.Ledger.Generic.PrettyCore |
| umaxBBSize | Test.Cardano.Ledger.Constrained.Conway.InstancesBasic, Test.Cardano.Ledger.Constrained.Conway.SimplePParams, Test.Cardano.Ledger.Constrained.Conway.Instances, Test.Cardano.Ledger.Constrained.Conway |
| umaxBHSize | Test.Cardano.Ledger.Constrained.Conway.InstancesBasic, Test.Cardano.Ledger.Constrained.Conway.SimplePParams, Test.Cardano.Ledger.Constrained.Conway.Instances, Test.Cardano.Ledger.Constrained.Conway |
| umaxBlockExUnits | Test.Cardano.Ledger.Constrained.Conway.InstancesBasic, Test.Cardano.Ledger.Constrained.Conway.SimplePParams, Test.Cardano.Ledger.Constrained.Conway.Instances, Test.Cardano.Ledger.Constrained.Conway |
| umaxCollateralInputs | Test.Cardano.Ledger.Constrained.Conway.InstancesBasic, Test.Cardano.Ledger.Constrained.Conway.SimplePParams, Test.Cardano.Ledger.Constrained.Conway.Instances, Test.Cardano.Ledger.Constrained.Conway |
| umaxTxExUnits | Test.Cardano.Ledger.Constrained.Conway.InstancesBasic, Test.Cardano.Ledger.Constrained.Conway.SimplePParams, Test.Cardano.Ledger.Constrained.Conway.Instances, Test.Cardano.Ledger.Constrained.Conway |
| umaxTxSize | Test.Cardano.Ledger.Constrained.Conway.InstancesBasic, Test.Cardano.Ledger.Constrained.Conway.SimplePParams, Test.Cardano.Ledger.Constrained.Conway.Instances, Test.Cardano.Ledger.Constrained.Conway |
| umaxValSize | Test.Cardano.Ledger.Constrained.Conway.InstancesBasic, Test.Cardano.Ledger.Constrained.Conway.SimplePParams, Test.Cardano.Ledger.Constrained.Conway.Instances, Test.Cardano.Ledger.Constrained.Conway |
| uminFeeA | Test.Cardano.Ledger.Constrained.Conway.InstancesBasic, Test.Cardano.Ledger.Constrained.Conway.SimplePParams, Test.Cardano.Ledger.Constrained.Conway.Instances, Test.Cardano.Ledger.Constrained.Conway |
| uminFeeB | Test.Cardano.Ledger.Constrained.Conway.InstancesBasic, Test.Cardano.Ledger.Constrained.Conway.SimplePParams, Test.Cardano.Ledger.Constrained.Conway.Instances, Test.Cardano.Ledger.Constrained.Conway |
| uminFeeRefScriptCostPerByte | Test.Cardano.Ledger.Constrained.Conway.InstancesBasic, Test.Cardano.Ledger.Constrained.Conway.SimplePParams, Test.Cardano.Ledger.Constrained.Conway.Instances, Test.Cardano.Ledger.Constrained.Conway |
| uminPoolCost | Test.Cardano.Ledger.Constrained.Conway.InstancesBasic, Test.Cardano.Ledger.Constrained.Conway.SimplePParams, Test.Cardano.Ledger.Constrained.Conway.Instances, Test.Cardano.Ledger.Constrained.Conway |
| uminUTxOValue | Test.Cardano.Ledger.Constrained.Conway.InstancesBasic, Test.Cardano.Ledger.Constrained.Conway.SimplePParams, Test.Cardano.Ledger.Constrained.Conway.Instances, Test.Cardano.Ledger.Constrained.Conway |
| unGenDelegsL | Test.Cardano.Ledger.Constrained.Lenses |
| unGovL | Test.Cardano.Ledger.Constrained.Vars |
| unGovState | Test.Cardano.Ledger.Constrained.Classes |
| unique2 | Test.Cardano.Ledger.Constrained.Solver |
| UnitIntervalR | Test.Cardano.Ledger.Constrained.TypeRep |
| UnitR | Test.Cardano.Ledger.Constrained.TypeRep |
| universePreds | Test.Cardano.Ledger.Constrained.Preds.Universes |
| universeStage | Test.Cardano.Ledger.Constrained.Preds.Universes |
| universeTrace | Test.Cardano.Ledger.Constrained.Trace.TraceMonad |
| univPreds | Test.Cardano.Ledger.Constrained.Examples |
| UnivSize | |
| 1 (Type/Class) | Test.Cardano.Ledger.Constrained.Preds.Universes |
| 2 (Data Constructor) | Test.Cardano.Ledger.Constrained.Preds.Universes |
| univSubset | Test.Cardano.Ledger.Constrained.Spec |
| unOpt | Test.Cardano.Ledger.Constrained.Conway.InstancesBasic, Test.Cardano.Ledger.Constrained.Conway.SimplePParams, Test.Cardano.Ledger.Constrained.Conway.Instances, Test.Cardano.Ledger.Constrained.Conway |
| unpair | Test.Cardano.Ledger.Constrained.Pairing |
| unPlutusPointerF | Test.Cardano.Ledger.Constrained.Classes |
| unPlutusPurposeF | Test.Cardano.Ledger.Constrained.Classes |
| unPParams | Test.Cardano.Ledger.Constrained.Classes, Test.Cardano.Ledger.Constrained.TypeRep |
| unPParamsUpdate | Test.Cardano.Ledger.Constrained.Classes, Test.Cardano.Ledger.Constrained.TypeRep |
| unProposedPPUpdates | Test.Cardano.Ledger.Constrained.Classes |
| unReflect | Test.Cardano.Ledger.Generic.Proof |
| unScriptF | Test.Cardano.Ledger.Constrained.Classes |
| unScriptsNeededF | Test.Cardano.Ledger.Constrained.Classes |
| unSplitUMap | Test.Cardano.Ledger.Constrained.Lenses |
| unTxAuxData | Test.Cardano.Ledger.Constrained.Classes |
| unTxBodyF | Test.Cardano.Ledger.Constrained.Classes |
| unTxCertF | Test.Cardano.Ledger.Constrained.Classes |
| unTxF | Test.Cardano.Ledger.Constrained.Classes |
| unTxOut | Test.Cardano.Ledger.Constrained.Classes, Test.Cardano.Ledger.Constrained.TypeRep |
| unTxWitsF | Test.Cardano.Ledger.Constrained.Classes |
| unUtxoL | Test.Cardano.Ledger.Constrained.Vars |
| unValue | Test.Cardano.Ledger.Constrained.Classes, Test.Cardano.Ledger.Constrained.TypeRep |
| unVar | Test.Cardano.Ledger.Constrained.Ast |
| Update | |
| 1 (Data Constructor) | Test.Cardano.Ledger.Generic.Fields |
| 2 (Type/Class) | Test.Cardano.Ledger.Constrained.Solver |
| 3 (Data Constructor) | Test.Cardano.Ledger.Constrained.Solver |
| update | |
| 1 (Function) | Test.Cardano.Ledger.Constrained.Solver |
| 2 (Function) | Test.Cardano.Ledger.Constrained.Trace.TraceMonad |
| Update' | Test.Cardano.Ledger.Generic.Fields |
| updateCommitteeT | Test.Cardano.Ledger.Constrained.Vars |
| updateGovAction | Test.Cardano.Ledger.Constrained.Preds.LedgerState |
| updateInfo | Test.Cardano.Ledger.Generic.ApplyTx |
| updatePParams | Test.Cardano.Ledger.Generic.Updaters |
| updateProposals | Test.Cardano.Ledger.Constrained.Preds.LedgerState |
| updateRew | Test.Cardano.Ledger.Constrained.Classes |
| updateTarget | Test.Cardano.Ledger.Constrained.Preds.Tx |
| updateTerm | Test.Cardano.Ledger.Constrained.Preds.Tx |
| updateToPPU | Test.Cardano.Ledger.Constrained.Conway.InstancesBasic, Test.Cardano.Ledger.Constrained.Conway.SimplePParams, Test.Cardano.Ledger.Constrained.Conway.Instances, Test.Cardano.Ledger.Constrained.Conway |
| updateTx | Test.Cardano.Ledger.Generic.Updaters |
| updateTxBody | Test.Cardano.Ledger.Generic.Updaters |
| updateTxOut | Test.Cardano.Ledger.Generic.Updaters |
| updateVal | Test.Cardano.Ledger.Constrained.Preds.Tx |
| updateVar | Test.Cardano.Ledger.Constrained.Trace.TraceMonad |
| updateWitnesses | Test.Cardano.Ledger.Generic.Updaters |
| UPEC | Test.Cardano.Ledger.Constrained.Trace.Pipeline |
| upoolDeposit | Test.Cardano.Ledger.Constrained.Conway.InstancesBasic, Test.Cardano.Ledger.Constrained.Conway.SimplePParams, Test.Cardano.Ledger.Constrained.Conway.Instances, Test.Cardano.Ledger.Constrained.Conway |
| upoolVotingThresholds | Test.Cardano.Ledger.Constrained.Conway.InstancesBasic, Test.Cardano.Ledger.Constrained.Conway.SimplePParams, Test.Cardano.Ledger.Constrained.Conway.Instances, Test.Cardano.Ledger.Constrained.Conway |
| uprices | Test.Cardano.Ledger.Constrained.Conway.InstancesBasic, Test.Cardano.Ledger.Constrained.Conway.SimplePParams, Test.Cardano.Ledger.Constrained.Conway.Instances, Test.Cardano.Ledger.Constrained.Conway |
| uprotocolVersion | Test.Cardano.Ledger.Constrained.Conway.InstancesBasic, Test.Cardano.Ledger.Constrained.Conway.SimplePParams, Test.Cardano.Ledger.Constrained.Conway.Instances, Test.Cardano.Ledger.Constrained.Conway |
| urho | Test.Cardano.Ledger.Constrained.Conway.InstancesBasic, Test.Cardano.Ledger.Constrained.Conway.SimplePParams, Test.Cardano.Ledger.Constrained.Conway.Instances, Test.Cardano.Ledger.Constrained.Conway |
| usAllowReRegisterPool | Test.Cardano.Ledger.Constrained.Preds.Universes |
| usCredScriptFreq | Test.Cardano.Ledger.Constrained.Preds.Universes |
| usDatumFreq | Test.Cardano.Ledger.Constrained.Preds.Universes |
| useTriples | Test.Cardano.Ledger.Constrained.Preds.LedgerState |
| usGenerateWithdrawals | Test.Cardano.Ledger.Constrained.Preds.Universes |
| usMaxAssets | Test.Cardano.Ledger.Constrained.Preds.Universes |
| usMaxCerts | Test.Cardano.Ledger.Constrained.Preds.Universes |
| usMaxCollaterals | Test.Cardano.Ledger.Constrained.Preds.Universes |
| usMaxInputs | Test.Cardano.Ledger.Constrained.Preds.Universes |
| usMaxPolicyID | Test.Cardano.Ledger.Constrained.Preds.Universes |
| usMinCerts | Test.Cardano.Ledger.Constrained.Preds.Universes |
| usMinCollaterals | Test.Cardano.Ledger.Constrained.Preds.Universes |
| usMinInputs | Test.Cardano.Ledger.Constrained.Preds.Universes |
| usNumAddr | Test.Cardano.Ledger.Constrained.Preds.Universes |
| usNumColUtxo | Test.Cardano.Ledger.Constrained.Preds.Universes |
| usNumCredentials | Test.Cardano.Ledger.Constrained.Preds.Universes |
| usNumDatums | Test.Cardano.Ledger.Constrained.Preds.Universes |
| usNumDReps | Test.Cardano.Ledger.Constrained.Preds.Universes |
| usNumGenesisKeys | Test.Cardano.Ledger.Constrained.Preds.Universes |
| usNumKeys | Test.Cardano.Ledger.Constrained.Preds.Universes |
| usNumMultiAsset | Test.Cardano.Ledger.Constrained.Preds.Universes |
| usNumPools | Test.Cardano.Ledger.Constrained.Preds.Universes |
| usNumPreUtxo | Test.Cardano.Ledger.Constrained.Preds.Universes |
| usNumPtr | Test.Cardano.Ledger.Constrained.Preds.Universes |
| usNumStakeKeys | Test.Cardano.Ledger.Constrained.Preds.Universes |
| usNumTxIn | Test.Cardano.Ledger.Constrained.Preds.Universes |
| usNumTxOuts | Test.Cardano.Ledger.Constrained.Preds.Universes |
| usNumVoteKeys | Test.Cardano.Ledger.Constrained.Preds.Universes |
| usRegKeyFreq | Test.Cardano.Ledger.Constrained.Preds.Universes |
| usSpendScriptFreq | Test.Cardano.Ledger.Constrained.Preds.Universes |
| usUnRegKeyFreq | Test.Cardano.Ledger.Constrained.Preds.Universes |
| utau | Test.Cardano.Ledger.Constrained.Conway.InstancesBasic, Test.Cardano.Ledger.Constrained.Conway.SimplePParams, Test.Cardano.Ledger.Constrained.Conway.Instances, Test.Cardano.Ledger.Constrained.Conway |
| UTXO | |
| 1 (Data Constructor) | Test.Cardano.Ledger.Generic.Proof |
| 2 (Data Constructor) | Test.Cardano.Ledger.Constrained.Trace.Pipeline |
| utxo | Test.Cardano.Ledger.Constrained.Vars |
| UTxOAlonzoToConway | Test.Cardano.Ledger.Generic.Proof |
| utxoChoicesMax | Test.Cardano.Ledger.Generic.GenState |
| utxoCoin | Test.Cardano.Ledger.Constrained.Vars |
| UtxoEntry | Test.Cardano.Ledger.Generic.ModelState |
| utxoEnvSpec | Test.Cardano.Ledger.Constrained.Conway.Utxo, Test.Cardano.Ledger.Constrained.Conway |
| UtxoExecContext | |
| 1 (Type/Class) | Test.Cardano.Ledger.Constrained.Conway.Utxo, Test.Cardano.Ledger.Constrained.Conway |
| 2 (Data Constructor) | Test.Cardano.Ledger.Constrained.Conway.Utxo, Test.Cardano.Ledger.Constrained.Conway |
| utxoFL | Test.Cardano.Ledger.Constrained.Lenses |
| utxoFromTestCaseData | Test.Cardano.Ledger.Examples.BabbageFeatures |
| utxoL | Test.Cardano.Ledger.Constrained.Vars |
| utxoPreds | Test.Cardano.Ledger.Constrained.Preds.UTxO |
| UtxoPulse | Test.Cardano.Ledger.Constrained.Vars |
| utxoPulse | Test.Cardano.Ledger.Constrained.Vars |
| UTxOR | Test.Cardano.Ledger.Constrained.TypeRep |
| UTxOShelleyToMary | Test.Cardano.Ledger.Generic.Proof |
| utxoSpec | Test.Cardano.Ledger.Constrained.Conway.LedgerTypes.Specs |
| utxoStage | Test.Cardano.Ledger.Constrained.Preds.UTxO |
| utxostatePreds | Test.Cardano.Ledger.Constrained.Examples |
| utxoStateSpec | |
| 1 (Function) | Test.Cardano.Ledger.Constrained.Conway.Utxo, Test.Cardano.Ledger.Constrained.Conway |
| 2 (Function) | Test.Cardano.Ledger.Constrained.Conway.LedgerTypes.Specs |
| utxoStateT | Test.Cardano.Ledger.Constrained.Vars |
| utxostateX | Test.Cardano.Ledger.Constrained.Conway.LedgerTypes.WellFormed |
| uTxOStateZero | Test.Cardano.Ledger.Generic.ModelState |
| utxoString | Test.Cardano.Ledger.Generic.PrettyCore |
| utxoSummary | Test.Cardano.Ledger.Generic.PrettyCore |
| utxoTests | Test.Cardano.Ledger.STS |
| utxoTrace | Test.Cardano.Ledger.Constrained.Trace.TraceMonad |
| utxoTxSpec | Test.Cardano.Ledger.Constrained.Conway.Utxo, Test.Cardano.Ledger.Constrained.Conway |
| UTXOW | |
| 1 (Data Constructor) | Test.Cardano.Ledger.Generic.Proof |
| 2 (Data Constructor) | Test.Cardano.Ledger.Constrained.Trace.Pipeline |
| UTxOWit | Test.Cardano.Ledger.Generic.Proof |
| utxoX | Test.Cardano.Ledger.Constrained.Conway.LedgerTypes.WellFormed |
| utxoZero | Test.Cardano.Ledger.Generic.ModelState |