Index - U
| U | Test.Cardano.Ledger.Binary.Vintage.Helpers |
| U24 | Test.Cardano.Ledger.Binary.Vintage.Helpers |
| ua0 | 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 |
| uappCoinsPerUTxOWord | Cardano.Ledger.Alonzo.PParams, Cardano.Ledger.Api.PParams, Cardano.Ledger.Api |
| uappCollateralPercentage | Cardano.Ledger.Alonzo.PParams, Cardano.Ledger.Api.PParams, Cardano.Ledger.Api |
| uappMaxBlockExUnits | Cardano.Ledger.Alonzo.PParams, Cardano.Ledger.Api.PParams, Cardano.Ledger.Api |
| uappMaxCollateralInputs | Cardano.Ledger.Alonzo.PParams, Cardano.Ledger.Api.PParams, Cardano.Ledger.Api |
| uappMaxTxExUnits | Cardano.Ledger.Alonzo.PParams, Cardano.Ledger.Api.PParams, Cardano.Ledger.Api |
| uappMaxValSize | Cardano.Ledger.Alonzo.PParams, Cardano.Ledger.Api.PParams, Cardano.Ledger.Api |
| uappPlutusV1CostModel | Cardano.Ledger.Alonzo.PParams, Cardano.Ledger.Api.PParams, Cardano.Ledger.Api |
| uappPrices | Cardano.Ledger.Alonzo.PParams, Cardano.Ledger.Api.PParams, Cardano.Ledger.Api |
| ublockOnlyValidSignalsAreGenerated | Test.Byron.Spec.Ledger.Update.Properties |
| ublockRelevantTracesAreCovered | Test.Byron.Spec.Ledger.Update.Properties |
| ublockSampleTraceMetrics | Test.Byron.Spec.Ledger.Update.Properties |
| ublockTraceLengthsAreClassified | Test.Byron.Spec.Ledger.Update.Properties |
| ucoinsPerUTxOByte | 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 |
| ucoinsPerUTxOWord | 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 |
| ucollateralPercentage | 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 |
| ucommitteeMaxTermLength | 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 |
| ucommitteeMinSize | 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 |
| ucostModels | 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 |
| ucppCommitteeMaxTermLength | Cardano.Ledger.Conway.PParams |
| ucppCommitteeMinSize | Cardano.Ledger.Conway.PParams |
| ucppDRepActivity | Cardano.Ledger.Conway.PParams |
| ucppDRepDeposit | Cardano.Ledger.Conway.PParams |
| ucppDRepVotingThresholds | Cardano.Ledger.Conway.PParams |
| ucppGovActionDeposit | Cardano.Ledger.Conway.PParams |
| ucppGovActionLifetime | Cardano.Ledger.Conway.PParams |
| ucppMinFeeRefScriptCostPerByte | Cardano.Ledger.Conway.PParams |
| ucppPlutusV3CostModel | Cardano.Ledger.Conway.PParams |
| ucppPoolVotingThresholds | Cardano.Ledger.Conway.PParams |
| udecentral | 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 |
| udppMaxRefScriptSizePerBlock | Cardano.Ledger.Dijkstra.PParams |
| udppMaxRefScriptSizePerTx | Cardano.Ledger.Dijkstra.PParams |
| udppRefScriptCostMultiplier | Cardano.Ledger.Dijkstra.PParams |
| udppRefScriptCostStride | Cardano.Ledger.Dijkstra.PParams |
| udRepActivity | 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 |
| udRepDeposit | 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 |
| udrepVotingThresholds | 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 |
| ueCertState | Cardano.Ledger.Conway.Rules, Cardano.Ledger.Shelley.Rules, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| 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.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 |
| uePParams | Cardano.Ledger.Conway.Rules, Cardano.Ledger.Shelley.Rules, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| ueSlot | Cardano.Ledger.Conway.Rules, Cardano.Ledger.Shelley.Rules, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| ugovActionDeposit | 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 |
| ugovActionLifetime | 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 |
| ukeyDeposit | 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 |
| umaxBBSize | 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 |
| umaxBHSize | 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 |
| umaxBlockExUnits | 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 |
| umaxCollateralInputs | 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 |
| umaxTxExUnits | 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 |
| umaxTxSize | 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 |
| umaxValSize | 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 |
| uminFeeA | 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 |
| uminFeeB | 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 |
| uminFeeRefScriptCostPerByte | 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 |
| uminPoolCost | 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 |
| uminUTxOValue | 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 |
| unAccountKey | Cardano.Ledger.State.Schema |
| unAddress' | Cardano.Chain.Common |
| unAllegraTx | Cardano.Ledger.Allegra.Tx, Cardano.Ledger.Allegra, Cardano.Ledger.Alonzo.Tx, Cardano.Ledger.Alonzo, Cardano.Ledger.Babbage.Tx, Cardano.Ledger.Babbage, Cardano.Ledger.Conway.Tx, Cardano.Ledger.Conway, Cardano.Ledger.Dijkstra.Tx, Cardano.Ledger.Mary |
| unAlonzoGenesisWrapper | Cardano.Ledger.Alonzo.Genesis, Cardano.Ledger.Api.Transition |
| unAlonzoTx | Cardano.Ledger.Alonzo.Tx, Cardano.Ledger.Alonzo, Cardano.Ledger.Babbage.Tx, Cardano.Ledger.Babbage, Cardano.Ledger.Conway.Tx, Cardano.Ledger.Conway, Cardano.Ledger.Dijkstra.Tx |
| unAnnotated | Cardano.Ledger.Binary.Decoding, Cardano.Ledger.Binary |
| unApplicationName | Cardano.Chain.Update |
| unAsItem | Cardano.Ledger.Alonzo.Scripts, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Api.Tx.Wits, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Dijkstra.Core |
| unAsIx | Cardano.Ledger.Alonzo.Scripts, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Api.Tx.Wits, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Dijkstra.Core |
| unBA | Cardano.Ledger.Binary.Decoding, Cardano.Ledger.Binary |
| unBabbageTx | Cardano.Ledger.Babbage.Tx, Cardano.Ledger.Babbage, Cardano.Ledger.Conway.Tx, Cardano.Ledger.Conway, Cardano.Ledger.Dijkstra.Tx |
| unBlockCount | |
| 1 (Function) | Byron.Spec.Ledger.Core |
| 2 (Function) | Cardano.Chain.Common |
| unBlockNo | Cardano.Ledger.BaseTypes, Cardano.Ledger.Slot |
| unBlocksMade | Cardano.Ledger.BaseTypes |
| unBootstrapAddress | Cardano.Ledger.Api.Tx.Address, Cardano.Ledger.Api.Tx.Out, Cardano.Ledger.Api.Tx.Body, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api, Cardano.Ledger.Address |
| unboundRational | Cardano.Ledger.BaseTypes |
| unCbor | Test.Cardano.Ledger.Binary.Cddl |
| unCBORBytes | 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 |
| unCBORGroup | Cardano.Ledger.Binary.Group, Cardano.Ledger.Binary |
| unCddl | Test.Cardano.Ledger.Binary.Cddl |
| unCertIx | Cardano.Ledger.BaseTypes |
| unChainCode | Cardano.Ledger.Keys.Bootstrap, Cardano.Ledger.Keys |
| unChainDifficulty | Cardano.Chain.Common |
| unclaimedPools | Cardano.Ledger.Shelley.Rules |
| unCoin | Cardano.Ledger.Coin, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| unCoinNonZero | Cardano.Ledger.Coin |
| unCoinPerByte | Cardano.Ledger.Api.PParams, Cardano.Ledger.Api, Cardano.Ledger.Babbage.PParams, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Dijkstra.Core |
| unCoinPerWord | 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 |
| unCompactAddr | Cardano.Ledger.Address |
| unCompactCoin | Cardano.Ledger.Coin |
| unComputationResult | Test.Cardano.Ledger.Conformance.SpecTranslate.Base, Test.Cardano.Ledger.Conformance |
| unComputationResult_ | Test.Cardano.Ledger.Conformance.SpecTranslate.Base, Test.Cardano.Ledger.Conformance |
| UnconfirmedProposal | Byron.Spec.Ledger.Update |
| unConwayTx | Cardano.Ledger.Conway.Tx, Cardano.Ledger.Conway, Cardano.Ledger.Dijkstra.Tx |
| unCredentialKey | Cardano.Ledger.State.Schema |
| unData | Cardano.Ledger.Plutus.Data, Cardano.Ledger.Plutus |
| unDelegReDelegDRep | Cardano.Ledger.Conway.State, Cardano.Ledger.Dijkstra.State |
| unDelegReDelegStakePool | 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 |
| unDiagCbor | Test.Cardano.Ledger.Binary.Cddl |
| unDijkstraTx | Cardano.Ledger.Dijkstra.Tx |
| unDStateKey | Cardano.Ledger.State.Schema |
| unDuration | Cardano.Ledger.Slot |
| UnelectedCommitteeVoters | |
| 1 (Data Constructor) | Cardano.Ledger.Conway.Rules |
| 2 (Data Constructor) | Cardano.Ledger.Dijkstra.Rules |
| unelectedCommitteeVoters | Cardano.Ledger.Conway.Rules |
| unEnc | Cardano.Ledger.State.Orphans |
| unEpoch | Byron.Spec.Ledger.Core |
| unEpochInterval | Cardano.Ledger.BaseTypes |
| unEpochNo | Cardano.Ledger.BaseTypes, Cardano.Ledger.Slot |
| unEpochSize | Cardano.Ledger.BaseTypes, Cardano.Ledger.Slot |
| unEpochSlots | Cardano.Chain.Slotting |
| unEpochStateKey | Cardano.Ledger.State.Schema |
| unGenDelegs | Cardano.Ledger.Hashes, Cardano.Ledger.Keys, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| unGenesisAvvmBalances | Cardano.Chain.Genesis |
| unGenesisDelegation | Cardano.Chain.Genesis |
| unGenesisHash | Cardano.Chain.Genesis |
| unGenesisKeyHashes | Cardano.Chain.Genesis |
| unGenesisNonAvvmBalances | Cardano.Chain.Genesis |
| unGenT | Test.Cardano.Ledger.Imp.Common |
| unGovActionIx | Cardano.Ledger.Api.Governance, Cardano.Ledger.Api, Cardano.Ledger.Conway.Governance |
| unGovPurposeId | Cardano.Ledger.Api.Governance, Cardano.Ledger.Api, Cardano.Ledger.Conway.Governance |
| unHash | Byron.Spec.Ledger.Core |
| unHashHeader | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Hashes, Cardano.Ledger.Core, Cardano.Ledger.Dijkstra.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Shelley.Core, Cardano.Protocol.TPraos.BHeader, Cardano.Protocol.TPraos.API |
| unHeapSize | Cardano.Chain.Block |
| unHexBytes | 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 |
| unHistogram | Cardano.Ledger.Shelley.PoolRank |
| UnicodeString | |
| 1 (Type/Class) | Test.Tasty.QuickCheck, Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common, Test.Common |
| 2 (Data Constructor) | Test.Tasty.QuickCheck, Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common, Test.Common |
| uniformByteStringM | Test.Cardano.Ledger.Imp.Common |
| uniformListM | Test.Cardano.Ledger.Imp.Common |
| uniformListRM | Test.Cardano.Ledger.Imp.Common |
| uniformM | Test.Cardano.Ledger.Imp.Common |
| uniformRM | Test.Cardano.Ledger.Imp.Common |
| uniformShortByteStringM | Test.Cardano.Ledger.Imp.Common |
| uniformSubMap | Test.Cardano.Ledger.Core.Arbitrary |
| uniformSubMapElems | Test.Cardano.Ledger.Core.Arbitrary |
| uniformSubSet | Test.Cardano.Ledger.Core.Arbitrary |
| unInstallerHash | Cardano.Chain.Update |
| union | |
| 1 (Function) | Cardano.Chain.UTxO.UTxO, Cardano.Chain.UTxO |
| 2 (Function) | Data.VMap |
| unionHSMap | Test.Cardano.Ledger.Conformance.Utils, Test.Cardano.Ledger.Conformance |
| unionsHSMap | Test.Cardano.Ledger.Conformance.Utils, Test.Cardano.Ledger.Conformance |
| unionWith | Data.VMap |
| unionWithKey | Data.VMap |
| Unique | Cardano.Ledger.State.Schema |
| UniqueAccount | Cardano.Ledger.State.Schema |
| UniqueCredential | Cardano.Ledger.State.Schema |
| UniqueIRReserves | Cardano.Ledger.State.Schema |
| UniqueIRTreasury | Cardano.Ledger.State.Schema |
| UniqueKeyHash | Cardano.Ledger.State.Schema |
| UniqueLedgerStateDStateId | Cardano.Ledger.State.Schema |
| UniqueLedgerStateEpochStateId | Cardano.Ledger.State.Schema |
| UniqueLedgerStateUtxoId | Cardano.Ledger.State.Schema |
| UniqueSnapShotDelegation | Cardano.Ledger.State.Schema |
| UniqueSnapShotPool | Cardano.Ledger.State.Schema |
| UniqueSnapShotStake | Cardano.Ledger.State.Schema |
| UniqueTx | Cardano.Ledger.State.Schema |
| UniqueTxs | Cardano.Ledger.State.Schema |
| unIRReservesKey | Cardano.Ledger.State.Schema |
| unIRTreasuryKey | Cardano.Ledger.State.Schema |
| Unit | Tests.Cardano.Ledger.NonIntegral |
| UnitInterval | |
| 1 (Type/Class) | Cardano.Ledger.BaseTypes |
| 2 (Type/Class) | Tests.Cardano.Ledger.NonIntegral |
| unitTests | Test.Cardano.Ledger.Shelley.UnitTests |
| unit_interval | 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.Dijkstra.CDDL, Test.Cardano.Ledger.Mary.CDDL, Test.Cardano.Ledger.Shelley.CDDL |
| Universe | Data.Universe |
| unKESPeriod | Cardano.Protocol.TPraos.OCert |
| unKeyHash | |
| 1 (Function) | 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 |
| 2 (Function) | Cardano.Chain.Common |
| unKeyHashKey | Cardano.Ledger.State.Schema |
| unKeyValuePairs | Cardano.Ledger.BaseTypes |
| unknownAttributesLength | Cardano.Chain.Common |
| unknownCborDataItemSizeExpr | Cardano.Chain.Common |
| UnknownGenesisKeyOVERLAY | Cardano.Protocol.TPraos.Rules.Overlay |
| UnknownTxIn | Cardano.Ledger.Alonzo.Plutus.Evaluate, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api |
| unLedgerStateKey | Cardano.Ledger.State.Schema |
| unless | Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common |
| unlessDecoderVersionAtLeast | Cardano.Ledger.Binary.Decoding, Cardano.Ledger.Binary |
| unlessMajorVersion | Test.Cardano.Ledger.Allegra.ImpTest, Test.Cardano.Ledger.Alonzo.ImpTest, Test.Cardano.Ledger.Babbage.ImpTest, Test.Cardano.Ledger.Conway.ImpTest, Test.Cardano.Ledger.Dijkstra.ImpTest, Test.Cardano.Ledger.Mary.ImpTest, Test.Cardano.Ledger.Shelley.ImpTest |
| unlessNoTxValidation | Cardano.Chain.ValidationMode |
| unLikelihood | Cardano.Ledger.Shelley.PoolRank |
| unListMap | Data.ListMap |
| unLogWeight | Cardano.Ledger.Shelley.PoolRank |
| unLovelace | Byron.Spec.Ledger.Core |
| unManual | Test.Hedgehog.Extra.Manual |
| unMap | Cardano.Chain.Delegation |
| unMaryTx | Cardano.Ledger.Alonzo.Tx, Cardano.Ledger.Alonzo, Cardano.Ledger.Babbage.Tx, Cardano.Ledger.Babbage, Cardano.Ledger.Conway.Tx, Cardano.Ledger.Conway, Cardano.Ledger.Dijkstra.Tx, Cardano.Ledger.Mary |
| unNonZero | Cardano.Ledger.BaseTypes.NonZero, Cardano.Ledger.BaseTypes |
| unOpt | 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 |
| unOrdExUnits | Cardano.Ledger.Alonzo.PParams |
| unOwner | Byron.Spec.Ledger.Core |
| unpackByronVKey | Cardano.Ledger.Keys.Bootstrap, Cardano.Ledger.Keys |
| unpackMemoBytesM | Cardano.Ledger.MemoBytes.Internal, Cardano.Ledger.MemoBytes |
| UnparsedFields | |
| 1 (Type/Class) | Cardano.Chain.Common |
| 2 (Data Constructor) | Cardano.Chain.Common |
| unPerformanceEstimate | Cardano.Ledger.Shelley.PoolRank |
| unPGraph | Cardano.Ledger.Conway.Governance |
| unPlutusBinary | Cardano.Ledger.Alonzo.Scripts, Cardano.Ledger.Api.Tx.AuxData, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api, Cardano.Ledger.Plutus.Language, Cardano.Ledger.Plutus |
| unPlutusV1Args | Cardano.Ledger.Plutus.Language, Cardano.Ledger.Plutus |
| unPlutusV2Args | Cardano.Ledger.Plutus.Language, Cardano.Ledger.Plutus |
| unPlutusV3Args | Cardano.Ledger.Plutus.Language, Cardano.Ledger.Plutus |
| unPlutusV4Args | Cardano.Ledger.Plutus.Language, Cardano.Ledger.Plutus |
| unPoolDistr | 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.API.Types, Cardano.Ledger.Shelley.API |
| unPreEncoded | Cardano.Ledger.Binary.Encoding, Cardano.Ledger.Binary |
| unProtocolMagicId | Cardano.Crypto.ProtocolMagic, Cardano.Crypto |
| unQuantify | Test.Cardano.Ledger.Shelley.Generator.ScriptClass |
| unQuantifyTL | Test.Cardano.Ledger.AllegraEraGen |
| unRatifySignal | Cardano.Ledger.Conway.Governance |
| Unrecognized | Cardano.Ledger.Api.State.Query |
| unRedeemers | Cardano.Ledger.Alonzo.TxWits, Cardano.Ledger.Api.Tx.Wits, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api |
| unRedeemersL | Cardano.Ledger.Alonzo.TxWits, Cardano.Ledger.Api.Tx.Wits, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api |
| unRedeemersRaw | Cardano.Ledger.Alonzo.TxWits |
| unReflect | Test.Cardano.Ledger.Generic.Proof |
| UnRegDepositTxCert | Cardano.Ledger.Api.Tx.Cert, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api, Cardano.Ledger.Conway.TxCert, Cardano.Ledger.Conway.Core, Cardano.Ledger.Dijkstra.Core |
| UnRegDRepTxCert | Cardano.Ledger.Api.Tx.Cert, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api, Cardano.Ledger.Conway.TxCert, Cardano.Ledger.Conway.Core, Cardano.Ledger.Dijkstra.Core |
| unregisterAccount | 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 |
| unregisterConwayAccount | Cardano.Ledger.Conway.State, Cardano.Ledger.Dijkstra.State |
| unRegisterDRep | Test.Cardano.Ledger.Conway.ImpTest, Test.Cardano.Ledger.Dijkstra.ImpTest |
| unregisterShelleyAccount | Cardano.Ledger.Allegra.State, Cardano.Ledger.Alonzo.State, Cardano.Ledger.Babbage.State, Cardano.Ledger.Conway.State, Cardano.Ledger.Dijkstra.State, Cardano.Ledger.Mary.State, Cardano.Ledger.Shelley.State |
| UnRegTxCert | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Api.Tx.Cert, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Dijkstra.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Shelley.TxCert, Cardano.Ledger.Shelley.Core |
| UnsafeABoundaryHeader | Cardano.Chain.Block |
| unsafeAbstractHash | Cardano.Crypto.Hashing, Cardano.Crypto |
| unsafeAbstractHashFromBytes | Cardano.Crypto.Hashing, Cardano.Crypto |
| unsafeAbstractHashFromShort | Cardano.Crypto.Hashing, Cardano.Crypto |
| UnsafeACertificate | Cardano.Chain.Delegation |
| unsafeAddressHash | Cardano.Chain.Common |
| UnsafeAPayload | Cardano.Chain.Delegation |
| unsafeBoundRational | Test.Cardano.Ledger.Core.Rational, Test.Cardano.Ledger.Core.Utils, Test.Cardano.Ledger.Shelley.Utils |
| unsafeCertificate | Cardano.Chain.Delegation |
| unsafeDeserialize | |
| 1 (Function) | Cardano.Ledger.Binary.Decoding, Cardano.Ledger.Binary |
| 2 (Function) | Cardano.Ledger.Binary.Plain |
| unsafeDeserialize' | |
| 1 (Function) | Cardano.Ledger.Binary.Decoding, Cardano.Ledger.Binary |
| 2 (Function) | Cardano.Ledger.Binary.Plain |
| UnsafeGenesisDelegation | Cardano.Chain.Genesis |
| UnsafeGenesisSpec | Cardano.Chain.Genesis |
| unsafeGetCompactAddress | Cardano.Chain.Common |
| unsafeGetLovelace | Cardano.Chain.Common |
| unsafeHashFromBytes | Cardano.Crypto.Hashing, Cardano.Crypto |
| unsafeMakeSafeHash | Cardano.Ledger.Hashes |
| unsafeMakeValidated | Cardano.Ledger.Shelley.API.Mempool, Cardano.Ledger.Shelley.API |
| unsafeMapSized | Cardano.Ledger.Binary.Decoding, Cardano.Ledger.Binary |
| unsafeMkProposals | Cardano.Ledger.Conway.Governance |
| unsafeNonZero | Cardano.Ledger.BaseTypes.NonZero, Cardano.Ledger.BaseTypes |
| unsafePayload | Cardano.Chain.Delegation |
| unsafeProposal | Cardano.Chain.Update.Proposal, Cardano.Chain.Update |
| UnsafeTx | Cardano.Chain.UTxO |
| UnsafeVote | Cardano.Chain.Update.Vote, Cardano.Chain.Update |
| unsafeVote | Cardano.Chain.Update.Vote, Cardano.Chain.Update |
| unScriptsProvided | 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.UTxO |
| unShelleyTx | Cardano.Ledger.Allegra.Tx, Cardano.Ledger.Allegra, Cardano.Ledger.Alonzo.Tx, Cardano.Ledger.Alonzo, Cardano.Ledger.Babbage.Tx, Cardano.Ledger.Babbage, Cardano.Ledger.Conway.Tx, Cardano.Ledger.Conway, Cardano.Ledger.Dijkstra.Tx, Cardano.Ledger.Mary, Cardano.Ledger.Shelley.Tx, Cardano.Ledger.Shelley |
| unSigningKey | Cardano.Crypto.Signing, Cardano.Crypto |
| unSlot | Byron.Spec.Ledger.Core |
| unSlotCount | |
| 1 (Function) | Byron.Spec.Ledger.Core |
| 2 (Function) | Cardano.Chain.Slotting |
| unSlotNo | Cardano.Ledger.BaseTypes, Cardano.Ledger.Slot |
| unSlotNumber | Cardano.Chain.Slotting |
| unSnapShotDelegationKey | Cardano.Ledger.State.Schema |
| unSnapShotKey | Cardano.Ledger.State.Schema |
| unSnapShotPoolKey | Cardano.Ledger.State.Schema |
| unSnapShotStakeKey | Cardano.Ledger.State.Schema |
| UnspendableUTxONoDatumHash | |
| 1 (Data Constructor) | Cardano.Ledger.Alonzo.Rules |
| 2 (Data Constructor) | Cardano.Ledger.Conway.Rules |
| 3 (Data Constructor) | Cardano.Ledger.Dijkstra.Rules |
| unStake | 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.API.Types, Cardano.Ledger.Shelley.API |
| unStakeShare | Cardano.Ledger.Shelley.Rewards |
| unswapMismatch | Cardano.Ledger.BaseTypes |
| untaggedSet | Cardano.Ledger.Allegra.HuddleSpec, Cardano.Ledger.Alonzo.HuddleSpec, Cardano.Ledger.Babbage.HuddleSpec, Cardano.Ledger.Mary.HuddleSpec, Cardano.Ledger.Shelley.HuddleSpec |
| untagged_nonempty_set | 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.Dijkstra.CDDL, Test.Cardano.Ledger.Mary.CDDL, Test.Cardano.Ledger.Shelley.CDDL |
| untagged_set | Test.Cardano.Ledger.Allegra.CDDL, Test.Cardano.Ledger.Alonzo.CDDL, Test.Cardano.Ledger.Babbage.CDDL, Test.Cardano.Ledger.Core.Binary.CDDL, Test.Cardano.Ledger.Mary.CDDL, Test.Cardano.Ledger.Shelley.CDDL |
| unTHKD | Cardano.Ledger.Conway.PParams |
| unTime | Test.Cardano.Ledger.Alonzo.AlonzoEraGen |
| unTreeMaybe | Cardano.Ledger.Conway.Governance |
| unTxAuxDataHash | 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.Hashes, Cardano.Ledger.Core, Cardano.Ledger.Dijkstra.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Shelley.Core |
| unTxDats | Cardano.Ledger.Alonzo.TxWits, Cardano.Ledger.Api.Tx.Wits, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api |
| unTxDatsL | Cardano.Ledger.Alonzo.TxWits, Cardano.Ledger.Api.Tx.Wits, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api |
| unTxDatsRaw | Cardano.Ledger.Alonzo.TxWits |
| unTxId | Cardano.Ledger.Api.Tx.In, Cardano.Ledger.TxIn, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| unTxIx | Cardano.Ledger.BaseTypes |
| unTxKey | Cardano.Ledger.State.Schema |
| unTxPayload | Cardano.Chain.UTxO |
| unTxsKey | Cardano.Ledger.State.Schema |
| unusedRequiredKeys | Cardano.Ledger.Binary.Coders |
| unUTxO | |
| 1 (Function) | Byron.Spec.Ledger.UTxO |
| 2 (Function) | Cardano.Ledger.Allegra.State, Cardano.Ledger.Alonzo.State, Cardano.Ledger.Api.UTxO, 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.UTxO, Cardano.Ledger.Shelley.LedgerState, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| 3 (Function) | Cardano.Chain.UTxO.UTxO, Cardano.Chain.UTxO |
| unUtxoEntryKey | Cardano.Ledger.State.Schema |
| unUTxOSize | Cardano.Chain.Block |
| unUtxoStateKey | Cardano.Ledger.State.Schema |
| unVerificationKey | Cardano.Crypto.Signing, Cardano.Crypto |
| unVKey | Cardano.Ledger.Keys, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| unVKeyGenesis | Byron.Spec.Ledger.Core |
| unVMap | Data.VMap |
| unVotingProcedures | Cardano.Ledger.Api.Governance, Cardano.Ledger.Api.Tx.Body, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api, Cardano.Ledger.Conway.Governance |
| unVRFVerKeyHash | 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.Protocol.Crypto |
| unWithdrawals | 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.Address, Cardano.Ledger.Dijkstra.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Shelley.TxBody, Cardano.Ledger.Shelley.Core, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| unWithEpochSlots | Cardano.Chain.Slotting |
| unWrapExUnits | Cardano.Ledger.Alonzo.Scripts, Cardano.Ledger.Plutus.ExUnits, Cardano.Ledger.Plutus |
| unwrapTreeT | Test.Hedgehog.Extra.Manual |
| UpAdptThd | |
| 1 (Type/Class) | Byron.Spec.Ledger.Update |
| 2 (Data Constructor) | Byron.Spec.Ledger.Update |
| upAdptThd | |
| 1 (Function) | Byron.Spec.Ledger.Update |
| 2 (Function) | Cardano.Chain.Update |
| Update | |
| 1 (Type/Class) | Cardano.Ledger.Shelley.PParams, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| 2 (Data Constructor) | Cardano.Ledger.Shelley.PParams, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| update | |
| 1 (Function) | Test.Cardano.Ledger.Allegra.CDDL, Test.Cardano.Ledger.Mary.CDDL, Test.Cardano.Ledger.Shelley.CDDL |
| 2 (Function) | Control.Provenance |
| updateAddrTxWits | Test.Cardano.Ledger.Allegra.ImpTest, Test.Cardano.Ledger.Alonzo.ImpTest, Test.Cardano.Ledger.Babbage.ImpTest, Test.Cardano.Ledger.Conway.ImpTest, Test.Cardano.Ledger.Dijkstra.ImpTest, Test.Cardano.Ledger.Mary.ImpTest, Test.Cardano.Ledger.Shelley.ImpTest |
| updateBlock | Cardano.Chain.Block |
| updateBody | |
| 1 (Function) | Byron.Spec.Chain.STS.Block |
| 2 (Function) | Cardano.Chain.Block |
| updateChainBlockOrBoundary | Cardano.Chain.Block |
| updateChainBoundary | Cardano.Chain.Block |
| updateChainDepState | Cardano.Protocol.TPraos.API |
| UpdateCommittee | Cardano.Ledger.Api.Governance, Cardano.Ledger.Api, Cardano.Ledger.Conway.Governance |
| UpdateConstraintViolation | Byron.Spec.Ledger.Update |
| updateCostModels | Cardano.Ledger.Alonzo.Scripts, Cardano.Ledger.Plutus.CostModels, Cardano.Ledger.Plutus |
| updateDelegation | Cardano.Chain.Delegation.Validation.Interface |
| updateDormantDRepExpiries | Cardano.Ledger.Conway.Rules |
| updateDormantDRepExpiry | Cardano.Ledger.Conway.Rules |
| updateDRep | Test.Cardano.Ledger.Conway.ImpTest, Test.Cardano.Ledger.Dijkstra.ImpTest |
| UpdateDRepTxCert | Cardano.Ledger.Conway.TxCert, Cardano.Ledger.Conway.Core, Cardano.Ledger.Dijkstra.Core |
| updateEraTxBody | Test.Cardano.Ledger.Shelley.Generator.EraGen |
| UpdateEvent | |
| 1 (Data Constructor) | Cardano.Ledger.Allegra.Rules |
| 2 (Data Constructor) | Cardano.Ledger.Shelley.Rules |
| UpdateFailure | |
| 1 (Data Constructor) | Cardano.Ledger.Allegra.Rules |
| 2 (Data Constructor) | Cardano.Ledger.Alonzo.Rules |
| 3 (Data Constructor) | Cardano.Ledger.Shelley.Rules |
| updateInfo | Test.Cardano.Ledger.Generic.ApplyTx |
| updateLookupAccountState | 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 |
| updateNES | Cardano.Ledger.Shelley.LedgerState |
| updateNonMyopic | Cardano.Ledger.Shelley.LedgerState |
| UpdatePayload | Byron.Spec.Chain.STS.Rule.Bupi |
| updatePoolParams | Test.Cardano.Ledger.Shelley.Examples.Combinators |
| UpdateProofValidationError | Cardano.Chain.Block |
| updateProposalAndVotesGen | Byron.Spec.Ledger.Update |
| updateRewards | Cardano.Ledger.Shelley.Rules |
| updateRule | Cardano.Ledger.Allegra.HuddleSpec, Cardano.Ledger.Alonzo.HuddleSpec, Cardano.Ledger.Babbage.HuddleSpec, Cardano.Ledger.Mary.HuddleSpec, Cardano.Ledger.Shelley.HuddleSpec |
| updates4 | Test.Cardano.Ledger.Shelley.Examples.Updates |
| updatesExample | Test.Cardano.Ledger.Shelley.Examples.Updates |
| updateState | Cardano.Chain.Block |
| updateToPPU | 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 |
| updateTxBodyG | Cardano.Ledger.Api.Tx.Body, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api |
| updateTxBodyL | Cardano.Ledger.Allegra.Core, 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, Cardano.Ledger.Mary.Core, Cardano.Ledger.Shelley.TxBody, Cardano.Ledger.Shelley.Core |
| updateUTxO | Cardano.Chain.UTxO.Validation, Cardano.Chain.UTxO |
| updateUTxOState | Cardano.Ledger.Shelley.Rules |
| updateUTxOTx | Cardano.Chain.UTxO.Validation, Cardano.Chain.UTxO |
| updateUTxOTxWitness | Cardano.Chain.UTxO.Validation, Cardano.Chain.UTxO |
| updateVotingDRepExpiries | Cardano.Ledger.Conway.Rules |
| updateWithBlackBox | Control.Provenance |
| update_committee | Test.Cardano.Ledger.Conway.CDDL, Test.Cardano.Ledger.Dijkstra.CDDL |
| UPDN | Cardano.Protocol.TPraos.Rules.Updn |
| UpdnEnv | |
| 1 (Type/Class) | Cardano.Protocol.TPraos.Rules.Updn |
| 2 (Data Constructor) | Cardano.Protocol.TPraos.Rules.Updn |
| UpdnFailure | Cardano.Protocol.TPraos.Rules.Prtcl |
| UpdnPredicateFailure | Cardano.Protocol.TPraos.Rules.Updn |
| UpdnState | |
| 1 (Type/Class) | Cardano.Protocol.TPraos.Rules.Updn |
| 2 (Data Constructor) | Cardano.Protocol.TPraos.Rules.Updn |
| UpecEvent | Cardano.Ledger.Shelley.Rules |
| UpecState | |
| 1 (Type/Class) | Cardano.Ledger.Shelley.Rules |
| 2 (Data Constructor) | Cardano.Ledger.Shelley.Rules |
| UPEND | Byron.Spec.Ledger.Update |
| UPENDFailure | Byron.Spec.Ledger.Update |
| UpendPredicateFailure | Byron.Spec.Ledger.Update |
| UpgradeAlonzoPParams | |
| 1 (Type/Class) | Cardano.Ledger.Alonzo.PParams, Cardano.Ledger.Api.PParams, Cardano.Ledger.Api |
| 2 (Data Constructor) | Cardano.Ledger.Alonzo.PParams, Cardano.Ledger.Api.PParams, Cardano.Ledger.Api |
| upgradeAlonzoPParams | Cardano.Ledger.Alonzo.PParams |
| upgradeBabbagePParams | Cardano.Ledger.Babbage.PParams |
| upgradeBabbageTxOut | Cardano.Ledger.Conway.TxBody |
| UpgradeConwayPParams | |
| 1 (Type/Class) | Cardano.Ledger.Conway.PParams |
| 2 (Data Constructor) | Cardano.Ledger.Conway.PParams |
| upgradeConwayPParams | Cardano.Ledger.Conway.PParams |
| upgradeData | Cardano.Ledger.Plutus.Data, Cardano.Ledger.Plutus |
| UpgradeDijkstraPParams | |
| 1 (Type/Class) | Cardano.Ledger.Dijkstra.PParams |
| 2 (Data Constructor) | Cardano.Ledger.Dijkstra.PParams |
| upgradeGovAction | Cardano.Ledger.Dijkstra.TxBody |
| upgradeMultiSig | Cardano.Ledger.Allegra.Scripts |
| upgradeNativeScript | Cardano.Ledger.Api.Era, Cardano.Ledger.Api |
| upgradePlutusPurposeAsIx | Cardano.Ledger.Alonzo.Scripts, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Dijkstra.Core |
| UpgradePParams | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Allegra.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Api.PParams, Cardano.Ledger.Api, Cardano.Ledger.Api, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Core, Cardano.Ledger.Core, Cardano.Ledger.Dijkstra.Core, Cardano.Ledger.Dijkstra.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Shelley.Core, Cardano.Ledger.Shelley.Core |
| upgradePParams | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Api.PParams, 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 |
| upgradePParamsHKD | Cardano.Ledger.Core |
| upgradePParamsUpdate | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Api.PParams, 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 |
| upgradeProposals | Cardano.Ledger.Dijkstra.TxBody |
| upgradeScript | Cardano.Ledger.Allegra.Core, 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.Core, Cardano.Ledger.Dijkstra.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Shelley.Core |
| upgradeShelleyTxCert | Cardano.Ledger.Shelley.TxCert |
| upgradeTimelock | Cardano.Ledger.Dijkstra.Scripts |
| upgradeTx | Cardano.Ledger.Api.Era, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api |
| upgradeTxAuxData | Cardano.Ledger.Api.Era, Cardano.Ledger.Api.Tx.AuxData, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api |
| upgradeTxBody | Cardano.Ledger.Api.Era, Cardano.Ledger.Api.Tx.Body, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api |
| upgradeTxCert | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Api.Tx.Cert, 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.TxCert, Cardano.Ledger.Shelley.Core |
| upgradeTxOut | 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 |
| upgradeTxWits | Cardano.Ledger.Api.Era, Cardano.Ledger.Api.Tx.Wits, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api |
| upgradeUpdate | Cardano.Ledger.Shelley.PParams |
| UpId | |
| 1 (Type/Class) | Byron.Spec.Ledger.Update |
| 2 (Data Constructor) | Byron.Spec.Ledger.Update |
| 3 (Type/Class) | Cardano.Chain.Update.Proposal, Cardano.Chain.Update |
| upId | Byron.Spec.Ledger.Update |
| UPIEC | Byron.Spec.Ledger.Update |
| UPIECFailure | Byron.Spec.Chain.STS.Rule.Epoch |
| UpiecPredicateFailure | Byron.Spec.Ledger.Update |
| UPIEND | Byron.Spec.Ledger.Update |
| upiendExamples | Test.Byron.Spec.Ledger.Update.Examples |
| UPIENDFailure | Byron.Spec.Chain.STS.Rule.Bupi |
| UpiendPredicateFailure | Byron.Spec.Ledger.Update |
| UPIEnv | Byron.Spec.Ledger.Update |
| upiEnvGen | Byron.Spec.Ledger.Update |
| UPIREG | Byron.Spec.Ledger.Update |
| UPIREGFailure | Byron.Spec.Chain.STS.Rule.Bupi |
| UpiregPredicateFailure | Byron.Spec.Ledger.Update |
| upiregRelevantTracesAreCovered | Test.Byron.Spec.Ledger.Update.Properties |
| upiregTracesAreClassified | Test.Byron.Spec.Ledger.Update.Properties |
| upIssuer | Byron.Spec.Ledger.Update |
| UPIState | Byron.Spec.Ledger.Update |
| UPIVOTE | Byron.Spec.Ledger.Update |
| UpivoteFailure | Byron.Spec.Ledger.Update |
| UpivotePredicateFailure | Byron.Spec.Ledger.Update |
| UPIVOTES | Byron.Spec.Ledger.Update |
| UPIVOTESFailure | Byron.Spec.Chain.STS.Rule.Bupi |
| UpivotesPredicateFailure | Byron.Spec.Ledger.Update |
| upMdt | Byron.Spec.Ledger.Update |
| upoolDeposit | 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 |
| upoolVotingThresholds | 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 |
| upParams | Byron.Spec.Ledger.Update |
| upPV | Byron.Spec.Ledger.Update |
| UPPVV | Byron.Spec.Ledger.Update |
| UPPVVFailure | Byron.Spec.Ledger.Update |
| UppvvPredicateFailure | Byron.Spec.Ledger.Update |
| UPREG | Byron.Spec.Ledger.Update |
| UPREGFailure | Byron.Spec.Ledger.Update |
| UpregPredicateFailure | Byron.Spec.Ledger.Update |
| uprices | 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 |
| UProp | |
| 1 (Type/Class) | Byron.Spec.Ledger.Update |
| 2 (Data Constructor) | Byron.Spec.Ledger.Update |
| uprotocolVersion | 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 |
| UpSD | Byron.Spec.Ledger.Update |
| upSig | Byron.Spec.Ledger.Update |
| upSigData | Byron.Spec.Ledger.Update |
| upSTags | Byron.Spec.Ledger.Update |
| UPSVV | Byron.Spec.Ledger.Update |
| UPSVVFailure | Byron.Spec.Ledger.Update |
| UpsvvPredicateFailure | Byron.Spec.Ledger.Update |
| upSwVer | Byron.Spec.Ledger.Update |
| upTtl | Byron.Spec.Ledger.Update |
| UPV | Byron.Spec.Ledger.Update |
| UPVFailure | Byron.Spec.Ledger.Update |
| UPVOTE | Byron.Spec.Ledger.Update |
| UPVOTEFailure | Byron.Spec.Ledger.Update |
| UpvotePredicateFailure | Byron.Spec.Ledger.Update |
| UpvPredicateFailure | Byron.Spec.Ledger.Update |
| urho | 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 |
| Url | Cardano.Ledger.BaseTypes |
| url64 | 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.Dijkstra.CDDL, Test.Cardano.Ledger.Mary.CDDL, Test.Cardano.Ledger.Shelley.CDDL |
| urlRule | Cardano.Ledger.Allegra.HuddleSpec, Cardano.Ledger.Alonzo.HuddleSpec, Cardano.Ledger.Babbage.HuddleSpec, Cardano.Ledger.Mary.HuddleSpec, Cardano.Ledger.Shelley.HuddleSpec |
| urlToText | Cardano.Ledger.BaseTypes |
| usCurPParams | Cardano.Ledger.Shelley.Rules |
| usedSeed | Test.Tasty.QuickCheck, Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common, Test.Common |
| usedSize | Test.Tasty.QuickCheck, Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common, Test.Common |
| usGovState | Cardano.Ledger.Shelley.Rules |
| usingTempFile | Test.Cardano.Ledger.Binary.Cddl |
| usTxInStats | Cardano.Ledger.State.UTxO |
| usTxOutStats | Cardano.Ledger.State.UTxO |
| utau | 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 |
| UTXO | Byron.Spec.Ledger.STS.UTXO |
| UTxO | |
| 1 (Type/Class) | Byron.Spec.Ledger.UTxO |
| 2 (Data Constructor) | Byron.Spec.Ledger.UTxO |
| 3 (Type/Class) | Cardano.Ledger.Allegra.State, Cardano.Ledger.Alonzo.State, Cardano.Ledger.Api.UTxO, 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.UTxO, Cardano.Ledger.Shelley.LedgerState, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| 4 (Data Constructor) | Cardano.Ledger.Allegra.State, Cardano.Ledger.Alonzo.State, Cardano.Ledger.Api.UTxO, 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.UTxO, Cardano.Ledger.Shelley.LedgerState, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| 5 (Type/Class) | Cardano.Chain.UTxO.UTxO, Cardano.Chain.UTxO |
| 6 (Data Constructor) | Cardano.Chain.UTxO.UTxO, Cardano.Chain.UTxO |
| utxo | |
| 1 (Function) | Byron.Spec.Ledger.STS.UTXO |
| 2 (Function) | Cardano.Chain.Block |
| utxo0 | Byron.Spec.Ledger.STS.UTXO |
| utxoAdaPot | Cardano.Ledger.Shelley.AdaPots, Cardano.Ledger.Shelley.API.Wallet, Cardano.Ledger.Shelley.API, Test.Cardano.Ledger.Shelley.Rules.Chain |
| UTxOAlonzoToConway | Test.Cardano.Ledger.Generic.Proof |
| utxoAndTxoutsMustBeDisjoint | Test.Byron.Spec.Ledger.UTxO.Properties |
| utxoChoicesMax | Test.Cardano.Ledger.Generic.GenState |
| UTxOConfiguration | |
| 1 (Type/Class) | Cardano.Chain.UTxO |
| 2 (Data Constructor) | Cardano.Chain.UTxO |
| utxoConfiguration | |
| 1 (Function) | Cardano.Chain.UTxO.Validation, Cardano.Chain.UTxO |
| 2 (Function) | Cardano.Chain.Block |
| utxoDiff | Test.Byron.Spec.Ledger.UTxO.Properties |
| UtxoEntry | |
| 1 (Type/Class) | Test.Cardano.Ledger.Generic.ModelState |
| 2 (Type/Class) | Cardano.Ledger.State.Schema |
| 3 (Data Constructor) | Cardano.Ledger.State.Schema |
| UtxoEntryId | |
| 1 (Type/Class) | Cardano.Ledger.State.Schema |
| 2 (Data Constructor) | Cardano.Ledger.State.Schema |
| UtxoEntryKey | Cardano.Ledger.State.Schema |
| utxoEntrySize | Cardano.Ledger.Alonzo.TxOut, Cardano.Ledger.Alonzo.TxBody |
| UtxoEntryStateId | Cardano.Ledger.State.Schema |
| utxoEntryStateId | Cardano.Ledger.State.Schema |
| UtxoEntryTxId | Cardano.Ledger.State.Schema |
| utxoEntryTxId | Cardano.Ledger.State.Schema |
| UtxoEntryTxsId | Cardano.Ledger.State.Schema |
| utxoEntryTxsId | Cardano.Ledger.State.Schema |
| UTxOEnv | |
| 1 (Type/Class) | Byron.Spec.Ledger.STS.UTXO |
| 2 (Data Constructor) | Byron.Spec.Ledger.STS.UTXO |
| UtxoEnv | |
| 1 (Type/Class) | Cardano.Ledger.Conway.Rules, Cardano.Ledger.Shelley.Rules, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| 2 (Data Constructor) | Cardano.Ledger.Conway.Rules, Cardano.Ledger.Shelley.Rules, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| utxoEnvCertStateL | Cardano.Ledger.Shelley.Rules |
| utxoEnvPParamsL | Cardano.Ledger.Shelley.Rules |
| utxoEnvSlotL | Cardano.Ledger.Shelley.Rules |
| utxoEnvSpec | Test.Cardano.Ledger.Constrained.Conway.Utxo, Test.Cardano.Ledger.Constrained.Conway |
| UTxOError | Cardano.Chain.UTxO.UTxO, Cardano.Chain.UTxO |
| UtxoEvent | |
| 1 (Type/Class) | Cardano.Ledger.Shelley.Rules |
| 2 (Data Constructor) | Cardano.Ledger.Shelley.Rules |
| 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 |
| UtxoFailure | |
| 1 (Data Constructor) | Byron.Spec.Ledger.STS.UTXOW |
| 2 (Data Constructor) | Cardano.Ledger.Babbage.Rules |
| 3 (Data Constructor) | Cardano.Ledger.Conway.Rules |
| 4 (Data Constructor) | Cardano.Ledger.Dijkstra.Rules |
| 5 (Data Constructor) | Cardano.Ledger.Shelley.Rules |
| UTxOFold | Cardano.Ledger.State.UTxO |
| utxoG | 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.UTxO, Cardano.Ledger.Shelley.LedgerState |
| utxoL | 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.UTxO, Cardano.Ledger.Shelley.LedgerState |
| UTxOMissingInput | Cardano.Chain.UTxO.UTxO, Cardano.Chain.UTxO |
| UTxOOverlappingUnion | Cardano.Chain.UTxO.UTxO, Cardano.Chain.UTxO |
| UtxoPredicateFailure | Byron.Spec.Ledger.STS.UTXO |
| UTxOProofValidationError | Cardano.Chain.Block |
| utxosDeposited | Cardano.Ledger.Shelley.LedgerState, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| utxosDepositedL | Cardano.Ledger.Shelley.LedgerState |
| utxosDonation | Cardano.Ledger.Shelley.LedgerState, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| utxosDonationL | Cardano.Ledger.Shelley.LedgerState |
| UtxosEvent | Cardano.Ledger.Alonzo.Rules |
| UtxosFailure | |
| 1 (Data Constructor) | Cardano.Ledger.Alonzo.Rules |
| 2 (Data Constructor) | Cardano.Ledger.Conway.Rules |
| 3 (Data Constructor) | Cardano.Ledger.Dijkstra.Rules |
| utxosFees | Cardano.Ledger.Shelley.LedgerState, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| utxosFeesL | Cardano.Ledger.Shelley.LedgerState |
| utxosGovState | Cardano.Ledger.Shelley.LedgerState, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| utxosGovStateL | Cardano.Ledger.Shelley.LedgerState |
| UTxOShelleyToMary | Test.Cardano.Ledger.Generic.Proof |
| utxosInstantStake | Cardano.Ledger.Shelley.LedgerState, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| UTxOSize | |
| 1 (Type/Class) | Cardano.Chain.Block |
| 2 (Data Constructor) | Cardano.Chain.Block |
| utxoSpecWit | Test.Cardano.Ledger.Constrained.Conway.LedgerTypes.Specs |
| UTxOState | |
| 1 (Type/Class) | Byron.Spec.Ledger.STS.UTXO |
| 2 (Data Constructor) | Byron.Spec.Ledger.STS.UTXO |
| 3 (Type/Class) | Cardano.Ledger.Shelley.LedgerState, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| 4 (Data Constructor) | Cardano.Ledger.Shelley.LedgerState, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| UtxoState | |
| 1 (Type/Class) | Cardano.Ledger.State.Schema |
| 2 (Data Constructor) | Cardano.Ledger.State.Schema |
| UtxoStateDeposited | Cardano.Ledger.State.Schema |
| utxoStateDeposited | Cardano.Ledger.State.Schema |
| UtxoStateDonation | Cardano.Ledger.State.Schema |
| utxoStateDonation | Cardano.Ledger.State.Schema |
| UtxoStateFees | Cardano.Ledger.State.Schema |
| utxoStateFees | Cardano.Ledger.State.Schema |
| utxoStateGen | Test.Cardano.Ledger.Constrained.Conway.LedgerTypes.Tests |
| UtxoStateGovState | Cardano.Ledger.State.Schema |
| utxoStateGovState | Cardano.Ledger.State.Schema |
| UtxoStateId | |
| 1 (Type/Class) | Cardano.Ledger.State.Schema |
| 2 (Data Constructor) | Cardano.Ledger.State.Schema |
| UtxoStateKey | Cardano.Ledger.State.Schema |
| utxoStateSpec | |
| 1 (Function) | Test.Cardano.Ledger.Constrained.Conway.LedgerTypes.Specs |
| 2 (Function) | Test.Cardano.Ledger.Constrained.Conway.Utxo, Test.Cardano.Ledger.Constrained.Conway |
| utxostateX | Test.Cardano.Ledger.Constrained.Conway.LedgerTypes.WellFormed |
| uTxOStateZero | Test.Cardano.Ledger.Generic.ModelState |
| UTxOStats | |
| 1 (Type/Class) | Cardano.Ledger.State.UTxO |
| 2 (Data Constructor) | Cardano.Ledger.State.UTxO |
| UTxOStats' | |
| 1 (Type/Class) | Cardano.Ledger.State.UTxO |
| 2 (Data Constructor) | Cardano.Ledger.State.UTxO |
| utxosTransition | Cardano.Ledger.Babbage.Rules |
| utxosUtxo | Cardano.Ledger.Shelley.LedgerState, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| utxoTests | Test.Cardano.Ledger.STS |
| utxoTransition | Cardano.Ledger.Babbage.Rules |
| utxoTxSpec | Test.Cardano.Ledger.Constrained.Conway.Utxo, Test.Cardano.Ledger.Constrained.Conway |
| UTxOUniques | |
| 1 (Type/Class) | Cardano.Ledger.State.UTxO |
| 2 (Data Constructor) | Cardano.Ledger.State.UTxO |
| UTxOValidationError | Cardano.Chain.UTxO.Validation, Cardano.Chain.UTxO |
| UTxOValidationTxValidationError | Cardano.Chain.UTxO.Validation, Cardano.Chain.UTxO |
| UTxOValidationUTxOError | Cardano.Chain.UTxO.Validation, Cardano.Chain.UTxO |
| UTXOW | Byron.Spec.Ledger.STS.UTXOW |
| UtxowEvent | |
| 1 (Data Constructor) | Cardano.Ledger.Conway.Rules |
| 2 (Data Constructor) | Cardano.Ledger.Shelley.Rules |
| UtxowFailure | |
| 1 (Data Constructor) | Byron.Spec.Ledger.STS.UTXOWS |
| 2 (Data Constructor) | Cardano.Ledger.Shelley.Rules |
| UTxOWit | Test.Cardano.Ledger.Generic.Proof |
| utxoWithTx | Test.Cardano.Ledger.Babbage.Translation.TranslatableGen |
| UtxowPredicateFailure | Byron.Spec.Ledger.STS.UTXOW |
| UTXOWS | Byron.Spec.Ledger.STS.UTXOWS |
| UTXOWSFailure | Byron.Spec.Chain.STS.Rule.BBody |
| UtxowsPredicateFailure | Byron.Spec.Ledger.STS.UTXOWS |
| utxoX | Test.Cardano.Ledger.Constrained.Conway.LedgerTypes.WellFormed |
| utxoZero | Test.Cardano.Ledger.Generic.ModelState |