Index - I
| I | Cardano.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.Cardano.Ledger.Constrained.Monad |
| 2 (Data Constructor) | Test.Cardano.Ledger.Constrained.Monad |
| 3 (Type/Class) | Test.Control.State.Transition.Examples.CommitReveal |
| 4 (Data Constructor) | Test.Control.State.Transition.Examples.CommitReveal |
| idempotentIOProperty | Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common, Test.Common |
| idempotentSemigroupLaws | Test.Common |
| Identity | |
| 1 (Type/Class) | Cardano.Ledger.Shelley.Rules |
| 2 (Data Constructor) | Cardano.Ledger.Shelley.Rules |
| idFn | Constrained.TheKnot |
| idLens | Test.Cardano.Ledger.Constrained.Lenses |
| idTarget | Test.Cardano.Ledger.Constrained.Ast |
| idV | Test.Cardano.Ledger.Constrained.Vars |
| IdW | Constrained.TheKnot |
| id_ | Constrained.TheKnot, Constrained.API |
| ieAnnotation | 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 |
| ieThrownException | 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 |
| If | Test.Cardano.Ledger.Constrained.Ast |
| ifBootstrap | Test.Cardano.Ledger.Conway.ImpTest |
| ifDecoderVersionAtLeast | Cardano.Ledger.Binary.Decoding, Cardano.Ledger.Binary |
| ifElse | Constrained.TheKnot, Constrained.API |
| ifElseBackwards | Constrained.Examples.Basic, Constrained.Examples |
| ifElseMany | Constrained.Examples.Basic, Constrained.Examples |
| ifEncodingVersionAtLeast | Cardano.Ledger.Binary.Encoding, Cardano.Ledger.Binary |
| ifFailureFree | Control.State.Transition.Extended, Control.State.Transition.Simple, Control.State.Transition |
| ifRight | Test.Cardano.Ledger.Constrained.Tests |
| ifTrace | Test.Cardano.Ledger.Constrained.Solver |
| ifTyped | Test.Cardano.Ledger.Constrained.Tests |
| ignoreSubject | Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common |
| impAddNativeScript | 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 |
| impAllegraSatisfyNativeScript | 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 |
| impAlonzoExpectTxSuccess | Test.Cardano.Ledger.Alonzo.ImpTest, Test.Cardano.Ledger.Babbage.ImpTest, Test.Cardano.Ledger.Conway.ImpTest |
| impAnn | 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 |
| impAnnDoc | 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 |
| impBabbageExpectTxSuccess | Test.Cardano.Ledger.Babbage.ImpTest, Test.Cardano.Ledger.Conway.ImpTest |
| impEraStartEpochNo | 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 |
| 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 |
| impGetPlutusContexts | Test.Cardano.Ledger.Alonzo.ImpTest, Test.Cardano.Ledger.Babbage.ImpTest, Test.Cardano.Ledger.Conway.ImpTest |
| impGetScriptContext | Test.Cardano.Ledger.Alonzo.ImpTest, Test.Cardano.Ledger.Babbage.ImpTest, Test.Cardano.Ledger.Conway.ImpTest |
| impGetUTxO | 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 |
| impGlobalsL | 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 |
| ImpInit | 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 |
| impKeyPairsG | 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 |
| impLastTickG | 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 |
| impLogToExpr | 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 |
| impLookupNativeScript | 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 |
| impLookupPlutusScript | Test.Cardano.Ledger.Alonzo.ImpTest, Test.Cardano.Ledger.Babbage.ImpTest, Test.Cardano.Ledger.Conway.ImpTest |
| impLookupScriptContext | Test.Cardano.Ledger.Alonzo.ImpTest, Test.Cardano.Ledger.Babbage.ImpTest, Test.Cardano.Ledger.Conway.ImpTest |
| ImpM | 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 |
| impNativeScriptsG | 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 |
| impNESL | 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 |
| impPlutusWithContexts | Test.Cardano.Ledger.Alonzo.ImpTest, Test.Cardano.Ledger.Babbage.ImpTest, Test.Cardano.Ledger.Conway.ImpTest |
| impSatisfyNativeScript | 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 |
| impScriptPredicateFailure | Test.Cardano.Ledger.Alonzo.ImpTest, Test.Cardano.Ledger.Babbage.ImpTest, Test.Cardano.Ledger.Conway.ImpTest |
| impSetSeed | 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 |
| impShelleyExpectTxSuccess | 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 |
| 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 |
| ImpTestM | 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 |
| ImpTestState | 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 |
| impWitsVKeyNeeded | 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 |
| includingOptions | Test.Common |
| IncompatibleBudget | Cardano.Ledger.Alonzo.Plutus.Evaluate, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api |
| IncorrectDepositDELEG | Cardano.Ledger.Conway.Rules |
| IncorrectTotalCollateralField | |
| 1 (Data Constructor) | Cardano.Ledger.Babbage.Rules |
| 2 (Data Constructor) | Cardano.Ledger.Conway.Rules |
| incrBlockCount | Test.Cardano.Ledger.Shelley.Examples.Combinators |
| incrBlocks | Cardano.Ledger.Shelley.BlockChain |
| increaseBy1 | Test.Cardano.Ledger.Constrained.Classes |
| IncreasedTotalBalance | Byron.Spec.Ledger.STS.UTXO |
| increasingProbabilityAt | |
| 1 (Function) | Byron.Spec.Ledger.Update |
| 2 (Function) | Test.Cardano.Ledger.Shelley.Generator.Core |
| incrementalStake | Test.Cardano.Ledger.Generic.Properties |
| incrementStakeInvariant | Test.Cardano.Ledger.Generic.Properties |
| incrStakeComparisonTest | Test.Cardano.Ledger.Shelley.Rules.IncrementalStake |
| incrStakeComputationTest | Test.Cardano.Ledger.Shelley.Rules.IncrementalStake |
| Indexable | Cardano.Ledger.Alonzo.TxBody |
| indexedGovProps | Cardano.Ledger.Conway.Governance |
| IndexOf | Constrained.List |
| indexOf | Cardano.Ledger.Alonzo.TxBody |
| indexProxy | Cardano.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.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.Mary.State, Cardano.Ledger.Shelley.State |
| individualPoolStake | Cardano.Ledger.Allegra.State, Cardano.Ledger.Alonzo.State, Cardano.Ledger.Babbage.State, Cardano.Ledger.Conway.State, Cardano.Ledger.PoolDistr, Cardano.Ledger.State, Cardano.Ledger.Mary.State, Cardano.Ledger.Shelley.State, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| individualPoolStakeL | Test.Cardano.Ledger.Constrained.Vars |
| individualPoolStakeVrf | Cardano.Ledger.Allegra.State, Cardano.Ledger.Alonzo.State, Cardano.Ledger.Babbage.State, Cardano.Ledger.Conway.State, Cardano.Ledger.PoolDistr, Cardano.Ledger.State, Cardano.Ledger.Mary.State, Cardano.Ledger.Shelley.State |
| individualTotalPoolStake | Cardano.Ledger.Allegra.State, Cardano.Ledger.Alonzo.State, Cardano.Ledger.Babbage.State, Cardano.Ledger.Conway.State, Cardano.Ledger.PoolDistr, Cardano.Ledger.State, Cardano.Ledger.Mary.State, Cardano.Ledger.Shelley.State |
| individualTotalPoolStakeL | Cardano.Ledger.Allegra.State, Cardano.Ledger.Alonzo.State, Cardano.Ledger.Babbage.State, Cardano.Ledger.Conway.State, Cardano.Ledger.PoolDistr, Cardano.Ledger.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 |
| infiniteList | Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common, Test.Common |
| infiniteListInternalData | Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common, Test.Common |
| infiniteListOf | Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common, Test.Common |
| InfoAction | Cardano.Ledger.Api.Governance, Cardano.Ledger.Api, Cardano.Ledger.Conway.Governance |
| infoActionT | Test.Cardano.Ledger.Constrained.Vars |
| info_action | Test.Cardano.Ledger.Conway.CDDL |
| inInterval | Cardano.Ledger.Allegra.Scripts |
| initEnv | Test.Cardano.Ledger.Constrained.Tests |
| initGenesis | 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 |
| Initial | |
| 1 (Data Constructor) | Cardano.Chain.Epoch.Validation |
| 2 (Data Constructor) | Control.State.Transition.Extended, Control.State.Transition.Simple, Control.State.Transition |
| initialChainDepState | Cardano.Protocol.TPraos.API |
| initialChainValidationState | Cardano.Chain.Block |
| initialEnvFromGenesisKeys | Byron.Spec.Ledger.Delegation |
| initialFundsPseudoTxIn | Cardano.Ledger.Shelley.Genesis, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| initialLedgerState | Test.Cardano.Ledger.Generic.GenState |
| initialMockChainState | Test.Cardano.Ledger.Generic.Trace |
| initialOrder | Test.Cardano.Ledger.Constrained.Rewrite |
| initialPParams | Byron.Spec.Ledger.Update |
| InitialRule | Control.State.Transition.Extended, Control.State.Transition.Simple, Control.State.Transition |
| initialRules | Control.State.Transition.Extended, Control.State.Transition.Simple, Control.State.Transition |
| initialShelleyState | Test.Cardano.Ledger.Shelley.Rules.Chain |
| initialState | |
| 1 (Function) | Cardano.Chain.Update.Validation.Interface |
| 2 (Function) | Cardano.Chain.Delegation.Validation.Interface |
| initialTx | Test.Cardano.Ledger.Generic.Fields |
| initialTxBody | Test.Cardano.Ledger.Generic.Fields |
| initialTxOut | Test.Cardano.Ledger.Generic.Fields |
| initialWitnesses | Test.Cardano.Ledger.Generic.Fields |
| initImpTestState | 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 |
| initNewEpochState | 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 |
| InitOutputs | |
| 1 (Type/Class) | Test.Cardano.Ledger.Examples.BabbageFeatures |
| 2 (Data Constructor) | Test.Cardano.Ledger.Examples.BabbageFeatures |
| initOutputs | Test.Cardano.Ledger.Examples.BabbageFeatures |
| initPulser | Test.Cardano.Ledger.Constrained.Vars |
| initSt | Test.Cardano.Ledger.Shelley.Examples.Init |
| initStableFields | Test.Cardano.Ledger.Generic.GenState |
| initStats | Cardano.Ledger.State.UTxO |
| InitUtxo | |
| 1 (Type/Class) | Test.Cardano.Ledger.Examples.BabbageFeatures |
| 2 (Data Constructor) | Test.Cardano.Ledger.Examples.BabbageFeatures |
| initUTxO | |
| 1 (Function) | Test.Cardano.Ledger.Shelley.BenchmarkFunctions |
| 2 (Function) | Test.Cardano.Ledger.Examples.STSTestUtils |
| initVI | Test.Cardano.Ledger.Generic.Fields |
| initWithdrawals | Test.Cardano.Ledger.Generic.Fields |
| Inject | |
| 1 (Type/Class) | Cardano.Ledger.BaseTypes, Cardano.Ledger.Rules.ValidationMode |
| 2 (Type/Class) | Constrained.Generic |
| inject | |
| 1 (Function) | Cardano.Ledger.BaseTypes, Cardano.Ledger.Val, Cardano.Ledger.Rules.ValidationMode |
| 2 (Function) | Constrained.Generic |
| inject' | Constrained.Generic |
| injectCompact | Cardano.Ledger.Val |
| injectEvent | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Shelley.Core |
| injectFailure | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Shelley.Core |
| injectFee | Test.Cardano.Ledger.Generic.Functions |
| injectIntoTestState | Cardano.Ledger.Api.Transition, Cardano.Ledger.Shelley.Transition |
| InjectRuleEvent | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Shelley.Core |
| InjectRuleFailure | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Shelley.Core |
| injectSOPLeft | Constrained.Generic |
| injectSOPRight | Constrained.Generic |
| InjLeft | Constrained.TheKnot |
| InjLeftW | Constrained.TheKnot, Constrained.Spec.SumProd |
| injLeft_ | Constrained.TheKnot, Constrained.Spec.SumProd, Constrained.API |
| InjRight | Constrained.TheKnot |
| InjRightW | Constrained.TheKnot, Constrained.Spec.SumProd |
| injRight_ | Constrained.TheKnot, Constrained.Spec.SumProd, Constrained.API |
| inlineDatumOutput | Test.Cardano.Ledger.Babbage.TxInfo |
| InlineDatumsNotSupported | Cardano.Ledger.Babbage.TxInfo |
| inMap | Byron.Spec.Ledger.Update |
| InOut | Test.Cardano.Ledger.Examples.BabbageFeatures |
| Inputs | Test.Cardano.Ledger.Generic.Fields |
| inputs | |
| 1 (Function) | Byron.Spec.Ledger.UTxO |
| 2 (Function) | Test.Cardano.Ledger.Constrained.Vars |
| 3 (Function) | Test.Cardano.Ledger.Examples.BabbageFeatures |
| Inputs' | Test.Cardano.Ledger.Generic.Fields |
| inputs' | Cardano.Ledger.Alonzo.TxBody |
| inputsAction | Test.Cardano.Ledger.Constrained.Trace.Actions |
| 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 |
| inputsGenerateWithin | Test.Cardano.Ledger.Conformance.ExecSpecRule.Core, Test.Cardano.Ledger.Conformance |
| InputsNotInUTxO | Byron.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 |
| inputsTxBodyL | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Api.Tx.Body, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Shelley.Core, Test.Cardano.Ledger.EraClass |
| inputWithInlineDatum | Test.Cardano.Ledger.Babbage.TxInfo |
| inputWithRefScript | Test.Cardano.Ledger.Babbage.TxInfo |
| insert | |
| 1 (Function) | Cardano.Chain.Delegation |
| 2 (Function) | Cardano.Ledger.UMap |
| 3 (Function) | Cardano.Ledger.Mary.Value |
| 4 (Function) | Test.Cardano.Ledger.ValueFromList |
| 5 (Function) | Test.Control.State.Transition.Examples.CommitReveal |
| insert' | Cardano.Ledger.UMap |
| InsertDRep | Test.Cardano.Ledger.UMapSpec |
| insertDState | Cardano.Ledger.State.Query |
| insertEpochState | Cardano.Ledger.State.Query |
| insertGetKey | Cardano.Ledger.State.Query |
| insertLedgerState | Cardano.Ledger.State.Query |
| insertMultiAsset | Cardano.Ledger.Mary.Value |
| InsertPtr | Test.Cardano.Ledger.UMapSpec |
| InsertRDPair | Test.Cardano.Ledger.UMapSpec |
| insertSnapShot | Cardano.Ledger.State.Query |
| insertSnapShots | Cardano.Ledger.State.Query |
| InsertSPool | Test.Cardano.Ledger.UMapSpec |
| insertUTxO | Cardano.Ledger.State.Query |
| insertUTxOState | Cardano.Ledger.State.Query |
| insertWith | Cardano.Ledger.UMap |
| insertWith' | Cardano.Ledger.UMap |
| inspect | Constrained.GenT |
| InstallerHash | |
| 1 (Type/Class) | Cardano.Chain.Update |
| 2 (Data Constructor) | Cardano.Chain.Update |
| instanReserves | Test.Cardano.Ledger.Constrained.Vars |
| instanReservesL | Test.Cardano.Ledger.Constrained.Vars |
| instanReservesSum | Test.Cardano.Ledger.Constrained.Vars |
| instanRewX | Test.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.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.Mary.State, Cardano.Ledger.Shelley.State, Cardano.Ledger.Shelley.LedgerState, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| instantaneousRewardsT | Test.Cardano.Ledger.Constrained.Vars |
| instantaneousRewardsZero | Test.Cardano.Ledger.Generic.ModelState |
| instanTreasury | Test.Cardano.Ledger.Constrained.Vars |
| instanTreasuryL | Test.Cardano.Ledger.Constrained.Vars |
| instanTreasurySum | Test.Cardano.Ledger.Constrained.Vars |
| InstantStake | Cardano.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.Mary.State, Cardano.Ledger.Mary.State, Cardano.Ledger.Shelley.State, Cardano.Ledger.Shelley.State |
| instantStakeCredentialsL | Cardano.Ledger.Allegra.State, Cardano.Ledger.Alonzo.State, Cardano.Ledger.Babbage.State, Cardano.Ledger.Conway.State, Cardano.Ledger.State, Cardano.Ledger.Mary.State, Cardano.Ledger.Shelley.State |
| instantStakeG | Cardano.Ledger.Allegra.State, Cardano.Ledger.Alonzo.State, Cardano.Ledger.Babbage.State, Cardano.Ledger.Conway.State, Cardano.Ledger.State, Cardano.Ledger.Mary.State, Cardano.Ledger.Shelley.State |
| instantStakeL | Cardano.Ledger.Allegra.State, Cardano.Ledger.Alonzo.State, Cardano.Ledger.Babbage.State, Cardano.Ledger.Conway.State, Cardano.Ledger.State, Cardano.Ledger.Mary.State, Cardano.Ledger.Shelley.State |
| instantStakeTarget | Test.Cardano.Ledger.Constrained.Vars |
| instantStakeTerm | Test.Cardano.Ledger.Constrained.Vars |
| instantSummary | Test.Cardano.Ledger.Generic.PrettyCore |
| InsufficientCollateral | |
| 1 (Data Constructor) | Cardano.Ledger.Alonzo.Rules |
| 2 (Data Constructor) | Cardano.Ledger.Conway.Rules |
| InsufficientForInstantaneousRewardsDELEG | Cardano.Ledger.Shelley.Rules |
| InsufficientForTransferDELEG | Cardano.Ledger.Shelley.Rules |
| InsufficientWitnesses | Byron.Spec.Ledger.STS.UTXOW |
| int64 | Test.Cardano.Ledger.Allegra.CDDL, Test.Cardano.Ledger.Alonzo.CDDL, Test.Cardano.Ledger.Babbage.CDDL, Test.Cardano.Ledger.Conway.CDDL, Test.Cardano.Ledger.Core.Binary.CDDL, Test.Cardano.Ledger.Mary.CDDL, Test.Cardano.Ledger.Shelley.CDDL |
| intDeltaCoinL | Test.Cardano.Ledger.Constrained.Spec |
| integerPartition | Test.Cardano.Ledger.Constrained.Classes |
| IntegerR | Test.Cardano.Ledger.Constrained.TypeRep |
| integerToHash | Test.Cardano.Ledger.Conformance.Utils, Test.Cardano.Ledger.Conformance |
| integerToLovelace | Cardano.Chain.Common |
| integerToWord64 | Cardano.Ledger.Coin |
| integralLaws | Test.Common |
| integralToBounded | Cardano.Ledger.BaseTypes |
| integralToByteStringN | Cardano.Ledger.Tools |
| integrityHash | Test.Cardano.Ledger.Constrained.Preds.Tx |
| intendedResult | Test.Cardano.Ledger.Shelley.Examples |
| Interactive | Test.Cardano.Ledger.Constrained.Preds.Repl |
| interleave | Test.Hedgehog.Extra.Manual |
| interleaveInputOutput | Byron.Spec.Ledger.UTxO.Generators |
| interleaveInputOutputTreeT | Byron.Spec.Ledger.UTxO.Generators |
| interleavePreserving | Byron.Spec.Ledger.UTxO.Generators |
| interleaveTreeT | Byron.Spec.Ledger.UTxO.Generators |
| interleaveTreeTPreserving | Byron.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 |
| intern | Cardano.Ledger.State.Transform |
| internAlonzoTxOut | Cardano.Ledger.Alonzo.TxOut |
| internBabbageTxOut | Cardano.Ledger.Babbage.TxOut |
| internMap | Cardano.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 |
| interns | Cardano.Ledger.Binary.Decoding, Cardano.Ledger.Binary |
| internSet | Cardano.Ledger.Binary.Decoding, Cardano.Ledger.Binary |
| internsFromMap | Cardano.Ledger.Binary.Decoding, Cardano.Ledger.Binary |
| internsFromSet | Cardano.Ledger.Binary.Decoding, Cardano.Ledger.Binary |
| internsFromVMap | Cardano.Ledger.Binary.Decoding, Cardano.Ledger.Binary |
| internsVal | Cardano.Ledger.State.Transform |
| internVal | Cardano.Ledger.State.Transform |
| internValMaybe | Cardano.Ledger.State.Transform |
| internWeight | Cardano.Ledger.Binary.Decoding, Cardano.Ledger.Binary |
| interpretSTS | |
| 1 (Function) | Test.Control.State.Transition.Trace.Generator.QuickCheck |
| 2 (Function) | Test.Control.State.Transition.Generator |
| Intersect | Control.Iterate.Exp |
| intersect | Control.Iterate.Exp, Control.SetAlgebra |
| intersectDomP | Data.MapExtras |
| intersectDomPLeft | Data.MapExtras |
| interSectM | Test.Cardano.Ledger.Constrained.Spec |
| intersectMapSetFold | Data.MapExtras |
| intPercent | Cardano.Ledger.State.UTxO |
| IntR | Test.Cardano.Ledger.Constrained.TypeRep |
| intRangeSpec | Constrained.Examples.Basic, Constrained.Examples |
| ints | Test.Cardano.Ledger.Generic.Same |
| intSpec | Constrained.Examples.Basic, Constrained.Examples |
| intSumWithUniqueV | Test.Cardano.Ledger.Constrained.Solver |
| intToNatural | Test.Cardano.Ledger.Constrained.Solver |
| IntW | Constrained.NumSpec |
| Invalid | Cardano.Ledger.Binary.Coders |
| InvalidApplicationName | Byron.Spec.Ledger.Update |
| invalidBefore | Cardano.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.Mary.Core |
| invalidBeforeL | Cardano.Ledger.Api.Tx.Body, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api |
| invalidBegin | Cardano.Ledger.Alonzo.Rules |
| InvalidBlockSize | Byron.Spec.Chain.STS.Rule.BBody |
| InvalidBodyHashBBODY | |
| 1 (Data Constructor) | Cardano.Ledger.Conway.Rules |
| 2 (Data Constructor) | Cardano.Ledger.Shelley.Rules |
| InvalidCertificate | Cardano.Chain.Delegation.Validation.Scheduling |
| InvalidDelegationHash | Byron.Spec.Chain.STS.Rule.BBody |
| invalidEnd | Cardano.Ledger.Alonzo.Rules |
| invalidField | Cardano.Ledger.Binary.Coders |
| InvalidHeaderSignature | Byron.Spec.Chain.STS.Rule.Pbft |
| invalidHereafter | Cardano.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.Mary.Core |
| invalidHereAfterL | Cardano.Ledger.Api.Tx.Body, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api |
| InvalidKesSignatureOCERT | Cardano.Protocol.TPraos.Rules.OCert |
| invalidKey | Cardano.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 |
| InvalidPolicyHash | Cardano.Ledger.Conway.Rules |
| InvalidPrevGovActionId | Cardano.Ledger.Conway.Rules |
| InvalidProposer | Cardano.Chain.Update.Validation.Registration |
| InvalidProtocolVersion | Cardano.Chain.Update.Validation.Registration |
| InvalidReveal | Test.Control.State.Transition.Examples.CommitReveal |
| invalidScriptFreq | Test.Cardano.Ledger.Generic.GenState |
| InvalidScriptVersion | Cardano.Chain.Update.Validation.Registration |
| invalidSignalsAreGenerated | Test.Control.State.Transition.Generator |
| InvalidSignature | Cardano.Chain.Update.Validation.Registration |
| InvalidSignatureOCERT | Cardano.Protocol.TPraos.Rules.OCert |
| InvalidSoftwareVersion | Cardano.Chain.Update.Validation.Registration |
| InvalidSystemTags | Byron.Spec.Ledger.Update |
| invalidTrace | Test.Control.State.Transition.Generator |
| InvalidTxIn | Cardano.Ledger.Alonzo.Plutus.Evaluate, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api |
| InvalidUpdateProposalHash | Byron.Spec.Chain.STS.Rule.BBody |
| InvalidUtxoHash | Byron.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 |
| 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 |
| invariantHolds | |
| 1 (Function) | Data.OMap.Strict |
| 2 (Function) | Data.OSet.Strict |
| invariantHolds' | |
| 1 (Function) | Data.OMap.Strict |
| 2 (Function) | Data.OSet.Strict |
| Invert | Test.Cardano.Ledger.Constrained.Ast |
| invert | Cardano.Ledger.Val |
| invertBijection | Byron.Spec.Ledger.Update |
| invertMap | Byron.Spec.Ledger.Update |
| invPtrMap | Cardano.Ledger.UMap |
| io | Test.Cardano.Ledger.Imp.Common |
| ioGenRS | Test.Cardano.Ledger.Generic.GenState |
| ioProperty | Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common, Test.Common |
| IPoolStakeR | Test.Cardano.Ledger.Constrained.TypeRep |
| ipv4 | Test.Cardano.Ledger.Allegra.CDDL, Test.Cardano.Ledger.Alonzo.CDDL, Test.Cardano.Ledger.Babbage.CDDL, Test.Cardano.Ledger.Conway.CDDL, Test.Cardano.Ledger.Mary.CDDL, Test.Cardano.Ledger.Shelley.CDDL |
| ipv4ToBytes | Cardano.Ledger.Binary.Encoding, Cardano.Ledger.Binary |
| ipv6 | Test.Cardano.Ledger.Allegra.CDDL, Test.Cardano.Ledger.Alonzo.CDDL, Test.Cardano.Ledger.Babbage.CDDL, Test.Cardano.Ledger.Conway.CDDL, Test.Cardano.Ledger.Mary.CDDL, Test.Cardano.Ledger.Shelley.CDDL |
| ipv6ToBytes | Cardano.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 |
| irewardSpec | Test.Cardano.Ledger.Constrained.Conway.ParametricSpec |
| irreflexiveDependencyOn | |
| 1 (Function) | Constrained.Graph |
| 2 (Function) | Constrained.TheKnot |
| IRReserves | |
| 1 (Type/Class) | Cardano.Ledger.State.Schema |
| 2 (Data Constructor) | Cardano.Ledger.State.Schema |
| iRReserves | Cardano.Ledger.Allegra.State, Cardano.Ledger.Alonzo.State, Cardano.Ledger.Babbage.State, Cardano.Ledger.Conway.State, Cardano.Ledger.State, Cardano.Ledger.Mary.State, Cardano.Ledger.Shelley.State, Cardano.Ledger.Shelley.LedgerState, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| IRReservesCoin | Cardano.Ledger.State.Schema |
| iRReservesCoin | Cardano.Ledger.State.Schema |
| IRReservesCredentialId | Cardano.Ledger.State.Schema |
| iRReservesCredentialId | Cardano.Ledger.State.Schema |
| IRReservesDstateId | Cardano.Ledger.State.Schema |
| iRReservesDstateId | Cardano.Ledger.State.Schema |
| IRReservesId | |
| 1 (Type/Class) | Cardano.Ledger.State.Schema |
| 2 (Data Constructor) | Cardano.Ledger.State.Schema |
| IRReservesKey | Cardano.Ledger.State.Schema |
| iRReservesL | Test.Cardano.Ledger.Constrained.Lenses |
| IRTreasury | |
| 1 (Type/Class) | Cardano.Ledger.State.Schema |
| 2 (Data Constructor) | Cardano.Ledger.State.Schema |
| iRTreasury | Cardano.Ledger.Allegra.State, Cardano.Ledger.Alonzo.State, Cardano.Ledger.Babbage.State, Cardano.Ledger.Conway.State, Cardano.Ledger.State, Cardano.Ledger.Mary.State, Cardano.Ledger.Shelley.State, Cardano.Ledger.Shelley.LedgerState, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| IRTreasuryCoin | Cardano.Ledger.State.Schema |
| iRTreasuryCoin | Cardano.Ledger.State.Schema |
| IRTreasuryCredentialId | Cardano.Ledger.State.Schema |
| iRTreasuryCredentialId | Cardano.Ledger.State.Schema |
| IRTreasuryDstateId | Cardano.Ledger.State.Schema |
| iRTreasuryDstateId | Cardano.Ledger.State.Schema |
| IRTreasuryId | |
| 1 (Type/Class) | Cardano.Ledger.State.Schema |
| 2 (Data Constructor) | Cardano.Ledger.State.Schema |
| IRTreasuryKey | Cardano.Ledger.State.Schema |
| iRTreasuryL | Test.Cardano.Ledger.Constrained.Lenses |
| isAdaOnly | Cardano.Ledger.Val |
| isAdaOnlyCompact | Cardano.Ledger.Val |
| isAdaOnlyTxOutF | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Api.Tx.Out, Cardano.Ledger.Api.Tx.Body, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Shelley.Core |
| isAddsType | Test.Cardano.Ledger.Constrained.Solver |
| isAllZeroTree | Constrained.Examples.Tree, Constrained.Examples |
| IsAlreadyScheduled | Byron.Spec.Ledger.Delegation |
| isBootstrapAddr | Test.Cardano.Ledger.Constrained.Preds.TxOut |
| isBootstrapCompactAddr | Cardano.Ledger.Address |
| isBootstrapEra | Cardano.Chain.Slotting |
| isBootstrapEraPP | Cardano.Chain.Update |
| isBootstrapRedeemer | Cardano.Ledger.Address |
| isBST | Constrained.Examples.Tree, Constrained.Examples |
| isCommit | Test.Control.State.Transition.Examples.CommitReveal |
| isCommitteeAccepted | Test.Cardano.Ledger.Conway.ImpTest |
| isCommitteeVotingAllowed | Cardano.Ledger.Conway.Governance |
| isCon | Constrained.Spec.SumProd, Constrained.API |
| isCountType | Test.Cardano.Ledger.Constrained.Solver |
| isCredMapL | Test.Cardano.Ledger.Constrained.Lenses |
| isCredMapT | Test.Cardano.Ledger.Constrained.Vars |
| isDelegation | Cardano.Ledger.Shelley.TxCert |
| isDRepAccepted | Test.Cardano.Ledger.Conway.ImpTest |
| isDRepExpired | Test.Cardano.Ledger.Conway.ImpTest |
| isDRepVotingAllowed | Cardano.Ledger.Conway.Governance |
| isEmpty | |
| 1 (Function) | Cardano.Chain.Update |
| 2 (Function) | Test.Cardano.Ledger.Generic.PrettyCore |
| isempty | Control.Iterate.Collect |
| isEmptyNumSpec | Constrained.SumList |
| isEmptyPlan | Constrained.TheKnot |
| isErrorLike | Constrained.Base |
| isGenesisDelegation | Cardano.Ledger.Shelley.TxCert |
| isGovActionWithPurpose | Cardano.Ledger.Conway.Governance |
| isHeaderSizeTooBigFailure | Byron.Spec.Chain.STS.Rule.Chain |
| isIf | Test.Cardano.Ledger.Constrained.Solver |
| isInfix | Constrained.AbstractSyntax, Constrained.API |
| isInstantaneousRewards | Cardano.Ledger.Shelley.TxCert |
| isJust | Constrained.Spec.SumProd, Constrained.API |
| isKey | Test.Cardano.Ledger.Shelley.Generator.ScriptClass |
| isLanguage | Cardano.Ledger.Plutus.Language, Cardano.Ledger.Plutus |
| isListLaws | Test.Common |
| isLit | Constrained.Syntax |
| isMapVar | Test.Cardano.Ledger.Constrained.Solver |
| isMultiAssetSmallEnough | Cardano.Ledger.Mary.Value |
| isNativeScript | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Api.Scripts, Cardano.Ledger.Api.Tx.Body, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Shelley.Core |
| IsNormalType | Constrained.Spec.SumProd, Constrained.API |
| IsNotGenesisKey | Byron.Spec.Ledger.Delegation |
| isnull | Control.Iterate.BaseTypes, Control.SetAlgebra |
| isOk | Constrained.GenT |
| isOnePhase | Test.Cardano.Ledger.Shelley.Generator.ScriptClass |
| isOverlaySlot | Cardano.Ledger.BHeaderView, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| isPayCredScriptCompactAddr | Cardano.Ledger.Address |
| isPlutusScript | Cardano.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 |
| IsPred | Constrained.Base |
| isPtrMapL | Test.Cardano.Ledger.Constrained.Lenses |
| isPtrMapT | Test.Cardano.Ledger.Constrained.Vars |
| IsRatio | Test.Cardano.Ledger.Core.Rational |
| isRedeemAddress | Cardano.Chain.Common |
| isRedeemUTxO | Cardano.Chain.UTxO.UTxO, Cardano.Chain.UTxO |
| isRegPool | Cardano.Ledger.Shelley.TxCert |
| isRegStakeTxCert | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Api.Tx.Cert, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Shelley.TxCert, Cardano.Ledger.Shelley.Core |
| isReservesMIRCert | Cardano.Ledger.Shelley.TxCert |
| isRetirePool | Cardano.Ledger.Shelley.TxCert |
| isRoot | Test.Cardano.Ledger.Constrained.Conway.Epoch, Test.Cardano.Ledger.Constrained.Conway |
| isScriptUpgradeable | Test.Cardano.Ledger.Core.Binary |
| isSJust | Cardano.Ledger.BaseTypes |
| isSNothing | Cardano.Ledger.BaseTypes |
| isSpoAccepted | Test.Cardano.Ledger.Conway.ImpTest |
| isStakePoolVotingAllowed | Cardano.Ledger.Conway.Governance |
| isSuccess | Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common, Test.Common |
| issuer | Byron.Spec.Chain.STS.Rule.SigCnt |
| issuerIDfromBHBody | Cardano.Protocol.TPraos.BHeader |
| issuerVK | Cardano.Chain.Delegation |
| isTodo | |
| 1 (Function) | Cardano.Ledger.Binary.Plain |
| 2 (Function) | Cardano.Ledger.Binary.Encoding, Cardano.Ledger.Binary |
| isTreasuryMIRCert | Cardano.Ledger.Shelley.TxCert |
| isTrivial | Test.Control.State.Transition.Generator |
| isTrueSpec | Constrained.Syntax |
| isTxUpgradeable | Test.Cardano.Ledger.Core.Binary |
| isUnRegStakeTxCert | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Api.Tx.Cert, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Shelley.TxCert, Cardano.Ledger.Shelley.Core |
| IsValid | |
| 1 (Type/Class) | Cardano.Ledger.Alonzo.Tx, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api, Cardano.Ledger.Babbage.Tx |
| 2 (Data Constructor) | Cardano.Ledger.Alonzo.Tx, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api, Cardano.Ledger.Babbage.Tx |
| isValid | |
| 1 (Function) | Byron.Spec.Ledger.Core |
| 2 (Function) | Cardano.Ledger.Alonzo.Tx, Cardano.Ledger.Babbage.Tx, Cardano.Ledger.Conway.Tx |
| 3 (Function) | Cardano.Chain.Delegation |
| isValid' | Test.Cardano.Ledger.Generic.Functions |
| isValidAlonzoTxL | Cardano.Ledger.Alonzo.Tx, Cardano.Ledger.Babbage.Tx |
| isValidPlutus | Cardano.Ledger.Plutus.Language, Cardano.Ledger.Plutus |
| isValidPlutusScript | Cardano.Ledger.Alonzo.Scripts |
| IsValidR | Test.Cardano.Ledger.Constrained.TypeRep |
| isValidTxL | 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.Tx, Cardano.Ledger.Conway.Core, Test.Cardano.Ledger.EraClass |
| isZero | |
| 1 (Function) | Cardano.Ledger.BaseTypes.NonZero, Cardano.Ledger.BaseTypes |
| 2 (Function) | Cardano.Ledger.Val |
| it | Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common |
| iteCborRoundTripFailures | 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 |
| iteExpectLedgerRuleConformance | 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 |
| iteFixup | 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 |
| itemFromSet | Test.Cardano.Ledger.Constrained.Combinators |
| itemPropToTraceProp | Test.Cardano.Ledger.Generic.AggPropTests |
| itemsToSubst | Test.Cardano.Ledger.Constrained.Ast |
| Iter | Control.Iterate.BaseTypes, Control.SetAlgebra |
| ixLaws | Test.Common |