Index - I
| I | |
| 1 (Data Constructor) | Cardano.Ledger.Api.Tx.AuxData, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api |
| 2 (Data Constructor) | Cardano.Ledger.Metadata |
| 3 (Data Constructor) | Cardano.Ledger.Shelley.TxAuxData, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| Id | |
| 1 (Data Constructor) | Test.Cardano.Ledger.Constrained.Monad |
| 2 (Type/Class) | Test.Cardano.Ledger.Constrained.Monad |
| 3 (Data Constructor) | Constrained.Base, Constrained.Spec, Constrained.Internals |
| 4 (Data Constructor) | Test.Control.State.Transition.Examples.CommitReveal |
| 5 (Type/Class) | Test.Control.State.Transition.Examples.CommitReveal |
| idempotentIOProperty | |
| 1 (Function) | Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common |
| 2 (Function) | Test.Common |
| idempotentSemigroupLaws | Test.Common |
| Identity | |
| 1 (Data Constructor) | Cardano.Ledger.Shelley.Rules |
| 2 (Type/Class) | Cardano.Ledger.Shelley.Rules |
| idFn | Constrained.Base, Constrained.Spec, Constrained.Internals |
| idLens | Test.Cardano.Ledger.Constrained.Lenses |
| idTarget | Test.Cardano.Ledger.Constrained.Ast |
| idV | Test.Cardano.Ledger.Constrained.Vars |
| ieAnnotation | |
| 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 |
| ieThrownException | |
| 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 |
| If | Test.Cardano.Ledger.Constrained.Ast |
| ifBootstrap | Test.Cardano.Ledger.Conway.ImpTest |
| ifDecoderVersionAtLeast | Cardano.Ledger.Binary.Decoding, Cardano.Ledger.Binary |
| ifElse | Constrained.Base, Constrained.Spec.Generics, Constrained.Spec, Constrained.Internals, Constrained |
| 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 | |
| 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 |
| impAllegraSatisfyNativeScript | |
| 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 |
| impAnn | |
| 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 |
| impAnnDoc | |
| 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 |
| impEraStartEpochNo | |
| 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 |
| ImpException | |
| 1 (Data Constructor) | Test.Cardano.Ledger.Allegra.ImpTest |
| 2 (Type/Class) | Test.Cardano.Ledger.Allegra.ImpTest |
| 3 (Data Constructor) | Test.Cardano.Ledger.Alonzo.ImpTest |
| 4 (Type/Class) | Test.Cardano.Ledger.Alonzo.ImpTest |
| 5 (Data Constructor) | Test.Cardano.Ledger.Babbage.ImpTest |
| 6 (Type/Class) | Test.Cardano.Ledger.Babbage.ImpTest |
| 7 (Data Constructor) | Test.Cardano.Ledger.Conway.ImpTest |
| 8 (Type/Class) | Test.Cardano.Ledger.Conway.ImpTest |
| 9 (Data Constructor) | Test.Cardano.Ledger.Mary.ImpTest |
| 10 (Type/Class) | Test.Cardano.Ledger.Mary.ImpTest |
| 11 (Type/Class) | Test.Cardano.Ledger.Shelley.ImpTest |
| 12 (Data Constructor) | Test.Cardano.Ledger.Shelley.ImpTest |
| impGetNativeScript | |
| 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 |
| impGetPlutusContexts | |
| 1 (Function) | Test.Cardano.Ledger.Alonzo.ImpTest |
| 2 (Function) | Test.Cardano.Ledger.Babbage.ImpTest |
| 3 (Function) | Test.Cardano.Ledger.Conway.ImpTest |
| impGetScriptContext | |
| 1 (Function) | Test.Cardano.Ledger.Alonzo.ImpTest |
| 2 (Function) | Test.Cardano.Ledger.Babbage.ImpTest |
| 3 (Function) | Test.Cardano.Ledger.Conway.ImpTest |
| impGetScriptContextMaybe | |
| 1 (Function) | Test.Cardano.Ledger.Alonzo.ImpTest |
| 2 (Function) | Test.Cardano.Ledger.Babbage.ImpTest |
| 3 (Function) | Test.Cardano.Ledger.Conway.ImpTest |
| impGlobalsL | |
| 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 |
| ImpInit | |
| 1 (Type/Class) | Test.Cardano.Ledger.Allegra.ImpTest |
| 2 (Type/Class) | Test.Cardano.Ledger.Alonzo.ImpTest |
| 3 (Type/Class) | Test.Cardano.Ledger.Babbage.ImpTest |
| 4 (Type/Class) | Test.Cardano.Ledger.Conway.ImpTest |
| 5 (Type/Class) | Test.Cardano.Ledger.Mary.ImpTest |
| 6 (Type/Class) | Test.Cardano.Ledger.Shelley.ImpTest |
| impKeyPairsG | |
| 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 |
| impLastTickG | |
| 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 |
| impLogToExpr | |
| 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 |
| impLookupPlutusScriptMaybe | |
| 1 (Function) | Test.Cardano.Ledger.Alonzo.ImpTest |
| 2 (Function) | Test.Cardano.Ledger.Babbage.ImpTest |
| 3 (Function) | Test.Cardano.Ledger.Conway.ImpTest |
| impLookupUTxO | |
| 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 |
| ImpM | |
| 1 (Type/Class) | Test.Cardano.Ledger.Allegra.ImpTest |
| 2 (Type/Class) | Test.Cardano.Ledger.Alonzo.ImpTest |
| 3 (Type/Class) | Test.Cardano.Ledger.Babbage.ImpTest |
| 4 (Type/Class) | Test.Cardano.Ledger.Conway.ImpTest |
| 5 (Type/Class) | Test.Cardano.Ledger.Mary.ImpTest |
| 6 (Type/Class) | Test.Cardano.Ledger.Shelley.ImpTest |
| impNativeScriptsG | |
| 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 |
| impNESL | |
| 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 |
| impPlutusWithContexts | |
| 1 (Function) | Test.Cardano.Ledger.Alonzo.ImpTest |
| 2 (Function) | Test.Cardano.Ledger.Babbage.ImpTest |
| 3 (Function) | Test.Cardano.Ledger.Conway.ImpTest |
| impSatisfyNativeScript | |
| 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 |
| impScriptPredicateFailure | |
| 1 (Function) | Test.Cardano.Ledger.Alonzo.ImpTest |
| 2 (Function) | Test.Cardano.Ledger.Babbage.ImpTest |
| 3 (Function) | Test.Cardano.Ledger.Conway.ImpTest |
| impSetSeed | |
| 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 |
| ImpTestEnv | |
| 1 (Data Constructor) | Test.Cardano.Ledger.Allegra.ImpTest |
| 2 (Type/Class) | Test.Cardano.Ledger.Allegra.ImpTest |
| 3 (Data Constructor) | Test.Cardano.Ledger.Alonzo.ImpTest |
| 4 (Type/Class) | Test.Cardano.Ledger.Alonzo.ImpTest |
| 5 (Data Constructor) | Test.Cardano.Ledger.Babbage.ImpTest |
| 6 (Type/Class) | Test.Cardano.Ledger.Babbage.ImpTest |
| 7 (Data Constructor) | Test.Cardano.Ledger.Conway.ImpTest |
| 8 (Type/Class) | Test.Cardano.Ledger.Conway.ImpTest |
| 9 (Data Constructor) | Test.Cardano.Ledger.Mary.ImpTest |
| 10 (Type/Class) | Test.Cardano.Ledger.Mary.ImpTest |
| 11 (Data Constructor) | Test.Cardano.Ledger.Shelley.ImpTest |
| 12 (Type/Class) | Test.Cardano.Ledger.Shelley.ImpTest |
| ImpTestM | |
| 1 (Type/Class) | Test.Cardano.Ledger.Allegra.ImpTest |
| 2 (Type/Class) | Test.Cardano.Ledger.Alonzo.ImpTest |
| 3 (Type/Class) | Test.Cardano.Ledger.Babbage.ImpTest |
| 4 (Type/Class) | Test.Cardano.Ledger.Conway.ImpTest |
| 5 (Type/Class) | Test.Cardano.Ledger.Mary.ImpTest |
| 6 (Type/Class) | Test.Cardano.Ledger.Shelley.ImpTest |
| ImpTestState | |
| 1 (Type/Class) | Test.Cardano.Ledger.Allegra.ImpTest |
| 2 (Type/Class) | Test.Cardano.Ledger.Alonzo.ImpTest |
| 3 (Type/Class) | Test.Cardano.Ledger.Babbage.ImpTest |
| 4 (Type/Class) | Test.Cardano.Ledger.Conway.ImpTest |
| 5 (Type/Class) | Test.Cardano.Ledger.Mary.ImpTest |
| 6 (Type/Class) | Test.Cardano.Ledger.Shelley.ImpTest |
| impWitsVKeyNeeded | |
| 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 |
| includingOptions | Test.Common |
| IncompatibleBudget | |
| 1 (Data Constructor) | Cardano.Ledger.Alonzo.Plutus.Evaluate |
| 2 (Data Constructor) | 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 | Cardano.Ledger.Shelley.LedgerState, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| incrementalStake | |
| 1 (Function) | Test.Cardano.Ledger.Generic.Properties |
| 2 (Function) | Test.Cardano.Ledger.Constrained.Vars |
| incrementalStakeDistr | Cardano.Ledger.Shelley.LedgerState |
| incrementalStakeT | Test.Cardano.Ledger.Constrained.Vars |
| incrementalStakeZero | Test.Cardano.Ledger.Generic.ModelState |
| 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.Internal, Cardano.Ledger.Alonzo.TxBody |
| indexedGovProps | Cardano.Ledger.Conway.Governance |
| indexOf | Cardano.Ledger.Alonzo.TxBody.Internal, Cardano.Ledger.Alonzo.TxBody |
| indexProxy | Cardano.Ledger.SafeHash |
| IndividualPoolStake | |
| 1 (Data Constructor) | Cardano.Ledger.PoolDistr |
| 2 (Type/Class) | Cardano.Ledger.PoolDistr |
| individualPoolStake | |
| 1 (Function) | Cardano.Ledger.PoolDistr |
| 2 (Function) | Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| individualPoolStakeL | Test.Cardano.Ledger.Constrained.Vars |
| individualPoolStakeVrf | Cardano.Ledger.PoolDistr |
| individualTotalPoolStake | Cardano.Ledger.PoolDistr |
| individualTotalPoolStakeL | Cardano.Ledger.PoolDistr |
| InfiniteList | |
| 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 |
| infiniteList | |
| 1 (Function) | Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common |
| 2 (Function) | Test.Common |
| infiniteListInternalData | |
| 1 (Function) | Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common |
| 2 (Function) | Test.Common |
| infiniteListOf | |
| 1 (Function) | Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common |
| 2 (Function) | Test.Common |
| InfoAction | |
| 1 (Data Constructor) | Cardano.Ledger.Api.Governance, Cardano.Ledger.Api |
| 2 (Data Constructor) | 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 | |
| 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 |
| 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.Delegation.Validation.Interface |
| 2 (Function) | Cardano.Chain.Update.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 | |
| 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 |
| initNewEpochState | |
| 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 |
| InitOutputs | |
| 1 (Data Constructor) | Test.Cardano.Ledger.Examples.BabbageFeatures |
| 2 (Type/Class) | 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 (Data Constructor) | Test.Cardano.Ledger.Examples.BabbageFeatures |
| 2 (Type/Class) | 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.Base, Constrained.Spec, Constrained.Internals |
| inject | |
| 1 (Function) | Cardano.Ledger.BaseTypes, Cardano.Ledger.Val, Cardano.Ledger.Rules.ValidationMode |
| 2 (Function) | Constrained.Base, Constrained.Spec, Constrained.Internals, Constrained |
| inject' | Constrained.Base, Constrained.Spec, Constrained.Internals |
| injectCompact | Cardano.Ledger.Val |
| injectEvent | |
| 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 |
| injectFailure | |
| 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 |
| injectFee | Test.Cardano.Ledger.Generic.Functions |
| injectFn | Constrained.Univ, Constrained.Internals, Constrained |
| injectFn0 | Constrained.Univ, Constrained.Internals |
| injectIntoTestState | |
| 1 (Function) | Cardano.Ledger.Api.Transition |
| 2 (Function) | Cardano.Ledger.Shelley.Transition |
| InjectRuleEvent | |
| 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.Core |
| 6 (Type/Class) | Cardano.Ledger.Mary.Core |
| 7 (Type/Class) | Cardano.Ledger.Shelley.Core |
| InjectRuleFailure | |
| 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.Core |
| 6 (Type/Class) | Cardano.Ledger.Mary.Core |
| 7 (Type/Class) | Cardano.Ledger.Shelley.Core |
| injectSOPLeft | Constrained.Base, Constrained.Spec, Constrained.Internals |
| injectSOPRight | Constrained.Base, Constrained.Spec, Constrained.Internals |
| InjLeft | Constrained.Univ, Constrained.Internals |
| injLeftFn | Constrained.Univ, Constrained.Internals |
| InjRight | Constrained.Univ, Constrained.Internals |
| injRightFn | Constrained.Univ, Constrained.Internals |
| 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.Examples.BabbageFeatures |
| 3 (Function) | Test.Cardano.Ledger.Constrained.Vars |
| Inputs' | Test.Cardano.Ledger.Generic.Fields |
| inputs' | Cardano.Ledger.Alonzo.TxBody.Internal, 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 | Test.Cardano.Ledger.Plutus.Examples |
| inputsOutputsAreNotEmptyWithDatum | Test.Cardano.Ledger.Plutus.Examples |
| inputsTxBodyL | |
| 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 |
| inputWithInlineDatum | Test.Cardano.Ledger.Babbage.TxInfo |
| inputWithRefScript | Test.Cardano.Ledger.Babbage.TxInfo |
| Insert | Constrained.Univ, Constrained.Internals |
| 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, Constrained.Internals, Constrained |
| InstallerHash | |
| 1 (Data Constructor) | Cardano.Chain.Update |
| 2 (Type/Class) | 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 (Data Constructor) | Cardano.Ledger.CertState |
| 2 (Type/Class) | Cardano.Ledger.CertState |
| 3 (Type/Class) | Cardano.Ledger.Shelley.LedgerState, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| 4 (Data Constructor) | Cardano.Ledger.Shelley.LedgerState, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| 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 |
| 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 | |
| 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 |
| 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 (Data Constructor) | Cardano.Ledger.Binary.Decoding, Cardano.Ledger.Binary |
| 2 (Type/Class) | Cardano.Ledger.Binary.Decoding, Cardano.Ledger.Binary |
| intern | Cardano.Ledger.State.Transform |
| internAlonzoTxOut | Cardano.Ledger.Alonzo.TxOut |
| internBabbageTxOut | Cardano.Ledger.Babbage.TxOut |
| internMaybe | |
| 1 (Function) | Cardano.Ledger.Binary.Decoding, Cardano.Ledger.Binary |
| 2 (Function) | Cardano.Ledger.State.Transform |
| 3 (Function) | Data.VMap |
| Interns | |
| 1 (Data Constructor) | Cardano.Ledger.Binary.Decoding, Cardano.Ledger.Binary |
| 2 (Type/Class) | Cardano.Ledger.Binary.Decoding, Cardano.Ledger.Binary |
| interns | Cardano.Ledger.Binary.Decoding, Cardano.Ledger.Binary |
| internsFromMap | 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.Generator |
| 2 (Function) | Test.Control.State.Transition.Trace.Generator.QuickCheck |
| 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 |
| IntFn | Constrained.Base, Constrained.Spec, Constrained.Internals |
| 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 |
| Invalid | Cardano.Ledger.Binary.Coders |
| InvalidApplicationName | Byron.Spec.Ledger.Update |
| invalidBefore | |
| 1 (Function) | Cardano.Ledger.Allegra.Scripts, Cardano.Ledger.Allegra.TxBody.Internal, Cardano.Ledger.Allegra.TxBody, Cardano.Ledger.Allegra.Core |
| 2 (Function) | Cardano.Ledger.Alonzo.Core |
| 3 (Function) | Cardano.Ledger.Api.Scripts, Cardano.Ledger.Api.Tx.Body, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api |
| 4 (Function) | Cardano.Ledger.Babbage.Core |
| 5 (Function) | Cardano.Ledger.Conway.Core |
| 6 (Function) | Cardano.Ledger.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 | |
| 1 (Function) | Cardano.Ledger.Allegra.Scripts, Cardano.Ledger.Allegra.TxBody.Internal, Cardano.Ledger.Allegra.TxBody, Cardano.Ledger.Allegra.Core |
| 2 (Function) | Cardano.Ledger.Alonzo.Core |
| 3 (Function) | Cardano.Ledger.Api.Scripts, Cardano.Ledger.Api.Tx.Body, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api |
| 4 (Function) | Cardano.Ledger.Babbage.Core |
| 5 (Function) | Cardano.Ledger.Conway.Core |
| 6 (Function) | Cardano.Ledger.Mary.Core |
| invalidHereAfterL | Cardano.Ledger.Api.Tx.Body, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api |
| InvalidKesSignatureOCERT | Cardano.Protocol.TPraos.Rules.OCert |
| invalidKey | |
| 1 (Function) | Cardano.Ledger.Binary.Plain, Cardano.Ledger.Binary.Decoding, Cardano.Ledger.Binary.Coders, Cardano.Ledger.Binary |
| 2 (Function) | 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 | |
| 1 (Data Constructor) | Cardano.Ledger.Alonzo.Plutus.Evaluate |
| 2 (Data Constructor) | 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 |
| 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 |
| invalid_hereafter | |
| 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 |
| invariantHolds | |
| 1 (Function) | Data.OSet.Strict |
| 2 (Function) | Data.OMap.Strict |
| invariantHolds' | |
| 1 (Function) | Data.OSet.Strict |
| 2 (Function) | Data.OMap.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 | |
| 1 (Function) | Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common |
| 2 (Function) | Test.Common |
| IPoolStakeR | Test.Cardano.Ledger.Constrained.TypeRep |
| ipv4 | |
| 1 (Function) | Test.Cardano.Ledger.Allegra.CDDL |
| 2 (Function) | Test.Cardano.Ledger.Alonzo.CDDL |
| 3 (Function) | Test.Cardano.Ledger.Babbage.CDDL |
| 4 (Function) | Test.Cardano.Ledger.Conway.CDDL |
| 5 (Function) | Test.Cardano.Ledger.Mary.CDDL |
| 6 (Function) | Test.Cardano.Ledger.Shelley.CDDL |
| ipv4ToBytes | Cardano.Ledger.Binary.Encoding, Cardano.Ledger.Binary |
| ipv6 | |
| 1 (Function) | Test.Cardano.Ledger.Allegra.CDDL |
| 2 (Function) | Test.Cardano.Ledger.Alonzo.CDDL |
| 3 (Function) | Test.Cardano.Ledger.Babbage.CDDL |
| 4 (Function) | Test.Cardano.Ledger.Conway.CDDL |
| 5 (Function) | Test.Cardano.Ledger.Mary.CDDL |
| 6 (Function) | Test.Cardano.Ledger.Shelley.CDDL |
| ipv6ToBytes | Cardano.Ledger.Binary.Encoding, Cardano.Ledger.Binary |
| IRC | |
| 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 |
| irewardSpec | Test.Cardano.Ledger.Constrained.Conway.ParametricSpec, Test.Cardano.Ledger.Constrained.Conway.Instances, Test.Cardano.Ledger.Constrained.Conway |
| irreflexiveDependencyOn | |
| 1 (Function) | Constrained.Base, Constrained.Spec, Constrained.Internals |
| 2 (Function) | Constrained.Graph |
| IRReserves | |
| 1 (Data Constructor) | Cardano.Ledger.State.Schema |
| 2 (Type/Class) | Cardano.Ledger.State.Schema |
| iRReserves | |
| 1 (Function) | Cardano.Ledger.CertState |
| 2 (Function) | 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 (Data Constructor) | Cardano.Ledger.State.Schema |
| 2 (Type/Class) | Cardano.Ledger.State.Schema |
| IRReservesKey | Cardano.Ledger.State.Schema |
| iRReservesL | Test.Cardano.Ledger.Constrained.Lenses |
| IRTreasury | |
| 1 (Data Constructor) | Cardano.Ledger.State.Schema |
| 2 (Type/Class) | Cardano.Ledger.State.Schema |
| iRTreasury | |
| 1 (Function) | Cardano.Ledger.CertState |
| 2 (Function) | 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 (Data Constructor) | Cardano.Ledger.State.Schema |
| 2 (Type/Class) | Cardano.Ledger.State.Schema |
| IRTreasuryKey | Cardano.Ledger.State.Schema |
| iRTreasuryL | Test.Cardano.Ledger.Constrained.Lenses |
| isAdaOnly | Cardano.Ledger.Val |
| isAdaOnlyCompact | Cardano.Ledger.Val |
| isAdaOnlyTxOutF | |
| 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 |
| 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.Generics, Constrained.Spec, Constrained.Internals, Constrained |
| IsConwayUniv | Test.Cardano.Ledger.Constrained.Conway.Instances.Ledger, Test.Cardano.Ledger.Constrained.Conway.Instances, Test.Cardano.Ledger.Constrained.Conway |
| 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.Base, Constrained.Spec, Constrained.Internals |
| isEmptyPlan | Constrained.Base, Constrained.Spec, Constrained.Internals |
| isErrorLike | Constrained.Base, Constrained.Spec, Constrained.Internals |
| isGenesisDelegation | Cardano.Ledger.Shelley.TxCert |
| isGovActionWithPurpose | Cardano.Ledger.Conway.Governance |
| isHeaderSizeTooBigFailure | Byron.Spec.Chain.STS.Rule.Chain |
| isIf | Test.Cardano.Ledger.Constrained.Solver |
| isInstantaneousRewards | Cardano.Ledger.Shelley.TxCert |
| isJust | Constrained.Spec.Generics, Constrained.Spec, Constrained.Internals, Constrained |
| isKey | Test.Cardano.Ledger.Shelley.Generator.ScriptClass |
| isLanguage | Cardano.Ledger.Plutus.Language, Cardano.Ledger.Plutus |
| isListLaws | Test.Common |
| isLit | Constrained.Base, Constrained.Spec, Constrained.Internals |
| isMapVar | Test.Cardano.Ledger.Constrained.Solver |
| IsMember | Constrained.Univ, Constrained.Internals |
| isMultiAssetSmallEnough | Cardano.Ledger.Mary.Value |
| isNativeScript | |
| 1 (Function) | Cardano.Ledger.Allegra.Core |
| 2 (Function) | Cardano.Ledger.Alonzo.Core |
| 3 (Function) | Cardano.Ledger.Api.Scripts, Cardano.Ledger.Api.Tx.Body, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api |
| 4 (Function) | Cardano.Ledger.Babbage.Core |
| 5 (Function) | Cardano.Ledger.Conway.Core |
| 6 (Function) | Cardano.Ledger.Core |
| 7 (Function) | Cardano.Ledger.Mary.Core |
| 8 (Function) | Cardano.Ledger.Shelley.Core |
| IsNormalType | Constrained.Spec.Generics, Constrained.Spec, Constrained.Internals, Constrained |
| IsNotGenesisKey | Byron.Spec.Ledger.Delegation |
| isnull | Control.Iterate.BaseTypes, Control.SetAlgebra |
| isOk | Constrained.GenT, Constrained.Internals, Constrained |
| isOnePhase | Test.Cardano.Ledger.Shelley.Generator.ScriptClass |
| isOverlaySlot | |
| 1 (Function) | Cardano.Ledger.BHeaderView |
| 2 (Function) | Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| isPayCredScriptCompactAddr | Cardano.Ledger.Address |
| isPlutusScript | |
| 1 (Function) | Cardano.Ledger.Alonzo.Scripts |
| 2 (Function) | Cardano.Ledger.Api.Scripts, Cardano.Ledger.Api.Tx.Body, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api |
| 3 (Function) | Cardano.Ledger.Babbage.Scripts |
| 4 (Function) | Cardano.Ledger.Conway.Scripts |
| IsPred | Constrained.Base, Constrained.Spec, Constrained.Internals, Constrained |
| 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 | |
| 1 (Function) | Cardano.Ledger.Allegra.Core |
| 2 (Function) | Cardano.Ledger.Alonzo.Core |
| 3 (Function) | Cardano.Ledger.Api.Tx.Cert, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api |
| 4 (Function) | Cardano.Ledger.Babbage.Core |
| 5 (Function) | Cardano.Ledger.Conway.Core |
| 6 (Function) | Cardano.Ledger.Core |
| 7 (Function) | Cardano.Ledger.Mary.Core |
| 8 (Function) | Cardano.Ledger.Shelley.TxCert, Cardano.Ledger.Shelley.Core |
| 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 | |
| 1 (Function) | Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common |
| 2 (Function) | Test.Common |
| issuer | Byron.Spec.Chain.STS.Rule.SigCnt |
| issuerIDfromBHBody | Cardano.Protocol.TPraos.BHeader |
| issuerVK | Cardano.Chain.Delegation |
| isSuspendedSpec | Constrained.Base, Constrained.Spec, Constrained.Internals |
| IStake | Cardano.Ledger.Shelley.LedgerState, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| isTodo | |
| 1 (Function) | Cardano.Ledger.Binary.Encoding, Cardano.Ledger.Binary |
| 2 (Function) | Cardano.Ledger.Binary.Plain |
| isTreasuryMIRCert | Cardano.Ledger.Shelley.TxCert |
| isTrivial | Test.Control.State.Transition.Generator |
| isTrueSpec | Constrained.Base, Constrained.Spec, Constrained.Internals |
| isTxUpgradeable | Test.Cardano.Ledger.Core.Binary |
| isUnRegStakeTxCert | |
| 1 (Function) | Cardano.Ledger.Allegra.Core |
| 2 (Function) | Cardano.Ledger.Alonzo.Core |
| 3 (Function) | Cardano.Ledger.Api.Tx.Cert, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api |
| 4 (Function) | Cardano.Ledger.Babbage.Core |
| 5 (Function) | Cardano.Ledger.Conway.Core |
| 6 (Function) | Cardano.Ledger.Core |
| 7 (Function) | Cardano.Ledger.Mary.Core |
| 8 (Function) | Cardano.Ledger.Shelley.TxCert, Cardano.Ledger.Shelley.Core |
| IsValid | |
| 1 (Data Constructor) | Cardano.Ledger.Alonzo.Tx |
| 2 (Type/Class) | Cardano.Ledger.Alonzo.Tx |
| 3 (Type/Class) | Cardano.Ledger.Api.Tx, Cardano.Ledger.Api |
| 4 (Data Constructor) | Cardano.Ledger.Api.Tx, Cardano.Ledger.Api |
| 5 (Data Constructor) | Cardano.Ledger.Babbage.Tx |
| 6 (Type/Class) | Cardano.Ledger.Babbage.Tx |
| isValid | |
| 1 (Function) | Byron.Spec.Ledger.Core |
| 2 (Function) | Cardano.Ledger.Alonzo.Tx |
| 3 (Function) | Cardano.Ledger.Babbage.Tx |
| 4 (Function) | Cardano.Chain.Delegation |
| 5 (Function) | Cardano.Ledger.Conway.Tx |
| isValid' | Test.Cardano.Ledger.Generic.Functions |
| isValidAlonzoTxL | |
| 1 (Function) | Cardano.Ledger.Alonzo.Tx |
| 2 (Function) | Cardano.Ledger.Babbage.Tx |
| isValidPlutus | Cardano.Ledger.Plutus.Language, Cardano.Ledger.Plutus |
| isValidPlutusScript | Cardano.Ledger.Alonzo.Scripts |
| IsValidR | Test.Cardano.Ledger.Constrained.TypeRep |
| isValidTxL | |
| 1 (Function) | Cardano.Ledger.Alonzo.Tx, Cardano.Ledger.Alonzo.Core |
| 2 (Function) | Cardano.Ledger.Api.Tx, Cardano.Ledger.Api |
| 3 (Function) | Cardano.Ledger.Babbage.Tx, Cardano.Ledger.Babbage.Core |
| 4 (Function) | Cardano.Ledger.Conway.Tx, Cardano.Ledger.Conway.Core |
| 5 (Function) | Test.Cardano.Ledger.EraClass |
| isZero | Cardano.Ledger.Val |
| it | Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common |
| iteCborRoundTripFailures | |
| 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 |
| iteExpectLedgerRuleConformance | |
| 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 |
| iteFixup | |
| 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 |
| 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 |