| agdaHashToBytes | Test.Cardano.Ledger.Conformance.Utils, Test.Cardano.Ledger.Conformance |
| agdaHashToExpr | Test.Cardano.Ledger.Conformance.Utils, Test.Cardano.Ledger.Conformance |
| askCtx | Test.Cardano.Ledger.Conformance.SpecTranslate.Base, Test.Cardano.Ledger.Conformance |
| bimapMHSMap | Test.Cardano.Ledger.Conformance.Utils, Test.Cardano.Ledger.Conformance |
| ccecVotes | Test.Cardano.Ledger.Conformance.ExecSpecRule.Conway |
| ccecWithdrawals | Test.Cardano.Ledger.Conformance.ExecSpecRule.Conway |
| checkConformance | Test.Cardano.Ledger.Conformance.ExecSpecRule.Core, Test.Cardano.Ledger.Conformance |
| clecEnactState | Test.Cardano.Ledger.Conformance.ExecSpecRule.Conway |
| clecPolicyHash | Test.Cardano.Ledger.Conformance.ExecSpecRule.Conway |
| clecUtxoExecContext | Test.Cardano.Ledger.Conformance.ExecSpecRule.Conway |
| committeeCredentialToStrictMaybe | Test.Cardano.Ledger.Conformance |
| ConformanceResult | |
| 1 (Type/Class) | Test.Cardano.Ledger.Conformance.ExecSpecRule.Core, Test.Cardano.Ledger.Conformance |
| 2 (Data Constructor) | Test.Cardano.Ledger.Conformance.ExecSpecRule.Core, Test.Cardano.Ledger.Conformance |
| ConwayCertExecContext | |
| 1 (Type/Class) | Test.Cardano.Ledger.Conformance.ExecSpecRule.Conway |
| 2 (Data Constructor) | Test.Cardano.Ledger.Conformance.ExecSpecRule.Conway |
| ConwayLedgerExecContext | |
| 1 (Type/Class) | Test.Cardano.Ledger.Conformance.ExecSpecRule.Conway |
| 2 (Data Constructor) | Test.Cardano.Ledger.Conformance.ExecSpecRule.Conway |
| crImplementationResult | Test.Cardano.Ledger.Conformance.ExecSpecRule.Core, Test.Cardano.Ledger.Conformance |
| crSpecificationResult | Test.Cardano.Ledger.Conformance.ExecSpecRule.Core, Test.Cardano.Ledger.Conformance |
| crTranslationResult | Test.Cardano.Ledger.Conformance.ExecSpecRule.Core, Test.Cardano.Ledger.Conformance |
| diffConformance | Test.Cardano.Ledger.Conformance.ExecSpecRule.Core, Test.Cardano.Ledger.Conformance |
| ExecContext | Test.Cardano.Ledger.Conformance.ExecSpecRule.Core, Test.Cardano.Ledger.Conformance, Test.Cardano.Ledger.Conformance |
| ExecSpecRule | Test.Cardano.Ledger.Conformance.ExecSpecRule.Core, Test.Cardano.Ledger.Conformance |
| externalFunctions | Test.Cardano.Ledger.Conformance.ExecSpecRule.Conway |
| extraInfo | Test.Cardano.Ledger.Conformance.ExecSpecRule.Core, Test.Cardano.Ledger.Conformance |
| ForAllExecSpecRep | Test.Cardano.Ledger.Conformance.ExecSpecRule.Core, Test.Cardano.Ledger.Conformance |
| ForAllExecTypes | Test.Cardano.Ledger.Conformance.ExecSpecRule.Core, Test.Cardano.Ledger.Conformance |
| generatesWithin | Test.Cardano.Ledger.Conformance.ExecSpecRule.Core, Test.Cardano.Ledger.Conformance |
| hashToInteger | Test.Cardano.Ledger.Conformance.Utils, Test.Cardano.Ledger.Conformance |
| integerToHash | Test.Cardano.Ledger.Conformance.Utils, Test.Cardano.Ledger.Conformance |
| mapHSMapKey | Test.Cardano.Ledger.Conformance.Utils, Test.Cardano.Ledger.Conformance |
| OpaqueErrorString | |
| 1 (Type/Class) | Test.Cardano.Ledger.Conformance.SpecTranslate.Base, Test.Cardano.Ledger.Conformance |
| 2 (Data Constructor) | Test.Cardano.Ledger.Conformance.SpecTranslate.Base, Test.Cardano.Ledger.Conformance |
| runAgdaRule | Test.Cardano.Ledger.Conformance.ExecSpecRule.Core, Test.Cardano.Ledger.Conformance |
| runAgdaRuleWithDebug | Test.Cardano.Ledger.Conformance.ExecSpecRule.Core, Test.Cardano.Ledger.Conformance |
| runConformance | Test.Cardano.Ledger.Conformance.ExecSpecRule.Core, Test.Cardano.Ledger.Conformance |
| runFromAgdaFunction | Test.Cardano.Ledger.Conformance.ExecSpecRule.Core, Test.Cardano.Ledger.Conformance |
| runSpecTransM | Test.Cardano.Ledger.Conformance.SpecTranslate.Base, Test.Cardano.Ledger.Conformance |
| signatureFromInteger | Test.Cardano.Ledger.Conformance |
| signatureToInteger | Test.Cardano.Ledger.Conformance |
| SpecEnvironment | Test.Cardano.Ledger.Conformance.ExecSpecRule.Core, Test.Cardano.Ledger.Conformance, Test.Cardano.Ledger.Conformance |
| SpecNormalize | Test.Cardano.Ledger.Conformance.SpecTranslate.Base, Test.Cardano.Ledger.Conformance |
| specNormalize | Test.Cardano.Ledger.Conformance.SpecTranslate.Base, Test.Cardano.Ledger.Conformance |
| SpecRep | Test.Cardano.Ledger.Conformance.SpecTranslate.Base, Test.Cardano.Ledger.Conformance, Test.Cardano.Ledger.Conformance |
| SpecSignal | Test.Cardano.Ledger.Conformance.ExecSpecRule.Core, Test.Cardano.Ledger.Conformance, Test.Cardano.Ledger.Conformance |
| SpecState | Test.Cardano.Ledger.Conformance.ExecSpecRule.Core, Test.Cardano.Ledger.Conformance, Test.Cardano.Ledger.Conformance |
| SpecTranslate | Test.Cardano.Ledger.Conformance.SpecTranslate.Base, Test.Cardano.Ledger.Conformance |
| SpecTransM | Test.Cardano.Ledger.Conformance.SpecTranslate.Base, Test.Cardano.Ledger.Conformance |
| SpecTRC | |
| 1 (Type/Class) | Test.Cardano.Ledger.Conformance.ExecSpecRule.Core, Test.Cardano.Ledger.Conformance |
| 2 (Data Constructor) | Test.Cardano.Ledger.Conformance.ExecSpecRule.Core, Test.Cardano.Ledger.Conformance |
| strcEnvironment | Test.Cardano.Ledger.Conformance.ExecSpecRule.Core, Test.Cardano.Ledger.Conformance |
| strcSignal | Test.Cardano.Ledger.Conformance.ExecSpecRule.Core, Test.Cardano.Ledger.Conformance |
| strcState | Test.Cardano.Ledger.Conformance.ExecSpecRule.Core, Test.Cardano.Ledger.Conformance |
| testConformance | Test.Cardano.Ledger.Conformance.ExecSpecRule.Core, Test.Cardano.Ledger.Conformance |
| toSpecRep | Test.Cardano.Ledger.Conformance.SpecTranslate.Base, Test.Cardano.Ledger.Conformance |
| toSpecRep_ | Test.Cardano.Ledger.Conformance.SpecTranslate.Base, Test.Cardano.Ledger.Conformance |
| translateInputs | Test.Cardano.Ledger.Conformance.ExecSpecRule.Core, Test.Cardano.Ledger.Conformance |
| translateOutput | Test.Cardano.Ledger.Conformance.ExecSpecRule.Core, Test.Cardano.Ledger.Conformance |
| translateWithContext | Test.Cardano.Ledger.Conformance.ExecSpecRule.Core, Test.Cardano.Ledger.Conformance |
| unComputationResult | Test.Cardano.Ledger.Conformance.SpecTranslate.Base, Test.Cardano.Ledger.Conformance |
| unComputationResult_ | Test.Cardano.Ledger.Conformance.SpecTranslate.Base, Test.Cardano.Ledger.Conformance |
| unionHSMap | Test.Cardano.Ledger.Conformance.Utils, Test.Cardano.Ledger.Conformance |
| unionsHSMap | Test.Cardano.Ledger.Conformance.Utils, Test.Cardano.Ledger.Conformance |
| vkeyFromInteger | Test.Cardano.Ledger.Conformance |
| vkeyToInteger | Test.Cardano.Ledger.Conformance |
| withCtx | Test.Cardano.Ledger.Conformance.SpecTranslate.Base, Test.Cardano.Ledger.Conformance |