cardano-ledger

Index - I

ICardano.Ledger.Api.Tx.AuxData, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api, Cardano.Ledger.Metadata, Cardano.Ledger.Shelley.TxAuxData, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
Id 
1 (Type/Class)Test.Control.State.Transition.Examples.CommitReveal
2 (Data Constructor)Test.Control.State.Transition.Examples.CommitReveal
idempotentIOPropertyTest.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common, Test.Common
idempotentSemigroupLawsTest.Common
Identity 
1 (Type/Class)Cardano.Ledger.Shelley.Rules
2 (Data Constructor)Cardano.Ledger.Shelley.Rules
ieAnnotationTest.Cardano.Ledger.Allegra.ImpTest, Test.Cardano.Ledger.Alonzo.ImpTest, Test.Cardano.Ledger.Babbage.ImpTest, Test.Cardano.Ledger.Conway.ImpTest, Test.Cardano.Ledger.Mary.ImpTest, Test.Cardano.Ledger.Shelley.ImpTest
ieThrownExceptionTest.Cardano.Ledger.Allegra.ImpTest, Test.Cardano.Ledger.Alonzo.ImpTest, Test.Cardano.Ledger.Babbage.ImpTest, Test.Cardano.Ledger.Conway.ImpTest, Test.Cardano.Ledger.Mary.ImpTest, Test.Cardano.Ledger.Shelley.ImpTest
ifBootstrapTest.Cardano.Ledger.Conway.ImpTest
ifDecoderVersionAtLeastCardano.Ledger.Binary.Decoding, Cardano.Ledger.Binary
ifEncodingVersionAtLeastCardano.Ledger.Binary.Encoding, Cardano.Ledger.Binary
ifFailureFreeControl.State.Transition.Extended, Control.State.Transition.Simple, Control.State.Transition
ignoreSubjectTest.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common
impAddNativeScriptTest.Cardano.Ledger.Allegra.ImpTest, Test.Cardano.Ledger.Alonzo.ImpTest, Test.Cardano.Ledger.Babbage.ImpTest, Test.Cardano.Ledger.Conway.ImpTest, Test.Cardano.Ledger.Mary.ImpTest, Test.Cardano.Ledger.Shelley.ImpTest
impAllegraSatisfyNativeScriptTest.Cardano.Ledger.Allegra.ImpTest, Test.Cardano.Ledger.Alonzo.ImpTest, Test.Cardano.Ledger.Babbage.ImpTest, Test.Cardano.Ledger.Conway.ImpTest, Test.Cardano.Ledger.Mary.ImpTest
impAlonzoExpectTxSuccessTest.Cardano.Ledger.Alonzo.ImpTest, Test.Cardano.Ledger.Babbage.ImpTest, Test.Cardano.Ledger.Conway.ImpTest
impAnnTest.Cardano.Ledger.Allegra.ImpTest, Test.Cardano.Ledger.Alonzo.ImpTest, Test.Cardano.Ledger.Babbage.ImpTest, Test.Cardano.Ledger.Conway.ImpTest, Test.Cardano.Ledger.Mary.ImpTest, Test.Cardano.Ledger.Shelley.ImpTest
impAnnDocTest.Cardano.Ledger.Allegra.ImpTest, Test.Cardano.Ledger.Alonzo.ImpTest, Test.Cardano.Ledger.Babbage.ImpTest, Test.Cardano.Ledger.Conway.ImpTest, Test.Cardano.Ledger.Mary.ImpTest, Test.Cardano.Ledger.Shelley.ImpTest
impBabbageExpectTxSuccessTest.Cardano.Ledger.Babbage.ImpTest, Test.Cardano.Ledger.Conway.ImpTest
impComputeScriptIntegrityTest.Cardano.Ledger.Alonzo.ImpTest, Test.Cardano.Ledger.Babbage.ImpTest, Test.Cardano.Ledger.Conway.ImpTest
impEraStartEpochNoTest.Cardano.Ledger.Allegra.ImpTest, Test.Cardano.Ledger.Alonzo.ImpTest, Test.Cardano.Ledger.Babbage.ImpTest, Test.Cardano.Ledger.Conway.ImpTest, Test.Cardano.Ledger.Mary.ImpTest, Test.Cardano.Ledger.Shelley.ImpTest
ImpException 
1 (Type/Class)Test.Cardano.Ledger.Allegra.ImpTest, Test.Cardano.Ledger.Alonzo.ImpTest, Test.Cardano.Ledger.Babbage.ImpTest, Test.Cardano.Ledger.Conway.ImpTest, Test.Cardano.Ledger.Mary.ImpTest, Test.Cardano.Ledger.Shelley.ImpTest
2 (Data Constructor)Test.Cardano.Ledger.Allegra.ImpTest, Test.Cardano.Ledger.Alonzo.ImpTest, Test.Cardano.Ledger.Babbage.ImpTest, Test.Cardano.Ledger.Conway.ImpTest, Test.Cardano.Ledger.Mary.ImpTest, Test.Cardano.Ledger.Shelley.ImpTest
impGetPlutusContextsTest.Cardano.Ledger.Alonzo.ImpTest, Test.Cardano.Ledger.Babbage.ImpTest, Test.Cardano.Ledger.Conway.ImpTest
impGetScriptContextTest.Cardano.Ledger.Alonzo.ImpTest, Test.Cardano.Ledger.Babbage.ImpTest, Test.Cardano.Ledger.Conway.ImpTest
impGetUTxOTest.Cardano.Ledger.Allegra.ImpTest, Test.Cardano.Ledger.Alonzo.ImpTest, Test.Cardano.Ledger.Babbage.ImpTest, Test.Cardano.Ledger.Conway.ImpTest, Test.Cardano.Ledger.Mary.ImpTest, Test.Cardano.Ledger.Shelley.ImpTest
impGlobalsLTest.Cardano.Ledger.Allegra.ImpTest, Test.Cardano.Ledger.Alonzo.ImpTest, Test.Cardano.Ledger.Babbage.ImpTest, Test.Cardano.Ledger.Conway.ImpTest, Test.Cardano.Ledger.Mary.ImpTest, Test.Cardano.Ledger.Shelley.ImpTest
ImpInitTest.Cardano.Ledger.Allegra.ImpTest, Test.Cardano.Ledger.Alonzo.ImpTest, Test.Cardano.Ledger.Babbage.ImpTest, Test.Cardano.Ledger.Conway.ImpTest, Test.Cardano.Ledger.Mary.ImpTest, Test.Cardano.Ledger.Shelley.ImpTest
impKeyPairsGTest.Cardano.Ledger.Allegra.ImpTest, Test.Cardano.Ledger.Alonzo.ImpTest, Test.Cardano.Ledger.Babbage.ImpTest, Test.Cardano.Ledger.Conway.ImpTest, Test.Cardano.Ledger.Mary.ImpTest, Test.Cardano.Ledger.Shelley.ImpTest
impLastTickGTest.Cardano.Ledger.Allegra.ImpTest, Test.Cardano.Ledger.Alonzo.ImpTest, Test.Cardano.Ledger.Babbage.ImpTest, Test.Cardano.Ledger.Conway.ImpTest, Test.Cardano.Ledger.Mary.ImpTest, Test.Cardano.Ledger.Shelley.ImpTest
impLogToExprTest.Cardano.Ledger.Allegra.ImpTest, Test.Cardano.Ledger.Alonzo.ImpTest, Test.Cardano.Ledger.Babbage.ImpTest, Test.Cardano.Ledger.Conway.ImpTest, Test.Cardano.Ledger.Mary.ImpTest, Test.Cardano.Ledger.Shelley.ImpTest
impLookupNativeScriptTest.Cardano.Ledger.Allegra.ImpTest, Test.Cardano.Ledger.Alonzo.ImpTest, Test.Cardano.Ledger.Babbage.ImpTest, Test.Cardano.Ledger.Conway.ImpTest, Test.Cardano.Ledger.Mary.ImpTest, Test.Cardano.Ledger.Shelley.ImpTest
impLookupPlutusScriptTest.Cardano.Ledger.Alonzo.ImpTest, Test.Cardano.Ledger.Babbage.ImpTest, Test.Cardano.Ledger.Conway.ImpTest
impLookupScriptContextTest.Cardano.Ledger.Alonzo.ImpTest, Test.Cardano.Ledger.Babbage.ImpTest, Test.Cardano.Ledger.Conway.ImpTest
ImpMTest.Cardano.Ledger.Allegra.ImpTest, Test.Cardano.Ledger.Alonzo.ImpTest, Test.Cardano.Ledger.Babbage.ImpTest, Test.Cardano.Ledger.Conway.ImpTest, Test.Cardano.Ledger.Mary.ImpTest, Test.Cardano.Ledger.Shelley.ImpTest
impNativeScriptsGTest.Cardano.Ledger.Allegra.ImpTest, Test.Cardano.Ledger.Alonzo.ImpTest, Test.Cardano.Ledger.Babbage.ImpTest, Test.Cardano.Ledger.Conway.ImpTest, Test.Cardano.Ledger.Mary.ImpTest, Test.Cardano.Ledger.Shelley.ImpTest
impNESLTest.Cardano.Ledger.Allegra.ImpTest, Test.Cardano.Ledger.Alonzo.ImpTest, Test.Cardano.Ledger.Babbage.ImpTest, Test.Cardano.Ledger.Conway.ImpTest, Test.Cardano.Ledger.Mary.ImpTest, Test.Cardano.Ledger.Shelley.ImpTest
impPlutusWithContextsTest.Cardano.Ledger.Alonzo.ImpTest, Test.Cardano.Ledger.Babbage.ImpTest, Test.Cardano.Ledger.Conway.ImpTest
impSatisfyNativeScriptTest.Cardano.Ledger.Allegra.ImpTest, Test.Cardano.Ledger.Alonzo.ImpTest, Test.Cardano.Ledger.Babbage.ImpTest, Test.Cardano.Ledger.Conway.ImpTest, Test.Cardano.Ledger.Mary.ImpTest, Test.Cardano.Ledger.Shelley.ImpTest
impScriptPredicateFailureTest.Cardano.Ledger.Alonzo.ImpTest, Test.Cardano.Ledger.Babbage.ImpTest, Test.Cardano.Ledger.Conway.ImpTest
impSetSeedTest.Cardano.Ledger.Allegra.ImpTest, Test.Cardano.Ledger.Alonzo.ImpTest, Test.Cardano.Ledger.Babbage.ImpTest, Test.Cardano.Ledger.Conway.ImpTest, Test.Cardano.Ledger.Mary.ImpTest, Test.Cardano.Ledger.Shelley.ImpTest
impShelleyExpectTxSuccessTest.Cardano.Ledger.Allegra.ImpTest, Test.Cardano.Ledger.Alonzo.ImpTest, Test.Cardano.Ledger.Babbage.ImpTest, Test.Cardano.Ledger.Conway.ImpTest, Test.Cardano.Ledger.Mary.ImpTest, Test.Cardano.Ledger.Shelley.ImpTest
ImpTestEnv 
1 (Type/Class)Test.Cardano.Ledger.Allegra.ImpTest, Test.Cardano.Ledger.Alonzo.ImpTest, Test.Cardano.Ledger.Babbage.ImpTest, Test.Cardano.Ledger.Conway.ImpTest, Test.Cardano.Ledger.Mary.ImpTest, Test.Cardano.Ledger.Shelley.ImpTest
2 (Data Constructor)Test.Cardano.Ledger.Allegra.ImpTest, Test.Cardano.Ledger.Alonzo.ImpTest, Test.Cardano.Ledger.Babbage.ImpTest, Test.Cardano.Ledger.Conway.ImpTest, Test.Cardano.Ledger.Mary.ImpTest, Test.Cardano.Ledger.Shelley.ImpTest
ImpTestMTest.Cardano.Ledger.Allegra.ImpTest, Test.Cardano.Ledger.Alonzo.ImpTest, Test.Cardano.Ledger.Babbage.ImpTest, Test.Cardano.Ledger.Conway.ImpTest, Test.Cardano.Ledger.Mary.ImpTest, Test.Cardano.Ledger.Shelley.ImpTest
ImpTestStateTest.Cardano.Ledger.Allegra.ImpTest, Test.Cardano.Ledger.Alonzo.ImpTest, Test.Cardano.Ledger.Babbage.ImpTest, Test.Cardano.Ledger.Conway.ImpTest, Test.Cardano.Ledger.Mary.ImpTest, Test.Cardano.Ledger.Shelley.ImpTest
impWitsVKeyNeededTest.Cardano.Ledger.Allegra.ImpTest, Test.Cardano.Ledger.Alonzo.ImpTest, Test.Cardano.Ledger.Babbage.ImpTest, Test.Cardano.Ledger.Conway.ImpTest, Test.Cardano.Ledger.Mary.ImpTest, Test.Cardano.Ledger.Shelley.ImpTest
includingOptionsTest.Common
IncompatibleBudgetCardano.Ledger.Alonzo.Plutus.Evaluate, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api
IncorrectDepositDELEGCardano.Ledger.Conway.Rules
IncorrectTotalCollateralField 
1 (Data Constructor)Cardano.Ledger.Babbage.Rules
2 (Data Constructor)Cardano.Ledger.Conway.Rules
incrBlockCountTest.Cardano.Ledger.Shelley.Examples.Combinators
incrBlocksCardano.Ledger.Shelley.BlockBody.Internal, Cardano.Ledger.Shelley.BlockBody, Cardano.Ledger.Shelley.BlockChain, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
IncreasedTotalBalanceByron.Spec.Ledger.STS.UTXO
increasingProbabilityAt 
1 (Function)Byron.Spec.Ledger.Update
2 (Function)Test.Cardano.Ledger.Shelley.Generator.Core
incrementalStakeTest.Cardano.Ledger.Generic.Properties
incrementStakeInvariantTest.Cardano.Ledger.Generic.Properties
incrStakeComparisonTestTest.Cardano.Ledger.Shelley.Rules.IncrementalStake
incrStakeComputationTestTest.Cardano.Ledger.Shelley.Rules.IncrementalStake
IndexableCardano.Ledger.Alonzo.TxBody
indexedGovPropsCardano.Ledger.Conway.Governance
indexOfCardano.Ledger.Alonzo.TxBody
indexProxyCardano.Ledger.SafeHash
IndividualPoolStake 
1 (Type/Class)Cardano.Ledger.Allegra.State, Cardano.Ledger.Alonzo.State, Cardano.Ledger.Babbage.State, Cardano.Ledger.Conway.State, Cardano.Ledger.PoolDistr, Cardano.Ledger.State, Cardano.Ledger.Dijkstra.State, Cardano.Ledger.Mary.State, Cardano.Ledger.Shelley.State
2 (Data Constructor)Cardano.Ledger.Allegra.State, Cardano.Ledger.Alonzo.State, Cardano.Ledger.Babbage.State, Cardano.Ledger.Conway.State, Cardano.Ledger.PoolDistr, Cardano.Ledger.State, Cardano.Ledger.Dijkstra.State, Cardano.Ledger.Mary.State, Cardano.Ledger.Shelley.State
individualPoolStakeCardano.Ledger.Allegra.State, Cardano.Ledger.Alonzo.State, Cardano.Ledger.Babbage.State, Cardano.Ledger.Conway.State, Cardano.Ledger.PoolDistr, Cardano.Ledger.State, Cardano.Ledger.Dijkstra.State, Cardano.Ledger.Mary.State, Cardano.Ledger.Shelley.State, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
individualPoolStakeVrfCardano.Ledger.Allegra.State, Cardano.Ledger.Alonzo.State, Cardano.Ledger.Babbage.State, Cardano.Ledger.Conway.State, Cardano.Ledger.PoolDistr, Cardano.Ledger.State, Cardano.Ledger.Dijkstra.State, Cardano.Ledger.Mary.State, Cardano.Ledger.Shelley.State
individualTotalPoolStakeCardano.Ledger.Allegra.State, Cardano.Ledger.Alonzo.State, Cardano.Ledger.Babbage.State, Cardano.Ledger.Conway.State, Cardano.Ledger.PoolDistr, Cardano.Ledger.State, Cardano.Ledger.Dijkstra.State, Cardano.Ledger.Mary.State, Cardano.Ledger.Shelley.State
individualTotalPoolStakeLCardano.Ledger.Allegra.State, Cardano.Ledger.Alonzo.State, Cardano.Ledger.Babbage.State, Cardano.Ledger.Conway.State, Cardano.Ledger.PoolDistr, Cardano.Ledger.State, Cardano.Ledger.Dijkstra.State, Cardano.Ledger.Mary.State, Cardano.Ledger.Shelley.State
InfiniteList 
1 (Type/Class)Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common, Test.Common
2 (Data Constructor)Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common, Test.Common
infiniteListTest.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common, Test.Common
infiniteListInternalDataTest.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common, Test.Common
infiniteListOfTest.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common, Test.Common
InfoActionCardano.Ledger.Api.Governance, Cardano.Ledger.Api, Cardano.Ledger.Conway.Governance
info_actionTest.Cardano.Ledger.Conway.CDDL, Test.Cardano.Ledger.Dijkstra.CDDL
inIntervalCardano.Ledger.Allegra.Scripts
initGenesisTest.Cardano.Ledger.Allegra.ImpTest, Test.Cardano.Ledger.Alonzo.ImpTest, Test.Cardano.Ledger.Babbage.ImpTest, Test.Cardano.Ledger.Conway.ImpTest, Test.Cardano.Ledger.Mary.ImpTest, Test.Cardano.Ledger.Shelley.ImpTest
Initial 
1 (Data Constructor)Cardano.Chain.Epoch.Validation
2 (Data Constructor)Control.State.Transition.Extended, Control.State.Transition.Simple, Control.State.Transition
initialChainDepStateCardano.Protocol.TPraos.API
initialChainValidationStateCardano.Chain.Block
initialEnvFromGenesisKeysByron.Spec.Ledger.Delegation
initialFundsPseudoTxInCardano.Ledger.Shelley.Genesis, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
initialLedgerStateTest.Cardano.Ledger.Generic.GenState
initialMockChainStateTest.Cardano.Ledger.Generic.Trace
initialPParamsByron.Spec.Ledger.Update
InitialRuleControl.State.Transition.Extended, Control.State.Transition.Simple, Control.State.Transition
initialRulesControl.State.Transition.Extended, Control.State.Transition.Simple, Control.State.Transition
initialShelleyStateTest.Cardano.Ledger.Shelley.Rules.Chain
initialState 
1 (Function)Cardano.Chain.Update.Validation.Interface
2 (Function)Cardano.Chain.Delegation.Validation.Interface
initImpTestStateTest.Cardano.Ledger.Allegra.ImpTest, Test.Cardano.Ledger.Alonzo.ImpTest, Test.Cardano.Ledger.Babbage.ImpTest, Test.Cardano.Ledger.Conway.ImpTest, Test.Cardano.Ledger.Mary.ImpTest, Test.Cardano.Ledger.Shelley.ImpTest
initNewEpochStateTest.Cardano.Ledger.Allegra.ImpTest, Test.Cardano.Ledger.Alonzo.ImpTest, Test.Cardano.Ledger.Babbage.ImpTest, Test.Cardano.Ledger.Conway.ImpTest, Test.Cardano.Ledger.Mary.ImpTest, Test.Cardano.Ledger.Shelley.ImpTest
initStTest.Cardano.Ledger.Shelley.Examples.Init
initStableFieldsTest.Cardano.Ledger.Generic.GenState
initStatsCardano.Ledger.State.UTxO
initUTxO 
1 (Function)Test.Cardano.Ledger.Shelley.BenchmarkFunctions
2 (Function)Test.Cardano.Ledger.Examples.STSTestUtils
InjectCardano.Ledger.BaseTypes, Cardano.Ledger.Rules.ValidationMode
injectCardano.Ledger.BaseTypes, Cardano.Ledger.Val, Cardano.Ledger.Rules.ValidationMode
injectCompactCardano.Ledger.Val
injectEventCardano.Ledger.Allegra.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Core, Cardano.Ledger.Dijkstra.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Shelley.Core
injectFailureCardano.Ledger.Allegra.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Core, Cardano.Ledger.Dijkstra.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Shelley.Core
injectFeeTest.Cardano.Ledger.Generic.Functions
injectIntoTestStateCardano.Ledger.Api.Transition, Cardano.Ledger.Shelley.Transition
InjectRuleEventCardano.Ledger.Allegra.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Core, Cardano.Ledger.Dijkstra.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Shelley.Core
InjectRuleFailureCardano.Ledger.Allegra.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Core, Cardano.Ledger.Dijkstra.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Shelley.Core
InlineDatumsNotSupportedCardano.Ledger.Babbage.TxInfo
inMapByron.Spec.Ledger.Update
inputsByron.Spec.Ledger.UTxO
inputs'Cardano.Ledger.Alonzo.TxBody
InputSetEmptyUTxO 
1 (Data Constructor)Cardano.Ledger.Allegra.Rules
2 (Data Constructor)Cardano.Ledger.Alonzo.Rules
3 (Data Constructor)Cardano.Ledger.Conway.Rules
4 (Data Constructor)Cardano.Ledger.Shelley.Rules
inputsGenerateWithinTest.Cardano.Ledger.Conformance.ExecSpecRule.Core, Test.Cardano.Ledger.Conformance
InputsNotInUTxOByron.Spec.Ledger.STS.UTXO
inputsOutputsAreNotEmptyNoDatum 
1 (Function)Test.Cardano.Ledger.Plutus.Examples
2 (Function)Cardano.Ledger.Plutus.Preprocessor.Binary.V1
3 (Function)Cardano.Ledger.Plutus.Preprocessor.Binary.V2
4 (Function)Cardano.Ledger.Plutus.Preprocessor.Binary.V3
inputsOutputsAreNotEmptyNoDatumBytes 
1 (Function)Cardano.Ledger.Plutus.Preprocessor.Binary.V1
2 (Function)Cardano.Ledger.Plutus.Preprocessor.Binary.V2
3 (Function)Cardano.Ledger.Plutus.Preprocessor.Binary.V3
inputsOutputsAreNotEmptyNoDatumQ 
1 (Function)Cardano.Ledger.Plutus.Preprocessor.Source.V1
2 (Function)Cardano.Ledger.Plutus.Preprocessor.Source.V2
3 (Function)Cardano.Ledger.Plutus.Preprocessor.Source.V3
inputsOutputsAreNotEmptyWithDatum 
1 (Function)Test.Cardano.Ledger.Plutus.Examples
2 (Function)Cardano.Ledger.Plutus.Preprocessor.Binary.V1
3 (Function)Cardano.Ledger.Plutus.Preprocessor.Binary.V2
4 (Function)Cardano.Ledger.Plutus.Preprocessor.Binary.V3
inputsOutputsAreNotEmptyWithDatumBytes 
1 (Function)Cardano.Ledger.Plutus.Preprocessor.Binary.V1
2 (Function)Cardano.Ledger.Plutus.Preprocessor.Binary.V2
3 (Function)Cardano.Ledger.Plutus.Preprocessor.Binary.V3
inputsOutputsAreNotEmptyWithDatumQ 
1 (Function)Cardano.Ledger.Plutus.Preprocessor.Source.V1
2 (Function)Cardano.Ledger.Plutus.Preprocessor.Source.V2
3 (Function)Cardano.Ledger.Plutus.Preprocessor.Source.V3
inputsOverlapsWithRefInputs 
1 (Function)Test.Cardano.Ledger.Plutus.Examples
2 (Function)Cardano.Ledger.Plutus.Preprocessor.Binary.V2
3 (Function)Cardano.Ledger.Plutus.Preprocessor.Binary.V3
inputsOverlapsWithRefInputsBytes 
1 (Function)Cardano.Ledger.Plutus.Preprocessor.Binary.V2
2 (Function)Cardano.Ledger.Plutus.Preprocessor.Binary.V3
inputsOverlapsWithRefInputsQ 
1 (Function)Cardano.Ledger.Plutus.Preprocessor.Source.V2
2 (Function)Cardano.Ledger.Plutus.Preprocessor.Source.V3
inputsTxBodyLCardano.Ledger.Allegra.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Api.Tx.Body, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Core, Cardano.Ledger.Dijkstra.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Shelley.Core
insert 
1 (Function)Cardano.Chain.Delegation
2 (Function)Cardano.Ledger.UMap
3 (Function)Cardano.Ledger.Mary.Value
4 (Function)Test.Control.State.Transition.Examples.CommitReveal
insert'Cardano.Ledger.UMap
insertDStateCardano.Ledger.State.Query
insertEpochStateCardano.Ledger.State.Query
insertGetKeyCardano.Ledger.State.Query
insertLedgerStateCardano.Ledger.State.Query
insertMultiAssetCardano.Ledger.Mary.Value
insertSnapShotCardano.Ledger.State.Query
insertSnapShotsCardano.Ledger.State.Query
insertUTxOCardano.Ledger.State.Query
insertUTxOStateCardano.Ledger.State.Query
insertWithCardano.Ledger.UMap
insertWith'Cardano.Ledger.UMap
InstallerHash 
1 (Type/Class)Cardano.Chain.Update
2 (Data Constructor)Cardano.Chain.Update
instanRewXTest.Cardano.Ledger.Constrained.Conway.LedgerTypes.WellFormed
InstantaneousRewards 
1 (Type/Class)Cardano.Ledger.Allegra.State, Cardano.Ledger.Alonzo.State, Cardano.Ledger.Babbage.State, Cardano.Ledger.Conway.State, Cardano.Ledger.State, Cardano.Ledger.Dijkstra.State, Cardano.Ledger.Mary.State, Cardano.Ledger.Shelley.State, Cardano.Ledger.Shelley.LedgerState, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
2 (Data Constructor)Cardano.Ledger.Allegra.State, Cardano.Ledger.Alonzo.State, Cardano.Ledger.Babbage.State, Cardano.Ledger.Conway.State, Cardano.Ledger.State, Cardano.Ledger.Dijkstra.State, Cardano.Ledger.Mary.State, Cardano.Ledger.Shelley.State, Cardano.Ledger.Shelley.LedgerState, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
instantaneousRewardsZeroTest.Cardano.Ledger.Generic.ModelState
InstantStakeCardano.Ledger.Allegra.State, Cardano.Ledger.Allegra.State, Cardano.Ledger.Alonzo.State, Cardano.Ledger.Alonzo.State, Cardano.Ledger.Babbage.State, Cardano.Ledger.Babbage.State, Cardano.Ledger.Conway.State, Cardano.Ledger.Conway.State, Cardano.Ledger.State, Cardano.Ledger.State, Cardano.Ledger.Dijkstra.State, Cardano.Ledger.Dijkstra.State, Cardano.Ledger.Mary.State, Cardano.Ledger.Mary.State, Cardano.Ledger.Shelley.State, Cardano.Ledger.Shelley.State
instantStakeCredentialsLCardano.Ledger.Allegra.State, Cardano.Ledger.Alonzo.State, Cardano.Ledger.Babbage.State, Cardano.Ledger.Conway.State, Cardano.Ledger.State, Cardano.Ledger.Dijkstra.State, Cardano.Ledger.Mary.State, Cardano.Ledger.Shelley.State
instantStakeGCardano.Ledger.Allegra.State, Cardano.Ledger.Alonzo.State, Cardano.Ledger.Babbage.State, Cardano.Ledger.Conway.State, Cardano.Ledger.State, Cardano.Ledger.Dijkstra.State, Cardano.Ledger.Mary.State, Cardano.Ledger.Shelley.State
instantStakeLCardano.Ledger.Allegra.State, Cardano.Ledger.Alonzo.State, Cardano.Ledger.Babbage.State, Cardano.Ledger.Conway.State, Cardano.Ledger.State, Cardano.Ledger.Dijkstra.State, Cardano.Ledger.Mary.State, Cardano.Ledger.Shelley.State
InsufficientCollateral 
1 (Data Constructor)Cardano.Ledger.Alonzo.Rules
2 (Data Constructor)Cardano.Ledger.Conway.Rules
InsufficientForInstantaneousRewardsDELEGCardano.Ledger.Shelley.Rules
InsufficientForTransferDELEGCardano.Ledger.Shelley.Rules
InsufficientWitnessesByron.Spec.Ledger.STS.UTXOW
int64Test.Cardano.Ledger.Allegra.CDDL, Test.Cardano.Ledger.Alonzo.CDDL, Test.Cardano.Ledger.Babbage.CDDL, Test.Cardano.Ledger.Conway.CDDL, Test.Cardano.Ledger.Core.Binary.CDDL, Test.Cardano.Ledger.Dijkstra.CDDL, Test.Cardano.Ledger.Mary.CDDL, Test.Cardano.Ledger.Shelley.CDDL
integerToHashTest.Cardano.Ledger.Conformance.Utils, Test.Cardano.Ledger.Conformance
integerToLovelaceCardano.Chain.Common
integerToWord64Cardano.Ledger.Coin
integralLawsTest.Common
integralToBoundedCardano.Ledger.BaseTypes
integralToByteStringNCardano.Ledger.Tools
intendedResultTest.Cardano.Ledger.Shelley.Examples.Chain
interleaveTest.Hedgehog.Extra.Manual
interleaveInputOutputByron.Spec.Ledger.UTxO.Generators
interleaveInputOutputTreeTByron.Spec.Ledger.UTxO.Generators
interleavePreservingByron.Spec.Ledger.UTxO.Generators
interleaveTreeTByron.Spec.Ledger.UTxO.Generators
interleaveTreeTPreservingByron.Spec.Ledger.UTxO.Generators
Intern 
1 (Type/Class)Cardano.Ledger.Binary.Decoding, Cardano.Ledger.Binary
2 (Data Constructor)Cardano.Ledger.Binary.Decoding, Cardano.Ledger.Binary
internCardano.Ledger.State.Transform
internAlonzoTxOutCardano.Ledger.Alonzo.TxOut
internBabbageTxOutCardano.Ledger.Babbage.TxOut
internMapCardano.Ledger.Binary.Decoding, Cardano.Ledger.Binary
internMaybe 
1 (Function)Cardano.Ledger.Binary.Decoding, Cardano.Ledger.Binary
2 (Function)Cardano.Ledger.State.Transform
3 (Function)Data.VMap
Interns 
1 (Type/Class)Cardano.Ledger.Binary.Decoding, Cardano.Ledger.Binary
2 (Data Constructor)Cardano.Ledger.Binary.Decoding, Cardano.Ledger.Binary
internsCardano.Ledger.Binary.Decoding, Cardano.Ledger.Binary
internSetCardano.Ledger.Binary.Decoding, Cardano.Ledger.Binary
internsFromMapCardano.Ledger.Binary.Decoding, Cardano.Ledger.Binary
internsFromSetCardano.Ledger.Binary.Decoding, Cardano.Ledger.Binary
internsFromVMapCardano.Ledger.Binary.Decoding, Cardano.Ledger.Binary
internsValCardano.Ledger.State.Transform
internValCardano.Ledger.State.Transform
internValMaybeCardano.Ledger.State.Transform
internWeightCardano.Ledger.Binary.Decoding, Cardano.Ledger.Binary
interpretSTS 
1 (Function)Test.Control.State.Transition.Trace.Generator.QuickCheck
2 (Function)Test.Control.State.Transition.Generator
IntersectControl.Iterate.Exp
intersectControl.Iterate.Exp, Control.SetAlgebra
intersectDomPData.MapExtras
intersectDomPLeftData.MapExtras
intersectMapSetFoldData.MapExtras
intPercentCardano.Ledger.State.UTxO
InvalidCardano.Ledger.Binary.Coders
InvalidApplicationNameByron.Spec.Ledger.Update
invalidBeforeCardano.Ledger.Allegra.Scripts, Cardano.Ledger.Allegra.TxBody, Cardano.Ledger.Allegra.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Api.Scripts, Cardano.Ledger.Api.Tx.Body, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Dijkstra.Core, Cardano.Ledger.Mary.Core
invalidBeforeLCardano.Ledger.Api.Tx.Body, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api
invalidBeginCardano.Ledger.Alonzo.Rules
InvalidBlockSizeByron.Spec.Chain.STS.Rule.BBody
InvalidBodyHashBBODY 
1 (Data Constructor)Cardano.Ledger.Conway.Rules
2 (Data Constructor)Cardano.Ledger.Shelley.Rules
InvalidCertificateCardano.Chain.Delegation.Validation.Scheduling
InvalidDelegationHashByron.Spec.Chain.STS.Rule.BBody
invalidEndCardano.Ledger.Alonzo.Rules
invalidFieldCardano.Ledger.Binary.Coders
InvalidHeaderSignatureByron.Spec.Chain.STS.Rule.Pbft
invalidHereafterCardano.Ledger.Allegra.Scripts, Cardano.Ledger.Allegra.TxBody, Cardano.Ledger.Allegra.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Api.Scripts, Cardano.Ledger.Api.Tx.Body, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Dijkstra.Core, Cardano.Ledger.Mary.Core
invalidHereAfterLCardano.Ledger.Api.Tx.Body, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api
InvalidKesSignatureOCERTCardano.Protocol.TPraos.Rules.OCert
invalidKeyCardano.Ledger.Binary.Plain, Cardano.Ledger.Binary.Decoding, Cardano.Ledger.Binary.Coders, Cardano.Ledger.Binary, Cardano.Ledger.BaseTypes
InvalidMetadata 
1 (Data Constructor)Cardano.Ledger.Conway.Rules
2 (Data Constructor)Cardano.Ledger.Shelley.Rules
InvalidPolicyHashCardano.Ledger.Conway.Rules
InvalidPrevGovActionIdCardano.Ledger.Conway.Rules
InvalidProposerCardano.Chain.Update.Validation.Registration
InvalidProtocolVersionCardano.Chain.Update.Validation.Registration
InvalidRevealTest.Control.State.Transition.Examples.CommitReveal
invalidScriptFreqTest.Cardano.Ledger.Generic.GenState
InvalidScriptVersionCardano.Chain.Update.Validation.Registration
invalidSignalsAreGeneratedTest.Control.State.Transition.Generator
InvalidSignatureCardano.Chain.Update.Validation.Registration
InvalidSignatureOCERTCardano.Protocol.TPraos.Rules.OCert
InvalidSoftwareVersionCardano.Chain.Update.Validation.Registration
InvalidSystemTagsByron.Spec.Ledger.Update
invalidTraceTest.Control.State.Transition.Generator
InvalidTxInCardano.Ledger.Alonzo.Plutus.Evaluate, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api
InvalidUpdateProposalHashByron.Spec.Chain.STS.Rule.BBody
InvalidUtxoHashByron.Spec.Chain.STS.Rule.BBody
InvalidWitnessesUTXOW 
1 (Data Constructor)Cardano.Ledger.Conway.Rules
2 (Data Constructor)Cardano.Ledger.Shelley.Rules
invalid_before 
1 (Function)Test.Cardano.Ledger.Allegra.CDDL, Test.Cardano.Ledger.Alonzo.CDDL, Test.Cardano.Ledger.Babbage.CDDL, Test.Cardano.Ledger.Mary.CDDL
2 (Function)Test.Cardano.Ledger.Conway.CDDL, Test.Cardano.Ledger.Dijkstra.CDDL
invalid_hereafter 
1 (Function)Test.Cardano.Ledger.Allegra.CDDL, Test.Cardano.Ledger.Alonzo.CDDL, Test.Cardano.Ledger.Babbage.CDDL, Test.Cardano.Ledger.Mary.CDDL
2 (Function)Test.Cardano.Ledger.Conway.CDDL, Test.Cardano.Ledger.Dijkstra.CDDL
invariantHolds 
1 (Function)Data.OMap.Strict
2 (Function)Data.OSet.Strict
invariantHolds' 
1 (Function)Data.OMap.Strict
2 (Function)Data.OSet.Strict
invertCardano.Ledger.Val
invertBijectionByron.Spec.Ledger.Update
invertMapByron.Spec.Ledger.Update
invPtrMapCardano.Ledger.UMap
ioTest.Cardano.Ledger.Imp.Common
ioPropertyTest.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common, Test.Common
ipv4Test.Cardano.Ledger.Allegra.CDDL, Test.Cardano.Ledger.Alonzo.CDDL, Test.Cardano.Ledger.Babbage.CDDL, Test.Cardano.Ledger.Conway.CDDL, Test.Cardano.Ledger.Dijkstra.CDDL, Test.Cardano.Ledger.Mary.CDDL, Test.Cardano.Ledger.Shelley.CDDL
ipv4ToBytesCardano.Ledger.Binary.Encoding, Cardano.Ledger.Binary
ipv6Test.Cardano.Ledger.Allegra.CDDL, Test.Cardano.Ledger.Alonzo.CDDL, Test.Cardano.Ledger.Babbage.CDDL, Test.Cardano.Ledger.Conway.CDDL, Test.Cardano.Ledger.Dijkstra.CDDL, Test.Cardano.Ledger.Mary.CDDL, Test.Cardano.Ledger.Shelley.CDDL
ipv6ToBytesCardano.Ledger.Binary.Encoding, Cardano.Ledger.Binary
IRC 
1 (Type/Class)Control.State.Transition.Extended, Control.State.Transition.Simple, Control.State.Transition
2 (Data Constructor)Control.State.Transition.Extended, Control.State.Transition.Simple, Control.State.Transition
irewardSpecTest.Cardano.Ledger.Constrained.Conway.ParametricSpec
IRReserves 
1 (Type/Class)Cardano.Ledger.State.Schema
2 (Data Constructor)Cardano.Ledger.State.Schema
iRReservesCardano.Ledger.Allegra.State, Cardano.Ledger.Alonzo.State, Cardano.Ledger.Babbage.State, Cardano.Ledger.Conway.State, Cardano.Ledger.State, Cardano.Ledger.Dijkstra.State, Cardano.Ledger.Mary.State, Cardano.Ledger.Shelley.State, Cardano.Ledger.Shelley.LedgerState, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
IRReservesCoinCardano.Ledger.State.Schema
iRReservesCoinCardano.Ledger.State.Schema
IRReservesCredentialIdCardano.Ledger.State.Schema
iRReservesCredentialIdCardano.Ledger.State.Schema
IRReservesDstateIdCardano.Ledger.State.Schema
iRReservesDstateIdCardano.Ledger.State.Schema
IRReservesId 
1 (Type/Class)Cardano.Ledger.State.Schema
2 (Data Constructor)Cardano.Ledger.State.Schema
IRReservesKeyCardano.Ledger.State.Schema
IRTreasury 
1 (Type/Class)Cardano.Ledger.State.Schema
2 (Data Constructor)Cardano.Ledger.State.Schema
iRTreasuryCardano.Ledger.Allegra.State, Cardano.Ledger.Alonzo.State, Cardano.Ledger.Babbage.State, Cardano.Ledger.Conway.State, Cardano.Ledger.State, Cardano.Ledger.Dijkstra.State, Cardano.Ledger.Mary.State, Cardano.Ledger.Shelley.State, Cardano.Ledger.Shelley.LedgerState, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
IRTreasuryCoinCardano.Ledger.State.Schema
iRTreasuryCoinCardano.Ledger.State.Schema
IRTreasuryCredentialIdCardano.Ledger.State.Schema
iRTreasuryCredentialIdCardano.Ledger.State.Schema
IRTreasuryDstateIdCardano.Ledger.State.Schema
iRTreasuryDstateIdCardano.Ledger.State.Schema
IRTreasuryId 
1 (Type/Class)Cardano.Ledger.State.Schema
2 (Data Constructor)Cardano.Ledger.State.Schema
IRTreasuryKeyCardano.Ledger.State.Schema
isAccountRegisteredCardano.Ledger.Allegra.State, Cardano.Ledger.Alonzo.State, Cardano.Ledger.Babbage.State, Cardano.Ledger.Conway.State, Cardano.Ledger.State, Cardano.Ledger.Dijkstra.State, Cardano.Ledger.Mary.State, Cardano.Ledger.Shelley.State
isAdaOnlyCardano.Ledger.Val
isAdaOnlyCompactCardano.Ledger.Val
isAdaOnlyTxOutFCardano.Ledger.Allegra.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Api.Tx.Out, Cardano.Ledger.Api.Tx.Body, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Core, Cardano.Ledger.Dijkstra.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Shelley.Core
IsAlreadyScheduledByron.Spec.Ledger.Delegation
isBootstrapCompactAddrCardano.Ledger.Address
isBootstrapEraCardano.Chain.Slotting
isBootstrapEraPPCardano.Chain.Update
isBootstrapRedeemerCardano.Ledger.Address
isCommitTest.Control.State.Transition.Examples.CommitReveal
isCommitteeAcceptedTest.Cardano.Ledger.Conway.ImpTest
isCommitteeVotingAllowedCardano.Ledger.Conway.Governance
isDelegationCardano.Ledger.Shelley.TxCert
isDRepAcceptedTest.Cardano.Ledger.Conway.ImpTest
isDRepExpiredTest.Cardano.Ledger.Conway.ImpTest
isDRepVotingAllowedCardano.Ledger.Conway.Governance
isEmptyCardano.Chain.Update
isemptyControl.Iterate.Collect
isGenesisDelegationCardano.Ledger.Shelley.TxCert
isGovActionWithPurposeCardano.Ledger.Conway.Governance
isHeaderSizeTooBigFailureByron.Spec.Chain.STS.Rule.Chain
isInstantaneousRewardsCardano.Ledger.Shelley.TxCert
isKeyTest.Cardano.Ledger.Shelley.Generator.ScriptClass
isKeyHashTest.Cardano.Ledger.Constrained.Conway.Deleg, Test.Cardano.Ledger.Constrained.Conway
isLanguageCardano.Ledger.Plutus.Language, Cardano.Ledger.Plutus
isListLawsTest.Common
isMultiAssetSmallEnoughCardano.Ledger.Mary.Value
isNativeScriptCardano.Ledger.Allegra.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Api.Scripts, Cardano.Ledger.Api.Tx.Body, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Core, Cardano.Ledger.Dijkstra.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Shelley.Core
IsNotGenesisKeyByron.Spec.Ledger.Delegation
isnullControl.Iterate.BaseTypes, Control.SetAlgebra
isOnePhaseTest.Cardano.Ledger.Shelley.Generator.ScriptClass
isOverlaySlotCardano.Ledger.BHeaderView, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
isPayCredScriptCompactAddrCardano.Ledger.Address
isPlutusScriptCardano.Ledger.Alonzo.Scripts, Cardano.Ledger.Api.Scripts, Cardano.Ledger.Api.Tx.Body, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api, Cardano.Ledger.Babbage.Scripts, Cardano.Ledger.Conway.Scripts
IsRatioTest.Cardano.Ledger.Core.Rational
isRedeemAddressCardano.Chain.Common
isRedeemUTxOCardano.Chain.UTxO.UTxO, Cardano.Chain.UTxO
isRegPoolCardano.Ledger.Shelley.TxCert
isRegStakeTxCertCardano.Ledger.Allegra.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Api.Tx.Cert, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Core, Cardano.Ledger.Dijkstra.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Shelley.TxCert, Cardano.Ledger.Shelley.Core
isReservesMIRCertCardano.Ledger.Shelley.TxCert
isRetirePoolCardano.Ledger.Shelley.TxCert
isRootTest.Cardano.Ledger.Constrained.Conway.Epoch, Test.Cardano.Ledger.Constrained.Conway
isScriptUpgradeableTest.Cardano.Ledger.Api.Upgrade
isSJustCardano.Ledger.BaseTypes
isSNothingCardano.Ledger.BaseTypes
isSpoAcceptedTest.Cardano.Ledger.Conway.ImpTest
isStakePoolVotingAllowedCardano.Ledger.Conway.Governance
isSuccessTest.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common, Test.Common
issuerByron.Spec.Chain.STS.Rule.SigCnt
issuerIDfromBHBodyCardano.Protocol.TPraos.BHeader
issuerVKCardano.Chain.Delegation
isTodo 
1 (Function)Cardano.Ledger.Binary.Plain
2 (Function)Cardano.Ledger.Binary.Encoding, Cardano.Ledger.Binary
isTreasuryMIRCertCardano.Ledger.Shelley.TxCert
isTrivialTest.Control.State.Transition.Generator
isTxUpgradeableTest.Cardano.Ledger.Api.Upgrade
isUnRegStakeTxCertCardano.Ledger.Allegra.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Api.Tx.Cert, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Core, Cardano.Ledger.Dijkstra.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Shelley.TxCert, Cardano.Ledger.Shelley.Core
IsValid 
1 (Type/Class)Cardano.Ledger.Alonzo.Tx, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api, Cardano.Ledger.Babbage.Tx, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Dijkstra.Core
2 (Data Constructor)Cardano.Ledger.Alonzo.Tx, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api, Cardano.Ledger.Babbage.Tx, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Dijkstra.Core
isValid 
1 (Function)Byron.Spec.Ledger.Core
2 (Function)Cardano.Chain.Delegation
isValid'Test.Cardano.Ledger.Generic.Functions
isValidAlonzoTxLCardano.Ledger.Alonzo.Tx, Cardano.Ledger.Babbage.Tx
isValidPlutusCardano.Ledger.Plutus.Language, Cardano.Ledger.Plutus
isValidPlutusScriptCardano.Ledger.Alonzo.Scripts
isValidTxLCardano.Ledger.Alonzo.Tx, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api, Cardano.Ledger.Babbage.Tx, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Tx, Cardano.Ledger.Conway.Core, Cardano.Ledger.Dijkstra.Core
isZero 
1 (Function)Cardano.Ledger.BaseTypes.NonZero, Cardano.Ledger.BaseTypes
2 (Function)Cardano.Ledger.Val
isZeroAccountBalanceTest.Cardano.Ledger.Constrained.Conway.Deleg, Test.Cardano.Ledger.Constrained.Conway
itTest.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common
iteCborRoundTripFailuresTest.Cardano.Ledger.Allegra.ImpTest, Test.Cardano.Ledger.Alonzo.ImpTest, Test.Cardano.Ledger.Babbage.ImpTest, Test.Cardano.Ledger.Conway.ImpTest, Test.Cardano.Ledger.Mary.ImpTest, Test.Cardano.Ledger.Shelley.ImpTest
iteExpectLedgerRuleConformanceTest.Cardano.Ledger.Allegra.ImpTest, Test.Cardano.Ledger.Alonzo.ImpTest, Test.Cardano.Ledger.Babbage.ImpTest, Test.Cardano.Ledger.Conway.ImpTest, Test.Cardano.Ledger.Mary.ImpTest, Test.Cardano.Ledger.Shelley.ImpTest
iteFixupTest.Cardano.Ledger.Allegra.ImpTest, Test.Cardano.Ledger.Alonzo.ImpTest, Test.Cardano.Ledger.Babbage.ImpTest, Test.Cardano.Ledger.Conway.ImpTest, Test.Cardano.Ledger.Mary.ImpTest, Test.Cardano.Ledger.Shelley.ImpTest
itemPropToTracePropTest.Cardano.Ledger.Generic.AggPropTests
IterControl.Iterate.BaseTypes, Control.SetAlgebra
ixLawsTest.Common