cardano-ledger

Index - A

A0Test.Cardano.Ledger.Generic.Fields
a0 
1 (Function)Cardano.Ledger.Shelley.API.Wallet, Cardano.Ledger.Shelley.API
2 (Function)Test.Cardano.Ledger.Constrained.Conway.Instances.Basic, Test.Cardano.Ledger.Constrained.Conway.Instances.PParams, Test.Cardano.Ledger.Constrained.Conway.Instances.Ledger, Test.Cardano.Ledger.Constrained.Conway.Instances, Test.Cardano.Ledger.Constrained.Conway.ParametricSpec, Test.Cardano.Ledger.Constrained.Conway
a0_Test.Cardano.Ledger.Constrained.Conway.Instances.PParams, Test.Cardano.Ledger.Constrained.Conway.Instances, Test.Cardano.Ledger.Constrained.Conway.ParametricSpec, Test.Cardano.Ledger.Constrained.Conway
aaNetworkMagicCardano.Chain.Common
aaVKDerivationPathCardano.Chain.Common
abEnvToCfgTest.Cardano.Chain.Elaboration.Block
ABlock 
1 (Data Constructor)Cardano.Chain.Block
2 (Type/Class)Cardano.Chain.Block
ABlockOrBoundaryCardano.Chain.Block
ABlockOrBoundaryHdrCardano.Chain.Block
aBlockOrBoundaryHdrCardano.Chain.Block
ABlockSignature 
1 (Data Constructor)Cardano.Chain.Block
2 (Type/Class)Cardano.Chain.Block
ABOBBlockCardano.Chain.Block
ABOBBlockHdrCardano.Chain.Block
ABOBBoundaryCardano.Chain.Block
ABOBBoundaryHdrCardano.Chain.Block
abobHdrChainDifficultyCardano.Chain.Block
abobHdrFromBlockCardano.Chain.Block
abobHdrHashCardano.Chain.Block
abobHdrPrevHashCardano.Chain.Block
abobHdrSlotNoCardano.Chain.Block
abobMatchesBodyCardano.Chain.Byron.API
ABody 
1 (Data Constructor)Cardano.Chain.Block
2 (Type/Class)Cardano.Chain.Block
ABoundaryBlock 
1 (Data Constructor)Cardano.Chain.Block
2 (Type/Class)Cardano.Chain.Block
ABoundaryBody 
1 (Data Constructor)Cardano.Chain.Block
2 (Type/Class)Cardano.Chain.Block
ABoundaryHeaderCardano.Chain.Block
ABOVECardano.Ledger.NonIntegral
absDiffTests.Cardano.Ledger.NonIntegral
Abstain 
1 (Data Constructor)Cardano.Ledger.Api.Governance, Cardano.Ledger.Api
2 (Data Constructor)Cardano.Ledger.Conway.Governance
abstractTest.Cardano.Ledger.Generic.ModelState
AbstractHashCardano.Crypto.Hashing, Cardano.Crypto
abstractHashCardano.Crypto.Hashing, Cardano.Crypto
abstractHashFromBytesCardano.Crypto.Hashing, Cardano.Crypto
abstractHashFromDigestCardano.Crypto.Hashing, Cardano.Crypto
abstractHashToBytesCardano.Crypto.Hashing, Cardano.Crypto
abstractHashToShortCardano.Crypto.Hashing, Cardano.Crypto
abstractPParamsTest.Cardano.Ledger.Generic.Fields
abstractPParamsUpdateTest.Cardano.Ledger.Generic.Fields
abstractPPUpdateTest.Cardano.Ledger.Generic.Fields
abstractSizeData.AbstractSize
AbstractToConcreteIdMaps 
1 (Data Constructor)Test.Cardano.Chain.Elaboration.Block
2 (Type/Class)Test.Cardano.Chain.Elaboration.Block
abstractTxTest.Cardano.Ledger.Generic.Fields
abstractTxBodyTest.Cardano.Ledger.Generic.Fields
abstractTxOutTest.Cardano.Ledger.Generic.Fields
abstractWitnessesTest.Cardano.Ledger.Generic.Fields
absurdEraRule 
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
acceptedByEveryoneCardano.Ledger.Conway.Rules
AccessTest.Cardano.Ledger.Constrained.Env
AccountingMapData.AbstractSize
AccountState 
1 (Data Constructor)Cardano.Ledger.Allegra.State
2 (Type/Class)Cardano.Ledger.Allegra.State
3 (Type/Class)Cardano.Ledger.Alonzo.State
4 (Data Constructor)Cardano.Ledger.Alonzo.State
5 (Type/Class)Cardano.Ledger.Babbage.State
6 (Data Constructor)Cardano.Ledger.Babbage.State
7 (Type/Class)Cardano.Ledger.Conway.State
8 (Data Constructor)Cardano.Ledger.Conway.State
9 (Data Constructor)Cardano.Ledger.State
10 (Type/Class)Cardano.Ledger.State
11 (Type/Class)Cardano.Ledger.Mary.State
12 (Data Constructor)Cardano.Ledger.Mary.State
13 (Type/Class)Cardano.Ledger.Shelley.State, Cardano.Ledger.Shelley.LedgerState, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
14 (Data Constructor)Cardano.Ledger.Shelley.State, Cardano.Ledger.Shelley.LedgerState, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
accountstatePredsTest.Cardano.Ledger.Constrained.Examples
accountStateSpecTest.Cardano.Ledger.Constrained.Conway.LedgerTypes.Specs
accountStateTTest.Cardano.Ledger.Constrained.Vars
accountStateZeroTest.Cardano.Ledger.Generic.ModelState
acctXTest.Cardano.Ledger.Constrained.Conway.LedgerTypes.WellFormed
accumdepTest.Cardano.Ledger.Constrained.Rewrite
accumRewardAnsCardano.Ledger.Shelley.RewardUpdate
ACertificateCardano.Chain.Delegation
acNeededLTest.Cardano.Ledger.Constrained.Vars
ActionTest.Cardano.Ledger.UMapSpec
actionIdLTest.Cardano.Ledger.Constrained.Preds.LedgerState
actionPriorityCardano.Ledger.Conway.Governance
actionVTest.Cardano.Ledger.Constrained.Vars
ActionWithTest.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common
activateDelegationCardano.Chain.Delegation.Validation.Activation
activateDelegationsCardano.Chain.Delegation.Validation.Interface
activationStateCardano.Chain.Delegation.Validation.Interface
ActiveCardano.Ledger.Api.State.Query
ActiveSlotCardano.Protocol.TPraos.Rules.Overlay
ActiveSlotCoeffCardano.Ledger.BaseTypes
activeSlotCoeff 
1 (Function)Cardano.Ledger.BaseTypes
2 (Function)Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
activeSlotLogCardano.Ledger.BaseTypes
activeSlotValCardano.Ledger.BaseTypes
activeStakeCardano.Ledger.Shelley.RewardProvenance
aCyclicPredTest.Cardano.Ledger.Constrained.Examples
adaIsPreservedTest.Cardano.Ledger.Generic.Properties
adaIsPreservedBabbageTest.Cardano.Ledger.Generic.Properties
adaIsPreservedInEachEpochTest.Cardano.Ledger.Generic.Properties
AdaPots 
1 (Data Constructor)Cardano.Ledger.Shelley.AdaPots, Cardano.Ledger.Shelley.API.Wallet, Cardano.Ledger.Shelley.API
2 (Type/Class)Cardano.Ledger.Shelley.AdaPots, Cardano.Ledger.Shelley.API.Wallet, Cardano.Ledger.Shelley.API
3 (Type/Class)Test.Cardano.Ledger.Shelley.Rules.Chain
4 (Data Constructor)Test.Cardano.Ledger.Shelley.Rules.Chain
adaPotsTest.Cardano.Ledger.Generic.Functions
adaPreservationPropsTest.Cardano.Ledger.Shelley.Rules.AdaPreservation
AddControl.Iterate.Exp
add 
1 (Function)Test.Cardano.Ledger.Constrained.Classes
2 (Function)Constrained.GenT
addCollateralInput 
1 (Function)Test.Cardano.Ledger.Alonzo.ImpTest
2 (Function)Test.Cardano.Ledger.Babbage.ImpTest
3 (Function)Test.Cardano.Ledger.Conway.ImpTest
addCompactCardano.Ledger.UMap
addCompactCoinCardano.Ledger.Coin
addConwayInstantStakeCardano.Ledger.Conway.State
addDeltaCoinCardano.Ledger.Coin
addDummyWitsTxCardano.Ledger.Tools
addEpochIntervalCardano.Ledger.BaseTypes
addFnConstrained.NumSpec, Constrained.API
addFunConstrained.TheKnot
addInputsTest.Cardano.Ledger.Shelley.Generator.EraGen
addInstantStake 
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.State
6 (Function)Cardano.Ledger.Mary.State
7 (Function)Cardano.Ledger.Shelley.State
additionsTest.Cardano.Ledger.Generic.ApplyTx
addKeyWitnessesCardano.Ledger.Shelley.API.Wallet, Cardano.Ledger.Shelley.API
addkvControl.Iterate.BaseTypes, Control.SetAlgebra
addlCtxTest.Cardano.Ledger.Binary.Vintage.Helpers
addLovelaceCardano.Chain.Common
addMaybeDataHashToTxOutTest.Cardano.Ledger.Alonzo.AlonzoEraGen
addNativeScriptTxWits 
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
addNumSpecConstrained.NumSpec
addPTest.Cardano.Ledger.Constrained.Rewrite
addpControl.Iterate.SetAlgebra
addpairControl.Iterate.BaseTypes, Control.SetAlgebra
addPlutusScriptsCardano.Ledger.Alonzo.TxAuxData
addPredTest.Cardano.Ledger.Constrained.Rewrite
Addr 
1 (Data Constructor)Byron.Spec.Ledger.Core
2 (Type/Class)Byron.Spec.Ledger.Core
3 (Type/Class)Cardano.Ledger.Api.Tx.Address, Cardano.Ledger.Api.Tx.Out, Cardano.Ledger.Api.Tx.Body, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api
4 (Data Constructor)Cardano.Ledger.Api.Tx.Address, Cardano.Ledger.Api.Tx.Out, Cardano.Ledger.Api.Tx.Body, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api
5 (Data Constructor)Cardano.Ledger.Address
6 (Type/Class)Cardano.Ledger.Address
7 (Type/Class)Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
8 (Data Constructor)Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
addrByron.Spec.Ledger.UTxO
Addr28ExtraCardano.Ledger.Alonzo.TxOut, Cardano.Ledger.Alonzo.TxBody
addrAlonzoTxWitsLCardano.Ledger.Alonzo.TxWits
AddrAttributes 
1 (Data Constructor)Cardano.Chain.Common
2 (Type/Class)Cardano.Chain.Common
addrAttributesCardano.Chain.Common
addrAttributesUnwrappedCardano.Chain.Common
AddrBootstrap 
1 (Data Constructor)Cardano.Ledger.Api.Tx.Address, Cardano.Ledger.Api.Tx.Out, Cardano.Ledger.Api.Tx.Body, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api
2 (Data Constructor)Cardano.Ledger.Address
3 (Data Constructor)Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
addrCredentialsTest.Cardano.Ledger.Generic.Functions
addRedeemMapTest.Cardano.Ledger.Alonzo.AlonzoEraGen
addrEitherBabbageTxOutLCardano.Ledger.Babbage.TxOut
addrEitherShelleyTxOutLCardano.Ledger.Shelley.TxOut
addrEitherTxOutL 
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
8 (Function)Test.Cardano.Ledger.EraClass
Address 
1 (Data Constructor)Cardano.Chain.Common
2 (Type/Class)Cardano.Chain.Common
3 (Data Constructor)Test.Cardano.Ledger.Generic.Fields
address 
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
Address' 
1 (Data Constructor)Cardano.Chain.Common
2 (Type/Class)Cardano.Chain.Common
addressDetailedFCardano.Chain.Common
addressFCardano.Chain.Common
AddressHashCardano.Chain.Common
addressHashCardano.Chain.Common
addrGenByron.Spec.Ledger.Core.Generators
ADDRHASH 
1 (Type/Class)Cardano.Ledger.Allegra.Core
2 (Type/Class)Cardano.Ledger.Alonzo.Core
3 (Type/Class)Cardano.Ledger.Babbage.Core
4 (Type/Class)Cardano.Ledger.Conway.Core
5 (Type/Class)Cardano.Ledger.Hashes, Cardano.Ledger.Crypto.Internal, Cardano.Ledger.Crypto, Cardano.Ledger.Core
6 (Type/Class)Cardano.Ledger.Mary.Core
7 (Type/Class)Cardano.Ledger.Shelley.Core
addrNetworkMagicCardano.Chain.Common
addRootTxIn 
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
addrPtrNormalize 
1 (Function)Cardano.Ledger.Conway.Translation
2 (Function)Cardano.Ledger.Address
AddrRTest.Cardano.Ledger.Constrained.TypeRep
addrRootCardano.Chain.Common
addrShelleyTxWitsLCardano.Ledger.Shelley.TxWits
AddrSpendingDataCardano.Chain.Common
addrSpendingDataToTypeCardano.Chain.Common
addrSummaryTest.Cardano.Ledger.Generic.PrettyCore
addrToBase58Cardano.Chain.Common
addrTxOutL 
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
9 (Function)Test.Cardano.Ledger.EraClass
addrTxWitsL 
1 (Function)Cardano.Ledger.Allegra.Core
2 (Function)Cardano.Ledger.Alonzo.Core
3 (Function)Cardano.Ledger.Api.Tx.Wits, 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
9 (Function)Test.Cardano.Ledger.EraClass
AddrTypeCardano.Chain.Common
addrTypeCardano.Chain.Common
addrUnivTest.Cardano.Ledger.Constrained.Vars
addrUnivTTest.Cardano.Ledger.Constrained.Preds.Universes
AddrWitsTest.Cardano.Ledger.Generic.Fields
addrWitsCardano.Ledger.Shelley.TxWits
AddrWits'Test.Cardano.Ledger.Generic.Fields
addrWits'Cardano.Ledger.Shelley.TxWits
addr_keyhash 
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
AddsTest.Cardano.Ledger.Constrained.Classes
addsConstrained.TheKnot
addScriptsTxWitsRawCardano.Ledger.Alonzo.TxWits
addShelleyInstantStake 
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.Mary.State
6 (Function)Cardano.Ledger.Shelley.State
addSlotByron.Spec.Ledger.Core
addSlotCountCardano.Chain.Slotting
addSolvedVarTest.Cardano.Ledger.Constrained.Tests
addSpecIntConstrained.NumSpec
AddsSpecTest.Cardano.Ledger.Constrained.Classes
AddsSpecAnyTest.Cardano.Ledger.Constrained.Classes
AddsSpecNeverTest.Cardano.Ledger.Constrained.Classes
AddsSpecSizeTest.Cardano.Ledger.Constrained.Classes
addToErrorSpecConstrained.Base
addTokensTest.Cardano.Ledger.MaryEraGen
addUntilSizeTest.Cardano.Ledger.Constrained.Combinators
addValToTxOutTest.Cardano.Ledger.Shelley.Generator.EraGen
addValueByron.Spec.Ledger.UTxO
addVarTest.Cardano.Ledger.Constrained.Tests
ADDVOTEByron.Spec.Ledger.Update
ADDVOTEFailureByron.Spec.Ledger.Update
AddvotePredicateFailureByron.Spec.Ledger.Update
AddWConstrained.NumSpec
addWitnessesTest.Cardano.Ledger.Constrained.Trace.SimpleTx
ADELEGByron.Spec.Ledger.Delegation
ADelegFailureByron.Spec.Ledger.Delegation
AdelegPredicateFailureByron.Spec.Ledger.Delegation
ADELEGSByron.Spec.Ledger.Delegation
ADelegSFailureByron.Spec.Ledger.Delegation
AdelegsPredicateFailureByron.Spec.Ledger.Delegation
AdHashTest.Cardano.Ledger.Generic.Fields
adHashTest.Cardano.Ledger.Constrained.Vars
AdHash'Test.Cardano.Ledger.Generic.Fields
adHash' 
1 (Function)Cardano.Ledger.Alonzo.TxBody
2 (Function)Cardano.Ledger.Babbage.TxBody
adjust 
1 (Function)Data.OMap.Strict
2 (Function)Cardano.Ledger.UMap
adjustCTest.Cardano.Ledger.Constrained.Preds.Tx
adjustColInputTest.Cardano.Ledger.Constrained.Preds.Tx
adjustFeeInputTest.Cardano.Ledger.Constrained.Preds.Tx
adjustNeededByRefScriptsTest.Cardano.Ledger.Constrained.Preds.Tx
adjustOptionTest.Common
adjustTxForFeeTest.Cardano.Ledger.Constrained.Trace.SimpleTx
adjustTxOutCoinTest.Cardano.Ledger.Constrained.Conway.TxBodySpec
Adopted 
1 (Data Constructor)Cardano.Chain.Update.Validation.Registration
2 (Type/Class)Cardano.Chain.Update.Validation.Registration
adoptedProtocolParameters 
1 (Function)Cardano.Chain.Update.Validation.Interface, Cardano.Chain.Block
2 (Function)Cardano.Chain.Update.Validation.Registration
adoptedProtocolVersion 
1 (Function)Cardano.Chain.Update.Validation.Interface
2 (Function)Cardano.Chain.Update.Validation.Registration
adoptFutureGenDelegTest.Cardano.Ledger.Shelley.Examples.Combinators
adoptGenesisDelegsCardano.Ledger.Shelley.Rules
adoptionThresholdCardano.Chain.Update.Validation.Endorsement
advanceToPointOfNoReturn 
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
aEpochCardano.Chain.Delegation
after 
1 (Function)Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common
2 (Function)Test.Cardano.Ledger.Generic.Scriptic
3 (Function)Test.Common
afterAllTest.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common
afterAll_Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common
after_ 
1 (Function)Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common
2 (Function)Test.Common
again 
1 (Function)Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common
2 (Function)Test.Common
agCoinsPerUTxOWord 
1 (Function)Cardano.Ledger.Alonzo.Genesis
2 (Function)Cardano.Ledger.Api.Transition
agCollateralPercentage 
1 (Function)Cardano.Ledger.Alonzo.Genesis
2 (Function)Cardano.Ledger.Api.Transition
agCostModels 
1 (Function)Cardano.Ledger.Alonzo.Genesis
2 (Function)Cardano.Ledger.Api.Transition
agdaHashToBytesTest.Cardano.Ledger.Conformance.Utils, Test.Cardano.Ledger.Conformance
agdaHashToExprTest.Cardano.Ledger.Conformance.Utils, Test.Cardano.Ledger.Conformance
aggPropTest.Cardano.Ledger.Generic.AggPropTests
aggregateCompactRewardsCardano.Ledger.Shelley.Rewards
aggregateDRepTest.Cardano.Ledger.Constrained.Conway.LedgerTypes.Specs
aggregatedRewardsCardano.Ledger.Shelley.HardForks
aggregateRewardsCardano.Ledger.Shelley.Rewards
AggregateStatCardano.Ledger.State.UTxO
aggregateStatCardano.Ledger.State.UTxO
AggregateStats 
1 (Data Constructor)Cardano.Ledger.State.UTxO
2 (Type/Class)Cardano.Ledger.State.UTxO
aggregateUtxoCoinByCredentialTest.Cardano.Ledger.Shelley.Rules.IncrementalStake
aggressiveInliningConstrained.TheKnot
aggTestsTest.Cardano.Ledger.Generic.AggPropTests
aggUTxOTest.Cardano.Ledger.Generic.AggPropTests
agMaxBlockExUnits 
1 (Function)Cardano.Ledger.Alonzo.Genesis
2 (Function)Cardano.Ledger.Api.Transition
agMaxCollateralInputs 
1 (Function)Cardano.Ledger.Alonzo.Genesis
2 (Function)Cardano.Ledger.Api.Transition
agMaxTxExUnits 
1 (Function)Cardano.Ledger.Alonzo.Genesis
2 (Function)Cardano.Ledger.Api.Transition
agMaxValSize 
1 (Function)Cardano.Ledger.Alonzo.Genesis
2 (Function)Cardano.Ledger.Api.Transition
agPrices 
1 (Function)Cardano.Ledger.Alonzo.Genesis
2 (Function)Cardano.Ledger.Api.Transition
AHeader 
1 (Data Constructor)Cardano.Chain.Block
2 (Type/Class)Cardano.Chain.Block
aHeaderDifficultyCardano.Chain.Block
aHeaderPrevHashCardano.Chain.Block
aHeaderProofCardano.Chain.Block
aHeaderProtocolMagicIdCardano.Chain.Block
aHeaderSlotCardano.Chain.Block
aikCold 
1 (Function)Test.Cardano.Ledger.Shelley.Generator.Core
2 (Function)Test.Cardano.Protocol.TPraos.Create
aikColdKeyHash 
1 (Function)Test.Cardano.Ledger.Shelley.Generator.Core
2 (Function)Test.Cardano.Protocol.TPraos.Create
aikHot 
1 (Function)Test.Cardano.Ledger.Shelley.Generator.Core
2 (Function)Test.Cardano.Protocol.TPraos.Create
aikVrf 
1 (Function)Test.Cardano.Ledger.Shelley.Generator.Core
2 (Function)Test.Cardano.Protocol.TPraos.Create
ALGConstrained.Generic
algebraConstrained.Generic
aliceAddr 
1 (Function)Test.Cardano.Ledger.Mary.Examples.Cast
2 (Function)Test.Cardano.Ledger.Shelley.Examples.Cast
aliceAndBobTest.Cardano.Ledger.Shelley.MultiSigExamples
aliceAndBobOrCarlTest.Cardano.Ledger.Shelley.MultiSigExamples
aliceAndBobOrCarlAndDariaTest.Cardano.Ledger.Shelley.MultiSigExamples
aliceAndBobOrCarlOrDariaTest.Cardano.Ledger.Shelley.MultiSigExamples
aliceByronAddrTest.Cardano.Ledger.Shelley.Address.Bootstrap
aliceOnlyTest.Cardano.Ledger.Shelley.MultiSigExamples
aliceOrBobTest.Cardano.Ledger.Shelley.MultiSigExamples
alicePay 
1 (Function)Test.Cardano.Ledger.Mary.Examples.Cast
2 (Function)Test.Cardano.Ledger.Shelley.Examples.Cast
alicePHKTest.Cardano.Ledger.Shelley.Examples.Cast
alicePoolKeysTest.Cardano.Ledger.Shelley.Examples.Cast
alicePoolParamsTest.Cardano.Ledger.Shelley.Examples.Cast
alicePtrAddrTest.Cardano.Ledger.Shelley.Examples.Cast
aliceSHKTest.Cardano.Ledger.Shelley.Examples.Cast
aliceStake 
1 (Function)Test.Cardano.Ledger.Mary.Examples.Cast
2 (Function)Test.Cardano.Ledger.Shelley.Examples.Cast
aliceVRFKeyHashTest.Cardano.Ledger.Shelley.Examples.Cast
alignedValidFlagsCardano.Ledger.Alonzo.TxSeq.Internal
aListTest.Cardano.Ledger.Constrained.Spec
AllConstrained.List
Allegra 
1 (Type/Class)Cardano.Ledger.Allegra
2 (Type/Class)Cardano.Ledger.Api.Era, Cardano.Ledger.Api
3 (Data Constructor)Test.Cardano.Ledger.Generic.Proof, Test.Cardano.Ledger.Constrained.TypeRep
allegraCDDL 
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
allegraEncodeDecodeTestsTest.Cardano.Ledger.Allegra.Translation
AllegraEra 
1 (Type/Class)Cardano.Ledger.Allegra
2 (Type/Class)Cardano.Ledger.Api.Era, Cardano.Ledger.Api
3 (Type/Class)Test.Cardano.Ledger.EraBuffet
4 (Type/Class)Test.Cardano.Ledger.Generic.Proof
AllegraEraScriptCardano.Ledger.Allegra.Scripts
AllegraEraTxAuxData 
1 (Type/Class)Cardano.Ledger.Allegra.TxAuxData, Cardano.Ledger.Allegra.Core
2 (Type/Class)Cardano.Ledger.Alonzo.Core
3 (Type/Class)Cardano.Ledger.Api.Tx.AuxData, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api
4 (Type/Class)Cardano.Ledger.Babbage.Core
5 (Type/Class)Cardano.Ledger.Conway.Core
6 (Type/Class)Cardano.Ledger.Mary.Core
AllegraEraTxBody 
1 (Type/Class)Cardano.Ledger.Allegra.TxBody, Cardano.Ledger.Allegra.Core
2 (Type/Class)Cardano.Ledger.Alonzo.TxBody, Cardano.Ledger.Alonzo.Core
3 (Type/Class)Cardano.Ledger.Api.Tx.Body, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api
4 (Type/Class)Cardano.Ledger.Babbage.Core
5 (Type/Class)Cardano.Ledger.Conway.Core
6 (Type/Class)Cardano.Ledger.Mary.Core
7 (Type/Class)Test.Cardano.Ledger.EraClass
allegraTestsMain
allegraToAlonzoUtxoPredFailureCardano.Ledger.Alonzo.Rules
allegraToConwayUtxoPredFailureCardano.Ledger.Conway.Rules
AllegraTransitionConfig 
1 (Data Constructor)Cardano.Ledger.Allegra.Transition
2 (Data Constructor)Cardano.Ledger.Mary.Transition
allegraTranslationTestsTest.Cardano.Ledger.Allegra.Translation
AllegraTxAuxData 
1 (Data Constructor)Cardano.Ledger.Allegra.TxAuxData
2 (Type/Class)Cardano.Ledger.Allegra.TxAuxData
3 (Type/Class)Cardano.Ledger.Api.Tx.AuxData, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api
4 (Data Constructor)Cardano.Ledger.Api.Tx.AuxData, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api
AllegraTxAuxDataRaw 
1 (Data Constructor)Cardano.Ledger.Allegra.TxAuxData
2 (Type/Class)Cardano.Ledger.Allegra.TxAuxData
AllegraTxBody 
1 (Data Constructor)Cardano.Ledger.Allegra.TxBody
2 (Type/Class)Cardano.Ledger.Allegra.TxBody
AllegraTxBodyRaw 
1 (Data Constructor)Cardano.Ledger.Allegra.TxBody
2 (Type/Class)Cardano.Ledger.Allegra.TxBody
AllegraTxBodyTypesTest.Cardano.Ledger.Constrained.Conway.Instances.TxBody, Test.Cardano.Ledger.Constrained.Conway.Instances, Test.Cardano.Ledger.Constrained.Conway
AllegraUTXOCardano.Ledger.Allegra.Rules
AllegraUtxoEventCardano.Ledger.Allegra.Rules
AllegraUtxoPredFailureCardano.Ledger.Allegra.Rules
AllegraUTXOWCardano.Ledger.Allegra.Rules
allegraWitUnivTest.Cardano.Ledger.Constrained.Conway.WitnessUniverse
allEraRoundtripTestsTest.Cardano.Ledger.ShelleyMA.Serialisation.Roundtrip
allExampleTestsTest.Cardano.Ledger.Constrained.Examples
AllFinishTest.Common
allGASAndChildInTreeTest.Cardano.Ledger.Constrained.Conway.Gov, Test.Cardano.Ledger.Constrained.Conway
allGASInTreeTest.Cardano.Ledger.Constrained.Conway.Gov, Test.Cardano.Ledger.Constrained.Conway
allInputsTest.Cardano.Ledger.Generic.Functions
allInputsTxBodyF 
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.Core
7 (Function)Cardano.Ledger.Mary.Core
8 (Function)Cardano.Ledger.Shelley.Core
AllIssuerKeys 
1 (Type/Class)Test.Cardano.Ledger.Shelley.Generator.Core
2 (Data Constructor)Test.Cardano.Ledger.Shelley.Generator.Core
3 (Data Constructor)Test.Cardano.Protocol.TPraos.Create
4 (Type/Class)Test.Cardano.Protocol.TPraos.Create
allObligationsCardano.Ledger.Shelley.LedgerState
AllOfTest.Cardano.Ledger.Shelley.Generator.ScriptClass
allOf 
1 (Function)Test.Cardano.Ledger.Shelley.Generator.ScriptClass
2 (Function)Test.Cardano.Ledger.Generic.Scriptic
allowedDelegators 
1 (Function)Byron.Spec.Ledger.Delegation
2 (Function)Cardano.Chain.Delegation.Validation.Interface
3 (Function)Cardano.Chain.Delegation.Validation.Scheduling
allowMIRTransfer 
1 (Function)Cardano.Ledger.Shelley.HardForks
2 (Function)Test.Cardano.Ledger.Constrained.Vars
allowTagCardano.Ledger.Binary.Decoding, Cardano.Ledger.Binary
allPlutusScriptsTest.Cardano.Ledger.Constrained.Scripts
allPropertiesTest.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common
allScriptsTest.Cardano.Ledger.Shelley.Generator.EraGen
allScriptUnivTest.Cardano.Ledger.Constrained.Vars
allSizedOutputsBabbageTxBodyFCardano.Ledger.Babbage.TxBody
allSizedOutputsTxBodyF 
1 (Function)Cardano.Ledger.Api.Tx.Body, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api
2 (Function)Cardano.Ledger.Babbage.TxBody, Cardano.Ledger.Babbage.Core
3 (Function)Cardano.Ledger.Conway.Core
allSpecTestsTest.Cardano.Ledger.Constrained.Spec
AllSucceedTest.Common
allValidTest.Cardano.Ledger.Constrained.Preds.Tx
allValidSignalsTest.Cardano.Ledger.Constrained.Trace.DrepCertTx
allvarsTest.Cardano.Ledger.Constrained.Vars
allVersions 
1 (Function)Cardano.Ledger.Binary.Version, Cardano.Ledger.Binary.Encoding, Cardano.Ledger.Binary.Decoding, Cardano.Ledger.Binary
2 (Function)Cardano.Ledger.BaseTypes
allZeroTreeConstrained.Examples.Tree, Constrained.Examples
Alonzo 
1 (Type/Class)Cardano.Ledger.Alonzo
2 (Type/Class)Cardano.Ledger.Api.Era, Cardano.Ledger.Api
3 (Data Constructor)Test.Cardano.Ledger.Generic.Proof, Test.Cardano.Ledger.Constrained.TypeRep
AlonzoBBODYCardano.Ledger.Alonzo.Rules
AlonzoBbodyEventCardano.Ledger.Alonzo.Rules
AlonzoBbodyPredFailureCardano.Ledger.Alonzo.Rules
alonzoBbodyTransitionCardano.Ledger.Alonzo.Rules
alonzoCDDL 
1 (Function)Test.Cardano.Ledger.Alonzo.CDDL
2 (Function)Test.Cardano.Ledger.Babbage.CDDL
3 (Function)Test.Cardano.Ledger.Conway.CDDL
AlonzoCertifying 
1 (Data Constructor)Cardano.Ledger.Alonzo.Scripts
2 (Data Constructor)Cardano.Ledger.Api.Tx.Wits, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api
alonzoCommonPParamsHKDPairsCardano.Ledger.Alonzo.PParams
AlonzoContextError 
1 (Type/Class)Cardano.Ledger.Alonzo.Plutus.TxInfo
2 (Data Constructor)Cardano.Ledger.Babbage.TxInfo
alonzoEqTxRaw 
1 (Function)Cardano.Ledger.Alonzo.Tx
2 (Function)Cardano.Ledger.Babbage.Tx
alonzoEqTxWitsRawCardano.Ledger.Alonzo.TxWits
AlonzoEra 
1 (Type/Class)Cardano.Ledger.Alonzo
2 (Type/Class)Cardano.Ledger.Api.Era, Cardano.Ledger.Api
3 (Type/Class)Test.Cardano.Ledger.Generic.Proof
AlonzoEraImp 
1 (Type/Class)Test.Cardano.Ledger.Alonzo.ImpTest
2 (Type/Class)Test.Cardano.Ledger.Babbage.ImpTest
3 (Type/Class)Test.Cardano.Ledger.Conway.ImpTest
AlonzoEraPParams 
1 (Type/Class)Cardano.Ledger.Alonzo.PParams, Cardano.Ledger.Alonzo.Core
2 (Type/Class)Cardano.Ledger.Api.PParams, Cardano.Ledger.Api
3 (Type/Class)Cardano.Ledger.Babbage.Core
4 (Type/Class)Cardano.Ledger.Conway.Core
5 (Type/Class)Test.Cardano.Ledger.EraClass
AlonzoEraScript 
1 (Type/Class)Cardano.Ledger.Alonzo.Scripts, Cardano.Ledger.Alonzo.Core
2 (Type/Class)Cardano.Ledger.Api.Scripts, Cardano.Ledger.Api.Tx.Body, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api
3 (Type/Class)Cardano.Ledger.Babbage.Core
4 (Type/Class)Cardano.Ledger.Conway.Core
AlonzoEraTx 
1 (Type/Class)Cardano.Ledger.Alonzo.Tx, Cardano.Ledger.Alonzo.Core
2 (Type/Class)Cardano.Ledger.Api.Tx, Cardano.Ledger.Api
3 (Type/Class)Cardano.Ledger.Babbage.Tx, Cardano.Ledger.Babbage.Core
4 (Type/Class)Cardano.Ledger.Conway.Tx, Cardano.Ledger.Conway.Core
5 (Type/Class)Test.Cardano.Ledger.EraClass
AlonzoEraTxAuxData 
1 (Type/Class)Cardano.Ledger.Alonzo.TxAuxData, Cardano.Ledger.Alonzo.Core
2 (Type/Class)Cardano.Ledger.Api.Tx.AuxData, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api
3 (Type/Class)Cardano.Ledger.Babbage.Core
4 (Type/Class)Cardano.Ledger.Conway.Core
AlonzoEraTxBody 
1 (Type/Class)Cardano.Ledger.Alonzo.TxBody, Cardano.Ledger.Alonzo.Core
2 (Type/Class)Cardano.Ledger.Api.Tx.Body, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api
3 (Type/Class)Cardano.Ledger.Babbage.Core
4 (Type/Class)Cardano.Ledger.Conway.Core
5 (Type/Class)Test.Cardano.Ledger.EraClass
AlonzoEraTxOut 
1 (Type/Class)Cardano.Ledger.Alonzo.TxOut, Cardano.Ledger.Alonzo.TxBody, Cardano.Ledger.Alonzo.Core
2 (Type/Class)Cardano.Ledger.Api.Tx.Out, Cardano.Ledger.Api.Tx.Body, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api
3 (Type/Class)Cardano.Ledger.Babbage.Core
4 (Type/Class)Cardano.Ledger.Conway.Core
5 (Type/Class)Test.Cardano.Ledger.EraClass
AlonzoEraTxWits 
1 (Type/Class)Cardano.Ledger.Alonzo.TxWits, Cardano.Ledger.Alonzo.Core
2 (Type/Class)Cardano.Ledger.Api.Tx.Wits, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api
3 (Type/Class)Cardano.Ledger.Babbage.TxWits, Cardano.Ledger.Babbage.Core
4 (Type/Class)Cardano.Ledger.Conway.TxWits, Cardano.Ledger.Conway.Core
5 (Type/Class)Test.Cardano.Ledger.EraClass
AlonzoEraUTxOCardano.Ledger.Alonzo.UTxO
alonzoFixupFees 
1 (Function)Test.Cardano.Ledger.Alonzo.ImpTest
2 (Function)Test.Cardano.Ledger.Babbage.ImpTest
3 (Function)Test.Cardano.Ledger.Conway.ImpTest
alonzoFixupTx 
1 (Function)Test.Cardano.Ledger.Alonzo.ImpTest
2 (Function)Test.Cardano.Ledger.Babbage.ImpTest
3 (Function)Test.Cardano.Ledger.Conway.ImpTest
AlonzoGenesis 
1 (Data Constructor)Cardano.Ledger.Alonzo.Genesis
2 (Type/Class)Cardano.Ledger.Alonzo.Genesis
3 (Type/Class)Cardano.Ledger.Api.Transition
4 (Data Constructor)Cardano.Ledger.Api.Transition
AlonzoGenesisWrapper 
1 (Data Constructor)Cardano.Ledger.Alonzo.Genesis
2 (Data Constructor)Cardano.Ledger.Api.Transition
AlonzoInBabbageUtxoPredFailureCardano.Ledger.Babbage.Rules
AlonzoInBabbageUtxowPredFailureCardano.Ledger.Babbage.Rules
AlonzoLEDGERCardano.Ledger.Alonzo.Rules
alonzoMinFeeTx 
1 (Function)Cardano.Ledger.Alonzo.Tx
2 (Function)Cardano.Ledger.Babbage.Tx
AlonzoMinting 
1 (Data Constructor)Cardano.Ledger.Alonzo.Scripts
2 (Data Constructor)Cardano.Ledger.Api.Tx.Wits, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api
AlonzoPlutusPurpose 
1 (Type/Class)Cardano.Ledger.Alonzo.Scripts
2 (Type/Class)Cardano.Ledger.Api.Tx.Wits, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api
AlonzoPlutusV1 
1 (Data Constructor)Cardano.Ledger.Alonzo.Scripts
2 (Data Constructor)Cardano.Ledger.Babbage.Scripts
3 (Data Constructor)Cardano.Ledger.Conway.Scripts
AlonzoPParams 
1 (Data Constructor)Cardano.Ledger.Alonzo.PParams
2 (Type/Class)Cardano.Ledger.Alonzo.PParams
AlonzoPpupToUtxosEventCardano.Ledger.Alonzo.Rules
alonzoRedeemerPointerCardano.Ledger.Alonzo.TxBody
alonzoRedeemerPointerInverseCardano.Ledger.Alonzo.TxBody
AlonzoRewarding 
1 (Data Constructor)Cardano.Ledger.Alonzo.Scripts
2 (Data Constructor)Cardano.Ledger.Api.Tx.Wits, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api
AlonzoScript 
1 (Type/Class)Cardano.Ledger.Alonzo.Scripts, Cardano.Ledger.Alonzo
2 (Type/Class)Cardano.Ledger.Babbage.Scripts, Cardano.Ledger.Babbage
3 (Type/Class)Cardano.Ledger.Conway.Scripts
alonzoScriptPrefixTagCardano.Ledger.Alonzo.Scripts
AlonzoScriptsNeeded 
1 (Data Constructor)Cardano.Ledger.Alonzo.UTxO
2 (Type/Class)Cardano.Ledger.Alonzo.UTxO
AlonzoSpending 
1 (Data Constructor)Cardano.Ledger.Alonzo.Scripts
2 (Data Constructor)Cardano.Ledger.Api.Tx.Wits, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api
alonzoToConwayUtxoPredFailureCardano.Ledger.Conway.Rules
alonzoToConwayUtxowPredFailureCardano.Ledger.Conway.Rules
AlonzoTransitionConfig 
1 (Data Constructor)Cardano.Ledger.Alonzo.Transition
2 (Data Constructor)Cardano.Ledger.Babbage.Transition
AlonzoTx 
1 (Data Constructor)Cardano.Ledger.Alonzo.Tx
2 (Type/Class)Cardano.Ledger.Alonzo.Tx
3 (Type/Class)Cardano.Ledger.Babbage.Tx
4 (Data Constructor)Cardano.Ledger.Babbage.Tx
5 (Type/Class)Cardano.Ledger.Conway.Tx
6 (Data Constructor)Cardano.Ledger.Conway.Tx
AlonzoTxAuxData 
1 (Data Constructor)Cardano.Ledger.Alonzo.TxAuxData
2 (Type/Class)Cardano.Ledger.Alonzo.TxAuxData, Cardano.Ledger.Alonzo
3 (Type/Class)Cardano.Ledger.Api.Tx.AuxData, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api
4 (Data Constructor)Cardano.Ledger.Api.Tx.AuxData, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api
5 (Type/Class)Cardano.Ledger.Babbage
AlonzoTxAuxData' 
1 (Data Constructor)Cardano.Ledger.Alonzo.TxAuxData
2 (Data Constructor)Cardano.Ledger.Api.Tx.AuxData, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api
AlonzoTxAuxDataRaw 
1 (Data Constructor)Cardano.Ledger.Alonzo.TxAuxData
2 (Type/Class)Cardano.Ledger.Alonzo.TxAuxData
AlonzoTxBody 
1 (Data Constructor)Cardano.Ledger.Alonzo.TxBody, Cardano.Ledger.Alonzo.Tx
2 (Type/Class)Cardano.Ledger.Alonzo.TxBody, Cardano.Ledger.Alonzo.Tx, Cardano.Ledger.Alonzo
3 (Data Constructor)Cardano.Ledger.Babbage.Tx
4 (Type/Class)Cardano.Ledger.Babbage.Tx
AlonzoTxBodyRaw 
1 (Data Constructor)Cardano.Ledger.Alonzo.TxBody
2 (Type/Class)Cardano.Ledger.Alonzo.TxBody
AlonzoTxBodyTypesTest.Cardano.Ledger.Constrained.Conway.Instances.TxBody, Test.Cardano.Ledger.Constrained.Conway.Instances, Test.Cardano.Ledger.Constrained.Conway
AlonzoTxBodyUpgradeErrorCardano.Ledger.Alonzo.TxBody
AlonzoTxOut 
1 (Data Constructor)Cardano.Ledger.Alonzo.TxOut, Cardano.Ledger.Alonzo.TxBody
2 (Type/Class)Cardano.Ledger.Alonzo.TxOut, Cardano.Ledger.Alonzo.TxBody, Cardano.Ledger.Alonzo
AlonzoTxSeq 
1 (Data Constructor)Cardano.Ledger.Alonzo.TxSeq.Internal, Cardano.Ledger.Alonzo.TxSeq
2 (Type/Class)Cardano.Ledger.Alonzo.TxSeq.Internal, Cardano.Ledger.Alonzo.TxSeq
AlonzoTxSeqRawCardano.Ledger.Alonzo.TxSeq.Internal
AlonzoTxWits 
1 (Data Constructor)Cardano.Ledger.Alonzo.TxWits
2 (Type/Class)Cardano.Ledger.Alonzo.TxWits
3 (Type/Class)Cardano.Ledger.Babbage.TxWits
4 (Data Constructor)Cardano.Ledger.Babbage.TxWits
5 (Type/Class)Cardano.Ledger.Conway.TxWits
6 (Data Constructor)Cardano.Ledger.Conway.TxWits
AlonzoTxWits' 
1 (Data Constructor)Cardano.Ledger.Alonzo.TxWits
2 (Data Constructor)Cardano.Ledger.Babbage.TxWits
3 (Data Constructor)Cardano.Ledger.Conway.TxWits
AlonzoTxWitsRaw 
1 (Data Constructor)Cardano.Ledger.Alonzo.TxWits
2 (Type/Class)Cardano.Ledger.Alonzo.TxWits
AlonzoUTXOCardano.Ledger.Alonzo.Rules
AlonzoUtxoEventCardano.Ledger.Alonzo.Rules
AlonzoUtxoPredFailureCardano.Ledger.Alonzo.Rules
AlonzoUTXOSCardano.Ledger.Alonzo.Rules
AlonzoUtxosEventCardano.Ledger.Alonzo.Rules
AlonzoUtxosPredFailureCardano.Ledger.Alonzo.Rules
AlonzoUTXOWCardano.Ledger.Alonzo.Rules
AlonzoUtxowEventCardano.Ledger.Alonzo.Rules
AlonzoUtxowPredFailureCardano.Ledger.Alonzo.Rules
alonzoWitUnivTest.Cardano.Ledger.Constrained.Conway.WitnessUniverse
AlreadyComittedTest.Control.State.Transition.Examples.CommitReveal
alreadyHaveConstrained.TheKnot
alreadyHaveFoldConstrained.TheKnot
AlreadyProposedPvByron.Spec.Ledger.Update
AlreadyProposedSvByron.Spec.Ledger.Update
alternateShowConstrained.Base, Constrained.API
alternativeLawsTest.Common
always 
1 (Function)Test.Cardano.Ledger.Generic.Scriptic
2 (Function)Control.Iterate.Exp
alwaysAltTest.Cardano.Ledger.Generic.Scriptic
alwaysFails 
1 (Function)Test.Cardano.Ledger.Alonzo.Scripts
2 (Function)Test.Cardano.Ledger.Alonzo.Arbitrary
alwaysFailsHashTest.Cardano.Ledger.Examples.STSTestUtils
alwaysFailsLangTest.Cardano.Ledger.Alonzo.Arbitrary
alwaysFailsNoDatumTest.Cardano.Ledger.Plutus.Examples
alwaysFailsPlutusTest.Cardano.Ledger.Plutus
alwaysFailsWithDatumTest.Cardano.Ledger.Plutus.Examples
alwaysFalseTest.Cardano.Ledger.Generic.Functions
alwaysSucceeds 
1 (Function)Test.Cardano.Ledger.Alonzo.Scripts
2 (Function)Test.Cardano.Ledger.Alonzo.Arbitrary
alwaysSucceedsHashTest.Cardano.Ledger.Examples.STSTestUtils
alwaysSucceedsLangTest.Cardano.Ledger.Alonzo.Arbitrary
alwaysSucceedsNoDatumTest.Cardano.Ledger.Plutus.Examples
alwaysSucceedsPlutusTest.Cardano.Ledger.Plutus
alwaysSucceedsWithDatumTest.Cardano.Ledger.Plutus.Examples
alwaysTrueTest.Cardano.Ledger.Generic.Functions
aMapTest.Cardano.Ledger.Constrained.Spec
AMempoolPayloadCardano.Chain.MempoolPayload
AmountTest.Cardano.Ledger.Generic.Fields
Anchor 
1 (Data Constructor)Cardano.Ledger.Allegra.State
2 (Type/Class)Cardano.Ledger.Allegra.State
3 (Data Constructor)Cardano.Ledger.Alonzo.State
4 (Type/Class)Cardano.Ledger.Alonzo.State
5 (Type/Class)Cardano.Ledger.Api.Governance, Cardano.Ledger.Api
6 (Data Constructor)Cardano.Ledger.Api.Governance, Cardano.Ledger.Api
7 (Data Constructor)Cardano.Ledger.Babbage.State
8 (Type/Class)Cardano.Ledger.Babbage.State
9 (Type/Class)Cardano.Ledger.Conway.State, Cardano.Ledger.Conway.Governance
10 (Data Constructor)Cardano.Ledger.Conway.State, Cardano.Ledger.Conway.Governance
11 (Data Constructor)Cardano.Ledger.BaseTypes, Cardano.Ledger.State
12 (Type/Class)Cardano.Ledger.BaseTypes, Cardano.Ledger.State
13 (Data Constructor)Cardano.Ledger.Mary.State
14 (Type/Class)Cardano.Ledger.Mary.State
15 (Data Constructor)Cardano.Ledger.Shelley.State
16 (Type/Class)Cardano.Ledger.Shelley.State
anchorTest.Cardano.Ledger.Conway.CDDL
AnchorData 
1 (Type/Class)Cardano.Ledger.Allegra.State
2 (Type/Class)Cardano.Ledger.Alonzo.State
3 (Data Constructor)Cardano.Ledger.Api.Governance, Cardano.Ledger.Api
4 (Type/Class)Cardano.Ledger.Api.Governance, Cardano.Ledger.Api
5 (Type/Class)Cardano.Ledger.Babbage.State
6 (Data Constructor)Cardano.Ledger.Conway.Governance
7 (Type/Class)Cardano.Ledger.Conway.State, Cardano.Ledger.Conway.Governance
8 (Data Constructor)Cardano.Ledger.BaseTypes
9 (Type/Class)Cardano.Ledger.BaseTypes, Cardano.Ledger.State
10 (Type/Class)Cardano.Ledger.Mary.State
11 (Type/Class)Cardano.Ledger.Shelley.State
anchorDataHash 
1 (Function)Cardano.Ledger.Allegra.State
2 (Function)Cardano.Ledger.Alonzo.State
3 (Function)Cardano.Ledger.Api.Governance, Cardano.Ledger.Api
4 (Function)Cardano.Ledger.Babbage.State
5 (Function)Cardano.Ledger.Conway.State, Cardano.Ledger.Conway.Governance
6 (Function)Cardano.Ledger.BaseTypes, Cardano.Ledger.State
7 (Function)Cardano.Ledger.Mary.State
8 (Function)Cardano.Ledger.Shelley.State
AnchorRTest.Cardano.Ledger.Constrained.TypeRep
anchorUrl 
1 (Function)Cardano.Ledger.Allegra.State
2 (Function)Cardano.Ledger.Alonzo.State
3 (Function)Cardano.Ledger.Api.Governance, Cardano.Ledger.Api
4 (Function)Cardano.Ledger.Babbage.State
5 (Function)Cardano.Ledger.Conway.State, Cardano.Ledger.Conway.Governance
6 (Function)Cardano.Ledger.BaseTypes, Cardano.Ledger.State
7 (Function)Cardano.Ledger.Mary.State
8 (Function)Cardano.Ledger.Shelley.State
anchorVTest.Cardano.Ledger.Constrained.Vars
AndConstrained.Base, Constrained.API
AndDControl.Iterate.Exp
andDControl.Iterate.Exp
AndPDControl.Iterate.Exp
andPDControl.Iterate.Exp
andPQControl.Iterate.Exp
andPstepControl.Iterate.Exp
andQControl.Iterate.Exp
andStepControl.Iterate.Exp
Ann 
1 (Data Constructor)Cardano.Ledger.Binary.Coders
2 (Type/Class)Test.Cardano.Ledger.Generic.PrettyCore
Annotated 
1 (Data Constructor)Test.Cardano.Ledger.Allegra.Binary.Annotator
2 (Type/Class)Test.Cardano.Ledger.Allegra.Binary.Annotator
3 (Data Constructor)Test.Cardano.Ledger.Alonzo.Binary.Annotator
4 (Type/Class)Test.Cardano.Ledger.Alonzo.Binary.Annotator
5 (Data Constructor)Test.Cardano.Ledger.Babbage.Binary.Annotator
6 (Type/Class)Test.Cardano.Ledger.Babbage.Binary.Annotator
7 (Data Constructor)Cardano.Ledger.Binary.Decoding, Cardano.Ledger.Binary
8 (Type/Class)Cardano.Ledger.Binary.Decoding, Cardano.Ledger.Binary
9 (Type/Class)Test.Cardano.Ledger.Binary.Annotator
10 (Data Constructor)Test.Cardano.Ledger.Binary.Annotator
11 (Data Constructor)Test.Cardano.Ledger.Conway.Binary.Annotator
12 (Type/Class)Test.Cardano.Ledger.Conway.Binary.Annotator
13 (Data Constructor)Test.Cardano.Ledger.Core.Binary.Annotator
14 (Type/Class)Test.Cardano.Ledger.Core.Binary.Annotator
15 (Data Constructor)Test.Cardano.Ledger.Mary.Binary.Annotator
16 (Type/Class)Test.Cardano.Ledger.Mary.Binary.Annotator
17 (Data Constructor)Test.Cardano.Ledger.Shelley.Binary.Annotator
18 (Type/Class)Test.Cardano.Ledger.Shelley.Binary.Annotator
19 (Data Constructor)Test.Cardano.Protocol.Binary.Annotator
20 (Type/Class)Test.Cardano.Protocol.Binary.Annotator
annotatedDecoder 
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
annotatedProtocolMagicIdTest.Cardano.Crypto.Dummy
annotateTxAuxCardano.Chain.UTxO
annotation 
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)Cardano.Chain.Update.Vote, Cardano.Chain.Update
7 (Function)Cardano.Chain.Delegation
8 (Function)Test.Cardano.Ledger.Conway.Binary.Annotator
9 (Function)Test.Cardano.Ledger.Core.Binary.Annotator
10 (Function)Test.Cardano.Ledger.Mary.Binary.Annotator
11 (Function)Test.Cardano.Ledger.Shelley.Binary.Annotator
12 (Function)Test.Cardano.Protocol.Binary.Annotator
annotationBytesCardano.Ledger.Binary.Decoding, Cardano.Ledger.Binary
Annotator 
1 (Data Constructor)Test.Cardano.Ledger.Allegra.Binary.Annotator
2 (Type/Class)Test.Cardano.Ledger.Allegra.Binary.Annotator
3 (Data Constructor)Test.Cardano.Ledger.Alonzo.Binary.Annotator
4 (Type/Class)Test.Cardano.Ledger.Alonzo.Binary.Annotator
5 (Data Constructor)Test.Cardano.Ledger.Babbage.Binary.Annotator
6 (Type/Class)Test.Cardano.Ledger.Babbage.Binary.Annotator
7 (Data Constructor)Cardano.Ledger.Binary.Decoding, Cardano.Ledger.Binary
8 (Type/Class)Cardano.Ledger.Binary.Decoding, Cardano.Ledger.Binary
9 (Type/Class)Test.Cardano.Ledger.Binary.Annotator
10 (Data Constructor)Test.Cardano.Ledger.Binary.Annotator
11 (Data Constructor)Test.Cardano.Ledger.Conway.Binary.Annotator
12 (Type/Class)Test.Cardano.Ledger.Conway.Binary.Annotator
13 (Data Constructor)Test.Cardano.Ledger.Core.Binary.Annotator
14 (Type/Class)Test.Cardano.Ledger.Core.Binary.Annotator
15 (Data Constructor)Test.Cardano.Ledger.Mary.Binary.Annotator
16 (Type/Class)Test.Cardano.Ledger.Mary.Binary.Annotator
17 (Data Constructor)Test.Cardano.Ledger.Shelley.Binary.Annotator
18 (Type/Class)Test.Cardano.Ledger.Shelley.Binary.Annotator
19 (Data Constructor)Test.Cardano.Protocol.Binary.Annotator
20 (Type/Class)Test.Cardano.Protocol.Binary.Annotator
annotatorSlice 
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
ansiDocToString 
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.Common, Test.Cardano.Ledger.TreeDiff, Test.Cardano.Ledger.Imp.Common
7 (Function)Test.Cardano.Ledger.Mary.TreeDiff
8 (Function)Test.Cardano.Ledger.Shelley.TreeDiff
ansiExpr 
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.Common, Test.Cardano.Ledger.TreeDiff, Test.Cardano.Ledger.Imp.Common
7 (Function)Test.Cardano.Ledger.Mary.TreeDiff
8 (Function)Test.Cardano.Ledger.Shelley.TreeDiff
ansiExprString 
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.Common, Test.Cardano.Ledger.TreeDiff, Test.Cardano.Ledger.Imp.Common
7 (Function)Test.Cardano.Ledger.Mary.TreeDiff
8 (Function)Test.Cardano.Ledger.Shelley.TreeDiff
AnsiStyle 
1 (Type/Class)Test.Cardano.Ledger.Allegra.TreeDiff, Test.Cardano.Ledger.Allegra.ImpTest
2 (Type/Class)Test.Cardano.Ledger.Alonzo.TreeDiff, Test.Cardano.Ledger.Alonzo.ImpTest
3 (Type/Class)Test.Cardano.Ledger.Babbage.TreeDiff, Test.Cardano.Ledger.Babbage.ImpTest
4 (Type/Class)Test.Cardano.Ledger.Binary.TreeDiff
5 (Type/Class)Test.Cardano.Ledger.Conway.TreeDiff, Test.Cardano.Ledger.Conway.ImpTest
6 (Type/Class)Test.Cardano.Ledger.TreeDiff
7 (Type/Class)Test.Cardano.Ledger.Mary.TreeDiff, Test.Cardano.Ledger.Mary.ImpTest
8 (Type/Class)Test.Cardano.Ledger.Shelley.TreeDiff, Test.Cardano.Ledger.Shelley.ImpTest
ansiWlPretty 
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
Any 
1 (Data Constructor)Data.Universe
2 (Type/Class)Data.Universe
anyAddsTest.Cardano.Ledger.Constrained.Spec
anyArithExceptionTest.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common
anyErrorCallTest.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common
anyExceptionTest.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common
AnyF 
1 (Data Constructor)Test.Cardano.Ledger.Constrained.Env
2 (Type/Class)Test.Cardano.Ledger.Constrained.Env
anyIOExceptionTest.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common
AnyOfTest.Cardano.Ledger.Shelley.Generator.ScriptClass
anyOf 
1 (Function)Test.Cardano.Ledger.Shelley.Generator.ScriptClass
2 (Function)Test.Cardano.Ledger.Generic.Scriptic
anyPairSpecTest.Cardano.Ledger.Constrained.Spec
anyToUpdateTest.Cardano.Ledger.Constrained.Solver
ApControl.Iterate.Exp
APayload 
1 (Data Constructor)Cardano.Chain.Update
2 (Type/Class)Cardano.Chain.Update
3 (Type/Class)Cardano.Chain.Delegation
apiSpecMain
apMono 
1 (Function)Cardano.Ledger.Binary.Encoding, Cardano.Ledger.Binary
2 (Function)Cardano.Ledger.Binary.Plain
ApName 
1 (Data Constructor)Byron.Spec.Ledger.Update
2 (Type/Class)Byron.Spec.Ledger.Update
App 
1 (Data Constructor)Test.Cardano.Ledger.Allegra.TreeDiff
2 (Data Constructor)Test.Cardano.Ledger.Alonzo.TreeDiff
3 (Data Constructor)Test.Cardano.Ledger.Babbage.TreeDiff
4 (Data Constructor)Test.Cardano.Ledger.Binary.TreeDiff
5 (Data Constructor)Test.Cardano.Ledger.Conway.TreeDiff
6 (Data Constructor)Test.Cardano.Ledger.TreeDiff
7 (Data Constructor)Test.Cardano.Ledger.Mary.TreeDiff
8 (Data Constructor)Test.Cardano.Ledger.Shelley.TreeDiff
9 (Data Constructor)Constrained.Base, Constrained.API
appA0Cardano.Ledger.Alonzo.PParams
appCoinsPerUTxOWordCardano.Ledger.Alonzo.PParams
appCollateralPercentageCardano.Ledger.Alonzo.PParams
appCostModelsCardano.Ledger.Alonzo.PParams
appDCardano.Ledger.Alonzo.PParams
appearsInConstrained.Syntax
appEMaxCardano.Ledger.Alonzo.PParams
AppendConstrained.List
appendFnConstrained.TheKnot
appendForAllConstrained.Examples.List, Constrained.Examples
appendForAllBadConstrained.Examples.List, Constrained.Examples
appendListConstrained.List
appendProdConstrained.Generic
appendSingletonConstrained.Examples.List, Constrained.Examples
appendSizeConstrained.Examples.List, Constrained.Examples
appendSuffixConstrained.Examples.List, Constrained.Examples
appendTooLongConstrained.Examples.List, Constrained.Examples
AppendWConstrained.TheKnot
append_Constrained.TheKnot, Constrained.API
appExtraEntropyCardano.Ledger.Alonzo.PParams
appFunConstrained.Base
appKeyDepositCardano.Ledger.Alonzo.PParams
ApplicationName 
1 (Data Constructor)Cardano.Chain.Update
2 (Type/Class)Cardano.Chain.Update
ApplicationNameErrorCardano.Chain.Update
applicationNameMaxLengthCardano.Chain.Update
ApplicationNameNotAsciiCardano.Chain.Update
ApplicationNameTooLongCardano.Chain.Update
ApplicationVersion 
1 (Data Constructor)Cardano.Chain.Update.Validation.Registration
2 (Type/Class)Cardano.Chain.Update.Validation.Registration
ApplicationVersionsCardano.Chain.Update.Validation.Registration
applicationVersionsByron.Spec.Ledger.Update
applicativeLawsTest.Common
apply 
1 (Function)Cardano.Chain.Update
2 (Function)Control.Iterate.Exp
ApplyAnnCardano.Ledger.Binary.Coders
applyArbitrary2 
1 (Function)Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common
2 (Function)Test.Common
applyArbitrary3 
1 (Function)Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common
2 (Function)Test.Common
applyArbitrary4 
1 (Function)Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common
2 (Function)Test.Common
ApplyBlockCardano.Ledger.Shelley.API.Validation, Cardano.Ledger.Shelley.API
applyBlockCardano.Ledger.Shelley.API.Validation, Cardano.Ledger.Shelley.API
applyBlockEitherCardano.Ledger.Shelley.API.Validation, Cardano.Ledger.Shelley.API
applyBlockEitherNoEventsCardano.Ledger.Shelley.API.Validation, Cardano.Ledger.Shelley.API
applyBlockNoValidatonCardano.Ledger.Shelley.API.Validation, Cardano.Ledger.Shelley.API
applyCertTest.Cardano.Ledger.Generic.ApplyTx
applyChainTickCardano.Chain.Byron.API
ApplyDCardano.Ledger.Binary.Coders
applyDecayCardano.Ledger.Shelley.PoolRank
applyDRepCertActionsTest.Cardano.Ledger.Constrained.Trace.DrepCertTx
ApplyECardano.Ledger.Binary.Coders
ApplyErrCardano.Ledger.Binary.Coders
applyFieldTest.Cardano.Ledger.Generic.ApplyTx
applyFun 
1 (Function)Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common
2 (Function)Test.Common
applyFun2 
1 (Function)Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common
2 (Function)Test.Common
applyFun3 
1 (Function)Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common
2 (Function)Test.Common
applyMempoolPayloadCardano.Chain.Byron.API
ApplyMempoolPayloadErrCardano.Chain.Byron.API
applyMIRTest.Cardano.Ledger.Shelley.Examples.Combinators
applyPPUpdates 
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
applyRewardUpdateTest.Cardano.Ledger.Shelley.Examples.Combinators
applyRuleInternalControl.State.Transition.Extended, Control.State.Transition.Simple, Control.State.Transition
applyRUpd 
1 (Function)Cardano.Ledger.Shelley.LedgerState
2 (Function)Test.Cardano.Ledger.Generic.ApplyTx
applyRUpdFilteredCardano.Ledger.Shelley.LedgerState
applyShelleyCertTest.Cardano.Ledger.Generic.ApplyTx
applySTS 
1 (Function)Control.State.Transition.Simple, Control.State.Transition
2 (Function)Control.State.Transition.Extended
applySTSByProofTest.Cardano.Ledger.Generic.TxGen
applySTSIndifferently 
1 (Function)Control.State.Transition.Simple, Control.State.Transition
2 (Function)Control.State.Transition.Extended
applySTSInternalControl.State.Transition.Extended, Control.State.Transition.Simple, Control.State.Transition
ApplySTSOpts 
1 (Data Constructor)Control.State.Transition.Extended, Control.State.Transition.Simple, Control.State.Transition
2 (Type/Class)Control.State.Transition.Extended, Control.State.Transition.Simple, Control.State.Transition
applySTSOptsControl.State.Transition.Extended, Control.State.Transition.Simple, Control.State.Transition
applySTSOptsEitherControl.State.Transition.Extended, Control.State.Transition.Simple, Control.State.Transition
applySTSOptsResultControl.State.Transition.Extended, Control.State.Transition.Simple, Control.State.Transition
applySTSTest 
1 (Function)Test.Cardano.Ledger.Shelley.Utils
2 (Function)Test.Control.State.Transition.Trace
applyTickCardano.Ledger.Shelley.API.Validation, Cardano.Ledger.Shelley.API
applyTickNoEventsCardano.Ledger.Shelley.API.Validation, Cardano.Ledger.Shelley.API
ApplyTxCardano.Ledger.Shelley.API.Mempool, Cardano.Ledger.Shelley.API
applyTx 
1 (Function)Cardano.Ledger.Shelley.API.Mempool, Cardano.Ledger.Shelley.API
2 (Function)Test.Cardano.Ledger.Generic.ApplyTx
applyTxBodyTest.Cardano.Ledger.Generic.ApplyTx
ApplyTxError 
1 (Data Constructor)Cardano.Ledger.Shelley.API.Mempool, Cardano.Ledger.Shelley.API
2 (Type/Class)Cardano.Ledger.Shelley.API.Mempool, Cardano.Ledger.Shelley.API
applyTxFailTest.Cardano.Ledger.Generic.ApplyTx
applyTxSimpleTest.Cardano.Ledger.Generic.ApplyTx
applyTxValidationCardano.Ledger.Shelley.API.Mempool, Cardano.Ledger.Shelley.API
applyTxWithScriptTest.Cardano.Ledger.Shelley.MultiSigExamples
APPLYVOTESByron.Spec.Ledger.Update
ApplyVotesFailureByron.Spec.Ledger.Update
ApplyVotesPredicateFailureByron.Spec.Ledger.Update
applyWithdrawalsTest.Cardano.Ledger.Generic.ApplyTx
appMaxBBSizeCardano.Ledger.Alonzo.PParams
appMaxBHSizeCardano.Ledger.Alonzo.PParams
appMaxBlockExUnitsCardano.Ledger.Alonzo.PParams
appMaxCollateralInputsCardano.Ledger.Alonzo.PParams
appMaxTxExUnitsCardano.Ledger.Alonzo.PParams
appMaxTxSizeCardano.Ledger.Alonzo.PParams
appMaxValSizeCardano.Ledger.Alonzo.PParams
appMinFeeACardano.Ledger.Alonzo.PParams
appMinFeeBCardano.Ledger.Alonzo.PParams
appMinPoolCostCardano.Ledger.Alonzo.PParams
appNOptCardano.Ledger.Alonzo.PParams
appPerfPCardano.Ledger.Shelley.RewardProvenance
appPoolDepositCardano.Ledger.Alonzo.PParams
appPricesCardano.Ledger.Alonzo.PParams
appProtocolVersionCardano.Ledger.Alonzo.PParams
AppRequiresConstrained.Base
appRhoCardano.Ledger.Alonzo.PParams
appSymConstrained.Base
appTauCardano.Ledger.Alonzo.PParams
appTermConstrained.Base
appVersions 
1 (Function)Cardano.Chain.Update.Validation.Interface
2 (Function)Cardano.Chain.Update.Validation.Registration
AProposal 
1 (Data Constructor)Cardano.Chain.Update.Proposal, Cardano.Chain.Update
2 (Type/Class)Cardano.Chain.Update.Proposal, Cardano.Chain.Update
aProposalIdCardano.Chain.Update.Vote, Cardano.Chain.Update
AProtocolMagic 
1 (Data Constructor)Cardano.Crypto.ProtocolMagic, Cardano.Crypto
2 (Type/Class)Cardano.Crypto.ProtocolMagic, Cardano.Crypto
aProtocolMagicTest.Cardano.Crypto.Dummy
ApVer 
1 (Data Constructor)Byron.Spec.Ledger.Update
2 (Type/Class)Byron.Spec.Ledger.Update
Arbitrary 
1 (Type/Class)Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common
2 (Type/Class)Test.Common
arbitrary 
1 (Function)Test.Cardano.Ledger.Imp.Common
2 (Function)Test.Cardano.Ledger.Common
3 (Function)Test.Common
Arbitrary1 
1 (Type/Class)Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common
2 (Type/Class)Test.Common
arbitrary1 
1 (Function)Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common
2 (Function)Test.Common
Arbitrary2 
1 (Type/Class)Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common
2 (Type/Class)Test.Common
arbitrary2 
1 (Function)Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common
2 (Function)Test.Common
arbitraryASCIIChar 
1 (Function)Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common
2 (Function)Test.Common
arbitraryBoundedEnum 
1 (Function)Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common
2 (Function)Test.Common
arbitraryBoundedIntegral 
1 (Function)Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common
2 (Function)Test.Common
arbitraryBoundedRandom 
1 (Function)Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common
2 (Function)Test.Common
arbitraryPrintableChar 
1 (Function)Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common
2 (Function)Test.Common
arbitrarySizedBoundedIntegral 
1 (Function)Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common
2 (Function)Test.Common
arbitrarySizedFractional 
1 (Function)Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common
2 (Function)Test.Common
arbitrarySizedIntegral 
1 (Function)Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common
2 (Function)Test.Common
arbitrarySizedNatural 
1 (Function)Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common
2 (Function)Test.Common
arbitraryUnicodeChar 
1 (Function)Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common
2 (Function)Test.Common
archHelperCardano.Chain.Update
areAllAdaOnly 
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
Arg 
1 (Type/Class)Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common, Test.Cardano.Ledger.Imp.Common
2 (Data Constructor)Test.Cardano.Ledger.Constrained.Ast
3 (Type/Class)Test.Cardano.Ledger.Constrained.Ast
argTest.Cardano.Ledger.Constrained.Ast
argPTest.Cardano.Ledger.Constrained.Ast
ArgPsTest.Cardano.Ledger.Constrained.Ast
Args 
1 (Type/Class)Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common
2 (Data Constructor)Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common
argsTest.Cardano.Ledger.Constrained.Ast
argToAnyFTest.Cardano.Ledger.Constrained.Ast
aroundTest.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common
aroundAllTest.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common
aroundAllWithTest.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common
aroundAll_Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common
aroundWithTest.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common
around_Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common
arrowTest.Cardano.Ledger.Generic.PrettyCore
ASC 
1 (Data Constructor)Test.Cardano.Ledger.Shelley.Arbitrary
2 (Type/Class)Test.Cardano.Ledger.Shelley.Arbitrary
ASCIIString 
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
aScriptHashObjTest.Cardano.Ledger.Generic.Indexed
asHashedScriptPairCardano.Ledger.Alonzo.TxWits
asIndex 
1 (Function)Cardano.Ledger.Alonzo.Scripts, Cardano.Ledger.Alonzo.Core
2 (Function)Cardano.Ledger.Babbage.Core
3 (Function)Cardano.Ledger.Conway.Core
AsItem 
1 (Data Constructor)Cardano.Ledger.Alonzo.Scripts, Cardano.Ledger.Alonzo.Core
2 (Type/Class)Cardano.Ledger.Alonzo.Scripts, Cardano.Ledger.Alonzo.Core
3 (Type/Class)Cardano.Ledger.Api.Tx.Wits, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api
4 (Data Constructor)Cardano.Ledger.Api.Tx.Wits, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api
5 (Data Constructor)Cardano.Ledger.Babbage.Core
6 (Type/Class)Cardano.Ledger.Babbage.Core
7 (Data Constructor)Cardano.Ledger.Conway.Core
8 (Type/Class)Cardano.Ledger.Conway.Core
asItem 
1 (Function)Cardano.Ledger.Alonzo.Scripts, Cardano.Ledger.Alonzo.Core
2 (Function)Cardano.Ledger.Babbage.Core
3 (Function)Cardano.Ledger.Conway.Core
AsIx 
1 (Data Constructor)Cardano.Ledger.Alonzo.Scripts, Cardano.Ledger.Alonzo.Core
2 (Type/Class)Cardano.Ledger.Alonzo.Scripts, Cardano.Ledger.Alonzo.Core
3 (Type/Class)Cardano.Ledger.Api.Tx.Wits, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api
4 (Data Constructor)Cardano.Ledger.Api.Tx.Wits, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api
5 (Data Constructor)Cardano.Ledger.Babbage.Core
6 (Type/Class)Cardano.Ledger.Babbage.Core
7 (Data Constructor)Cardano.Ledger.Conway.Core
8 (Type/Class)Cardano.Ledger.Conway.Core
AsIxItem 
1 (Data Constructor)Cardano.Ledger.Alonzo.Scripts, Cardano.Ledger.Alonzo.Core
2 (Type/Class)Cardano.Ledger.Alonzo.Scripts, Cardano.Ledger.Alonzo.Core
3 (Data Constructor)Cardano.Ledger.Babbage.Core
4 (Type/Class)Cardano.Ledger.Babbage.Core
5 (Data Constructor)Cardano.Ledger.Conway.Core
6 (Type/Class)Cardano.Ledger.Conway.Core
askBlockValidationModeCardano.Chain.ValidationMode
askCtxTest.Cardano.Ledger.Conformance.SpecTranslate.Core, Test.Cardano.Ledger.Conformance
askOptionTest.Common
askStatefulGenTest.Cardano.Ledger.Imp.Common
askTxValidationModeCardano.Chain.ValidationMode
asoAssertionsControl.State.Transition.Extended, Control.State.Transition.Simple, Control.State.Transition
asoEventsControl.State.Transition.Extended, Control.State.Transition.Simple, Control.State.Transition
asoValidationControl.State.Transition.Extended, Control.State.Transition.Simple, Control.State.Transition
asProxyTypeOfTest.Common
asReserves 
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.State
6 (Function)Cardano.Ledger.Mary.State
7 (Function)Cardano.Ledger.Shelley.State, Cardano.Ledger.Shelley.LedgerState, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
asReservesLCardano.Ledger.Shelley.LedgerState
AssembleTest.Cardano.Ledger.Constrained.Examples
AssemblerTest.Cardano.Ledger.Constrained.Examples
assembleWitsTest.Cardano.Ledger.Generic.TxGen
AssertConstrained.Base, Constrained.API
assertConstrained.Syntax, Constrained.API
assertBool 
1 (Function)Test.Cardano.Ledger.Imp.Common
2 (Function)Test.Cardano.Ledger.Common
assertBoundedNaturalCardano.Protocol.TPraos.BHeader
assertColorFailure 
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.Common, Test.Cardano.Ledger.TreeDiff
7 (Function)Test.Cardano.Ledger.Imp.Common
8 (Function)Test.Cardano.Ledger.Mary.TreeDiff
9 (Function)Test.Cardano.Ledger.Shelley.TreeDiff
assertExplainConstrained.Syntax, Constrained.API
assertExprEqualWithMessage 
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
assertFailure 
1 (Function)Test.Cardano.Ledger.Imp.Common
2 (Function)Test.Cardano.Ledger.Common
AssertionControl.State.Transition.Extended, Control.State.Transition.Simple, Control.State.Transition
AssertionException 
1 (Data Constructor)Control.State.Transition.Extended, Control.State.Transition.Simple, Control.State.Transition
2 (Type/Class)Control.State.Transition.Extended, Control.State.Transition.Simple, Control.State.Transition
AssertionPolicyControl.State.Transition.Extended, Control.State.Transition.Simple, Control.State.Transition
assertionsControl.State.Transition.Extended, Control.State.Transition.Simple, Control.State.Transition
AssertionsAllControl.State.Transition.Extended, Control.State.Transition.Simple, Control.State.Transition
AssertionsOffControl.State.Transition.Extended, Control.State.Transition.Simple, Control.State.Transition
AssertionsPostControl.State.Transition.Extended, Control.State.Transition.Simple, Control.State.Transition
AssertionsPreControl.State.Transition.Extended, Control.State.Transition.Simple, Control.State.Transition
AssertionViolation 
1 (Data Constructor)Control.State.Transition.Extended, Control.State.Transition.Simple, Control.State.Transition
2 (Type/Class)Control.State.Transition.Extended, Control.State.Transition.Simple, Control.State.Transition
AssertNFTest.Options
assertRealConstrained.Examples.Basic, Constrained.Examples
assertRealMultipleConstrained.Examples.Basic, Constrained.Examples
assertReifiedConstrained.Syntax, Constrained.API
assertTag 
1 (Function)Cardano.Ledger.Binary.Decoding, Cardano.Ledger.Binary
2 (Function)Cardano.Ledger.Binary.Plain
assertTranslationResultsMatchGoldenTest.Cardano.Ledger.Alonzo.Translation.Golden
AssetName 
1 (Data Constructor)Cardano.Ledger.Mary.Value
2 (Type/Class)Cardano.Ledger.Mary.Value
assetNameBytesCardano.Ledger.Mary.Value
AssetNameRTest.Cardano.Ledger.Constrained.TypeRep
assetNameToTextAsHexCardano.Ledger.Mary.Value
asset_name 
1 (Function)Test.Cardano.Ledger.Alonzo.CDDL
2 (Function)Test.Cardano.Ledger.Babbage.CDDL
3 (Function)Test.Cardano.Ledger.Conway.CDDL
4 (Function)Test.Cardano.Ledger.Mary.CDDL
asSLanguageCardano.Ledger.Plutus.Language, Cardano.Ledger.Plutus
assocListData.OMap.Strict
assocNumSpecConstrained.Test
assocNumSpecTimesConstrained.Test
asTreasury 
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.State
6 (Function)Cardano.Ledger.Mary.State
7 (Function)Cardano.Ledger.Shelley.State, Cardano.Ledger.Shelley.LedgerState, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
asTreasuryLCardano.Ledger.Shelley.LedgerState
asWitnessCardano.Ledger.Keys
AtCardano.Ledger.BaseTypes
atConstrained.List
aTaAnnotationCardano.Chain.UTxO
atadMetadata 
1 (Function)Cardano.Ledger.Alonzo.TxAuxData
2 (Function)Cardano.Ledger.Api.Tx.AuxData, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api
atadMetadata' 
1 (Function)Cardano.Ledger.Alonzo.TxAuxData
2 (Function)Cardano.Ledger.Api.Tx.AuxData, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api
atadPlutus 
1 (Function)Cardano.Ledger.Alonzo.TxAuxData
2 (Function)Cardano.Ledger.Api.Tx.AuxData, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api
atadPlutus' 
1 (Function)Cardano.Ledger.Alonzo.TxAuxData
2 (Function)Cardano.Ledger.Api.Tx.AuxData, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api
atadrMetadata 
1 (Function)Cardano.Ledger.Allegra.TxAuxData
2 (Function)Cardano.Ledger.Alonzo.TxAuxData
atadrPlutusCardano.Ledger.Alonzo.TxAuxData
atadrTimelock 
1 (Function)Cardano.Ledger.Allegra.TxAuxData
2 (Function)Cardano.Ledger.Alonzo.TxAuxData
atadTimelock 
1 (Function)Cardano.Ledger.Alonzo.TxAuxData
2 (Function)Cardano.Ledger.Api.Tx.AuxData, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api
atadTimelock' 
1 (Function)Cardano.Ledger.Alonzo.TxAuxData
2 (Function)Cardano.Ledger.Api.Tx.AuxData, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api
aTaTxCardano.Chain.UTxO
aTaWitnessCardano.Chain.UTxO
atbAuxDataHash 
1 (Function)Cardano.Ledger.Allegra.TxBody
2 (Function)Cardano.Ledger.Alonzo.TxBody, Cardano.Ledger.Alonzo.Tx
3 (Function)Cardano.Ledger.Babbage.Tx
atbCerts 
1 (Function)Cardano.Ledger.Allegra.TxBody
2 (Function)Cardano.Ledger.Alonzo.TxBody, Cardano.Ledger.Alonzo.Tx
3 (Function)Cardano.Ledger.Babbage.Tx
atbCollateral 
1 (Function)Cardano.Ledger.Alonzo.TxBody, Cardano.Ledger.Alonzo.Tx
2 (Function)Cardano.Ledger.Babbage.Tx
atbInputs 
1 (Function)Cardano.Ledger.Allegra.TxBody
2 (Function)Cardano.Ledger.Alonzo.TxBody, Cardano.Ledger.Alonzo.Tx
3 (Function)Cardano.Ledger.Babbage.Tx
atbMint 
1 (Function)Cardano.Ledger.Alonzo.TxBody, Cardano.Ledger.Alonzo.Tx
2 (Function)Cardano.Ledger.Babbage.Tx
atbOutputs 
1 (Function)Cardano.Ledger.Allegra.TxBody
2 (Function)Cardano.Ledger.Alonzo.TxBody, Cardano.Ledger.Alonzo.Tx
3 (Function)Cardano.Ledger.Babbage.Tx
atbrAuxDataHash 
1 (Function)Cardano.Ledger.Allegra.TxBody
2 (Function)Cardano.Ledger.Alonzo.TxBody
atbrCerts 
1 (Function)Cardano.Ledger.Allegra.TxBody
2 (Function)Cardano.Ledger.Alonzo.TxBody
atbrCollateralCardano.Ledger.Alonzo.TxBody
atbReqSignerHashes 
1 (Function)Cardano.Ledger.Alonzo.TxBody, Cardano.Ledger.Alonzo.Tx
2 (Function)Cardano.Ledger.Babbage.Tx
atbrFeeCardano.Ledger.Allegra.TxBody
atbrInputs 
1 (Function)Cardano.Ledger.Allegra.TxBody
2 (Function)Cardano.Ledger.Alonzo.TxBody
atbrMint 
1 (Function)Cardano.Ledger.Allegra.TxBody
2 (Function)Cardano.Ledger.Alonzo.TxBody
atbrOutputs 
1 (Function)Cardano.Ledger.Allegra.TxBody
2 (Function)Cardano.Ledger.Alonzo.TxBody
atbrReqSignerHashesCardano.Ledger.Alonzo.TxBody
atbrScriptIntegrityHashCardano.Ledger.Alonzo.TxBody
atbrTxFeeCardano.Ledger.Alonzo.TxBody
atbrTxNetworkIdCardano.Ledger.Alonzo.TxBody
atbrUpdate 
1 (Function)Cardano.Ledger.Allegra.TxBody
2 (Function)Cardano.Ledger.Alonzo.TxBody
atbrValidityInterval 
1 (Function)Cardano.Ledger.Allegra.TxBody
2 (Function)Cardano.Ledger.Alonzo.TxBody
atbrWithdrawals 
1 (Function)Cardano.Ledger.Allegra.TxBody
2 (Function)Cardano.Ledger.Alonzo.TxBody
atbScriptIntegrityHash 
1 (Function)Cardano.Ledger.Alonzo.TxBody, Cardano.Ledger.Alonzo.Tx
2 (Function)Cardano.Ledger.Babbage.Tx
atbTxFee 
1 (Function)Cardano.Ledger.Allegra.TxBody
2 (Function)Cardano.Ledger.Alonzo.TxBody, Cardano.Ledger.Alonzo.Tx
3 (Function)Cardano.Ledger.Babbage.Tx
atbTxNetworkId 
1 (Function)Cardano.Ledger.Alonzo.TxBody, Cardano.Ledger.Alonzo.Tx
2 (Function)Cardano.Ledger.Babbage.Tx
ATBUEMinUTxOUpdatedCardano.Ledger.Alonzo.TxBody
atbUpdate 
1 (Function)Cardano.Ledger.Allegra.TxBody
2 (Function)Cardano.Ledger.Alonzo.TxBody, Cardano.Ledger.Alonzo.Tx
3 (Function)Cardano.Ledger.Babbage.Tx
atbValidityInterval 
1 (Function)Cardano.Ledger.Allegra.TxBody
2 (Function)Cardano.Ledger.Alonzo.TxBody, Cardano.Ledger.Alonzo.Tx
3 (Function)Cardano.Ledger.Babbage.Tx
atbWithdrawals 
1 (Function)Cardano.Ledger.Allegra.TxBody
2 (Function)Cardano.Ledger.Alonzo.TxBody, Cardano.Ledger.Alonzo.Tx
3 (Function)Cardano.Ledger.Babbage.Tx
atcAlonzoGenesis 
1 (Function)Cardano.Ledger.Alonzo.Transition
2 (Function)Cardano.Ledger.Babbage.Transition
atcMaryTransitionConfig 
1 (Function)Cardano.Ledger.Alonzo.Transition
2 (Function)Cardano.Ledger.Babbage.Transition
atcShelleyTransitionConfig 
1 (Function)Cardano.Ledger.Allegra.Transition
2 (Function)Cardano.Ledger.Mary.Transition
AtLeastTest.Cardano.Ledger.Constrained.Ast
atLeastTest.Cardano.Ledger.Constrained.Solver
atLeastDeltaTest.Cardano.Ledger.Constrained.Size
AtLeastEra 
1 (Type/Class)Cardano.Ledger.Allegra.Core
2 (Type/Class)Cardano.Ledger.Alonzo.Core
3 (Type/Class)Cardano.Ledger.Api.Era, Cardano.Ledger.Api
4 (Type/Class)Cardano.Ledger.Babbage.Core
5 (Type/Class)Cardano.Ledger.Conway.Core
6 (Type/Class)Cardano.Ledger.Core
7 (Type/Class)Cardano.Ledger.Mary.Core
8 (Type/Class)Cardano.Ledger.Shelley.Core
atLeastEra 
1 (Function)Cardano.Ledger.Allegra.Core
2 (Function)Cardano.Ledger.Alonzo.Core
3 (Function)Cardano.Ledger.Api.Era, 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
AtMostTest.Cardano.Ledger.Constrained.Ast
atMostAnyTest.Cardano.Ledger.Constrained.Size
AtMostEra 
1 (Type/Class)Cardano.Ledger.Allegra.Core
2 (Type/Class)Cardano.Ledger.Alonzo.Core
3 (Type/Class)Cardano.Ledger.Api.Era, Cardano.Ledger.Api
4 (Type/Class)Cardano.Ledger.Babbage.Core
5 (Type/Class)Cardano.Ledger.Conway.Core
6 (Type/Class)Cardano.Ledger.Core
7 (Type/Class)Cardano.Ledger.Mary.Core
8 (Type/Class)Cardano.Ledger.Shelley.Core
atMostEra 
1 (Function)Cardano.Ledger.Allegra.Core
2 (Function)Cardano.Ledger.Alonzo.Core
3 (Function)Cardano.Ledger.Api.Era, 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
ATRedeemCardano.Chain.Common
attrDataCardano.Chain.Common
Attributes 
1 (Data Constructor)Cardano.Chain.Common
2 (Type/Class)Cardano.Chain.Common
attributesAreKnownCardano.Chain.Common
attrRemainCardano.Chain.Common
ATVerKeyCardano.Chain.Common
atwrAddrTxWitsCardano.Ledger.Alonzo.TxWits
atwrBootAddrTxWitsCardano.Ledger.Alonzo.TxWits
atwrDatsTxWitsCardano.Ledger.Alonzo.TxWits
atwrRdmrsTxWitsCardano.Ledger.Alonzo.TxWits
atwrScriptTxWitsCardano.Ledger.Alonzo.TxWits
ATxAux 
1 (Data Constructor)Cardano.Chain.UTxO
2 (Type/Class)Cardano.Chain.UTxO
ATxPayload 
1 (Data Constructor)Cardano.Chain.UTxO
2 (Type/Class)Cardano.Chain.UTxO
aUnTxPayloadCardano.Chain.UTxO
AuthCommitteeHotKeyTxCert 
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
authorizedElectedHotCommitteeCredentialsCardano.Ledger.Conway.Governance
authorizedHotCommitteeCredentials 
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.State
6 (Function)Cardano.Ledger.Mary.State
7 (Function)Cardano.Ledger.Shelley.State
authTxinByron.Spec.Ledger.STS.UTXOW
auth_committee_hot_certTest.Cardano.Ledger.Conway.CDDL
AuxDataTest.Cardano.Ledger.Generic.Fields
AuxData'Test.Cardano.Ledger.Generic.Fields
auxDataAlonzoTxL 
1 (Function)Cardano.Ledger.Alonzo.Tx
2 (Function)Cardano.Ledger.Babbage.Tx
auxDataHashTxBodyL 
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.Core
7 (Function)Cardano.Ledger.Mary.Core
8 (Function)Cardano.Ledger.Shelley.Core
9 (Function)Test.Cardano.Ledger.EraClass
auxDataSeqDecoderCardano.Ledger.Shelley.BlockChain
auxDataShelleyTxLCardano.Ledger.Shelley.Tx.Internal, Cardano.Ledger.Shelley.Tx
auxDataTxL 
1 (Function)Cardano.Ledger.Allegra.Core
2 (Function)Cardano.Ledger.Alonzo.Core
3 (Function)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
auxiliaryData 
1 (Function)Cardano.Ledger.Alonzo.Tx
2 (Function)Cardano.Ledger.Babbage.Tx
3 (Function)Cardano.Ledger.Conway.Tx
4 (Function)Cardano.Ledger.Shelley.Tx.Internal, Cardano.Ledger.Shelley.Tx, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
AuxiliaryDataHash 
1 (Type/Class)Cardano.Ledger.Api.Tx.Body, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api
2 (Data Constructor)Cardano.Ledger.AuxiliaryData
3 (Type/Class)Cardano.Ledger.AuxiliaryData
auxiliary_data 
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
auxiliary_data_hash 
1 (Function)Test.Cardano.Ledger.Alonzo.CDDL
2 (Function)Test.Cardano.Ledger.Babbage.CDDL
3 (Function)Test.Cardano.Ledger.Conway.CDDL
auxiliary_scripts 
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
availableAfterMIRCardano.Ledger.Shelley.LedgerState
availableForDistrCTest.Cardano.Ledger.Constrained.Preds.Certs
AVChangedInPVUpdateByron.Spec.Ledger.Update
avCtxControl.State.Transition.Extended, Control.State.Transition.Simple, Control.State.Transition
avgInputsOutputsTest.Byron.Spec.Ledger.UTxO.Properties
avMetadataCardano.Chain.Update.Validation.Registration
avMsgControl.State.Transition.Extended, Control.State.Transition.Simple, Control.State.Transition
avNumSoftwareVersionCardano.Chain.Update.Validation.Registration
AVoteCardano.Chain.Update.Vote, Cardano.Chain.Update
AVSigDoesNotVerifyByron.Spec.Ledger.Update
avSlotNumberCardano.Chain.Update.Validation.Registration
avStateControl.State.Transition.Extended, Control.State.Transition.Simple, Control.State.Transition
avSTSControl.State.Transition.Extended, Control.State.Transition.Simple, Control.State.Transition