Index
| accountsFromAccountsMap | Test.Cardano.Ledger.Babbage.Era |
| addCollateralInput | Test.Cardano.Ledger.Babbage.ImpTest |
| addNativeScriptTxWits | Test.Cardano.Ledger.Babbage.ImpTest |
| addRootTxIn | Test.Cardano.Ledger.Babbage.ImpTest |
| advanceToPointOfNoReturn | Test.Cardano.Ledger.Babbage.ImpTest |
| AllegraEraTest | Test.Cardano.Ledger.Babbage.Era |
| AlonzoEraImp | Test.Cardano.Ledger.Babbage.ImpTest |
| AlonzoEraTest | Test.Cardano.Ledger.Babbage.Era |
| alonzoFixupFees | Test.Cardano.Ledger.Babbage.ImpTest |
| alonzoFixupTx | Test.Cardano.Ledger.Babbage.ImpTest |
| ansiDocToString | Test.Cardano.Ledger.Babbage.TreeDiff |
| ansiExpr | Test.Cardano.Ledger.Babbage.TreeDiff |
| ansiExprString | Test.Cardano.Ledger.Babbage.TreeDiff |
| AnsiStyle | Test.Cardano.Ledger.Babbage.TreeDiff, Test.Cardano.Ledger.Babbage.ImpTest |
| ansiWlPretty | Test.Cardano.Ledger.Babbage.TreeDiff |
| App | Test.Cardano.Ledger.Babbage.TreeDiff |
| assertColorFailure | Test.Cardano.Ledger.Babbage.TreeDiff |
| BabbageEraImp | Test.Cardano.Ledger.Babbage.ImpTest |
| BabbageEraTest | Test.Cardano.Ledger.Babbage.Era |
| babbageFixupTx | Test.Cardano.Ledger.Babbage.ImpTest |
| callStackToLocation | Test.Cardano.Ledger.Babbage.TreeDiff |
| cantFollow | Test.Cardano.Ledger.Babbage.ImpTest |
| CBORBytes | |
| 1 (Type/Class) | Test.Cardano.Ledger.Babbage.TreeDiff |
| 2 (Data Constructor) | Test.Cardano.Ledger.Babbage.TreeDiff |
| computeScriptIntegrity | Test.Cardano.Ledger.Babbage.ImpTest |
| computeScriptIntegrityHash | Test.Cardano.Ledger.Babbage.ImpTest |
| decoderEquivalenceCoreEraTypesSpec | Test.Cardano.Ledger.Babbage.Binary.Annotator |
| decoderEquivalenceEraSpec | Test.Cardano.Ledger.Babbage.Binary.Annotator |
| defaultExprViaShow | Test.Cardano.Ledger.Babbage.TreeDiff |
| defaultInitImpTestState | Test.Cardano.Ledger.Babbage.ImpTest |
| defaultInitNewEpochState | Test.Cardano.Ledger.Babbage.ImpTest |
| delegateStake | Test.Cardano.Ledger.Babbage.ImpTest |
| delegStakeTxCert | Test.Cardano.Ledger.Babbage.ImpTest |
| diffExpr | Test.Cardano.Ledger.Babbage.TreeDiff |
| diffExprCompact | Test.Cardano.Ledger.Babbage.TreeDiff |
| diffExprCompactString | Test.Cardano.Ledger.Babbage.TreeDiff |
| diffExprString | Test.Cardano.Ledger.Babbage.TreeDiff |
| disableImpInitPostEpochBoundaryHook | Test.Cardano.Ledger.Babbage.ImpTest |
| disableImpInitPostSubmitTxHook | Test.Cardano.Ledger.Babbage.ImpTest |
| disableInConformanceIt | Test.Cardano.Ledger.Babbage.ImpTest |
| disableTreasuryExpansion | Test.Cardano.Ledger.Babbage.ImpTest |
| Doc | Test.Cardano.Ledger.Babbage.TreeDiff, Test.Cardano.Ledger.Babbage.ImpTest |
| ediff | Test.Cardano.Ledger.Babbage.TreeDiff |
| EraSpecificSpec | Test.Cardano.Ledger.Babbage.ImpTest |
| eraSpecificSpec | Test.Cardano.Ledger.Babbage.ImpTest |
| EraTest | Test.Cardano.Ledger.Babbage.Era |
| exampleBabbageNewEpochState | Test.Cardano.Ledger.Babbage.Examples |
| exampleCollateralOutput | Test.Cardano.Ledger.Babbage.Examples |
| expectDelegatedToPool | Test.Cardano.Ledger.Babbage.ImpTest |
| expectExprEqual | Test.Cardano.Ledger.Babbage.TreeDiff |
| expectExprEqualWithMessage | Test.Cardano.Ledger.Babbage.TreeDiff |
| expectNotDelegatedToAnyPool | Test.Cardano.Ledger.Babbage.ImpTest |
| expectNotDelegatedToPool | Test.Cardano.Ledger.Babbage.ImpTest |
| expectNotRegisteredRewardAddress | Test.Cardano.Ledger.Babbage.ImpTest |
| expectRegisteredRewardAddress | Test.Cardano.Ledger.Babbage.ImpTest |
| expectStakeCredNotRegistered | Test.Cardano.Ledger.Babbage.ImpTest |
| expectStakeCredRegistered | Test.Cardano.Ledger.Babbage.ImpTest |
| expectTreasury | Test.Cardano.Ledger.Babbage.ImpTest |
| expectTxSuccess | Test.Cardano.Ledger.Babbage.ImpTest |
| expectUTxOContent | Test.Cardano.Ledger.Babbage.ImpTest |
| Expr | Test.Cardano.Ledger.Babbage.TreeDiff |
| fixupAuxDataHash | Test.Cardano.Ledger.Babbage.ImpTest |
| fixupDatums | Test.Cardano.Ledger.Babbage.ImpTest |
| fixupFees | Test.Cardano.Ledger.Babbage.ImpTest |
| fixupOutputDatums | Test.Cardano.Ledger.Babbage.ImpTest |
| fixupPPHash | Test.Cardano.Ledger.Babbage.ImpTest |
| fixupRedeemerIndices | Test.Cardano.Ledger.Babbage.ImpTest |
| fixupRedeemers | Test.Cardano.Ledger.Babbage.ImpTest |
| fixupScriptWits | Test.Cardano.Ledger.Babbage.ImpTest |
| fixupTx | Test.Cardano.Ledger.Babbage.ImpTest |
| fixupTxOuts | Test.Cardano.Ledger.Babbage.ImpTest |
| freshBootstapAddress | Test.Cardano.Ledger.Babbage.ImpTest |
| freshByronKeyHash | Test.Cardano.Ledger.Babbage.ImpTest |
| freshKeyAddr | Test.Cardano.Ledger.Babbage.ImpTest |
| freshKeyAddrNoPtr | Test.Cardano.Ledger.Babbage.ImpTest |
| freshKeyAddrNoPtr_ | Test.Cardano.Ledger.Babbage.ImpTest |
| freshKeyAddr_ | Test.Cardano.Ledger.Babbage.ImpTest |
| freshKeyHash | Test.Cardano.Ledger.Babbage.ImpTest |
| freshKeyHashVRF | Test.Cardano.Ledger.Babbage.ImpTest |
| freshKeyPair | Test.Cardano.Ledger.Babbage.ImpTest |
| freshPoolParams | Test.Cardano.Ledger.Babbage.ImpTest |
| freshSafeHash | Test.Cardano.Ledger.Babbage.ImpTest |
| genRegTxCert | Test.Cardano.Ledger.Babbage.ImpTest |
| genTx | Test.Cardano.Ledger.Babbage.Translation.TranslatableGen |
| genTxOut | Test.Cardano.Ledger.Babbage.Translation.TranslatableGen |
| genUnRegTxCert | Test.Cardano.Ledger.Babbage.ImpTest |
| getAccountBalance | Test.Cardano.Ledger.Babbage.ImpTest |
| getBalance | Test.Cardano.Ledger.Babbage.ImpTest |
| getBinDir | Paths_cardano_ledger_babbage |
| getByronKeyPair | Test.Cardano.Ledger.Babbage.ImpTest |
| getDataDir | Paths_cardano_ledger_babbage |
| getDataFileName | Paths_cardano_ledger_babbage |
| getDynLibDir | Paths_cardano_ledger_babbage |
| getImpRootTxOut | Test.Cardano.Ledger.Babbage.ImpTest |
| getKeyPair | Test.Cardano.Ledger.Babbage.ImpTest |
| getLibDir | Paths_cardano_ledger_babbage |
| getLibexecDir | Paths_cardano_ledger_babbage |
| getProtVer | Test.Cardano.Ledger.Babbage.ImpTest |
| getRewardAccountFor | Test.Cardano.Ledger.Babbage.ImpTest |
| getsNES | Test.Cardano.Ledger.Babbage.ImpTest |
| getsPParams | Test.Cardano.Ledger.Babbage.ImpTest |
| getSysconfDir | Paths_cardano_ledger_babbage |
| getUTxO | Test.Cardano.Ledger.Babbage.ImpTest |
| HexBytes | |
| 1 (Type/Class) | Test.Cardano.Ledger.Babbage.TreeDiff |
| 2 (Data Constructor) | Test.Cardano.Ledger.Babbage.TreeDiff |
| hexByteStringExpr | Test.Cardano.Ledger.Babbage.TreeDiff |
| ieAnnotation | Test.Cardano.Ledger.Babbage.ImpTest |
| ieThrownException | Test.Cardano.Ledger.Babbage.ImpTest |
| impAddNativeScript | Test.Cardano.Ledger.Babbage.ImpTest |
| impAllegraSatisfyNativeScript | Test.Cardano.Ledger.Babbage.ImpTest |
| impAlonzoExpectTxSuccess | Test.Cardano.Ledger.Babbage.ImpTest |
| impAnn | Test.Cardano.Ledger.Babbage.ImpTest |
| impAnnDoc | Test.Cardano.Ledger.Babbage.ImpTest |
| impBabbageExpectTxSuccess | Test.Cardano.Ledger.Babbage.ImpTest |
| impComputeScriptIntegrity | Test.Cardano.Ledger.Babbage.ImpTest |
| impCurSlotNoG | Test.Cardano.Ledger.Babbage.ImpTest |
| impEraStartEpochNo | Test.Cardano.Ledger.Babbage.ImpTest |
| ImpException | |
| 1 (Type/Class) | Test.Cardano.Ledger.Babbage.ImpTest |
| 2 (Data Constructor) | Test.Cardano.Ledger.Babbage.ImpTest |
| impGetPlutusContexts | Test.Cardano.Ledger.Babbage.ImpTest |
| impGetScriptContext | Test.Cardano.Ledger.Babbage.ImpTest |
| impGetUTxO | Test.Cardano.Ledger.Babbage.ImpTest |
| impGlobalsL | Test.Cardano.Ledger.Babbage.ImpTest |
| ImpInit | Test.Cardano.Ledger.Babbage.ImpTest |
| impKeyPairsG | Test.Cardano.Ledger.Babbage.ImpTest |
| impLogToExpr | Test.Cardano.Ledger.Babbage.ImpTest |
| impLookupNativeScript | Test.Cardano.Ledger.Babbage.ImpTest |
| impLookupPlutusScript | Test.Cardano.Ledger.Babbage.ImpTest |
| impLookupScriptContext | Test.Cardano.Ledger.Babbage.ImpTest |
| ImpM | Test.Cardano.Ledger.Babbage.ImpTest |
| impNativeScriptsG | Test.Cardano.Ledger.Babbage.ImpTest |
| impNESL | Test.Cardano.Ledger.Babbage.ImpTest |
| impPlutusWithContexts | Test.Cardano.Ledger.Babbage.ImpTest |
| impSatisfyMNativeScripts | Test.Cardano.Ledger.Babbage.ImpTest |
| impSatisfyNativeScript | Test.Cardano.Ledger.Babbage.ImpTest |
| impSatisfySignature | Test.Cardano.Ledger.Babbage.ImpTest |
| impScriptPredicateFailure | Test.Cardano.Ledger.Babbage.ImpTest |
| impSetSeed | Test.Cardano.Ledger.Babbage.ImpTest |
| impShelleyExpectTxSuccess | Test.Cardano.Ledger.Babbage.ImpTest |
| ImpTestEnv | |
| 1 (Type/Class) | Test.Cardano.Ledger.Babbage.ImpTest |
| 2 (Data Constructor) | Test.Cardano.Ledger.Babbage.ImpTest |
| ImpTestM | Test.Cardano.Ledger.Babbage.ImpTest |
| ImpTestState | Test.Cardano.Ledger.Babbage.ImpTest |
| impWitsVKeyNeeded | Test.Cardano.Ledger.Babbage.ImpTest |
| initGenesis | Test.Cardano.Ledger.Babbage.ImpTest |
| initImpTestState | Test.Cardano.Ledger.Babbage.ImpTest |
| initNewEpochState | Test.Cardano.Ledger.Babbage.ImpTest |
| iteFixup | Test.Cardano.Ledger.Babbage.ImpTest |
| itePostEpochBoundaryHook | Test.Cardano.Ledger.Babbage.ImpTest |
| itePostSubmitTxHook | Test.Cardano.Ledger.Babbage.ImpTest |
| ledgerExamples | Test.Cardano.Ledger.Babbage.Examples |
| LedgerSpec | Test.Cardano.Ledger.Babbage.ImpTest |
| listToExpr | Test.Cardano.Ledger.Babbage.TreeDiff |
| logDoc | Test.Cardano.Ledger.Babbage.ImpTest |
| logFeeMismatch | Test.Cardano.Ledger.Babbage.ImpTest |
| logInstantStake | Test.Cardano.Ledger.Babbage.ImpTest |
| logString | Test.Cardano.Ledger.Babbage.ImpTest |
| logText | Test.Cardano.Ledger.Babbage.ImpTest |
| logToExpr | Test.Cardano.Ledger.Babbage.ImpTest |
| lookupAccountBalance | Test.Cardano.Ledger.Babbage.ImpTest |
| lookupBalance | Test.Cardano.Ledger.Babbage.ImpTest |
| Lst | Test.Cardano.Ledger.Babbage.TreeDiff |
| majorFollow | Test.Cardano.Ledger.Babbage.ImpTest |
| malformedPlutus | Test.Cardano.Ledger.Babbage.ImpTest |
| MaryEraImp | Test.Cardano.Ledger.Babbage.ImpTest |
| MaryEraTest | Test.Cardano.Ledger.Babbage.Era |
| minorFollow | Test.Cardano.Ledger.Babbage.ImpTest |
| mkShelleyTestAccountState | Test.Cardano.Ledger.Babbage.Era |
| mkTestAccountState | Test.Cardano.Ledger.Babbage.Era |
| mkTokenMintingTx | Test.Cardano.Ledger.Babbage.ImpTest |
| mkTxWithRefInputs | Test.Cardano.Ledger.Babbage.ImpTest |
| modifyImpInitPostEpochBoundaryHook | Test.Cardano.Ledger.Babbage.ImpTest |
| modifyImpInitPostSubmitTxHook | Test.Cardano.Ledger.Babbage.ImpTest |
| modifyImpInitProtVer | Test.Cardano.Ledger.Babbage.ImpTest |
| modifyNES | Test.Cardano.Ledger.Babbage.ImpTest |
| modifyPParams | Test.Cardano.Ledger.Babbage.ImpTest |
| modifyPrevPParams | Test.Cardano.Ledger.Babbage.ImpTest |
| nativeAlwaysFails | Test.Cardano.Ledger.Babbage.Era |
| nativeAlwaysSucceeds | Test.Cardano.Ledger.Babbage.Era |
| passEpoch | Test.Cardano.Ledger.Babbage.ImpTest |
| passNEpochs | Test.Cardano.Ledger.Babbage.ImpTest |
| passNEpochsChecking | Test.Cardano.Ledger.Babbage.ImpTest |
| passTick | Test.Cardano.Ledger.Babbage.ImpTest |
| PlutusArgs | Test.Cardano.Ledger.Babbage.ImpTest |
| plutusTestScripts | Test.Cardano.Ledger.Babbage.ImpTest |
| ppApp | Test.Cardano.Ledger.Babbage.TreeDiff |
| ppCon | Test.Cardano.Ledger.Babbage.TreeDiff |
| ppCpy | Test.Cardano.Ledger.Babbage.TreeDiff |
| ppDel | Test.Cardano.Ledger.Babbage.TreeDiff |
| ppEditExpr | Test.Cardano.Ledger.Babbage.TreeDiff |
| ppEdits | Test.Cardano.Ledger.Babbage.TreeDiff |
| ppEllip | Test.Cardano.Ledger.Babbage.TreeDiff |
| ppIns | Test.Cardano.Ledger.Babbage.TreeDiff |
| ppLst | Test.Cardano.Ledger.Babbage.TreeDiff |
| ppParens | Test.Cardano.Ledger.Babbage.TreeDiff |
| ppRec | Test.Cardano.Ledger.Babbage.TreeDiff |
| Pretty | |
| 1 (Type/Class) | Test.Cardano.Ledger.Babbage.TreeDiff |
| 2 (Data Constructor) | Test.Cardano.Ledger.Babbage.TreeDiff |
| produceRefScript | Test.Cardano.Ledger.Babbage.ImpTest |
| produceRefScripts | Test.Cardano.Ledger.Babbage.ImpTest |
| produceRefScriptsTx | Test.Cardano.Ledger.Babbage.ImpTest |
| produceScript | Test.Cardano.Ledger.Babbage.ImpTest |
| readBabbageCddlFileNames | Test.Cardano.Ledger.Babbage.Binary.Cddl |
| readBabbageCddlFiles | Test.Cardano.Ledger.Babbage.Binary.Cddl |
| Rec | Test.Cardano.Ledger.Babbage.TreeDiff |
| registerAndRetirePoolToMakeReward | Test.Cardano.Ledger.Babbage.ImpTest |
| registerPool | Test.Cardano.Ledger.Babbage.ImpTest |
| registerPoolWithRewardAccount | Test.Cardano.Ledger.Babbage.ImpTest |
| registerRewardAccount | Test.Cardano.Ledger.Babbage.ImpTest |
| registerStakeCredential | Test.Cardano.Ledger.Babbage.ImpTest |
| registerTestAccount | Test.Cardano.Ledger.Babbage.Era |
| runImpRule | Test.Cardano.Ledger.Babbage.ImpTest |
| ScriptTestContext | Test.Cardano.Ledger.Babbage.ImpTest |
| scriptTestContexts | Test.Cardano.Ledger.Babbage.ImpTest |
| sendCoinTo | Test.Cardano.Ledger.Babbage.ImpTest |
| sendCoinTo_ | Test.Cardano.Ledger.Babbage.ImpTest |
| sendValueTo | Test.Cardano.Ledger.Babbage.ImpTest |
| sendValueTo_ | Test.Cardano.Ledger.Babbage.ImpTest |
| shelleyAccountsFromAccountsMap | Test.Cardano.Ledger.Babbage.Era |
| shelleyDelegStakeTxCert | Test.Cardano.Ledger.Babbage.ImpTest |
| ShelleyEraImp | Test.Cardano.Ledger.Babbage.ImpTest |
| ShelleyEraTest | Test.Cardano.Ledger.Babbage.Era |
| shelleyFixupTx | Test.Cardano.Ledger.Babbage.ImpTest |
| shelleyGenRegTxCert | Test.Cardano.Ledger.Babbage.ImpTest |
| shelleyGenUnRegTxCert | Test.Cardano.Ledger.Babbage.ImpTest |
| shelleyModifyImpInitProtVer | Test.Cardano.Ledger.Babbage.ImpTest |
| showExpr | Test.Cardano.Ledger.Babbage.TreeDiff |
| showHexBytesGrouped | Test.Cardano.Ledger.Babbage.TreeDiff |
| simulateThenRestore | Test.Cardano.Ledger.Babbage.ImpTest |
| SomeSTSEvent | |
| 1 (Type/Class) | Test.Cardano.Ledger.Babbage.ImpTest |
| 2 (Data Constructor) | Test.Cardano.Ledger.Babbage.ImpTest |
| spec | |
| 1 (Function) | Test.Cardano.Ledger.Babbage.Imp.UtxowSpec.Valid |
| 2 (Function) | Test.Cardano.Ledger.Babbage.Imp.UtxowSpec.Invalid |
| 3 (Function) | Test.Cardano.Ledger.Babbage.Imp.UtxowSpec |
| 4 (Function) | Test.Cardano.Ledger.Babbage.Imp.UtxosSpec |
| 5 (Function) | Test.Cardano.Ledger.Babbage.Imp.UtxoSpec |
| 6 (Function) | Test.Cardano.Ledger.Babbage.Imp |
| 7 (Function) | Test.Cardano.Ledger.Babbage.TxInfoSpec |
| srcLocToLocation | Test.Cardano.Ledger.Babbage.TreeDiff |
| submitFailingTx | Test.Cardano.Ledger.Babbage.ImpTest |
| submitFailingTxM | Test.Cardano.Ledger.Babbage.ImpTest |
| submitPhase2Invalid | Test.Cardano.Ledger.Babbage.ImpTest |
| submitPhase2Invalid_ | Test.Cardano.Ledger.Babbage.ImpTest |
| submitTx | Test.Cardano.Ledger.Babbage.ImpTest |
| submitTxAnn | Test.Cardano.Ledger.Babbage.ImpTest |
| submitTxAnn_ | Test.Cardano.Ledger.Babbage.ImpTest |
| submitTxWithRefInputs | Test.Cardano.Ledger.Babbage.ImpTest |
| submitTx_ | Test.Cardano.Ledger.Babbage.ImpTest |
| tableDoc | Test.Cardano.Ledger.Babbage.TreeDiff |
| ToExpr | Test.Cardano.Ledger.Babbage.TreeDiff |
| toExpr | Test.Cardano.Ledger.Babbage.TreeDiff |
| trimExprViaShow | Test.Cardano.Ledger.Babbage.TreeDiff |
| tryRunImpRule | Test.Cardano.Ledger.Babbage.ImpTest |
| tryRunImpRuleNoAssertions | Test.Cardano.Ledger.Babbage.ImpTest |
| trySubmitTx | Test.Cardano.Ledger.Babbage.ImpTest |
| txInfoSpec | Test.Cardano.Ledger.Babbage.TxInfoSpec |
| unCBORBytes | Test.Cardano.Ledger.Babbage.TreeDiff |
| unHexBytes | Test.Cardano.Ledger.Babbage.TreeDiff |
| unlessMajorVersion | Test.Cardano.Ledger.Babbage.ImpTest |
| updateAddrTxWits | Test.Cardano.Ledger.Babbage.ImpTest |
| utxoWithTx | Test.Cardano.Ledger.Babbage.Translation.TranslatableGen |
| version | Paths_cardano_ledger_babbage |
| whenMajorVersion | Test.Cardano.Ledger.Babbage.ImpTest |
| whenMajorVersionAtLeast | Test.Cardano.Ledger.Babbage.ImpTest |
| whenMajorVersionAtMost | Test.Cardano.Ledger.Babbage.ImpTest |
| withCustomFixup | Test.Cardano.Ledger.Babbage.ImpTest |
| withEachEraVersion | Test.Cardano.Ledger.Babbage.ImpTest |
| withFixup | Test.Cardano.Ledger.Babbage.ImpTest |
| withNoFixup | Test.Cardano.Ledger.Babbage.ImpTest |
| withPostFixup | Test.Cardano.Ledger.Babbage.ImpTest |
| withPreFixup | Test.Cardano.Ledger.Babbage.ImpTest |
| zeroCostModels | Test.Cardano.Ledger.Babbage.Era |