Index
| addCollateralInput | Test.Cardano.Ledger.Alonzo.ImpTest |
| addNativeScriptTxWits | Test.Cardano.Ledger.Alonzo.ImpTest |
| addRootTxIn | Test.Cardano.Ledger.Alonzo.ImpTest |
| advanceToPointOfNoReturn | Test.Cardano.Ledger.Alonzo.ImpTest |
| AlonzoEraImp | Test.Cardano.Ledger.Alonzo.ImpTest |
| alonzoFixupTx | Test.Cardano.Ledger.Alonzo.ImpTest |
| alwaysFails | Test.Cardano.Ledger.Alonzo.Arbitrary |
| alwaysFailsLang | Test.Cardano.Ledger.Alonzo.Arbitrary |
| alwaysSucceeds | Test.Cardano.Ledger.Alonzo.Arbitrary |
| alwaysSucceedsLang | Test.Cardano.Ledger.Alonzo.Arbitrary |
| ansiDocToString | Test.Cardano.Ledger.Alonzo.TreeDiff |
| ansiExpr | Test.Cardano.Ledger.Alonzo.TreeDiff |
| ansiExprString | Test.Cardano.Ledger.Alonzo.TreeDiff |
| AnsiStyle | Test.Cardano.Ledger.Alonzo.TreeDiff, Test.Cardano.Ledger.Alonzo.ImpTest |
| ansiWlPretty | Test.Cardano.Ledger.Alonzo.TreeDiff |
| App | Test.Cardano.Ledger.Alonzo.TreeDiff |
| assertColorFailure | Test.Cardano.Ledger.Alonzo.TreeDiff |
| assertExprEqualWithMessage | Test.Cardano.Ledger.Alonzo.TreeDiff |
| assertTranslationResultsMatchGolden | Test.Cardano.Ledger.Alonzo.Translation.Golden |
| callStackToLocation | Test.Cardano.Ledger.Alonzo.TreeDiff |
| CBORBytes | |
| 1 (Data Constructor) | Test.Cardano.Ledger.Alonzo.TreeDiff |
| 2 (Type/Class) | Test.Cardano.Ledger.Alonzo.TreeDiff |
| defaultExprViaShow | Test.Cardano.Ledger.Alonzo.TreeDiff |
| defaultInitImpTestState | Test.Cardano.Ledger.Alonzo.ImpTest |
| defaultInitNewEpochState | Test.Cardano.Ledger.Alonzo.ImpTest |
| delegateStake | Test.Cardano.Ledger.Alonzo.ImpTest |
| deserializeTranslationInstances | Test.Cardano.Ledger.Alonzo.Translation.TranslationInstance |
| diffExpr | Test.Cardano.Ledger.Alonzo.TreeDiff |
| diffExprCompact | Test.Cardano.Ledger.Alonzo.TreeDiff |
| diffExprCompactString | Test.Cardano.Ledger.Alonzo.TreeDiff |
| diffExprString | Test.Cardano.Ledger.Alonzo.TreeDiff |
| disableTreasuryExpansion | Test.Cardano.Ledger.Alonzo.ImpTest |
| Doc | Test.Cardano.Ledger.Alonzo.TreeDiff, Test.Cardano.Ledger.Alonzo.ImpTest |
| ediff | Test.Cardano.Ledger.Alonzo.TreeDiff |
| epochInfo | Test.Cardano.Ledger.Alonzo.Translation.TranslatableGen |
| evalImpTestGenM | Test.Cardano.Ledger.Alonzo.ImpTest |
| evalImpTestM | Test.Cardano.Ledger.Alonzo.ImpTest |
| execImpTestGenM | Test.Cardano.Ledger.Alonzo.ImpTest |
| execImpTestM | Test.Cardano.Ledger.Alonzo.ImpTest |
| expectExprEqual | Test.Cardano.Ledger.Alonzo.TreeDiff |
| expectExprEqualWithMessage | Test.Cardano.Ledger.Alonzo.TreeDiff |
| expectNotRegisteredRewardAddress | Test.Cardano.Ledger.Alonzo.ImpTest |
| expectRegisteredRewardAddress | Test.Cardano.Ledger.Alonzo.ImpTest |
| expectTreasury | Test.Cardano.Ledger.Alonzo.ImpTest |
| expectTxSuccess | Test.Cardano.Ledger.Alonzo.ImpTest |
| expectUTxOContent | Test.Cardano.Ledger.Alonzo.ImpTest |
| Expr | Test.Cardano.Ledger.Alonzo.TreeDiff |
| fixupAuxDataHash | Test.Cardano.Ledger.Alonzo.ImpTest |
| fixupDatums | Test.Cardano.Ledger.Alonzo.ImpTest |
| fixupFees | Test.Cardano.Ledger.Alonzo.ImpTest |
| fixupOutputDatums | Test.Cardano.Ledger.Alonzo.ImpTest |
| fixupPPHash | Test.Cardano.Ledger.Alonzo.ImpTest |
| fixupRedeemerIndices | Test.Cardano.Ledger.Alonzo.ImpTest |
| fixupRedeemers | Test.Cardano.Ledger.Alonzo.ImpTest |
| fixupScriptWits | Test.Cardano.Ledger.Alonzo.ImpTest |
| fixupTx | Test.Cardano.Ledger.Alonzo.ImpTest |
| fixupTxOuts | Test.Cardano.Ledger.Alonzo.ImpTest |
| freshBootstapAddress | Test.Cardano.Ledger.Alonzo.ImpTest |
| freshByronKeyHash | Test.Cardano.Ledger.Alonzo.ImpTest |
| freshKeyAddr | Test.Cardano.Ledger.Alonzo.ImpTest |
| freshKeyAddr_ | Test.Cardano.Ledger.Alonzo.ImpTest |
| freshKeyHash | Test.Cardano.Ledger.Alonzo.ImpTest |
| freshKeyHashVRF | Test.Cardano.Ledger.Alonzo.ImpTest |
| freshKeyPair | Test.Cardano.Ledger.Alonzo.ImpTest |
| freshSafeHash | Test.Cardano.Ledger.Alonzo.ImpTest |
| genAlonzoPlutusPurposePointer | Test.Cardano.Ledger.Alonzo.Arbitrary |
| genAlonzoScript | Test.Cardano.Ledger.Alonzo.Arbitrary |
| genEraLanguage | Test.Cardano.Ledger.Alonzo.Arbitrary |
| generateGoldenFile | Test.Cardano.Ledger.Alonzo.Translation.Golden |
| genNativeScript | Test.Cardano.Ledger.Alonzo.Arbitrary |
| genPlutusScript | Test.Cardano.Ledger.Alonzo.Arbitrary |
| genScripts | Test.Cardano.Ledger.Alonzo.Arbitrary |
| genValidAndUnknownCostModels | Test.Cardano.Ledger.Alonzo.Arbitrary |
| genValidCostModel | Test.Cardano.Ledger.Alonzo.Arbitrary |
| getBinDir | Paths_cardano_ledger_alonzo |
| getDataDir | Paths_cardano_ledger_alonzo |
| getDataFileName | Paths_cardano_ledger_alonzo |
| getDynLibDir | Paths_cardano_ledger_alonzo |
| getLibDir | Paths_cardano_ledger_alonzo |
| getLibexecDir | Paths_cardano_ledger_alonzo |
| getProtVer | Test.Cardano.Ledger.Alonzo.ImpTest |
| getRewardAccountAmount | Test.Cardano.Ledger.Alonzo.ImpTest |
| getRewardAccountFor | Test.Cardano.Ledger.Alonzo.ImpTest |
| getsNES | Test.Cardano.Ledger.Alonzo.ImpTest |
| getSysconfDir | Paths_cardano_ledger_alonzo |
| getUTxO | Test.Cardano.Ledger.Alonzo.ImpTest |
| HexBytes | |
| 1 (Data Constructor) | Test.Cardano.Ledger.Alonzo.TreeDiff |
| 2 (Type/Class) | Test.Cardano.Ledger.Alonzo.TreeDiff |
| hexByteStringExpr | Test.Cardano.Ledger.Alonzo.TreeDiff |
| ieAnnotation | Test.Cardano.Ledger.Alonzo.ImpTest |
| ieThrownException | Test.Cardano.Ledger.Alonzo.ImpTest |
| impAddNativeScript | Test.Cardano.Ledger.Alonzo.ImpTest |
| impAllegraSatisfyNativeScript | Test.Cardano.Ledger.Alonzo.ImpTest |
| impAnn | Test.Cardano.Ledger.Alonzo.ImpTest |
| impAnnDoc | Test.Cardano.Ledger.Alonzo.ImpTest |
| impEraStartEpochNo | Test.Cardano.Ledger.Alonzo.ImpTest |
| ImpException | |
| 1 (Data Constructor) | Test.Cardano.Ledger.Alonzo.ImpTest |
| 2 (Type/Class) | Test.Cardano.Ledger.Alonzo.ImpTest |
| impGetNativeScript | Test.Cardano.Ledger.Alonzo.ImpTest |
| impGetPlutusContexts | Test.Cardano.Ledger.Alonzo.ImpTest |
| impGetScriptContext | Test.Cardano.Ledger.Alonzo.ImpTest |
| impGetScriptContextMaybe | Test.Cardano.Ledger.Alonzo.ImpTest |
| impGlobalsL | Test.Cardano.Ledger.Alonzo.ImpTest |
| impKeyPairsG | Test.Cardano.Ledger.Alonzo.ImpTest |
| impLastTickG | Test.Cardano.Ledger.Alonzo.ImpTest |
| impLogToExpr | Test.Cardano.Ledger.Alonzo.ImpTest |
| impLookupPlutusScriptMaybe | Test.Cardano.Ledger.Alonzo.ImpTest |
| impLookupUTxO | Test.Cardano.Ledger.Alonzo.ImpTest |
| impNativeScriptsG | Test.Cardano.Ledger.Alonzo.ImpTest |
| impNESL | Test.Cardano.Ledger.Alonzo.ImpTest |
| impPlutusWithContexts | Test.Cardano.Ledger.Alonzo.ImpTest |
| impSatisfyNativeScript | Test.Cardano.Ledger.Alonzo.ImpTest |
| impScriptPredicateFailure | Test.Cardano.Ledger.Alonzo.ImpTest |
| impSetSeed | Test.Cardano.Ledger.Alonzo.ImpTest |
| ImpTestEnv | |
| 1 (Data Constructor) | Test.Cardano.Ledger.Alonzo.ImpTest |
| 2 (Type/Class) | Test.Cardano.Ledger.Alonzo.ImpTest |
| ImpTestM | Test.Cardano.Ledger.Alonzo.ImpTest |
| ImpTestState | Test.Cardano.Ledger.Alonzo.ImpTest |
| impWitsVKeyNeeded | Test.Cardano.Ledger.Alonzo.ImpTest |
| initGenesis | Test.Cardano.Ledger.Alonzo.ImpTest |
| initImpTestState | Test.Cardano.Ledger.Alonzo.ImpTest |
| initNewEpochState | Test.Cardano.Ledger.Alonzo.ImpTest |
| iteCborRoundTripFailures | Test.Cardano.Ledger.Alonzo.ImpTest |
| iteFixup | Test.Cardano.Ledger.Alonzo.ImpTest |
| iteQuickCheckSize | Test.Cardano.Ledger.Alonzo.ImpTest |
| iteState | Test.Cardano.Ledger.Alonzo.ImpTest |
| listToExpr | Test.Cardano.Ledger.Alonzo.TreeDiff |
| logDoc | Test.Cardano.Ledger.Alonzo.ImpTest |
| logFeeMismatch | Test.Cardano.Ledger.Alonzo.ImpTest |
| logStakeDistr | Test.Cardano.Ledger.Alonzo.ImpTest |
| logString | Test.Cardano.Ledger.Alonzo.ImpTest |
| logText | Test.Cardano.Ledger.Alonzo.ImpTest |
| logToExpr | Test.Cardano.Ledger.Alonzo.ImpTest |
| lookupByronKeyPair | Test.Cardano.Ledger.Alonzo.ImpTest |
| lookupImpRootTxOut | Test.Cardano.Ledger.Alonzo.ImpTest |
| lookupKeyPair | Test.Cardano.Ledger.Alonzo.ImpTest |
| lookupReward | Test.Cardano.Ledger.Alonzo.ImpTest |
| Lst | Test.Cardano.Ledger.Alonzo.TreeDiff |
| malformedPlutus | Test.Cardano.Ledger.Alonzo.ImpTest |
| MaryEraImp | Test.Cardano.Ledger.Alonzo.ImpTest |
| mkPlutusScript' | Test.Cardano.Ledger.Alonzo.Arbitrary |
| mkTxInfoLanguage | Test.Cardano.Ledger.Alonzo.Translation.TranslatableGen |
| modifyNES | Test.Cardano.Ledger.Alonzo.ImpTest |
| modifyPParams | Test.Cardano.Ledger.Alonzo.ImpTest |
| modifyPrevPParams | Test.Cardano.Ledger.Alonzo.ImpTest |
| passEpoch | Test.Cardano.Ledger.Alonzo.ImpTest |
| passNEpochs | Test.Cardano.Ledger.Alonzo.ImpTest |
| passNEpochsChecking | Test.Cardano.Ledger.Alonzo.ImpTest |
| passTick | Test.Cardano.Ledger.Alonzo.ImpTest |
| PlutusArgs | Test.Cardano.Ledger.Alonzo.ImpTest |
| plutusTestScripts | Test.Cardano.Ledger.Alonzo.ImpTest |
| poolParams | Test.Cardano.Ledger.Alonzo.ImpTest |
| ppApp | Test.Cardano.Ledger.Alonzo.TreeDiff |
| ppCon | Test.Cardano.Ledger.Alonzo.TreeDiff |
| ppCpy | Test.Cardano.Ledger.Alonzo.TreeDiff |
| ppDel | Test.Cardano.Ledger.Alonzo.TreeDiff |
| ppEditExpr | Test.Cardano.Ledger.Alonzo.TreeDiff |
| ppEdits | Test.Cardano.Ledger.Alonzo.TreeDiff |
| ppEllip | Test.Cardano.Ledger.Alonzo.TreeDiff |
| ppIns | Test.Cardano.Ledger.Alonzo.TreeDiff |
| ppLst | Test.Cardano.Ledger.Alonzo.TreeDiff |
| ppParens | Test.Cardano.Ledger.Alonzo.TreeDiff |
| ppRec | Test.Cardano.Ledger.Alonzo.TreeDiff |
| Pretty | |
| 1 (Data Constructor) | Test.Cardano.Ledger.Alonzo.TreeDiff |
| 2 (Type/Class) | Test.Cardano.Ledger.Alonzo.TreeDiff |
| produceScript | Test.Cardano.Ledger.Alonzo.ImpTest |
| readAlonzoCddlFileNames | Test.Cardano.Ledger.Alonzo.Binary.Cddl |
| readAlonzoCddlFiles | Test.Cardano.Ledger.Alonzo.Binary.Cddl |
| Rec | Test.Cardano.Ledger.Alonzo.TreeDiff |
| registerAndRetirePoolToMakeReward | Test.Cardano.Ledger.Alonzo.ImpTest |
| registerPool | Test.Cardano.Ledger.Alonzo.ImpTest |
| registerPoolWithRewardAccount | Test.Cardano.Ledger.Alonzo.ImpTest |
| registerRewardAccount | Test.Cardano.Ledger.Alonzo.ImpTest |
| registerStakeCredential | Test.Cardano.Ledger.Alonzo.ImpTest |
| roundTripAlonzoCommonSpec | Test.Cardano.Ledger.Alonzo.Binary.RoundTrip |
| roundTripAlonzoEraTypesSpec | Test.Cardano.Ledger.Alonzo.Binary.RoundTrip |
| runImpRule | Test.Cardano.Ledger.Alonzo.ImpTest |
| runImpTestGenM | Test.Cardano.Ledger.Alonzo.ImpTest |
| runImpTestGenM_ | Test.Cardano.Ledger.Alonzo.ImpTest |
| runImpTestM | Test.Cardano.Ledger.Alonzo.ImpTest |
| runImpTestM_ | Test.Cardano.Ledger.Alonzo.ImpTest |
| ScriptTestContext | Test.Cardano.Ledger.Alonzo.ImpTest |
| scriptTestContexts | Test.Cardano.Ledger.Alonzo.ImpTest |
| sendCoinTo | Test.Cardano.Ledger.Alonzo.ImpTest |
| sendValueTo | Test.Cardano.Ledger.Alonzo.ImpTest |
| ShelleyEraImp | Test.Cardano.Ledger.Alonzo.ImpTest |
| shelleyFixupTx | Test.Cardano.Ledger.Alonzo.ImpTest |
| showExpr | Test.Cardano.Ledger.Alonzo.TreeDiff |
| showHexBytesGrouped | Test.Cardano.Ledger.Alonzo.TreeDiff |
| SomeSTSEvent | |
| 1 (Data Constructor) | Test.Cardano.Ledger.Alonzo.ImpTest |
| 2 (Type/Class) | Test.Cardano.Ledger.Alonzo.ImpTest |
| spec | |
| 1 (Function) | Test.Cardano.Ledger.Alonzo.Binary.CostModelsSpec |
| 2 (Function) | Test.Cardano.Ledger.Alonzo.Binary.TxWitsSpec |
| 3 (Function) | Test.Cardano.Ledger.Alonzo.Imp.UtxowSpec.Valid |
| 4 (Function) | Test.Cardano.Ledger.Alonzo.Imp.UtxowSpec.Invalid |
| 5 (Function) | Test.Cardano.Ledger.Alonzo.Imp.UtxowSpec |
| 6 (Function) | Test.Cardano.Ledger.Alonzo.Imp.UtxosSpec |
| 7 (Function) | Test.Cardano.Ledger.Alonzo.Imp.UtxoSpec |
| 8 (Function) | Test.Cardano.Ledger.Alonzo.Imp |
| srcLocToLocation | Test.Cardano.Ledger.Alonzo.TreeDiff |
| submitFailingTx | Test.Cardano.Ledger.Alonzo.ImpTest |
| submitFailingTxM | Test.Cardano.Ledger.Alonzo.ImpTest |
| submitPhase2Invalid | Test.Cardano.Ledger.Alonzo.ImpTest |
| submitPhase2Invalid_ | Test.Cardano.Ledger.Alonzo.ImpTest |
| submitTx | Test.Cardano.Ledger.Alonzo.ImpTest |
| submitTxAnn | Test.Cardano.Ledger.Alonzo.ImpTest |
| submitTxAnn_ | Test.Cardano.Ledger.Alonzo.ImpTest |
| submitTx_ | Test.Cardano.Ledger.Alonzo.ImpTest |
| systemStart | Test.Cardano.Ledger.Alonzo.Translation.TranslatableGen |
| tableDoc | Test.Cardano.Ledger.Alonzo.TreeDiff |
| tgRedeemers | Test.Cardano.Ledger.Alonzo.Translation.TranslatableGen |
| tgTx | Test.Cardano.Ledger.Alonzo.Translation.TranslatableGen |
| tgUtxo | Test.Cardano.Ledger.Alonzo.Translation.TranslatableGen |
| tiLanguage | Test.Cardano.Ledger.Alonzo.Translation.TranslationInstance |
| tiProtVer | Test.Cardano.Ledger.Alonzo.Translation.TranslationInstance |
| tiResult | Test.Cardano.Ledger.Alonzo.Translation.TranslationInstance |
| tiTx | Test.Cardano.Ledger.Alonzo.Translation.TranslationInstance |
| tiUtxo | Test.Cardano.Ledger.Alonzo.Translation.TranslationInstance |
| ToExpr | Test.Cardano.Ledger.Alonzo.TreeDiff |
| toExpr | Test.Cardano.Ledger.Alonzo.TreeDiff |
| toVersionedTxInfo | Test.Cardano.Ledger.Alonzo.Translation.TranslatableGen |
| TranslatableGen | Test.Cardano.Ledger.Alonzo.Translation.TranslatableGen |
| TranslationInstance | |
| 1 (Type/Class) | Test.Cardano.Ledger.Alonzo.Translation.TranslationInstance |
| 2 (Data Constructor) | Test.Cardano.Ledger.Alonzo.Translation.TranslationInstance |
| translationInstances | Test.Cardano.Ledger.Alonzo.Translation.TranslatableGen |
| trimExprViaShow | Test.Cardano.Ledger.Alonzo.TreeDiff |
| tryRunImpRule | Test.Cardano.Ledger.Alonzo.ImpTest |
| tryRunImpRuleNoAssertions | Test.Cardano.Ledger.Alonzo.ImpTest |
| trySubmitTx | Test.Cardano.Ledger.Alonzo.ImpTest |
| TxInfoLanguage | |
| 1 (Type/Class) | Test.Cardano.Ledger.Alonzo.Translation.TranslatableGen |
| 2 (Data Constructor) | Test.Cardano.Ledger.Alonzo.Translation.TranslatableGen |
| TxInfoPV1 | Test.Cardano.Ledger.Alonzo.Translation.TranslationInstance |
| TxInfoPV2 | Test.Cardano.Ledger.Alonzo.Translation.TranslationInstance |
| TxInfoPV3 | Test.Cardano.Ledger.Alonzo.Translation.TranslationInstance |
| unCBORBytes | Test.Cardano.Ledger.Alonzo.TreeDiff |
| unHexBytes | Test.Cardano.Ledger.Alonzo.TreeDiff |
| updateAddrTxWits | Test.Cardano.Ledger.Alonzo.ImpTest |
| version | Paths_cardano_ledger_alonzo |
| VersionedTxInfo | Test.Cardano.Ledger.Alonzo.Translation.TranslationInstance |
| withCborRoundTripFailures | Test.Cardano.Ledger.Alonzo.ImpTest |
| withCustomFixup | Test.Cardano.Ledger.Alonzo.ImpTest |
| withFixup | Test.Cardano.Ledger.Alonzo.ImpTest |
| withImpState | Test.Cardano.Ledger.Alonzo.ImpTest |
| withImpStateModified | Test.Cardano.Ledger.Alonzo.ImpTest |
| withNoFixup | Test.Cardano.Ledger.Alonzo.ImpTest |
| withPostFixup | Test.Cardano.Ledger.Alonzo.ImpTest |
| withPreFixup | Test.Cardano.Ledger.Alonzo.ImpTest |