Index
| addNativeScriptTxWits | Test.Cardano.Ledger.Allegra.ImpTest |
| address | Test.Cardano.Ledger.Allegra.CDDL |
| addRootTxIn | Test.Cardano.Ledger.Allegra.ImpTest |
| addr_keyhash | Test.Cardano.Ledger.Allegra.CDDL |
| advanceToPointOfNoReturn | Test.Cardano.Ledger.Allegra.ImpTest |
| allegraCDDL | Test.Cardano.Ledger.Allegra.CDDL |
| 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 |
| assertExprEqualWithMessage | Test.Cardano.Ledger.Allegra.TreeDiff |
| auxiliary_data | Test.Cardano.Ledger.Allegra.CDDL |
| auxiliary_scripts | Test.Cardano.Ledger.Allegra.CDDL |
| BaseImpM | Test.Cardano.Ledger.Allegra.ImpTest |
| big_int | Test.Cardano.Ledger.Allegra.CDDL |
| big_nint | Test.Cardano.Ledger.Allegra.CDDL |
| big_uint | Test.Cardano.Ledger.Allegra.CDDL |
| block | Test.Cardano.Ledger.Allegra.CDDL |
| bootstrap_witness | Test.Cardano.Ledger.Allegra.CDDL |
| bounded_bytes | Test.Cardano.Ledger.Allegra.CDDL |
| callStackToLocation | Test.Cardano.Ledger.Allegra.TreeDiff |
| CBORBytes | |
| 1 (Data Constructor) | Test.Cardano.Ledger.Allegra.TreeDiff |
| 2 (Type/Class) | Test.Cardano.Ledger.Allegra.TreeDiff |
| certificate | Test.Cardano.Ledger.Allegra.CDDL |
| coin | Test.Cardano.Ledger.Allegra.CDDL |
| credential | Test.Cardano.Ledger.Allegra.CDDL |
| defaultExprViaShow | Test.Cardano.Ledger.Allegra.TreeDiff |
| defaultInitImpTestState | Test.Cardano.Ledger.Allegra.ImpTest |
| defaultInitNewEpochState | Test.Cardano.Ledger.Allegra.ImpTest |
| delegateStake | Test.Cardano.Ledger.Allegra.ImpTest |
| delta_coin | Test.Cardano.Ledger.Allegra.CDDL |
| diffExpr | Test.Cardano.Ledger.Allegra.TreeDiff |
| diffExprCompact | Test.Cardano.Ledger.Allegra.TreeDiff |
| diffExprCompactString | Test.Cardano.Ledger.Allegra.TreeDiff |
| diffExprString | Test.Cardano.Ledger.Allegra.TreeDiff |
| disableTreasuryExpansion | Test.Cardano.Ledger.Allegra.ImpTest |
| distinct | Test.Cardano.Ledger.Allegra.CDDL |
| dns_name | Test.Cardano.Ledger.Allegra.CDDL |
| Doc | Test.Cardano.Ledger.Allegra.TreeDiff, Test.Cardano.Ledger.Allegra.ImpTest |
| ediff | Test.Cardano.Ledger.Allegra.TreeDiff |
| epoch | Test.Cardano.Ledger.Allegra.CDDL |
| expectExprEqual | Test.Cardano.Ledger.Allegra.TreeDiff |
| expectExprEqualWithMessage | Test.Cardano.Ledger.Allegra.TreeDiff |
| expectNotRegisteredRewardAddress | Test.Cardano.Ledger.Allegra.ImpTest |
| expectRegisteredRewardAddress | Test.Cardano.Ledger.Allegra.ImpTest |
| expectTreasury | 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 |
| freshKeyAddr_ | Test.Cardano.Ledger.Allegra.ImpTest |
| freshKeyHash | Test.Cardano.Ledger.Allegra.ImpTest |
| freshKeyHashVRF | Test.Cardano.Ledger.Allegra.ImpTest |
| freshKeyPair | Test.Cardano.Ledger.Allegra.ImpTest |
| freshSafeHash | Test.Cardano.Ledger.Allegra.ImpTest |
| genesis_delegate_hash | Test.Cardano.Ledger.Allegra.CDDL |
| genesis_hash | Test.Cardano.Ledger.Allegra.CDDL |
| genesis_key_delegation | Test.Cardano.Ledger.Allegra.CDDL |
| getBinDir | Paths_cardano_ledger_allegra |
| getDataDir | Paths_cardano_ledger_allegra |
| getDataFileName | Paths_cardano_ledger_allegra |
| getDynLibDir | Paths_cardano_ledger_allegra |
| getLibDir | Paths_cardano_ledger_allegra |
| getLibexecDir | Paths_cardano_ledger_allegra |
| getProtVer | Test.Cardano.Ledger.Allegra.ImpTest |
| getRewardAccountAmount | Test.Cardano.Ledger.Allegra.ImpTest |
| getRewardAccountFor | Test.Cardano.Ledger.Allegra.ImpTest |
| getsNES | Test.Cardano.Ledger.Allegra.ImpTest |
| getSysconfDir | Paths_cardano_ledger_allegra |
| getUTxO | Test.Cardano.Ledger.Allegra.ImpTest |
| hash28 | Test.Cardano.Ledger.Allegra.CDDL |
| hash32 | Test.Cardano.Ledger.Allegra.CDDL |
| header | Test.Cardano.Ledger.Allegra.CDDL |
| header_body | Test.Cardano.Ledger.Allegra.CDDL |
| HexBytes | |
| 1 (Data Constructor) | Test.Cardano.Ledger.Allegra.TreeDiff |
| 2 (Type/Class) | 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 |
| impEraStartEpochNo | Test.Cardano.Ledger.Allegra.ImpTest |
| ImpException | |
| 1 (Data Constructor) | Test.Cardano.Ledger.Allegra.ImpTest |
| 2 (Type/Class) | Test.Cardano.Ledger.Allegra.ImpTest |
| impGetNativeScript | Test.Cardano.Ledger.Allegra.ImpTest |
| impGlobalsL | Test.Cardano.Ledger.Allegra.ImpTest |
| ImpInit | Test.Cardano.Ledger.Allegra.ImpTest |
| impKeyPairsG | Test.Cardano.Ledger.Allegra.ImpTest |
| impLastTickG | Test.Cardano.Ledger.Allegra.ImpTest |
| impLogToExpr | Test.Cardano.Ledger.Allegra.ImpTest |
| impLookupUTxO | Test.Cardano.Ledger.Allegra.ImpTest |
| ImpM | Test.Cardano.Ledger.Allegra.ImpTest |
| impNativeScriptsG | Test.Cardano.Ledger.Allegra.ImpTest |
| impNESL | Test.Cardano.Ledger.Allegra.ImpTest |
| impSatisfyNativeScript | Test.Cardano.Ledger.Allegra.ImpTest |
| impSetSeed | Test.Cardano.Ledger.Allegra.ImpTest |
| ImpTestEnv | |
| 1 (Data Constructor) | Test.Cardano.Ledger.Allegra.ImpTest |
| 2 (Type/Class) | 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 |
| int64 | Test.Cardano.Ledger.Allegra.CDDL |
| invalid_before | Test.Cardano.Ledger.Allegra.CDDL |
| invalid_hereafter | Test.Cardano.Ledger.Allegra.CDDL |
| ipv4 | Test.Cardano.Ledger.Allegra.CDDL |
| ipv6 | Test.Cardano.Ledger.Allegra.CDDL |
| iteCborRoundTripFailures | Test.Cardano.Ledger.Allegra.ImpTest |
| iteExpectLedgerRuleConformance | Test.Cardano.Ledger.Allegra.ImpTest |
| iteFixup | Test.Cardano.Ledger.Allegra.ImpTest |
| kes_signature | Test.Cardano.Ledger.Allegra.CDDL |
| kes_vkey | Test.Cardano.Ledger.Allegra.CDDL |
| LedgerSpec | Test.Cardano.Ledger.Allegra.ImpTest |
| listToExpr | Test.Cardano.Ledger.Allegra.TreeDiff |
| logDoc | Test.Cardano.Ledger.Allegra.ImpTest |
| logFeeMismatch | Test.Cardano.Ledger.Allegra.ImpTest |
| logStakeDistr | Test.Cardano.Ledger.Allegra.ImpTest |
| logString | Test.Cardano.Ledger.Allegra.ImpTest |
| logText | Test.Cardano.Ledger.Allegra.ImpTest |
| logToExpr | Test.Cardano.Ledger.Allegra.ImpTest |
| lookupByronKeyPair | Test.Cardano.Ledger.Allegra.ImpTest |
| lookupImpRootTxOut | Test.Cardano.Ledger.Allegra.ImpTest |
| lookupKeyPair | Test.Cardano.Ledger.Allegra.ImpTest |
| lookupReward | Test.Cardano.Ledger.Allegra.ImpTest |
| Lst | Test.Cardano.Ledger.Allegra.TreeDiff |
| major_protocol_version | Test.Cardano.Ledger.Allegra.CDDL |
| maxInt64 | Test.Cardano.Ledger.Allegra.CDDL |
| maxTimelockDepth | Test.Cardano.Ledger.Allegra.Arbitrary |
| maxWord64 | Test.Cardano.Ledger.Allegra.CDDL |
| metadata | Test.Cardano.Ledger.Allegra.CDDL |
| metadata_hash | Test.Cardano.Ledger.Allegra.CDDL |
| minInt64 | Test.Cardano.Ledger.Allegra.CDDL |
| modifyImpInitExpectLedgerRuleConformance | 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 |
| move_instantaneous_reward | Test.Cardano.Ledger.Allegra.CDDL |
| move_instantaneous_rewards_cert | Test.Cardano.Ledger.Allegra.CDDL |
| multisig_all | Test.Cardano.Ledger.Allegra.CDDL |
| multisig_any | Test.Cardano.Ledger.Allegra.CDDL |
| multisig_n_of_k | Test.Cardano.Ledger.Allegra.CDDL |
| multisig_pubkey | Test.Cardano.Ledger.Allegra.CDDL |
| multisig_script | Test.Cardano.Ledger.Allegra.CDDL |
| multi_host_name | Test.Cardano.Ledger.Allegra.CDDL |
| native_script | Test.Cardano.Ledger.Allegra.CDDL |
| negInt64 | Test.Cardano.Ledger.Allegra.CDDL |
| next_major_protocol_version | Test.Cardano.Ledger.Allegra.CDDL |
| nonce | Test.Cardano.Ledger.Allegra.CDDL |
| nonempty_set | Test.Cardano.Ledger.Allegra.CDDL |
| nonnegative_interval | Test.Cardano.Ledger.Allegra.CDDL |
| nonZeroInt64 | Test.Cardano.Ledger.Allegra.CDDL |
| operational_cert | Test.Cardano.Ledger.Allegra.CDDL |
| 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 |
| poolParams | Test.Cardano.Ledger.Allegra.ImpTest |
| pool_keyhash | Test.Cardano.Ledger.Allegra.CDDL |
| pool_metadata | Test.Cardano.Ledger.Allegra.CDDL |
| pool_params | Test.Cardano.Ledger.Allegra.CDDL |
| pool_registration | Test.Cardano.Ledger.Allegra.CDDL |
| pool_retirement | Test.Cardano.Ledger.Allegra.CDDL |
| port | Test.Cardano.Ledger.Allegra.CDDL |
| posInt64 | Test.Cardano.Ledger.Allegra.CDDL |
| positive_coin | Test.Cardano.Ledger.Allegra.CDDL |
| positive_int | Test.Cardano.Ledger.Allegra.CDDL |
| 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 |
| proposed_protocol_parameter_updates | Test.Cardano.Ledger.Allegra.CDDL |
| protocol_param_update | Test.Cardano.Ledger.Allegra.CDDL |
| protocol_version | Test.Cardano.Ledger.Allegra.CDDL |
| 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 |
| relay | Test.Cardano.Ledger.Allegra.CDDL |
| reward_account | Test.Cardano.Ledger.Allegra.CDDL |
| runImpRule | Test.Cardano.Ledger.Allegra.ImpTest |
| ScriptTestContext | Test.Cardano.Ledger.Allegra.ImpTest |
| script_all | Test.Cardano.Ledger.Allegra.CDDL |
| script_any | Test.Cardano.Ledger.Allegra.CDDL |
| script_hash | Test.Cardano.Ledger.Allegra.CDDL |
| script_n_of_k | Test.Cardano.Ledger.Allegra.CDDL |
| script_pubkey | Test.Cardano.Ledger.Allegra.CDDL |
| sendCoinTo | Test.Cardano.Ledger.Allegra.ImpTest |
| sendValueTo | Test.Cardano.Ledger.Allegra.ImpTest |
| set | Test.Cardano.Ledger.Allegra.CDDL |
| shelleyCDDL | Test.Cardano.Ledger.Allegra.CDDL |
| ShelleyEraImp | Test.Cardano.Ledger.Allegra.ImpTest |
| shelleyFixupTx | Test.Cardano.Ledger.Allegra.ImpTest |
| showExpr | Test.Cardano.Ledger.Allegra.TreeDiff |
| showHexBytesGrouped | Test.Cardano.Ledger.Allegra.TreeDiff |
| signature | Test.Cardano.Ledger.Allegra.CDDL |
| signkeyKES | Test.Cardano.Ledger.Allegra.CDDL |
| single_host_addr | Test.Cardano.Ledger.Allegra.CDDL |
| single_host_name | Test.Cardano.Ledger.Allegra.CDDL |
| sizedTimelock | Test.Cardano.Ledger.Allegra.Arbitrary |
| SomeSTSEvent | |
| 1 (Data Constructor) | Test.Cardano.Ledger.Allegra.ImpTest |
| 2 (Type/Class) | Test.Cardano.Ledger.Allegra.ImpTest |
| spec | |
| 1 (Function) | Test.Cardano.Ledger.Allegra.Imp.UtxowSpec |
| 2 (Function) | Test.Cardano.Ledger.Allegra.Imp |
| srcLocToLocation | Test.Cardano.Ledger.Allegra.TreeDiff |
| stake_credential | Test.Cardano.Ledger.Allegra.CDDL |
| stake_delegation | Test.Cardano.Ledger.Allegra.CDDL |
| stake_deregistration | Test.Cardano.Ledger.Allegra.CDDL |
| stake_registration | Test.Cardano.Ledger.Allegra.CDDL |
| 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 |
| transaction | Test.Cardano.Ledger.Allegra.CDDL |
| transaction_body | Test.Cardano.Ledger.Allegra.CDDL |
| transaction_index | Test.Cardano.Ledger.Allegra.CDDL |
| transaction_input | Test.Cardano.Ledger.Allegra.CDDL |
| transaction_metadata | Test.Cardano.Ledger.Allegra.CDDL |
| transaction_metadatum | Test.Cardano.Ledger.Allegra.CDDL |
| transaction_metadatum_label | Test.Cardano.Ledger.Allegra.CDDL |
| transaction_output | Test.Cardano.Ledger.Allegra.CDDL |
| transaction_witness_set | Test.Cardano.Ledger.Allegra.CDDL |
| trimExprViaShow | Test.Cardano.Ledger.Allegra.TreeDiff |
| tryLookupReward | Test.Cardano.Ledger.Allegra.ImpTest |
| 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 |
| unit_interval | Test.Cardano.Ledger.Allegra.CDDL |
| update | Test.Cardano.Ledger.Allegra.CDDL |
| updateAddrTxWits | Test.Cardano.Ledger.Allegra.ImpTest |
| url | Test.Cardano.Ledger.Allegra.CDDL |
| version | Paths_cardano_ledger_allegra |
| vkey | Test.Cardano.Ledger.Allegra.CDDL |
| vkeywitness | Test.Cardano.Ledger.Allegra.CDDL |
| vrf_cert | Test.Cardano.Ledger.Allegra.CDDL |
| vrf_keyhash | Test.Cardano.Ledger.Allegra.CDDL |
| vrf_vkey | Test.Cardano.Ledger.Allegra.CDDL |
| withCborRoundTripFailures | Test.Cardano.Ledger.Allegra.ImpTest |
| withCustomFixup | Test.Cardano.Ledger.Allegra.ImpTest |
| withdrawals | Test.Cardano.Ledger.Allegra.CDDL |
| withFixup | Test.Cardano.Ledger.Allegra.ImpTest |
| withNoFixup | Test.Cardano.Ledger.Allegra.ImpTest |
| withPostFixup | Test.Cardano.Ledger.Allegra.ImpTest |
| withPreFixup | Test.Cardano.Ledger.Allegra.ImpTest |