cardano-ledger

Index - U

UTest.Cardano.Ledger.Binary.Vintage.Helpers
U24Test.Cardano.Ledger.Binary.Vintage.Helpers
ua0Test.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 
1 (Function)Cardano.Ledger.Alonzo.PParams
2 (Function)Cardano.Ledger.Api.PParams, Cardano.Ledger.Api
uappCollateralPercentage 
1 (Function)Cardano.Ledger.Alonzo.PParams
2 (Function)Cardano.Ledger.Api.PParams, Cardano.Ledger.Api
uappCostModels 
1 (Function)Cardano.Ledger.Alonzo.PParams
2 (Function)Cardano.Ledger.Api.PParams, Cardano.Ledger.Api
uappMaxBlockExUnits 
1 (Function)Cardano.Ledger.Alonzo.PParams
2 (Function)Cardano.Ledger.Api.PParams, Cardano.Ledger.Api
uappMaxCollateralInputs 
1 (Function)Cardano.Ledger.Alonzo.PParams
2 (Function)Cardano.Ledger.Api.PParams, Cardano.Ledger.Api
uappMaxTxExUnits 
1 (Function)Cardano.Ledger.Alonzo.PParams
2 (Function)Cardano.Ledger.Api.PParams, Cardano.Ledger.Api
uappMaxValSize 
1 (Function)Cardano.Ledger.Alonzo.PParams
2 (Function)Cardano.Ledger.Api.PParams, Cardano.Ledger.Api
uappPrices 
1 (Function)Cardano.Ledger.Alonzo.PParams
2 (Function)Cardano.Ledger.Api.PParams, Cardano.Ledger.Api
ublockOnlyValidSignalsAreGeneratedTest.Byron.Spec.Ledger.Update.Properties
ublockRelevantTracesAreCoveredTest.Byron.Spec.Ledger.Update.Properties
ublockSampleTraceMetricsTest.Byron.Spec.Ledger.Update.Properties
ublockTraceLengthsAreClassifiedTest.Byron.Spec.Ledger.Update.Properties
ucoinsPerUTxOByteTest.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
ucoinsPerUTxOWordTest.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
ucollateralPercentageTest.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
ucommitteeMaxTermLengthTest.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
ucommitteeMinSizeTest.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
ucostModelsTest.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
ucppCommitteeMaxTermLengthCardano.Ledger.Conway.PParams
ucppCommitteeMinSizeCardano.Ledger.Conway.PParams
ucppDRepActivityCardano.Ledger.Conway.PParams
ucppDRepDepositCardano.Ledger.Conway.PParams
ucppDRepVotingThresholdsCardano.Ledger.Conway.PParams
ucppGovActionDepositCardano.Ledger.Conway.PParams
ucppGovActionLifetimeCardano.Ledger.Conway.PParams
ucppMinFeeRefScriptCostPerByteCardano.Ledger.Conway.PParams
ucppPlutusV3CostModelCardano.Ledger.Conway.PParams
ucppPoolVotingThresholdsCardano.Ledger.Conway.PParams
udecentralTest.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
udRepActivityTest.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
udRepDepositTest.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
udrepVotingThresholdsTest.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
ueCertStateCardano.Ledger.Shelley.Rules, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
uecTxTest.Cardano.Ledger.Constrained.Conway.Utxo, Test.Cardano.Ledger.Constrained.Conway
uecUTxOTest.Cardano.Ledger.Constrained.Conway.Utxo, Test.Cardano.Ledger.Constrained.Conway
uecUtxoEnvTest.Cardano.Ledger.Constrained.Conway.Utxo, Test.Cardano.Ledger.Constrained.Conway
ueMaxTest.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
uePParamsCardano.Ledger.Shelley.Rules, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
ueSlotCardano.Ledger.Shelley.Rules, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
ugovActionDepositTest.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
ugovActionLifetimeTest.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
ukeyDepositTest.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
UMap 
1 (Data Constructor)Cardano.Ledger.UMap
2 (Type/Class)Cardano.Ledger.UMap
uMapSummaryTest.Cardano.Ledger.Generic.PrettyCore
umaxBBSizeTest.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
umaxBHSizeTest.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
umaxBlockExUnitsTest.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
umaxCollateralInputsTest.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
umaxTxExUnitsTest.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
umaxTxSizeTest.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
umaxValSizeTest.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
UMElem 
1 (Data Constructor)Cardano.Ledger.UMap
2 (Type/Class)Cardano.Ledger.UMap
umElemAsTupleCardano.Ledger.UMap
umElemDelegationsCardano.Ledger.UMap
umElemDRepCardano.Ledger.UMap
umElemDRepDelegatedRewardCardano.Ledger.UMap
umElemPtrsCardano.Ledger.UMap
umElemRDActiveCardano.Ledger.UMap
umElemRDPairCardano.Ledger.UMap
umElemsCardano.Ledger.UMap
umElemsLCardano.Ledger.UMap
umElemSPoolCardano.Ledger.UMap
uminFeeATest.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
uminFeeBTest.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
uminFeeRefScriptCostPerByteTest.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
uminPoolCostTest.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
uminUTxOValueTest.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
umInvariantCardano.Ledger.UMap
umPtrsCardano.Ledger.UMap
unAddress'Cardano.Chain.Common
unAlonzoGenesisWrapper 
1 (Function)Cardano.Ledger.Alonzo.Genesis
2 (Function)Cardano.Ledger.Api.Transition
unAnnotated 
1 (Function)Test.Cardano.Ledger.Allegra.Binary.Annotator
2 (Function)Test.Cardano.Ledger.Alonzo.Binary.Annotator
3 (Function)Test.Cardano.Ledger.Babbage.Binary.Annotator
4 (Function)Cardano.Ledger.Binary.Decoding, Cardano.Ledger.Binary
5 (Function)Test.Cardano.Ledger.Binary.Annotator
6 (Function)Test.Cardano.Ledger.Conway.Binary.Annotator
7 (Function)Test.Cardano.Ledger.Core.Binary.Annotator
8 (Function)Test.Cardano.Ledger.Mary.Binary.Annotator
9 (Function)Test.Cardano.Ledger.Shelley.Binary.Annotator
10 (Function)Test.Cardano.Protocol.Binary.Annotator
unApplicationNameCardano.Chain.Update
UnaryConstrained.Base, Constrained.API
unAsItem 
1 (Function)Cardano.Ledger.Alonzo.Scripts, Cardano.Ledger.Alonzo.Core
2 (Function)Cardano.Ledger.Api.Tx.Wits, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api
3 (Function)Cardano.Ledger.Babbage.Core
4 (Function)Cardano.Ledger.Conway.Core
unAsIx 
1 (Function)Cardano.Ledger.Alonzo.Scripts, Cardano.Ledger.Alonzo.Core
2 (Function)Cardano.Ledger.Api.Tx.Wits, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api
3 (Function)Cardano.Ledger.Babbage.Core
4 (Function)Cardano.Ledger.Conway.Core
unBACardano.Ledger.Binary.Decoding, Cardano.Ledger.Binary
unBindConstrained.Syntax
unBlockCount 
1 (Function)Byron.Spec.Ledger.Core
2 (Function)Cardano.Chain.Common
unBlockNoCardano.Ledger.BaseTypes, Cardano.Ledger.Slot
unBlocksMadeCardano.Ledger.BaseTypes
unBootstrapAddress 
1 (Function)Cardano.Ledger.Api.Tx.Address, Cardano.Ledger.Api.Tx.Out, Cardano.Ledger.Api.Tx.Body, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api
2 (Function)Cardano.Ledger.Address
Unbounded 
1 (Data Constructor)Constrained.NumSpec
2 (Type/Class)Constrained.NumSpec
unboundRationalCardano.Ledger.BaseTypes
unCborTest.Cardano.Ledger.Binary.Cddl
unCBORBytes 
1 (Function)Test.Cardano.Ledger.Allegra.TreeDiff
2 (Function)Test.Cardano.Ledger.Alonzo.TreeDiff
3 (Function)Test.Cardano.Ledger.Babbage.TreeDiff
4 (Function)Test.Cardano.Ledger.Binary.TreeDiff
5 (Function)Test.Cardano.Ledger.Conway.TreeDiff
6 (Function)Test.Cardano.Ledger.TreeDiff
7 (Function)Test.Cardano.Ledger.Mary.TreeDiff
8 (Function)Test.Cardano.Ledger.Shelley.TreeDiff
unCBORGroupCardano.Ledger.Binary.Group, Cardano.Ledger.Binary
unCddlTest.Cardano.Ledger.Binary.Cddl
unCertIxCardano.Ledger.BaseTypes
unCertStateFTest.Cardano.Ledger.Constrained.Classes
unCertStateFLTest.Cardano.Ledger.Constrained.Vars
unChainCodeCardano.Ledger.Keys.Bootstrap, Cardano.Ledger.Keys
unChainDifficultyCardano.Chain.Common
unclaimedPoolsCardano.Ledger.Shelley.Rules
unCoin 
1 (Function)Cardano.Ledger.Coin
2 (Function)Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
unCoinNonZeroCardano.Ledger.Coin
unCoinPerByte 
1 (Function)Cardano.Ledger.Api.PParams, Cardano.Ledger.Api
2 (Function)Cardano.Ledger.Babbage.PParams, Cardano.Ledger.Babbage.Core
3 (Function)Cardano.Ledger.Conway.Core
unCoinPerWord 
1 (Function)Cardano.Ledger.Alonzo.PParams, Cardano.Ledger.Alonzo.Core
2 (Function)Cardano.Ledger.Api.PParams, Cardano.Ledger.Api
3 (Function)Cardano.Ledger.Babbage.Core
4 (Function)Cardano.Ledger.Conway.Core
unCompactAddrCardano.Ledger.Address
unCompactCoinCardano.Ledger.Coin
unComputationResultTest.Cardano.Ledger.Conformance.SpecTranslate.Core, Test.Cardano.Ledger.Conformance
unComputationResult_Test.Cardano.Ledger.Conformance.SpecTranslate.Core, Test.Cardano.Ledger.Conformance
UnconfirmedProposalByron.Spec.Ledger.Update
unCredentialKeyCardano.Ledger.State.Schema
uncurryListConstrained.List
uncurryList_Constrained.List
unDataCardano.Ledger.Plutus.Data, Cardano.Ledger.Plutus
unDelegationKeyCardano.Ledger.State.Schema
unDiagCborTest.Cardano.Ledger.Binary.Cddl
unDRepKeyCardano.Ledger.State.Schema
unDStateKeyCardano.Ledger.State.Schema
unDurationCardano.Ledger.Slot
unEncCardano.Ledger.State.Orphans
unEnvConstrained.Env
unEpochByron.Spec.Ledger.Core
unEpochIntervalCardano.Ledger.BaseTypes
unEpochNoCardano.Ledger.BaseTypes, Cardano.Ledger.Slot
unEpochSizeCardano.Ledger.BaseTypes, Cardano.Ledger.Slot
unEpochSlotsCardano.Chain.Slotting
unEpochStateKeyCardano.Ledger.State.Schema
unfoldListConstrained.List
unFreeVarsConstrained.Syntax
unGenDelegs 
1 (Function)Cardano.Ledger.Hashes, Cardano.Ledger.Keys
2 (Function)Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
unGenDelegsLTest.Cardano.Ledger.Constrained.Lenses
unGenesisAvvmBalancesCardano.Chain.Genesis
unGenesisDelegationCardano.Chain.Genesis
unGenesisHashCardano.Chain.Genesis
unGenesisKeyHashesCardano.Chain.Genesis
unGenesisNonAvvmBalancesCardano.Chain.Genesis
unGenTTest.Cardano.Ledger.Imp.Common
unGovActionIx 
1 (Function)Cardano.Ledger.Api.Governance, Cardano.Ledger.Api
2 (Function)Cardano.Ledger.Conway.Governance
unGovLTest.Cardano.Ledger.Constrained.Vars
unGovPurposeId 
1 (Function)Cardano.Ledger.Api.Governance, Cardano.Ledger.Api
2 (Function)Cardano.Ledger.Conway.Governance
unGovStateTest.Cardano.Ledger.Constrained.Classes
unHashByron.Spec.Ledger.Core
unHashHeaderCardano.Protocol.TPraos.BHeader
unHexBytes 
1 (Function)Test.Cardano.Ledger.Allegra.TreeDiff
2 (Function)Test.Cardano.Ledger.Alonzo.TreeDiff
3 (Function)Test.Cardano.Ledger.Babbage.TreeDiff
4 (Function)Test.Cardano.Ledger.Binary.TreeDiff
5 (Function)Test.Cardano.Ledger.Conway.TreeDiff
6 (Function)Test.Cardano.Ledger.TreeDiff
7 (Function)Test.Cardano.Ledger.Mary.TreeDiff
8 (Function)Test.Cardano.Ledger.Shelley.TreeDiff
unHistogramCardano.Ledger.Shelley.PoolRank
UnicodeString 
1 (Type/Class)Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common
2 (Data Constructor)Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common
3 (Data Constructor)Test.Common
4 (Type/Class)Test.Common
unifiedLCardano.Ledger.Shelley.LedgerState
uniformByteStringMTest.Cardano.Ledger.Imp.Common
uniformListMTest.Cardano.Ledger.Imp.Common
uniformListRMTest.Cardano.Ledger.Imp.Common
uniformMTest.Cardano.Ledger.Imp.Common
uniformRMTest.Cardano.Ledger.Imp.Common
uniformShortByteStringMTest.Cardano.Ledger.Imp.Common
uniformSubMapTest.Cardano.Ledger.Core.Arbitrary
uniformSubMapElemsTest.Cardano.Ledger.Core.Arbitrary
uniformSubSetTest.Cardano.Ledger.Core.Arbitrary
unifyCardano.Ledger.UMap
unifyRoundTripFromTest.Cardano.Ledger.UMapSpec
unifyRoundTripToTest.Cardano.Ledger.UMapSpec
unInstallerHashCardano.Chain.Update
unionCardano.Chain.UTxO.UTxO, Cardano.Chain.UTxO
unionBoundedConstrained.Examples.Set, Constrained.Examples
unionKeyDepositsCardano.Ledger.UMap
unionLCardano.Ledger.UMap
unionleftControl.Iterate.Exp, Control.SetAlgebra
UnionOverrideLeftControl.Iterate.Exp
UnionOverrideRightControl.Iterate.Exp
UnionPlusControl.Iterate.Exp
unionplusControl.Iterate.Exp, Control.SetAlgebra
unionRCardano.Ledger.UMap
unionRewAggCardano.Ledger.UMap
unionrightControl.Iterate.Exp, Control.SetAlgebra
unionSizedConstrained.Examples.Set, Constrained.Examples
UnionWConstrained.Spec.Set, Constrained.API
unionWithMaybeConstrained.Core
union_Constrained.Spec.Set, Constrained.API
UniqueCardano.Ledger.State.Schema
unique2Test.Cardano.Ledger.Constrained.Solver
UniqueCredentialCardano.Ledger.State.Schema
UniqueDelegationCardano.Ledger.State.Schema
UniqueDRepCardano.Ledger.State.Schema
UniqueIRReservesCardano.Ledger.State.Schema
UniqueIRTreasuryCardano.Ledger.State.Schema
UniqueKeyHashCardano.Ledger.State.Schema
UniqueLedgerStateDStateIdCardano.Ledger.State.Schema
UniqueLedgerStateEpochStateIdCardano.Ledger.State.Schema
UniqueLedgerStateUtxoIdCardano.Ledger.State.Schema
UniquePtrCredentialCardano.Ledger.State.Schema
UniquePtrPtrCardano.Ledger.State.Schema
UniqueRewardCardano.Ledger.State.Schema
UniqueSnapShotDelegationCardano.Ledger.State.Schema
UniqueSnapShotPoolCardano.Ledger.State.Schema
UniqueSnapShotStakeCardano.Ledger.State.Schema
UniqueTxCardano.Ledger.State.Schema
UniqueTxsCardano.Ledger.State.Schema
unIRReservesKeyCardano.Ledger.State.Schema
unIRTreasuryKeyCardano.Ledger.State.Schema
UnitTests.Cardano.Ledger.NonIntegral
UnitInterval 
1 (Type/Class)Cardano.Ledger.BaseTypes
2 (Type/Class)Tests.Cardano.Ledger.NonIntegral
UnitIntervalRTest.Cardano.Ledger.Constrained.TypeRep
UnitRTest.Cardano.Ledger.Constrained.TypeRep
unitTestsTest.Cardano.Ledger.Shelley.UnitTests
unit_interval 
1 (Function)Test.Cardano.Ledger.Allegra.CDDL
2 (Function)Test.Cardano.Ledger.Alonzo.CDDL
3 (Function)Test.Cardano.Ledger.Babbage.CDDL
4 (Function)Test.Cardano.Ledger.Conway.CDDL
5 (Function)Test.Cardano.Ledger.Core.Binary.CDDL
6 (Function)Test.Cardano.Ledger.Mary.CDDL
7 (Function)Test.Cardano.Ledger.Shelley.CDDL
UniverseData.Universe
universePredsTest.Cardano.Ledger.Constrained.Preds.Universes
universeStageTest.Cardano.Ledger.Constrained.Preds.Universes
universeTraceTest.Cardano.Ledger.Constrained.Trace.TraceMonad
univPredsTest.Cardano.Ledger.Constrained.Examples
UnivSize 
1 (Data Constructor)Test.Cardano.Ledger.Constrained.Preds.Universes
2 (Type/Class)Test.Cardano.Ledger.Constrained.Preds.Universes
univSubsetTest.Cardano.Ledger.Constrained.Spec
unKESPeriodCardano.Protocol.TPraos.OCert
unKeyHash 
1 (Function)Cardano.Ledger.Allegra.Core
2 (Function)Cardano.Ledger.Alonzo.Core
3 (Function)Cardano.Ledger.Babbage.Core
4 (Function)Cardano.Chain.Common
5 (Function)Cardano.Ledger.Conway.Core
6 (Function)Cardano.Ledger.Hashes, Cardano.Ledger.Keys, Cardano.Ledger.Core
7 (Function)Cardano.Ledger.Mary.Core
8 (Function)Cardano.Ledger.Shelley.Core, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
unKeyHashKeyCardano.Ledger.State.Schema
unknownAttributesLengthCardano.Chain.Common
unknownCborDataItemSizeExprCardano.Chain.Common
UnknownGenesisKeyOVERLAYCardano.Protocol.TPraos.Rules.Overlay
unknownInputTest.Cardano.Ledger.Babbage.TxInfo
UnknownTxIn 
1 (Data Constructor)Cardano.Ledger.Alonzo.Plutus.Evaluate
2 (Data Constructor)Cardano.Ledger.Api.Tx, Cardano.Ledger.Api
unLedgerStateKeyCardano.Ledger.State.Schema
unlessTest.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common
unlessDecoderVersionAtLeastCardano.Ledger.Binary.Decoding, Cardano.Ledger.Binary
unlessNoTxValidationCardano.Chain.ValidationMode
unLikelihoodCardano.Ledger.Shelley.PoolRank
unListControl.Iterate.BaseTypes
unListMapData.ListMap
unLogWeightCardano.Ledger.Shelley.PoolRank
unLovelaceByron.Spec.Ledger.Core
unManualTest.Hedgehog.Extra.Manual
unMapCardano.Chain.Delegation
unNonZeroCardano.Ledger.BaseTypes.NonZero, Cardano.Ledger.BaseTypes
unOptTest.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
unOrdExUnitsCardano.Ledger.Alonzo.PParams
unOwnerByron.Spec.Ledger.Core
unpackByronVKeyCardano.Ledger.Keys.Bootstrap, Cardano.Ledger.Keys
unpackMemoBytesMCardano.Ledger.MemoBytes.Internal, Cardano.Ledger.MemoBytes
unpairTest.Cardano.Ledger.Constrained.Pairing
UnparsedFields 
1 (Data Constructor)Cardano.Chain.Common
2 (Type/Class)Cardano.Chain.Common
unPerformanceEstimateCardano.Ledger.Shelley.PoolRank
unPGraphCardano.Ledger.Conway.Governance
unPlutusBinary 
1 (Function)Cardano.Ledger.Alonzo.Scripts
2 (Function)Cardano.Ledger.Plutus.Language, Cardano.Ledger.Plutus
unPlutusPointerFTest.Cardano.Ledger.Constrained.Classes
unPlutusPurposeFTest.Cardano.Ledger.Constrained.Classes
unPlutusV1ArgsCardano.Ledger.Plutus.Language, Cardano.Ledger.Plutus
unPlutusV2ArgsCardano.Ledger.Plutus.Language, Cardano.Ledger.Plutus
unPlutusV3ArgsCardano.Ledger.Plutus.Language, Cardano.Ledger.Plutus
unPoolDistr 
1 (Function)Cardano.Ledger.Allegra.State
2 (Function)Cardano.Ledger.Alonzo.State
3 (Function)Cardano.Ledger.Babbage.State
4 (Function)Cardano.Ledger.Conway.State
5 (Function)Cardano.Ledger.PoolDistr, Cardano.Ledger.State
6 (Function)Cardano.Ledger.Mary.State
7 (Function)Cardano.Ledger.Shelley.State, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
unPParamsTest.Cardano.Ledger.Constrained.Classes, Test.Cardano.Ledger.Constrained.TypeRep
unPParamsUpdateTest.Cardano.Ledger.Constrained.Classes, Test.Cardano.Ledger.Constrained.TypeRep
unPreEncodedCardano.Ledger.Binary.Encoding, Cardano.Ledger.Binary
unProposedPPUpdatesTest.Cardano.Ledger.Constrained.Classes
unProtocolMagicIdCardano.Crypto.ProtocolMagic, Cardano.Crypto
unPtrKeyCardano.Ledger.State.Schema
unQuantifyTest.Cardano.Ledger.Shelley.Generator.ScriptClass
unQuantifyTLTest.Cardano.Ledger.AllegraEraGen
unRatifySignalCardano.Ledger.Conway.Governance
UnrecognizedCardano.Ledger.Api.State.Query
unRedeemers 
1 (Function)Cardano.Ledger.Alonzo.TxWits
2 (Function)Cardano.Ledger.Api.Tx.Wits, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api
unRedeemersL 
1 (Function)Cardano.Ledger.Alonzo.TxWits
2 (Function)Cardano.Ledger.Api.Tx.Wits, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api
unRedeemersRawCardano.Ledger.Alonzo.TxWits
unReflectTest.Cardano.Ledger.Generic.Proof
UnRegDepositTxCert 
1 (Data Constructor)Cardano.Ledger.Api.Tx.Cert, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api
2 (Data Constructor)Cardano.Ledger.Conway.TxCert, Cardano.Ledger.Conway.Core
UnRegDRepTxCert 
1 (Data Constructor)Cardano.Ledger.Api.Tx.Cert, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api
2 (Data Constructor)Cardano.Ledger.Conway.TxCert, Cardano.Ledger.Conway.Core
unRegisterDRepTest.Cardano.Ledger.Conway.ImpTest
UnRegTxCert 
1 (Data Constructor)Cardano.Ledger.Allegra.Core
2 (Data Constructor)Cardano.Ledger.Alonzo.Core
3 (Data Constructor)Cardano.Ledger.Api.Tx.Cert, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api
4 (Data Constructor)Cardano.Ledger.Babbage.Core
5 (Data Constructor)Cardano.Ledger.Conway.Core
6 (Data Constructor)Cardano.Ledger.Mary.Core
7 (Data Constructor)Cardano.Ledger.Shelley.TxCert, Cardano.Ledger.Shelley.Core
unreg_certTest.Cardano.Ledger.Conway.CDDL
unreg_drep_certTest.Cardano.Ledger.Conway.CDDL
unRewardKeyCardano.Ledger.State.Schema
UnsafeABoundaryHeaderCardano.Chain.Block
unsafeAbstractHashCardano.Crypto.Hashing, Cardano.Crypto
unsafeAbstractHashFromBytesCardano.Crypto.Hashing, Cardano.Crypto
unsafeAbstractHashFromShortCardano.Crypto.Hashing, Cardano.Crypto
UnsafeACertificateCardano.Chain.Delegation
unsafeAddressHashCardano.Chain.Common
UnsafeAPayloadCardano.Chain.Delegation
unsafeAuxiliaryDataHashCardano.Ledger.AuxiliaryData
unsafeBoundRational 
1 (Function)Test.Cardano.Ledger.Core.Rational, Test.Cardano.Ledger.Core.Utils
2 (Function)Test.Cardano.Ledger.Shelley.Utils
unsafeCertificateCardano.Chain.Delegation
unsafeConstructTxWithBytesCardano.Ledger.Shelley.Tx.Internal
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
unsafeExistsConstrained.Syntax, Constrained.API
UnsafeGenesisDelegationCardano.Chain.Genesis
UnsafeGenesisSpecCardano.Chain.Genesis
unsafeGetCompactAddressCardano.Chain.Common
unsafeGetLovelaceCardano.Chain.Common
unsafeHashFromBytesCardano.Crypto.Hashing, Cardano.Crypto
UnSafeListControl.Iterate.BaseTypes
unsafeMakeSafeHashCardano.Ledger.Hashes, Cardano.Ledger.SafeHash
unsafeMakeValidatedCardano.Ledger.Shelley.API.Mempool, Cardano.Ledger.Shelley.API
unsafeMkProposalsCardano.Ledger.Conway.Governance
unsafeNonZeroCardano.Ledger.BaseTypes.NonZero, Cardano.Ledger.BaseTypes
unsafePayloadCardano.Chain.Delegation
unsafeProposalCardano.Chain.Update.Proposal, Cardano.Chain.Update
UnsafeTxCardano.Chain.UTxO
UnsafeVoteCardano.Chain.Update.Vote, Cardano.Chain.Update
unsafeVoteCardano.Chain.Update.Vote, Cardano.Chain.Update
unScriptFTest.Cardano.Ledger.Constrained.Classes
unScriptsNeededFTest.Cardano.Ledger.Constrained.Classes
unScriptsProvided 
1 (Function)Cardano.Ledger.Allegra.State
2 (Function)Cardano.Ledger.Alonzo.State
3 (Function)Cardano.Ledger.Babbage.State
4 (Function)Cardano.Ledger.Conway.State
5 (Function)Cardano.Ledger.UTxO, Cardano.Ledger.State
6 (Function)Cardano.Ledger.Mary.State
7 (Function)Cardano.Ledger.Shelley.State, Cardano.Ledger.Shelley.UTxO
unSigningKeyCardano.Crypto.Signing, Cardano.Crypto
unSlotByron.Spec.Ledger.Core
unSlotCount 
1 (Function)Byron.Spec.Ledger.Core
2 (Function)Cardano.Chain.Slotting
unSlotNoCardano.Ledger.BaseTypes, Cardano.Ledger.Slot
unSlotNumberCardano.Chain.Slotting
unSnapShotDelegationKeyCardano.Ledger.State.Schema
unSnapShotKeyCardano.Ledger.State.Schema
unSnapShotPoolKeyCardano.Ledger.State.Schema
unSnapShotStakeKeyCardano.Ledger.State.Schema
UnspendableUTxONoDatumHash 
1 (Data Constructor)Cardano.Ledger.Alonzo.Rules
2 (Data Constructor)Cardano.Ledger.Conway.Rules
unSplitUMapTest.Cardano.Ledger.Constrained.Lenses
unStakeShareCardano.Ledger.Shelley.Rewards
unswapMismatchCardano.Ledger.BaseTypes
unTConstrained.NumSpec
unTHKDCardano.Ledger.Conway.PParams
unTimeTest.Cardano.Ledger.Alonzo.AlonzoEraGen
unTreeMaybeCardano.Ledger.Conway.Governance
unTx 
1 (Function)Cardano.Ledger.Alonzo.Translation
2 (Function)Cardano.Ledger.Babbage.Translation
3 (Function)Cardano.Ledger.Conway.Translation
unTxAuxDataTest.Cardano.Ledger.Constrained.Classes
unTxAuxDataHash 
1 (Function)Cardano.Ledger.Allegra.Core
2 (Function)Cardano.Ledger.Alonzo.Core
3 (Function)Cardano.Ledger.Api.Tx.Body, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api
4 (Function)Cardano.Ledger.Babbage.Core
5 (Function)Cardano.Ledger.Conway.Core
6 (Function)Cardano.Ledger.Hashes, Cardano.Ledger.Core
7 (Function)Cardano.Ledger.Mary.Core
8 (Function)Cardano.Ledger.Shelley.Core
unTxBodyFTest.Cardano.Ledger.Constrained.Classes
unTxCertFTest.Cardano.Ledger.Constrained.Classes
unTxDats 
1 (Function)Cardano.Ledger.Alonzo.TxWits
2 (Function)Cardano.Ledger.Api.Tx.Wits, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api
unTxDatsL 
1 (Function)Cardano.Ledger.Alonzo.TxWits
2 (Function)Cardano.Ledger.Api.Tx.Wits, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api
unTxDatsRawCardano.Ledger.Alonzo.TxWits
unTxFTest.Cardano.Ledger.Constrained.Classes
unTxId 
1 (Function)Cardano.Ledger.Api.Tx.In
2 (Function)Cardano.Ledger.TxIn
3 (Function)Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
unTxIxCardano.Ledger.BaseTypes
unTxKeyCardano.Ledger.State.Schema
unTxOutTest.Cardano.Ledger.Constrained.Classes, Test.Cardano.Ledger.Constrained.TypeRep
unTxPayloadCardano.Chain.UTxO
unTxsKeyCardano.Ledger.State.Schema
unTxWitsFTest.Cardano.Ledger.Constrained.Classes
unUnifyCardano.Ledger.UMap
unUnifyToVMapCardano.Ledger.UMap
unusedRequiredKeysCardano.Ledger.Binary.Coders
unUTxO 
1 (Function)Byron.Spec.Ledger.UTxO
2 (Function)Cardano.Ledger.Allegra.State
3 (Function)Cardano.Ledger.Alonzo.State
4 (Function)Cardano.Ledger.Api.UTxO
5 (Function)Cardano.Ledger.Babbage.State
6 (Function)Cardano.Chain.UTxO.UTxO, Cardano.Chain.UTxO
7 (Function)Cardano.Ledger.Conway.State
8 (Function)Cardano.Ledger.UTxO, Cardano.Ledger.State
9 (Function)Cardano.Ledger.Mary.State
10 (Function)Cardano.Ledger.Shelley.State, Cardano.Ledger.Shelley.UTxO, Cardano.Ledger.Shelley.LedgerState, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
unUtxoEntryKeyCardano.Ledger.State.Schema
unUtxoLTest.Cardano.Ledger.Constrained.Vars
unUtxoStateKeyCardano.Ledger.State.Schema
unUViewCardano.Ledger.UMap
unValue 
1 (Function)Test.Cardano.Ledger.Constrained.Classes, Test.Cardano.Ledger.Constrained.TypeRep
2 (Function)Constrained.Core
unVarTest.Cardano.Ledger.Constrained.Ast
unVerificationKeyCardano.Crypto.Signing, Cardano.Crypto
unVKey 
1 (Function)Cardano.Ledger.Keys
2 (Function)Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
unVKeyGenesisByron.Spec.Ledger.Core
unVMapData.VMap
unVotingProcedures 
1 (Function)Cardano.Ledger.Api.Governance, Cardano.Ledger.Api
2 (Function)Cardano.Ledger.Conway.Governance
unVRFVerKeyHash 
1 (Function)Cardano.Ledger.Allegra.Core
2 (Function)Cardano.Ledger.Alonzo.Core
3 (Function)Cardano.Ledger.Babbage.Core
4 (Function)Cardano.Ledger.Conway.Core
5 (Function)Cardano.Ledger.Hashes, Cardano.Ledger.Keys, Cardano.Ledger.Core
6 (Function)Cardano.Ledger.Mary.Core
7 (Function)Cardano.Ledger.Shelley.Core
8 (Function)Cardano.Protocol.Crypto
unWithdrawals 
1 (Function)Cardano.Ledger.Allegra.Core
2 (Function)Cardano.Ledger.Alonzo.Core
3 (Function)Cardano.Ledger.Api.Tx.Body, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api
4 (Function)Cardano.Ledger.Babbage.Core
5 (Function)Cardano.Ledger.Conway.Core
6 (Function)Cardano.Ledger.Address
7 (Function)Cardano.Ledger.Mary.Core
8 (Function)Cardano.Ledger.Shelley.TxBody, Cardano.Ledger.Shelley.Core, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
unWithEpochSlotsCardano.Chain.Slotting
unWrapExUnits 
1 (Function)Cardano.Ledger.Alonzo.Scripts
2 (Function)Cardano.Ledger.Plutus.ExUnits, Cardano.Ledger.Plutus
unwrapTreeTTest.Hedgehog.Extra.Manual
UpAdptThd 
1 (Data Constructor)Byron.Spec.Ledger.Update
2 (Type/Class)Byron.Spec.Ledger.Update
upAdptThd 
1 (Function)Byron.Spec.Ledger.Update
2 (Function)Cardano.Chain.Update
Update 
1 (Data Constructor)Cardano.Ledger.Shelley.PParams, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
2 (Type/Class)Cardano.Ledger.Shelley.PParams, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
3 (Data Constructor)Test.Cardano.Ledger.Constrained.Solver
4 (Type/Class)Test.Cardano.Ledger.Constrained.Solver
5 (Data Constructor)Test.Cardano.Ledger.Generic.Fields
update 
1 (Function)Test.Cardano.Ledger.Allegra.CDDL
2 (Function)Test.Cardano.Ledger.Alonzo.CDDL
3 (Function)Test.Cardano.Ledger.Babbage.CDDL
4 (Function)Test.Cardano.Ledger.Conway.CDDL
5 (Function)Test.Cardano.Ledger.Mary.CDDL
6 (Function)Test.Cardano.Ledger.Shelley.CDDL
7 (Function)Test.Cardano.Ledger.Constrained.Trace.TraceMonad
8 (Function)Test.Cardano.Ledger.Constrained.Solver
9 (Function)Control.Provenance
Update'Test.Cardano.Ledger.Generic.Fields
update' 
1 (Function)Cardano.Ledger.Alonzo.TxBody
2 (Function)Cardano.Ledger.Babbage.TxBody
updateAddrTxWits 
1 (Function)Test.Cardano.Ledger.Allegra.ImpTest
2 (Function)Test.Cardano.Ledger.Alonzo.ImpTest
3 (Function)Test.Cardano.Ledger.Babbage.ImpTest
4 (Function)Test.Cardano.Ledger.Conway.ImpTest
5 (Function)Test.Cardano.Ledger.Mary.ImpTest
6 (Function)Test.Cardano.Ledger.Shelley.ImpTest
updateBlockCardano.Chain.Block
updateBody 
1 (Function)Byron.Spec.Chain.STS.Block
2 (Function)Cardano.Chain.Block
updateChainBlockOrBoundaryCardano.Chain.Block
updateChainBoundaryCardano.Chain.Block
updateChainDepStateCardano.Protocol.TPraos.API
UpdateCommittee 
1 (Data Constructor)Cardano.Ledger.Api.Governance, Cardano.Ledger.Api
2 (Data Constructor)Cardano.Ledger.Conway.Governance
updateCommitteeTTest.Cardano.Ledger.Constrained.Vars
UpdateConstraintViolationByron.Spec.Ledger.Update
updateCostModels 
1 (Function)Cardano.Ledger.Alonzo.Scripts
2 (Function)Cardano.Ledger.Plutus.CostModels, Cardano.Ledger.Plutus
updateDelegationCardano.Chain.Delegation.Validation.Interface
updateDormantDRepExpiryCardano.Ledger.Conway.Rules
updateDRepTest.Cardano.Ledger.Conway.ImpTest
UpdateDRepTxCertCardano.Ledger.Conway.TxCert, Cardano.Ledger.Conway.Core
updateEraTxBodyTest.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
updateGovActionTest.Cardano.Ledger.Constrained.Preds.LedgerState
updateInfoTest.Cardano.Ledger.Generic.ApplyTx
updateNESCardano.Ledger.Shelley.LedgerState
updateNonMyopicCardano.Ledger.Shelley.LedgerState
UpdatePayloadByron.Spec.Chain.STS.Rule.Bupi
updatePoolParamsTest.Cardano.Ledger.Shelley.Examples.Combinators
updatePParamsTest.Cardano.Ledger.Generic.Updaters
UpdateProofValidationErrorCardano.Chain.Block
updateProposalAndVotesGenByron.Spec.Ledger.Update
updateProposalsTest.Cardano.Ledger.Constrained.Preds.LedgerState
updateRewTest.Cardano.Ledger.Constrained.Classes
updateRewardsCardano.Ledger.Shelley.Rules
updates4Test.Cardano.Ledger.Shelley.Examples.Updates
updatesExampleTest.Cardano.Ledger.Shelley.Examples.Updates
updateTargetTest.Cardano.Ledger.Constrained.Preds.Tx
updateTermTest.Cardano.Ledger.Constrained.Preds.Tx
updateToPPUTest.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
updateTxTest.Cardano.Ledger.Generic.Updaters
updateTxBodyTest.Cardano.Ledger.Generic.Updaters
updateTxBodyL 
1 (Function)Cardano.Ledger.Allegra.Core
2 (Function)Cardano.Ledger.Alonzo.TxBody, Cardano.Ledger.Alonzo.Core
3 (Function)Cardano.Ledger.Api.Tx.Body, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api
4 (Function)Cardano.Ledger.Babbage.Core
5 (Function)Cardano.Ledger.Conway.Core
6 (Function)Cardano.Ledger.Mary.Core
7 (Function)Cardano.Ledger.Shelley.TxBody, Cardano.Ledger.Shelley.Core
updateTxOutTest.Cardano.Ledger.Generic.Updaters
updateUTxOCardano.Chain.UTxO.Validation, Cardano.Chain.UTxO
updateUTxOStateCardano.Ledger.Shelley.Rules
updateUTxOTxCardano.Chain.UTxO.Validation, Cardano.Chain.UTxO
updateUTxOTxWitnessCardano.Chain.UTxO.Validation, Cardano.Chain.UTxO
updateValTest.Cardano.Ledger.Constrained.Preds.Tx
updateVarTest.Cardano.Ledger.Constrained.Trace.TraceMonad
updateWithBlackBoxControl.Provenance
updateWitnessesTest.Cardano.Ledger.Generic.Updaters
update_committeeTest.Cardano.Ledger.Conway.CDDL
update_drep_certTest.Cardano.Ledger.Conway.CDDL
UPDNCardano.Protocol.TPraos.Rules.Updn
UpdnEnv 
1 (Data Constructor)Cardano.Protocol.TPraos.Rules.Updn
2 (Type/Class)Cardano.Protocol.TPraos.Rules.Updn
UpdnFailureCardano.Protocol.TPraos.Rules.Prtcl
UpdnPredicateFailureCardano.Protocol.TPraos.Rules.Updn
UpdnState 
1 (Data Constructor)Cardano.Protocol.TPraos.Rules.Updn
2 (Type/Class)Cardano.Protocol.TPraos.Rules.Updn
UPECTest.Cardano.Ledger.Constrained.Trace.Pipeline
UpecEventCardano.Ledger.Shelley.Rules
UpecFailureCardano.Ledger.Shelley.Rules
UpecPredFailureCardano.Ledger.Shelley.Rules
UpecState 
1 (Data Constructor)Cardano.Ledger.Shelley.Rules
2 (Type/Class)Cardano.Ledger.Shelley.Rules
UPENDByron.Spec.Ledger.Update
UPENDFailureByron.Spec.Ledger.Update
UpendPredicateFailureByron.Spec.Ledger.Update
UpgradeAlonzoPParams 
1 (Data Constructor)Cardano.Ledger.Alonzo.PParams
2 (Type/Class)Cardano.Ledger.Alonzo.PParams
3 (Type/Class)Cardano.Ledger.Api.PParams, Cardano.Ledger.Api
4 (Data Constructor)Cardano.Ledger.Api.PParams, Cardano.Ledger.Api
upgradeAlonzoPParamsCardano.Ledger.Alonzo.PParams
upgradeBabbagePParamsCardano.Ledger.Babbage.PParams
UpgradeConwayPParams 
1 (Data Constructor)Cardano.Ledger.Conway.PParams
2 (Type/Class)Cardano.Ledger.Conway.PParams
upgradeConwayPParamsCardano.Ledger.Conway.PParams
upgradeDataCardano.Ledger.Plutus.Data, Cardano.Ledger.Plutus
upgradePlutusPurposeAsIx 
1 (Function)Cardano.Ledger.Alonzo.Scripts, Cardano.Ledger.Alonzo.Core
2 (Function)Cardano.Ledger.Babbage.Core
3 (Function)Cardano.Ledger.Conway.Core
UpgradePParams 
1 (Type/Class)Cardano.Ledger.Allegra.Core, Cardano.Ledger.Allegra.Core
2 (Type/Class)Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Alonzo.Core
3 (Type/Class)Cardano.Ledger.Api.PParams, Cardano.Ledger.Api, Cardano.Ledger.Api
4 (Type/Class)Cardano.Ledger.Babbage.Core, Cardano.Ledger.Babbage.Core
5 (Type/Class)Cardano.Ledger.Conway.Core, Cardano.Ledger.Conway.Core
6 (Type/Class)Cardano.Ledger.Core, Cardano.Ledger.Core
7 (Type/Class)Cardano.Ledger.Mary.Core, Cardano.Ledger.Mary.Core
8 (Type/Class)Cardano.Ledger.Shelley.Core, Cardano.Ledger.Shelley.Core
upgradePParams 
1 (Function)Cardano.Ledger.Allegra.Core
2 (Function)Cardano.Ledger.Alonzo.Core
3 (Function)Cardano.Ledger.Api.PParams, Cardano.Ledger.Api
4 (Function)Cardano.Ledger.Babbage.Core
5 (Function)Cardano.Ledger.Conway.Core
6 (Function)Cardano.Ledger.Core
7 (Function)Cardano.Ledger.Mary.Core
8 (Function)Cardano.Ledger.Shelley.Core
upgradePParamsHKDCardano.Ledger.Core
upgradePParamsUpdate 
1 (Function)Cardano.Ledger.Allegra.Core
2 (Function)Cardano.Ledger.Alonzo.Core
3 (Function)Cardano.Ledger.Api.PParams, Cardano.Ledger.Api
4 (Function)Cardano.Ledger.Babbage.Core
5 (Function)Cardano.Ledger.Conway.Core
6 (Function)Cardano.Ledger.Core
7 (Function)Cardano.Ledger.Mary.Core
8 (Function)Cardano.Ledger.Shelley.Core
upgradeRedeemers 
1 (Function)Cardano.Ledger.Alonzo.TxWits
2 (Function)Cardano.Ledger.Babbage.TxWits
upgradeScript 
1 (Function)Cardano.Ledger.Allegra.Core
2 (Function)Cardano.Ledger.Alonzo.Core
3 (Function)Cardano.Ledger.Api.Scripts, Cardano.Ledger.Api.Tx.Body, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api
4 (Function)Cardano.Ledger.Babbage.Core
5 (Function)Cardano.Ledger.Conway.Core
6 (Function)Cardano.Ledger.Core
7 (Function)Cardano.Ledger.Mary.Core
8 (Function)Cardano.Ledger.Shelley.Core
upgradeShelleyTxCertCardano.Ledger.Shelley.TxCert
upgradeTx 
1 (Function)Cardano.Ledger.Allegra.Core
2 (Function)Cardano.Ledger.Alonzo.Core
3 (Function)Cardano.Ledger.Babbage.Core
4 (Function)Cardano.Ledger.Conway.Core
5 (Function)Cardano.Ledger.Core
6 (Function)Cardano.Ledger.Mary.Core
7 (Function)Cardano.Ledger.Shelley.Core
upgradeTxAuxData 
1 (Function)Cardano.Ledger.Allegra.Core
2 (Function)Cardano.Ledger.Alonzo.Core
3 (Function)Cardano.Ledger.Api.Tx.AuxData, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api
4 (Function)Cardano.Ledger.Babbage.Core
5 (Function)Cardano.Ledger.Conway.Core
6 (Function)Cardano.Ledger.Core
7 (Function)Cardano.Ledger.Mary.Core
8 (Function)Cardano.Ledger.Shelley.Core
upgradeTxBody 
1 (Function)Cardano.Ledger.Allegra.Core
2 (Function)Cardano.Ledger.Alonzo.Core
3 (Function)Cardano.Ledger.Babbage.Core
4 (Function)Cardano.Ledger.Conway.Core
5 (Function)Cardano.Ledger.Core
6 (Function)Cardano.Ledger.Mary.Core
7 (Function)Cardano.Ledger.Shelley.Core
upgradeTxCert 
1 (Function)Cardano.Ledger.Allegra.Core
2 (Function)Cardano.Ledger.Alonzo.Core
3 (Function)Cardano.Ledger.Api.Tx.Cert, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api
4 (Function)Cardano.Ledger.Babbage.Core
5 (Function)Cardano.Ledger.Conway.Core
6 (Function)Cardano.Ledger.Core
7 (Function)Cardano.Ledger.Mary.Core
8 (Function)Cardano.Ledger.Shelley.TxCert, Cardano.Ledger.Shelley.Core
upgradeTxDats 
1 (Function)Cardano.Ledger.Alonzo.TxWits
2 (Function)Cardano.Ledger.Babbage.TxWits
upgradeTxOut 
1 (Function)Cardano.Ledger.Allegra.Core
2 (Function)Cardano.Ledger.Alonzo.Core
3 (Function)Cardano.Ledger.Api.Tx.Out, Cardano.Ledger.Api.Tx.Body, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api
4 (Function)Cardano.Ledger.Babbage.Core
5 (Function)Cardano.Ledger.Conway.Core
6 (Function)Cardano.Ledger.Core
7 (Function)Cardano.Ledger.Mary.Core
8 (Function)Cardano.Ledger.Shelley.Core
upgradeTxWits 
1 (Function)Cardano.Ledger.Allegra.Core
2 (Function)Cardano.Ledger.Alonzo.Core
3 (Function)Cardano.Ledger.Babbage.Core
4 (Function)Cardano.Ledger.Conway.Core
5 (Function)Cardano.Ledger.Core
6 (Function)Cardano.Ledger.Mary.Core
7 (Function)Cardano.Ledger.Shelley.Core
upgradeUpdateCardano.Ledger.Shelley.PParams
UpId 
1 (Data Constructor)Byron.Spec.Ledger.Update
2 (Type/Class)Byron.Spec.Ledger.Update
3 (Type/Class)Cardano.Chain.Update.Proposal, Cardano.Chain.Update
upIdByron.Spec.Ledger.Update
UPIECByron.Spec.Ledger.Update
UPIECFailureByron.Spec.Chain.STS.Rule.Epoch
UpiecPredicateFailureByron.Spec.Ledger.Update
UPIENDByron.Spec.Ledger.Update
upiendExamplesTest.Byron.Spec.Ledger.Update.Examples
UPIENDFailureByron.Spec.Chain.STS.Rule.Bupi
UpiendPredicateFailureByron.Spec.Ledger.Update
UPIEnvByron.Spec.Ledger.Update
upiEnvGenByron.Spec.Ledger.Update
UPIREGByron.Spec.Ledger.Update
UPIREGFailureByron.Spec.Chain.STS.Rule.Bupi
UpiregPredicateFailureByron.Spec.Ledger.Update
upiregRelevantTracesAreCoveredTest.Byron.Spec.Ledger.Update.Properties
upiregTracesAreClassifiedTest.Byron.Spec.Ledger.Update.Properties
upIssuerByron.Spec.Ledger.Update
UPIStateByron.Spec.Ledger.Update
UPIVOTEByron.Spec.Ledger.Update
UpivoteFailureByron.Spec.Ledger.Update
UpivotePredicateFailureByron.Spec.Ledger.Update
UPIVOTESByron.Spec.Ledger.Update
UPIVOTESFailureByron.Spec.Chain.STS.Rule.Bupi
UpivotesPredicateFailureByron.Spec.Ledger.Update
upMdtByron.Spec.Ledger.Update
upoolDepositTest.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
upoolVotingThresholdsTest.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
upParamsByron.Spec.Ledger.Update
upperBoundConstrained.NumSpec, Constrained.API
upPVByron.Spec.Ledger.Update
UPPVVByron.Spec.Ledger.Update
UPPVVFailureByron.Spec.Ledger.Update
UppvvPredicateFailureByron.Spec.Ledger.Update
UPREGByron.Spec.Ledger.Update
UPREGFailureByron.Spec.Ledger.Update
UpregPredicateFailureByron.Spec.Ledger.Update
upricesTest.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 (Data Constructor)Byron.Spec.Ledger.Update
2 (Type/Class)Byron.Spec.Ledger.Update
uprotocolVersionTest.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
UpSDByron.Spec.Ledger.Update
upSigByron.Spec.Ledger.Update
upSigDataByron.Spec.Ledger.Update
upSTagsByron.Spec.Ledger.Update
UPSVVByron.Spec.Ledger.Update
UPSVVFailureByron.Spec.Ledger.Update
UpsvvPredicateFailureByron.Spec.Ledger.Update
upSwVerByron.Spec.Ledger.Update
upTtlByron.Spec.Ledger.Update
UPVByron.Spec.Ledger.Update
UPVFailureByron.Spec.Ledger.Update
UPVOTEByron.Spec.Ledger.Update
UPVOTEFailureByron.Spec.Ledger.Update
UpvotePredicateFailureByron.Spec.Ledger.Update
UpvPredicateFailureByron.Spec.Ledger.Update
urhoTest.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
UrlCardano.Ledger.BaseTypes
url 
1 (Function)Test.Cardano.Ledger.Allegra.CDDL
2 (Function)Test.Cardano.Ledger.Alonzo.CDDL
3 (Function)Test.Cardano.Ledger.Babbage.CDDL
4 (Function)Test.Cardano.Ledger.Conway.CDDL
5 (Function)Test.Cardano.Ledger.Mary.CDDL
6 (Function)Test.Cardano.Ledger.Shelley.CDDL
urlToTextCardano.Ledger.BaseTypes
usAllowReRegisterPoolTest.Cardano.Ledger.Constrained.Preds.Universes
usCredScriptFreqTest.Cardano.Ledger.Constrained.Preds.Universes
usCurPParamsCardano.Ledger.Shelley.Rules
usDatumFreqTest.Cardano.Ledger.Constrained.Preds.Universes
usedSeed 
1 (Function)Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common
2 (Function)Test.Common
usedSize 
1 (Function)Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common
2 (Function)Test.Common
useTriplesTest.Cardano.Ledger.Constrained.Preds.LedgerState
usGenerateWithdrawalsTest.Cardano.Ledger.Constrained.Preds.Universes
usGovStateCardano.Ledger.Shelley.Rules
usingTempFileTest.Cardano.Ledger.Binary.Cddl
usMaxAssetsTest.Cardano.Ledger.Constrained.Preds.Universes
usMaxCertsTest.Cardano.Ledger.Constrained.Preds.Universes
usMaxCollateralsTest.Cardano.Ledger.Constrained.Preds.Universes
usMaxInputsTest.Cardano.Ledger.Constrained.Preds.Universes
usMaxPolicyIDTest.Cardano.Ledger.Constrained.Preds.Universes
usMinCertsTest.Cardano.Ledger.Constrained.Preds.Universes
usMinCollateralsTest.Cardano.Ledger.Constrained.Preds.Universes
usMinInputsTest.Cardano.Ledger.Constrained.Preds.Universes
usNumAddrTest.Cardano.Ledger.Constrained.Preds.Universes
usNumColUtxoTest.Cardano.Ledger.Constrained.Preds.Universes
usNumCredentialsTest.Cardano.Ledger.Constrained.Preds.Universes
usNumDatumsTest.Cardano.Ledger.Constrained.Preds.Universes
usNumDRepsTest.Cardano.Ledger.Constrained.Preds.Universes
usNumGenesisKeysTest.Cardano.Ledger.Constrained.Preds.Universes
usNumKeysTest.Cardano.Ledger.Constrained.Preds.Universes
usNumMultiAssetTest.Cardano.Ledger.Constrained.Preds.Universes
usNumPoolsTest.Cardano.Ledger.Constrained.Preds.Universes
usNumPreUtxoTest.Cardano.Ledger.Constrained.Preds.Universes
usNumPtrTest.Cardano.Ledger.Constrained.Preds.Universes
usNumStakeKeysTest.Cardano.Ledger.Constrained.Preds.Universes
usNumTxInTest.Cardano.Ledger.Constrained.Preds.Universes
usNumTxOutsTest.Cardano.Ledger.Constrained.Preds.Universes
usNumVoteKeysTest.Cardano.Ledger.Constrained.Preds.Universes
usRegKeyFreqTest.Cardano.Ledger.Constrained.Preds.Universes
usSpendScriptFreqTest.Cardano.Ledger.Constrained.Preds.Universes
usTxInStatsCardano.Ledger.State.UTxO
usTxOutStatsCardano.Ledger.State.UTxO
usUnRegKeyFreqTest.Cardano.Ledger.Constrained.Preds.Universes
utauTest.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 
1 (Type/Class)Byron.Spec.Ledger.STS.UTXO
2 (Data Constructor)Test.Cardano.Ledger.Constrained.Trace.Pipeline
3 (Data Constructor)Test.Cardano.Ledger.Generic.Proof
UTxO 
1 (Data Constructor)Byron.Spec.Ledger.UTxO
2 (Type/Class)Byron.Spec.Ledger.UTxO
3 (Data Constructor)Cardano.Ledger.Allegra.State
4 (Type/Class)Cardano.Ledger.Allegra.State
5 (Data Constructor)Cardano.Ledger.Alonzo.State
6 (Type/Class)Cardano.Ledger.Alonzo.State
7 (Type/Class)Cardano.Ledger.Api.UTxO
8 (Data Constructor)Cardano.Ledger.Api.UTxO
9 (Data Constructor)Cardano.Ledger.Babbage.State
10 (Type/Class)Cardano.Ledger.Babbage.State
11 (Data Constructor)Cardano.Chain.UTxO.UTxO, Cardano.Chain.UTxO
12 (Type/Class)Cardano.Chain.UTxO.UTxO, Cardano.Chain.UTxO
13 (Data Constructor)Cardano.Ledger.Conway.State
14 (Type/Class)Cardano.Ledger.Conway.State
15 (Data Constructor)Cardano.Ledger.UTxO, Cardano.Ledger.State
16 (Type/Class)Cardano.Ledger.UTxO, Cardano.Ledger.State
17 (Data Constructor)Cardano.Ledger.Mary.State
18 (Type/Class)Cardano.Ledger.Mary.State
19 (Type/Class)Cardano.Ledger.Shelley.State, Cardano.Ledger.Shelley.UTxO, Cardano.Ledger.Shelley.LedgerState, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
20 (Data Constructor)Cardano.Ledger.Shelley.State, Cardano.Ledger.Shelley.UTxO, Cardano.Ledger.Shelley.LedgerState, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
utxo 
1 (Function)Byron.Spec.Ledger.STS.UTXO
2 (Function)Test.Cardano.Ledger.Babbage.TxInfo
3 (Function)Test.Cardano.Ledger.Constrained.Vars
utxo0Byron.Spec.Ledger.STS.UTXO
utxoAdaPot 
1 (Function)Cardano.Ledger.Shelley.AdaPots, Cardano.Ledger.Shelley.API.Wallet, Cardano.Ledger.Shelley.API
2 (Function)Test.Cardano.Ledger.Shelley.Rules.Chain
UTxOAlonzoToConwayTest.Cardano.Ledger.Generic.Proof
utxoAndTxoutsMustBeDisjointTest.Byron.Spec.Ledger.UTxO.Properties
utxoChoicesMaxTest.Cardano.Ledger.Generic.GenState
utxoCoinTest.Cardano.Ledger.Constrained.Vars
UTxOConfiguration 
1 (Data Constructor)Cardano.Chain.UTxO
2 (Type/Class)Cardano.Chain.UTxO
utxoConfigurationCardano.Chain.UTxO.Validation, Cardano.Chain.UTxO
utxoDiffTest.Byron.Spec.Ledger.UTxO.Properties
UtxoEntry 
1 (Type/Class)Test.Cardano.Ledger.Generic.ModelState
2 (Data Constructor)Cardano.Ledger.State.Schema
3 (Type/Class)Cardano.Ledger.State.Schema
UtxoEntryId 
1 (Data Constructor)Cardano.Ledger.State.Schema
2 (Type/Class)Cardano.Ledger.State.Schema
UtxoEntryKeyCardano.Ledger.State.Schema
utxoEntrySizeCardano.Ledger.Alonzo.TxOut, Cardano.Ledger.Alonzo.TxBody
UtxoEntryStateIdCardano.Ledger.State.Schema
utxoEntryStateIdCardano.Ledger.State.Schema
UtxoEntryTxIdCardano.Ledger.State.Schema
utxoEntryTxIdCardano.Ledger.State.Schema
UtxoEntryTxsIdCardano.Ledger.State.Schema
utxoEntryTxsIdCardano.Ledger.State.Schema
UTxOEnv 
1 (Data Constructor)Byron.Spec.Ledger.STS.UTXO
2 (Type/Class)Byron.Spec.Ledger.STS.UTXO
UtxoEnv 
1 (Data Constructor)Cardano.Ledger.Shelley.Rules, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
2 (Type/Class)Cardano.Ledger.Shelley.Rules, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
utxoEnvCertStateLCardano.Ledger.Shelley.Rules
utxoEnvPParamsLCardano.Ledger.Shelley.Rules
utxoEnvSlotLCardano.Ledger.Shelley.Rules
utxoEnvSpecTest.Cardano.Ledger.Constrained.Conway.Utxo, Test.Cardano.Ledger.Constrained.Conway
UTxOErrorCardano.Chain.UTxO.UTxO, Cardano.Chain.UTxO
UtxoEvent 
1 (Data Constructor)Cardano.Ledger.Shelley.Rules
2 (Type/Class)Cardano.Ledger.Shelley.Rules
UtxoExecContext 
1 (Data Constructor)Test.Cardano.Ledger.Constrained.Conway.Utxo, Test.Cardano.Ledger.Constrained.Conway
2 (Type/Class)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.Shelley.Rules
utxoFLTest.Cardano.Ledger.Constrained.Lenses
UTxOFoldCardano.Ledger.State.UTxO
utxoFromTestCaseDataTest.Cardano.Ledger.Examples.BabbageFeatures
utxoG 
1 (Function)Cardano.Ledger.Allegra.State
2 (Function)Cardano.Ledger.Alonzo.State
3 (Function)Cardano.Ledger.Babbage.State
4 (Function)Cardano.Ledger.Conway.State
5 (Function)Cardano.Ledger.UTxO, Cardano.Ledger.State
6 (Function)Cardano.Ledger.Mary.State
7 (Function)Cardano.Ledger.Shelley.State, Cardano.Ledger.Shelley.UTxO, Cardano.Ledger.Shelley.LedgerState
utxoL 
1 (Function)Cardano.Ledger.Allegra.State
2 (Function)Cardano.Ledger.Alonzo.State
3 (Function)Cardano.Ledger.Babbage.State
4 (Function)Cardano.Ledger.Conway.State
5 (Function)Cardano.Ledger.UTxO, Cardano.Ledger.State
6 (Function)Cardano.Ledger.Mary.State
7 (Function)Cardano.Ledger.Shelley.State, Cardano.Ledger.Shelley.UTxO, Cardano.Ledger.Shelley.LedgerState
utxoL'Test.Cardano.Ledger.Constrained.Vars
UTxOMissingInputCardano.Chain.UTxO.UTxO, Cardano.Chain.UTxO
UTxOOverlappingUnionCardano.Chain.UTxO.UTxO, Cardano.Chain.UTxO
UtxoPredicateFailureByron.Spec.Ledger.STS.UTXO
utxoPredsTest.Cardano.Ledger.Constrained.Preds.UTxO
UTxOProofValidationErrorCardano.Chain.Block
UtxoPulseTest.Cardano.Ledger.Constrained.Vars
utxoPulseTest.Cardano.Ledger.Constrained.Vars
UTxORTest.Cardano.Ledger.Constrained.TypeRep
utxosDepositedCardano.Ledger.Shelley.LedgerState, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
utxosDepositedLCardano.Ledger.Shelley.LedgerState
utxosDonationCardano.Ledger.Shelley.LedgerState, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
utxosDonationLCardano.Ledger.Shelley.LedgerState
UtxosEventCardano.Ledger.Alonzo.Rules
UtxosFailure 
1 (Data Constructor)Cardano.Ledger.Alonzo.Rules
2 (Data Constructor)Cardano.Ledger.Conway.Rules
utxosFeesCardano.Ledger.Shelley.LedgerState, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
utxosFeesLCardano.Ledger.Shelley.LedgerState
utxosGovStateCardano.Ledger.Shelley.LedgerState, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
utxosGovStateLCardano.Ledger.Shelley.LedgerState
UTxOShelleyToMaryTest.Cardano.Ledger.Generic.Proof
utxosInstantStakeCardano.Ledger.Shelley.LedgerState, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
UTxOSize 
1 (Data Constructor)Cardano.Chain.Block
2 (Type/Class)Cardano.Chain.Block
utxoSpecWitTest.Cardano.Ledger.Constrained.Conway.LedgerTypes.Specs
utxoStageTest.Cardano.Ledger.Constrained.Preds.UTxO
UTxOState 
1 (Data Constructor)Byron.Spec.Ledger.STS.UTXO
2 (Type/Class)Byron.Spec.Ledger.STS.UTXO
3 (Data Constructor)Cardano.Ledger.Shelley.LedgerState, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
4 (Type/Class)Cardano.Ledger.Shelley.LedgerState, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
UtxoState 
1 (Data Constructor)Cardano.Ledger.State.Schema
2 (Type/Class)Cardano.Ledger.State.Schema
UtxoStateDepositedCardano.Ledger.State.Schema
utxoStateDepositedCardano.Ledger.State.Schema
UtxoStateDonationCardano.Ledger.State.Schema
utxoStateDonationCardano.Ledger.State.Schema
UtxoStateFeesCardano.Ledger.State.Schema
utxoStateFeesCardano.Ledger.State.Schema
utxoStateGenTest.Cardano.Ledger.Constrained.Conway.LedgerTypes.Tests
UtxoStateGovStateCardano.Ledger.State.Schema
utxoStateGovStateCardano.Ledger.State.Schema
UtxoStateId 
1 (Data Constructor)Cardano.Ledger.State.Schema
2 (Type/Class)Cardano.Ledger.State.Schema
UtxoStateKeyCardano.Ledger.State.Schema
utxostatePredsTest.Cardano.Ledger.Constrained.Examples
utxoStateSpec 
1 (Function)Test.Cardano.Ledger.Constrained.Conway.LedgerTypes.Specs
2 (Function)Test.Cardano.Ledger.Constrained.Conway.Utxo, Test.Cardano.Ledger.Constrained.Conway
utxoStateTTest.Cardano.Ledger.Constrained.Vars
utxostateXTest.Cardano.Ledger.Constrained.Conway.LedgerTypes.WellFormed
uTxOStateZeroTest.Cardano.Ledger.Generic.ModelState
UTxOStats 
1 (Data Constructor)Cardano.Ledger.State.UTxO
2 (Type/Class)Cardano.Ledger.State.UTxO
UTxOStats' 
1 (Data Constructor)Cardano.Ledger.State.UTxO
2 (Type/Class)Cardano.Ledger.State.UTxO
utxosTransitionCardano.Ledger.Babbage.Rules
utxoStringTest.Cardano.Ledger.Generic.PrettyCore
utxoSummaryTest.Cardano.Ledger.Generic.PrettyCore
utxosUtxoCardano.Ledger.Shelley.LedgerState, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
utxosUtxoLCardano.Ledger.Shelley.LedgerState
utxoTestsTest.Cardano.Ledger.STS
utxoTraceTest.Cardano.Ledger.Constrained.Trace.TraceMonad
utxoTransitionCardano.Ledger.Babbage.Rules
utxoTxSpecTest.Cardano.Ledger.Constrained.Conway.Utxo, Test.Cardano.Ledger.Constrained.Conway
UTxOUniques 
1 (Data Constructor)Cardano.Ledger.State.UTxO
2 (Type/Class)Cardano.Ledger.State.UTxO
UTxOValidationErrorCardano.Chain.UTxO.Validation, Cardano.Chain.UTxO
UTxOValidationTxValidationErrorCardano.Chain.UTxO.Validation, Cardano.Chain.UTxO
UTxOValidationUTxOErrorCardano.Chain.UTxO.Validation, Cardano.Chain.UTxO
UTXOW 
1 (Type/Class)Byron.Spec.Ledger.STS.UTXOW
2 (Data Constructor)Test.Cardano.Ledger.Constrained.Trace.Pipeline
3 (Data Constructor)Test.Cardano.Ledger.Generic.Proof
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
UTxOWitTest.Cardano.Ledger.Generic.Proof
utxoWithTxTest.Cardano.Ledger.Babbage.Translation.TranslatableGen
UtxowPredicateFailureByron.Spec.Ledger.STS.UTXOW
UTXOWSByron.Spec.Ledger.STS.UTXOWS
UTXOWSFailureByron.Spec.Chain.STS.Rule.BBody
UtxowsPredicateFailureByron.Spec.Ledger.STS.UTXOWS
utxoXTest.Cardano.Ledger.Constrained.Conway.LedgerTypes.WellFormed
utxoZeroTest.Cardano.Ledger.Generic.ModelState
UViewCardano.Ledger.UMap