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.Control.State.Transition.Examples.CommitReveal |
2 (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 |
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 |
ifBootstrap | Test.Cardano.Ledger.Conway.ImpTest |
ifDecoderVersionAtLeast | Cardano.Ledger.Binary.Decoding, Cardano.Ledger.Binary |
ifEncodingVersionAtLeast | Cardano.Ledger.Binary.Encoding, Cardano.Ledger.Binary |
ifFailureFree | Control.State.Transition.Extended, Control.State.Transition.Simple, Control.State.Transition |
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 |
impComputeScriptIntegrity | Test.Cardano.Ledger.Alonzo.ImpTest, 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.BlockBody.Internal, Cardano.Ledger.Shelley.BlockBody, Cardano.Ledger.Shelley.BlockChain, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
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 | 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.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 |
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.Dijkstra.State, Cardano.Ledger.Mary.State, Cardano.Ledger.Shelley.State, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
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.Dijkstra.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.Dijkstra.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.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 |
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 |
info_action | Test.Cardano.Ledger.Conway.CDDL, Test.Cardano.Ledger.Dijkstra.CDDL |
inInterval | Cardano.Ledger.Allegra.Scripts |
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 |
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 |
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 |
initSt | Test.Cardano.Ledger.Shelley.Examples.Init |
initStableFields | Test.Cardano.Ledger.Generic.GenState |
initStats | Cardano.Ledger.State.UTxO |
initUTxO | |
1 (Function) | Test.Cardano.Ledger.Shelley.BenchmarkFunctions |
2 (Function) | Test.Cardano.Ledger.Examples.STSTestUtils |
Inject | Cardano.Ledger.BaseTypes, Cardano.Ledger.Rules.ValidationMode |
inject | Cardano.Ledger.BaseTypes, Cardano.Ledger.Val, Cardano.Ledger.Rules.ValidationMode |
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.Dijkstra.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.Dijkstra.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.Dijkstra.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.Dijkstra.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Shelley.Core |
InlineDatumsNotSupported | Cardano.Ledger.Babbage.TxInfo |
inMap | Byron.Spec.Ledger.Update |
inputs | Byron.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 |
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 |
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 |
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.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 |
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 |
insertSnapShot | Cardano.Ledger.State.Query |
insertSnapShots | Cardano.Ledger.State.Query |
insertUTxO | Cardano.Ledger.State.Query |
insertUTxOState | Cardano.Ledger.State.Query |
insertWith | Cardano.Ledger.UMap |
insertWith' | Cardano.Ledger.UMap |
InstallerHash | |
1 (Type/Class) | Cardano.Chain.Update |
2 (Data Constructor) | Cardano.Chain.Update |
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.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 |
instantaneousRewardsZero | Test.Cardano.Ledger.Generic.ModelState |
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.Dijkstra.State, Cardano.Ledger.Dijkstra.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.Dijkstra.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.Dijkstra.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.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 |
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.Dijkstra.CDDL, Test.Cardano.Ledger.Mary.CDDL, Test.Cardano.Ledger.Shelley.CDDL |
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 |
intendedResult | Test.Cardano.Ledger.Shelley.Examples.Chain |
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 |
intersectMapSetFold | Data.MapExtras |
intPercent | Cardano.Ledger.State.UTxO |
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.Dijkstra.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.Dijkstra.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, 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 |
invert | Cardano.Ledger.Val |
invertBijection | Byron.Spec.Ledger.Update |
invertMap | Byron.Spec.Ledger.Update |
invPtrMap | Cardano.Ledger.UMap |
io | Test.Cardano.Ledger.Imp.Common |
ioProperty | Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common, Test.Common |
ipv4 | Test.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 |
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.Dijkstra.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 |
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.Dijkstra.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 |
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.Dijkstra.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 |
isAccountRegistered | 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 |
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.Dijkstra.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Shelley.Core |
IsAlreadyScheduled | Byron.Spec.Ledger.Delegation |
isBootstrapCompactAddr | Cardano.Ledger.Address |
isBootstrapEra | Cardano.Chain.Slotting |
isBootstrapEraPP | Cardano.Chain.Update |
isBootstrapRedeemer | Cardano.Ledger.Address |
isCommit | Test.Control.State.Transition.Examples.CommitReveal |
isCommitteeAccepted | Test.Cardano.Ledger.Conway.ImpTest |
isCommitteeVotingAllowed | Cardano.Ledger.Conway.Governance |
isDelegation | Cardano.Ledger.Shelley.TxCert |
isDRepAccepted | Test.Cardano.Ledger.Conway.ImpTest |
isDRepExpired | Test.Cardano.Ledger.Conway.ImpTest |
isDRepVotingAllowed | Cardano.Ledger.Conway.Governance |
isEmpty | Cardano.Chain.Update |
isempty | Control.Iterate.Collect |
isGenesisDelegation | Cardano.Ledger.Shelley.TxCert |
isGovActionWithPurpose | Cardano.Ledger.Conway.Governance |
isHeaderSizeTooBigFailure | Byron.Spec.Chain.STS.Rule.Chain |
isInstantaneousRewards | Cardano.Ledger.Shelley.TxCert |
isKey | Test.Cardano.Ledger.Shelley.Generator.ScriptClass |
isKeyHash | Test.Cardano.Ledger.Constrained.Conway.Deleg, Test.Cardano.Ledger.Constrained.Conway |
isLanguage | Cardano.Ledger.Plutus.Language, Cardano.Ledger.Plutus |
isListLaws | Test.Common |
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.Dijkstra.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Shelley.Core |
IsNotGenesisKey | Byron.Spec.Ledger.Delegation |
isnull | Control.Iterate.BaseTypes, Control.SetAlgebra |
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 |
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.Dijkstra.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.Api.Upgrade |
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 |
isTxUpgradeable | Test.Cardano.Ledger.Api.Upgrade |
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.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 |
isValidAlonzoTxL | Cardano.Ledger.Alonzo.Tx, Cardano.Ledger.Babbage.Tx |
isValidPlutus | Cardano.Ledger.Plutus.Language, Cardano.Ledger.Plutus |
isValidPlutusScript | Cardano.Ledger.Alonzo.Scripts |
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, Cardano.Ledger.Dijkstra.Core |
isZero | |
1 (Function) | Cardano.Ledger.BaseTypes.NonZero, Cardano.Ledger.BaseTypes |
2 (Function) | Cardano.Ledger.Val |
isZeroAccountBalance | Test.Cardano.Ledger.Constrained.Conway.Deleg, Test.Cardano.Ledger.Constrained.Conway |
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 |
itemPropToTraceProp | Test.Cardano.Ledger.Generic.AggPropTests |
Iter | Control.Iterate.BaseTypes, Control.SetAlgebra |
ixLaws | Test.Common |