Index
| accountsFromAccountsMap | Test.Cardano.Ledger.Allegra.Era |
| addNativeScriptTxWits | Test.Cardano.Ledger.Allegra.ImpTest |
| addRootTxIn | Test.Cardano.Ledger.Allegra.ImpTest |
| advanceToPointOfNoReturn | Test.Cardano.Ledger.Allegra.ImpTest |
| allegraDecodeDuplicateDelegCertSucceeds | Test.Cardano.Ledger.Allegra.Binary.Golden |
| AllegraEraTest | Test.Cardano.Ledger.Allegra.Era |
| ansiDocToString | Test.Cardano.Ledger.Allegra.TreeDiff |
| ansiExpr | Test.Cardano.Ledger.Allegra.TreeDiff |
| ansiExprString | Test.Cardano.Ledger.Allegra.TreeDiff |
| AnsiStyle | Test.Cardano.Ledger.Allegra.TreeDiff, Test.Cardano.Ledger.Allegra.ImpTest |
| ansiWlPretty | Test.Cardano.Ledger.Allegra.TreeDiff |
| App | Test.Cardano.Ledger.Allegra.TreeDiff |
| assertColorFailure | Test.Cardano.Ledger.Allegra.TreeDiff |
| callStackToLocation | Test.Cardano.Ledger.Allegra.TreeDiff |
| cantFollow | Test.Cardano.Ledger.Allegra.ImpTest |
| CBORBytes | |
| 1 (Type/Class) | Test.Cardano.Ledger.Allegra.TreeDiff |
| 2 (Data Constructor) | Test.Cardano.Ledger.Allegra.TreeDiff |
| decodeEnc | Test.Cardano.Ledger.Allegra.Binary.Golden |
| decoderEquivalenceCoreEraTypesSpec | Test.Cardano.Ledger.Allegra.Binary.Annotator |
| decoderEquivalenceEraSpec | Test.Cardano.Ledger.Allegra.Binary.Annotator |
| defaultExprViaShow | Test.Cardano.Ledger.Allegra.TreeDiff |
| defaultInitImpTestState | Test.Cardano.Ledger.Allegra.ImpTest |
| defaultInitNewEpochState | Test.Cardano.Ledger.Allegra.ImpTest |
| delegateStake | Test.Cardano.Ledger.Allegra.ImpTest |
| delegStakeTxCert | Test.Cardano.Ledger.Allegra.ImpTest |
| diffExpr | Test.Cardano.Ledger.Allegra.TreeDiff |
| diffExprCompact | Test.Cardano.Ledger.Allegra.TreeDiff |
| diffExprCompactString | Test.Cardano.Ledger.Allegra.TreeDiff |
| diffExprString | Test.Cardano.Ledger.Allegra.TreeDiff |
| disableImpInitPostEpochBoundaryHook | Test.Cardano.Ledger.Allegra.ImpTest |
| disableImpInitPostSubmitTxHook | Test.Cardano.Ledger.Allegra.ImpTest |
| disableInConformanceIt | Test.Cardano.Ledger.Allegra.ImpTest |
| disableTreasuryExpansion | Test.Cardano.Ledger.Allegra.ImpTest |
| Doc | Test.Cardano.Ledger.Allegra.TreeDiff, Test.Cardano.Ledger.Allegra.ImpTest |
| duplicateDelegCertsTxBody | Test.Cardano.Ledger.Allegra.Binary.Golden |
| ediff | Test.Cardano.Ledger.Allegra.TreeDiff |
| EraSpecificSpec | Test.Cardano.Ledger.Allegra.ImpTest |
| eraSpecificSpec | Test.Cardano.Ledger.Allegra.ImpTest |
| EraTest | Test.Cardano.Ledger.Allegra.Era |
| exampleAllegraTxAuxData | Test.Cardano.Ledger.Allegra.Examples |
| exampleAllegraTxBody | Test.Cardano.Ledger.Allegra.Examples |
| expectDecoderFailureAnn | Test.Cardano.Ledger.Allegra.Binary.Golden |
| expectDecoderResultOn | Test.Cardano.Ledger.Allegra.Binary.Golden |
| expectDecoderSuccessAnn | Test.Cardano.Ledger.Allegra.Binary.Golden |
| expectDecoderSuccessAnnWith | Test.Cardano.Ledger.Allegra.Binary.Golden |
| expectDelegatedToPool | Test.Cardano.Ledger.Allegra.ImpTest |
| expectExprEqual | Test.Cardano.Ledger.Allegra.TreeDiff |
| expectExprEqualWithMessage | Test.Cardano.Ledger.Allegra.TreeDiff |
| expectNotDelegatedToAnyPool | Test.Cardano.Ledger.Allegra.ImpTest |
| expectNotDelegatedToPool | Test.Cardano.Ledger.Allegra.ImpTest |
| expectNotRegisteredRewardAddress | Test.Cardano.Ledger.Allegra.ImpTest |
| expectRegisteredRewardAddress | Test.Cardano.Ledger.Allegra.ImpTest |
| expectStakeCredNotRegistered | Test.Cardano.Ledger.Allegra.ImpTest |
| expectStakeCredRegistered | Test.Cardano.Ledger.Allegra.ImpTest |
| expectTreasury | Test.Cardano.Ledger.Allegra.ImpTest |
| expectTxSuccess | Test.Cardano.Ledger.Allegra.ImpTest |
| expectUTxOContent | Test.Cardano.Ledger.Allegra.ImpTest |
| Expr | Test.Cardano.Ledger.Allegra.TreeDiff |
| fixupAuxDataHash | Test.Cardano.Ledger.Allegra.ImpTest |
| fixupFees | Test.Cardano.Ledger.Allegra.ImpTest |
| fixupTx | Test.Cardano.Ledger.Allegra.ImpTest |
| fixupTxOuts | Test.Cardano.Ledger.Allegra.ImpTest |
| freshBootstapAddress | Test.Cardano.Ledger.Allegra.ImpTest |
| freshByronKeyHash | Test.Cardano.Ledger.Allegra.ImpTest |
| freshKeyAddr | Test.Cardano.Ledger.Allegra.ImpTest |
| freshKeyAddrNoPtr | Test.Cardano.Ledger.Allegra.ImpTest |
| freshKeyAddrNoPtr_ | Test.Cardano.Ledger.Allegra.ImpTest |
| freshKeyAddr_ | Test.Cardano.Ledger.Allegra.ImpTest |
| freshKeyHash | Test.Cardano.Ledger.Allegra.ImpTest |
| freshKeyHashVRF | Test.Cardano.Ledger.Allegra.ImpTest |
| freshKeyPair | Test.Cardano.Ledger.Allegra.ImpTest |
| freshPoolParams | Test.Cardano.Ledger.Allegra.ImpTest |
| freshSafeHash | Test.Cardano.Ledger.Allegra.ImpTest |
| genRegTxCert | Test.Cardano.Ledger.Allegra.ImpTest |
| genUnRegTxCert | Test.Cardano.Ledger.Allegra.ImpTest |
| getAccountBalance | Test.Cardano.Ledger.Allegra.ImpTest |
| getBalance | Test.Cardano.Ledger.Allegra.ImpTest |
| getBinDir | Paths_cardano_ledger_allegra |
| getByronKeyPair | Test.Cardano.Ledger.Allegra.ImpTest |
| getDataDir | Paths_cardano_ledger_allegra |
| getDataFileName | Paths_cardano_ledger_allegra |
| getDynLibDir | Paths_cardano_ledger_allegra |
| getImpRootTxOut | Test.Cardano.Ledger.Allegra.ImpTest |
| getKeyPair | Test.Cardano.Ledger.Allegra.ImpTest |
| getLibDir | Paths_cardano_ledger_allegra |
| getLibexecDir | Paths_cardano_ledger_allegra |
| getProtVer | Test.Cardano.Ledger.Allegra.ImpTest |
| getRewardAccountFor | Test.Cardano.Ledger.Allegra.ImpTest |
| getsNES | Test.Cardano.Ledger.Allegra.ImpTest |
| getsPParams | Test.Cardano.Ledger.Allegra.ImpTest |
| getSysconfDir | Paths_cardano_ledger_allegra |
| getUTxO | Test.Cardano.Ledger.Allegra.ImpTest |
| goldenNewEpochStateExpectation | Test.Cardano.Ledger.Allegra.Binary.Golden |
| HexBytes | |
| 1 (Type/Class) | Test.Cardano.Ledger.Allegra.TreeDiff |
| 2 (Data Constructor) | Test.Cardano.Ledger.Allegra.TreeDiff |
| hexByteStringExpr | Test.Cardano.Ledger.Allegra.TreeDiff |
| ieAnnotation | Test.Cardano.Ledger.Allegra.ImpTest |
| ieThrownException | Test.Cardano.Ledger.Allegra.ImpTest |
| impAddNativeScript | Test.Cardano.Ledger.Allegra.ImpTest |
| impAllegraSatisfyNativeScript | Test.Cardano.Ledger.Allegra.ImpTest |
| impAnn | Test.Cardano.Ledger.Allegra.ImpTest |
| impAnnDoc | Test.Cardano.Ledger.Allegra.ImpTest |
| impCurSlotNoG | Test.Cardano.Ledger.Allegra.ImpTest |
| impEraStartEpochNo | Test.Cardano.Ledger.Allegra.ImpTest |
| ImpException | |
| 1 (Type/Class) | Test.Cardano.Ledger.Allegra.ImpTest |
| 2 (Data Constructor) | Test.Cardano.Ledger.Allegra.ImpTest |
| impGetUTxO | Test.Cardano.Ledger.Allegra.ImpTest |
| impGlobalsL | Test.Cardano.Ledger.Allegra.ImpTest |
| ImpInit | Test.Cardano.Ledger.Allegra.ImpTest |
| impKeyPairsG | Test.Cardano.Ledger.Allegra.ImpTest |
| impLogToExpr | Test.Cardano.Ledger.Allegra.ImpTest |
| impLookupNativeScript | Test.Cardano.Ledger.Allegra.ImpTest |
| ImpM | Test.Cardano.Ledger.Allegra.ImpTest |
| impNativeScriptsG | Test.Cardano.Ledger.Allegra.ImpTest |
| impNESL | Test.Cardano.Ledger.Allegra.ImpTest |
| impSatisfyMNativeScripts | Test.Cardano.Ledger.Allegra.ImpTest |
| impSatisfyNativeScript | Test.Cardano.Ledger.Allegra.ImpTest |
| impSatisfySignature | Test.Cardano.Ledger.Allegra.ImpTest |
| impSetSeed | Test.Cardano.Ledger.Allegra.ImpTest |
| impShelleyExpectTxSuccess | Test.Cardano.Ledger.Allegra.ImpTest |
| ImpTestEnv | |
| 1 (Type/Class) | Test.Cardano.Ledger.Allegra.ImpTest |
| 2 (Data Constructor) | Test.Cardano.Ledger.Allegra.ImpTest |
| ImpTestM | Test.Cardano.Ledger.Allegra.ImpTest |
| ImpTestState | Test.Cardano.Ledger.Allegra.ImpTest |
| impWitsVKeyNeeded | Test.Cardano.Ledger.Allegra.ImpTest |
| initGenesis | Test.Cardano.Ledger.Allegra.ImpTest |
| initImpTestState | Test.Cardano.Ledger.Allegra.ImpTest |
| initNewEpochState | Test.Cardano.Ledger.Allegra.ImpTest |
| iteFixup | Test.Cardano.Ledger.Allegra.ImpTest |
| itePostEpochBoundaryHook | Test.Cardano.Ledger.Allegra.ImpTest |
| itePostSubmitTxHook | Test.Cardano.Ledger.Allegra.ImpTest |
| ledgerExamples | Test.Cardano.Ledger.Allegra.Examples |
| LedgerSpec | Test.Cardano.Ledger.Allegra.ImpTest |
| listToExpr | Test.Cardano.Ledger.Allegra.TreeDiff |
| logDoc | Test.Cardano.Ledger.Allegra.ImpTest |
| logFeeMismatch | Test.Cardano.Ledger.Allegra.ImpTest |
| logInstantStake | Test.Cardano.Ledger.Allegra.ImpTest |
| logString | Test.Cardano.Ledger.Allegra.ImpTest |
| logText | Test.Cardano.Ledger.Allegra.ImpTest |
| logToExpr | Test.Cardano.Ledger.Allegra.ImpTest |
| lookupAccountBalance | Test.Cardano.Ledger.Allegra.ImpTest |
| lookupBalance | Test.Cardano.Ledger.Allegra.ImpTest |
| Lst | Test.Cardano.Ledger.Allegra.TreeDiff |
| majorFollow | Test.Cardano.Ledger.Allegra.ImpTest |
| maxTimelockDepth | Test.Cardano.Ledger.Allegra.Arbitrary |
| minorFollow | Test.Cardano.Ledger.Allegra.ImpTest |
| mkShelleyTestAccountState | Test.Cardano.Ledger.Allegra.Era |
| mkTestAccountState | Test.Cardano.Ledger.Allegra.Era |
| modifyImpInitPostEpochBoundaryHook | Test.Cardano.Ledger.Allegra.ImpTest |
| modifyImpInitPostSubmitTxHook | Test.Cardano.Ledger.Allegra.ImpTest |
| modifyImpInitProtVer | Test.Cardano.Ledger.Allegra.ImpTest |
| modifyNES | Test.Cardano.Ledger.Allegra.ImpTest |
| modifyPParams | Test.Cardano.Ledger.Allegra.ImpTest |
| modifyPrevPParams | Test.Cardano.Ledger.Allegra.ImpTest |
| nativeAlwaysFails | Test.Cardano.Ledger.Allegra.Era |
| nativeAlwaysSucceeds | Test.Cardano.Ledger.Allegra.Era |
| passEpoch | Test.Cardano.Ledger.Allegra.ImpTest |
| passNEpochs | Test.Cardano.Ledger.Allegra.ImpTest |
| passNEpochsChecking | Test.Cardano.Ledger.Allegra.ImpTest |
| passTick | Test.Cardano.Ledger.Allegra.ImpTest |
| PlutusArgs | Test.Cardano.Ledger.Allegra.ImpTest |
| ppApp | Test.Cardano.Ledger.Allegra.TreeDiff |
| ppCon | Test.Cardano.Ledger.Allegra.TreeDiff |
| ppCpy | Test.Cardano.Ledger.Allegra.TreeDiff |
| ppDel | Test.Cardano.Ledger.Allegra.TreeDiff |
| ppEditExpr | Test.Cardano.Ledger.Allegra.TreeDiff |
| ppEdits | Test.Cardano.Ledger.Allegra.TreeDiff |
| ppEllip | Test.Cardano.Ledger.Allegra.TreeDiff |
| ppIns | Test.Cardano.Ledger.Allegra.TreeDiff |
| ppLst | Test.Cardano.Ledger.Allegra.TreeDiff |
| ppParens | Test.Cardano.Ledger.Allegra.TreeDiff |
| ppRec | Test.Cardano.Ledger.Allegra.TreeDiff |
| Pretty | |
| 1 (Type/Class) | Test.Cardano.Ledger.Allegra.TreeDiff |
| 2 (Data Constructor) | Test.Cardano.Ledger.Allegra.TreeDiff |
| produceScript | Test.Cardano.Ledger.Allegra.ImpTest |
| readAllegraCddlFileNames | Test.Cardano.Ledger.Allegra.Binary.Cddl |
| readAllegraCddlFiles | Test.Cardano.Ledger.Allegra.Binary.Cddl |
| Rec | Test.Cardano.Ledger.Allegra.TreeDiff |
| registerAndRetirePoolToMakeReward | Test.Cardano.Ledger.Allegra.ImpTest |
| registerPool | Test.Cardano.Ledger.Allegra.ImpTest |
| registerPoolWithRewardAccount | Test.Cardano.Ledger.Allegra.ImpTest |
| registerRewardAccount | Test.Cardano.Ledger.Allegra.ImpTest |
| registerStakeCredential | Test.Cardano.Ledger.Allegra.ImpTest |
| registerTestAccount | Test.Cardano.Ledger.Allegra.Era |
| runImpRule | Test.Cardano.Ledger.Allegra.ImpTest |
| ScriptTestContext | Test.Cardano.Ledger.Allegra.ImpTest |
| sendCoinTo | Test.Cardano.Ledger.Allegra.ImpTest |
| sendCoinTo_ | Test.Cardano.Ledger.Allegra.ImpTest |
| sendValueTo | Test.Cardano.Ledger.Allegra.ImpTest |
| sendValueTo_ | Test.Cardano.Ledger.Allegra.ImpTest |
| shelleyAccountsFromAccountsMap | Test.Cardano.Ledger.Allegra.Era |
| shelleyDecodeDuplicateDelegCertSucceeds | Test.Cardano.Ledger.Allegra.Binary.Golden |
| shelleyDelegStakeTxCert | Test.Cardano.Ledger.Allegra.ImpTest |
| ShelleyEraImp | Test.Cardano.Ledger.Allegra.ImpTest |
| ShelleyEraTest | Test.Cardano.Ledger.Allegra.Era |
| shelleyFixupTx | Test.Cardano.Ledger.Allegra.ImpTest |
| shelleyGenRegTxCert | Test.Cardano.Ledger.Allegra.ImpTest |
| shelleyGenUnRegTxCert | Test.Cardano.Ledger.Allegra.ImpTest |
| shelleyModifyImpInitProtVer | Test.Cardano.Ledger.Allegra.ImpTest |
| showExpr | Test.Cardano.Ledger.Allegra.TreeDiff |
| showHexBytesGrouped | Test.Cardano.Ledger.Allegra.TreeDiff |
| simulateThenRestore | Test.Cardano.Ledger.Allegra.ImpTest |
| sizedTimelock | Test.Cardano.Ledger.Allegra.Arbitrary |
| SomeSTSEvent | |
| 1 (Type/Class) | Test.Cardano.Ledger.Allegra.ImpTest |
| 2 (Data Constructor) | Test.Cardano.Ledger.Allegra.ImpTest |
| spec | |
| 1 (Function) | Test.Cardano.Ledger.Allegra.Imp.UtxowSpec |
| 2 (Function) | Test.Cardano.Ledger.Allegra.Imp |
| 3 (Function) | Test.Cardano.Ledger.Allegra.Binary.Golden |
| srcLocToLocation | Test.Cardano.Ledger.Allegra.TreeDiff |
| submitFailingTx | Test.Cardano.Ledger.Allegra.ImpTest |
| submitFailingTxM | Test.Cardano.Ledger.Allegra.ImpTest |
| submitTx | Test.Cardano.Ledger.Allegra.ImpTest |
| submitTxAnn | Test.Cardano.Ledger.Allegra.ImpTest |
| submitTxAnn_ | Test.Cardano.Ledger.Allegra.ImpTest |
| submitTx_ | Test.Cardano.Ledger.Allegra.ImpTest |
| tableDoc | Test.Cardano.Ledger.Allegra.TreeDiff |
| ToExpr | Test.Cardano.Ledger.Allegra.TreeDiff |
| toExpr | Test.Cardano.Ledger.Allegra.TreeDiff |
| trimExprViaShow | Test.Cardano.Ledger.Allegra.TreeDiff |
| tryRunImpRule | Test.Cardano.Ledger.Allegra.ImpTest |
| tryRunImpRuleNoAssertions | Test.Cardano.Ledger.Allegra.ImpTest |
| trySubmitTx | Test.Cardano.Ledger.Allegra.ImpTest |
| unCBORBytes | Test.Cardano.Ledger.Allegra.TreeDiff |
| unHexBytes | Test.Cardano.Ledger.Allegra.TreeDiff |
| unlessMajorVersion | Test.Cardano.Ledger.Allegra.ImpTest |
| updateAddrTxWits | Test.Cardano.Ledger.Allegra.ImpTest |
| version | Paths_cardano_ledger_allegra |
| whenMajorVersion | Test.Cardano.Ledger.Allegra.ImpTest |
| whenMajorVersionAtLeast | Test.Cardano.Ledger.Allegra.ImpTest |
| whenMajorVersionAtMost | Test.Cardano.Ledger.Allegra.ImpTest |
| withCustomFixup | Test.Cardano.Ledger.Allegra.ImpTest |
| withEachEraVersion | Test.Cardano.Ledger.Allegra.ImpTest |
| withFixup | Test.Cardano.Ledger.Allegra.ImpTest |
| withNoFixup | Test.Cardano.Ledger.Allegra.ImpTest |
| withPostFixup | Test.Cardano.Ledger.Allegra.ImpTest |
| withPreFixup | Test.Cardano.Ledger.Allegra.ImpTest |
| zeroCostModels | Test.Cardano.Ledger.Allegra.Era |