| AdaPots | |
| 1 (Data Constructor) | Test.Cardano.Ledger.Shelley.Rules.Chain |
| 2 (Type/Class) | Test.Cardano.Ledger.Shelley.Rules.Chain |
| adaPreservationProps | Test.Cardano.Ledger.Shelley.Rules.AdaPreservation |
| addInputs | Test.Cardano.Ledger.Shelley.Generator.EraGen |
| addValToTxOut | Test.Cardano.Ledger.Shelley.Generator.EraGen |
| aggregateUtxoCoinByCredential | Test.Cardano.Ledger.Shelley.Rules.IncrementalStake |
| aikCold | Test.Cardano.Ledger.Shelley.Generator.Core |
| aikColdKeyHash | Test.Cardano.Ledger.Shelley.Generator.Core |
| aikHot | Test.Cardano.Ledger.Shelley.Generator.Core |
| aikVrf | Test.Cardano.Ledger.Shelley.Generator.Core |
| aliceAddr | Test.Cardano.Ledger.Shelley.Examples.Cast |
| aliceByronAddr | Test.Cardano.Ledger.Shelley.Address.Bootstrap |
| alicePay | Test.Cardano.Ledger.Shelley.Examples.Cast |
| alicePHK | Test.Cardano.Ledger.Shelley.Examples.Cast |
| alicePoolKeys | Test.Cardano.Ledger.Shelley.Examples.Cast |
| alicePoolParams | Test.Cardano.Ledger.Shelley.Examples.Cast |
| alicePtrAddr | Test.Cardano.Ledger.Shelley.Examples.Cast |
| aliceSHK | Test.Cardano.Ledger.Shelley.Examples.Cast |
| aliceStake | Test.Cardano.Ledger.Shelley.Examples.Cast |
| aliceVRFKeyHash | Test.Cardano.Ledger.Shelley.Examples.Cast |
| AllIssuerKeys | |
| 1 (Data Constructor) | Test.Cardano.Ledger.Shelley.Generator.Core |
| 2 (Type/Class) | Test.Cardano.Ledger.Shelley.Generator.Core |
| AllOf | Test.Cardano.Ledger.Shelley.Generator.ScriptClass |
| allOf | Test.Cardano.Ledger.Shelley.Generator.ScriptClass |
| allScripts | Test.Cardano.Ledger.Shelley.Generator.EraGen |
| AnyOf | Test.Cardano.Ledger.Shelley.Generator.ScriptClass |
| anyOf | Test.Cardano.Ledger.Shelley.Generator.ScriptClass |
| applySTSTest | Test.Cardano.Ledger.Shelley.Utils |
| basescript | Test.Cardano.Ledger.Shelley.Generator.ScriptClass |
| baseScripts | Test.Cardano.Ledger.Shelley.Generator.ScriptClass |
| BbodyEvent | Test.Cardano.Ledger.Shelley.Rules.Chain |
| BbodyFailure | Test.Cardano.Ledger.Shelley.Rules.Chain |
| blockDecoder | Test.Cardano.Ledger.Shelley.LaxBlock |
| bobAddr | Test.Cardano.Ledger.Shelley.Examples.Cast |
| bobPay | Test.Cardano.Ledger.Shelley.Examples.Cast |
| bobPoolKeys | Test.Cardano.Ledger.Shelley.Examples.Cast |
| bobPoolParams | Test.Cardano.Ledger.Shelley.Examples.Cast |
| bobSHK | Test.Cardano.Ledger.Shelley.Examples.Cast |
| bobStake | Test.Cardano.Ledger.Shelley.Examples.Cast |
| bobVRFKeyHash | Test.Cardano.Ledger.Shelley.Examples.Cast |
| Body' | Test.Cardano.Ledger.Shelley.Generator.EraGen |
| C | Test.Cardano.Ledger.Shelley.ConcreteCryptoTypes, Test.Cardano.Ledger.Shelley.Rewards |
| calcEraMinUTxO | Test.Cardano.Ledger.Shelley.Generator.EraGen |
| carlAddr | Test.Cardano.Ledger.Shelley.Examples.Cast |
| carlPay | Test.Cardano.Ledger.Shelley.Examples.Cast |
| carlSHK | Test.Cardano.Ledger.Shelley.Examples.Cast |
| carlStake | Test.Cardano.Ledger.Shelley.Examples.Cast |
| Case | Test.Cardano.Ledger.TerseTools |
| caseKey | Test.Cardano.Ledger.TerseTools |
| CertCred | Test.Cardano.Ledger.Shelley.Generator.TxCert, Test.Cardano.Ledger.Shelley.Generator.Delegation |
| CERTS | Test.Cardano.Ledger.Shelley.Generator.Trace.TxCert, Test.Cardano.Ledger.Shelley.Generator.Trace.DCert |
| CHAIN | Test.Cardano.Ledger.Shelley.Rules.Chain |
| chainCandidateNonce | Test.Cardano.Ledger.Shelley.Rules.Chain |
| chainEpochNonce | Test.Cardano.Ledger.Shelley.Rules.Chain |
| ChainEvent | Test.Cardano.Ledger.Shelley.Rules.Chain |
| chainEvolvingNonce | Test.Cardano.Ledger.Shelley.Rules.Chain |
| chainLastAppliedBlock | Test.Cardano.Ledger.Shelley.Rules.Chain |
| chainNes | Test.Cardano.Ledger.Shelley.Rules.Chain |
| chainOCertIssue | Test.Cardano.Ledger.Shelley.Rules.Chain |
| chainPrevEpochNonce | Test.Cardano.Ledger.Shelley.Rules.Chain |
| ChainProperty | Test.Cardano.Ledger.Shelley.Utils |
| chainSstWithTick | Test.Cardano.Ledger.Shelley.Rules.TestChain |
| ChainState | |
| 1 (Type/Class) | Test.Cardano.Ledger.Shelley.Rules.Chain |
| 2 (Data Constructor) | Test.Cardano.Ledger.Shelley.Rules.Chain |
| chainStateNesL | Test.Cardano.Ledger.Shelley.Rules.Chain |
| change | Test.Cardano.Ledger.Shelley.Generator.Utxo |
| checkEncoding | Test.Cardano.Ledger.Shelley.Serialisation.GoldenUtils |
| checkEncodingCBOR | Test.Cardano.Ledger.Shelley.Serialisation.GoldenUtils |
| checkEncodingCBORAnnotated | Test.Cardano.Ledger.Shelley.Serialisation.GoldenUtils |
| checkEncodingCBORDecodeFailure | Test.Cardano.Ledger.Shelley.Serialisation.GoldenUtils |
| combinedScripts | Test.Cardano.Ledger.Shelley.Generator.ScriptClass |
| commonTests | Test.Cardano.Ledger.Shelley.PropertyTests |
| Constants | |
| 1 (Data Constructor) | Test.Cardano.Ledger.Shelley.Generator.Constants |
| 2 (Type/Class) | Test.Cardano.Ledger.Shelley.Generator.Constants |
| constructTx | Test.Cardano.Ledger.Shelley.Generator.EraGen |
| CoreKeyCred | Test.Cardano.Ledger.Shelley.Generator.TxCert, Test.Cardano.Ledger.Shelley.Generator.Delegation |
| coreNodeIssuerKeys | Test.Cardano.Ledger.Shelley.Examples.Federation |
| coreNodeKeys | Test.Cardano.Ledger.Shelley.Generator.Presets |
| coreNodeKeysBySchedule | Test.Cardano.Ledger.Shelley.Examples.Federation |
| coreNodeSK | Test.Cardano.Ledger.Shelley.Examples.Federation |
| coreNodeVK | Test.Cardano.Ledger.Shelley.Examples.Federation |
| createRUpdOld | Test.Cardano.Ledger.Shelley.Rewards |
| createRUpdOld_ | Test.Cardano.Ledger.Shelley.Rewards |
| dariaAddr | Test.Cardano.Ledger.Shelley.Examples.Cast |
| dariaPay | Test.Cardano.Ledger.Shelley.Examples.Cast |
| dariaSHK | Test.Cardano.Ledger.Shelley.Examples.Cast |
| dariaStake | Test.Cardano.Ledger.Shelley.Examples.Cast |
| defaultConstants | Test.Cardano.Ledger.Shelley.Generator.Constants |
| defaultMain | Test.Cardano.Ledger.Shelley.Rewards |
| defaultShelleyLedgerExamples | Test.Cardano.Ledger.Shelley.Examples.Consensus |
| DelegateCred | Test.Cardano.Ledger.Shelley.Generator.TxCert, Test.Cardano.Ledger.Shelley.Generator.Delegation |
| delegTraceFromBlock | Test.Cardano.Ledger.Shelley.Rules.TestChain |
| Delta | |
| 1 (Type/Class) | Test.Cardano.Ledger.Shelley.Generator.Utxo |
| 2 (Data Constructor) | Test.Cardano.Ledger.Shelley.Generator.Utxo |
| deltaFOld | Test.Cardano.Ledger.Shelley.Rewards |
| deltaROld | Test.Cardano.Ledger.Shelley.Rewards |
| deltaScripts | Test.Cardano.Ledger.Shelley.Generator.Utxo |
| deltaTOld | Test.Cardano.Ledger.Shelley.Rewards |
| deltaVKeys | Test.Cardano.Ledger.Shelley.Generator.Utxo |
| dfees | Test.Cardano.Ledger.Shelley.Generator.Utxo |
| differences | Test.Cardano.Ledger.TerseTools |
| encodedLen | Test.Cardano.Ledger.Shelley.Generator.Utxo |
| epochFromSlotNo | Test.Cardano.Ledger.Shelley.Utils |
| epochSize | Test.Cardano.Ledger.Shelley.Utils |
| EraGen | Test.Cardano.Ledger.Shelley.Generator.EraGen |
| evolveKESUntil | Test.Cardano.Ledger.Shelley.Utils |
| exampleAuxDataMap | Test.Cardano.Ledger.Shelley.Examples.Consensus |
| exampleAuxiliaryDataShelley | Test.Cardano.Ledger.Shelley.Examples.Consensus |
| exampleCerts | Test.Cardano.Ledger.Shelley.Examples.Consensus |
| exampleCoin | Test.Cardano.Ledger.Shelley.Examples.Consensus |
| exampleHashHeader | Test.Cardano.Ledger.Shelley.Examples.Consensus |
| exampleKeys | Test.Cardano.Ledger.Shelley.Examples.Consensus |
| exampleLedgerChainDepState | Test.Cardano.Ledger.Shelley.Examples.Consensus |
| exampleNewEpochState | Test.Cardano.Ledger.Shelley.Examples.Consensus |
| exampleNonMyopicRewards | Test.Cardano.Ledger.Shelley.Examples.Consensus |
| examplePayKey | Test.Cardano.Ledger.Shelley.Examples.Consensus |
| examplePoolDistr | Test.Cardano.Ledger.Shelley.Examples.Consensus |
| examplePoolParams | Test.Cardano.Ledger.Shelley.Examples.Consensus |
| exampleProposedPParamsUpdates | Test.Cardano.Ledger.Shelley.Examples.Consensus |
| exampleProposedPPUpdates | Test.Cardano.Ledger.Shelley.Examples.Consensus |
| exampleShelleyLedgerBlock | Test.Cardano.Ledger.Shelley.Examples.Consensus |
| exampleStakeKey | Test.Cardano.Ledger.Shelley.Examples.Consensus |
| exampleTx | Test.Cardano.Ledger.Shelley.Examples.Consensus |
| exampleTxBodyShelley | Test.Cardano.Ledger.Shelley.Examples.Consensus |
| exampleTxIns | Test.Cardano.Ledger.Shelley.Examples.Consensus |
| exampleWithdrawals | Test.Cardano.Ledger.Shelley.Examples.Consensus |
| exponential | Test.Cardano.Ledger.Shelley.Generator.ScriptClass |
| extraInputs | Test.Cardano.Ledger.Shelley.Generator.Utxo |
| extraWitnesses | Test.Cardano.Ledger.Shelley.Generator.Utxo |
| feeOrCollateral | Test.Cardano.Ledger.Shelley.Generator.EraGen |
| feesAdaPot | Test.Cardano.Ledger.Shelley.Rules.Chain |
| findPayKeyPairAddr | Test.Cardano.Ledger.Shelley.Generator.Core |
| findPayKeyPairCred | Test.Cardano.Ledger.Shelley.Generator.Core |
| findPayScriptFromAddr | Test.Cardano.Ledger.Shelley.Generator.Core |
| findPayScriptFromCred | Test.Cardano.Ledger.Shelley.Generator.Core |
| findPlutus | Test.Cardano.Ledger.Shelley.Generator.Core |
| findStakeScriptFromCred | Test.Cardano.Ledger.Shelley.Generator.Core |
| forAllChainTrace | Test.Cardano.Ledger.Shelley.Rules.TestChain |
| forEachEpochTrace | Test.Cardano.Ledger.Shelley.Rules.TestChain |
| frequencyAFewWithdrawals | Test.Cardano.Ledger.Shelley.Generator.Constants |
| frequencyDelegCert | Test.Cardano.Ledger.Shelley.Generator.Constants |
| frequencyDeRegKeyCert | Test.Cardano.Ledger.Shelley.Generator.Constants |
| frequencyGenesisDelegationCert | Test.Cardano.Ledger.Shelley.Generator.Constants |
| frequencyKeyCredDelegation | Test.Cardano.Ledger.Shelley.Generator.Constants |
| frequencyKeyCredDeReg | Test.Cardano.Ledger.Shelley.Generator.Constants |
| frequencyKeyCredReg | Test.Cardano.Ledger.Shelley.Generator.Constants |
| frequencyLowMaxEpoch | Test.Cardano.Ledger.Shelley.Generator.Constants |
| frequencyMIRCert | Test.Cardano.Ledger.Shelley.Generator.Constants |
| frequencyNoWithdrawals | Test.Cardano.Ledger.Shelley.Generator.Constants |
| frequencyPotentiallyManyWithdrawals | Test.Cardano.Ledger.Shelley.Generator.Constants |
| frequencyRegCert | Test.Cardano.Ledger.Shelley.Generator.Constants |
| frequencyRegPoolCert | Test.Cardano.Ledger.Shelley.Generator.Constants |
| frequencyRetirePoolCert | Test.Cardano.Ledger.Shelley.Generator.Constants |
| frequencyScriptCredDelegation | Test.Cardano.Ledger.Shelley.Generator.Constants |
| frequencyScriptCredDeReg | Test.Cardano.Ledger.Shelley.Generator.Constants |
| frequencyScriptCredReg | Test.Cardano.Ledger.Shelley.Generator.Constants |
| frequencyTxUpdates | Test.Cardano.Ledger.Shelley.Generator.Constants |
| frequencyTxWithMetadata | Test.Cardano.Ledger.Shelley.Generator.Constants |
| G | Test.Cardano.Ledger.Shelley.Serialisation.GoldenUtils |
| geConstants | Test.Cardano.Ledger.Shelley.Generator.Core |
| geKeySpace | Test.Cardano.Ledger.Shelley.Generator.Core |
| genAccountState | Test.Cardano.Ledger.Shelley.Generator.Trace.Ledger |
| genBlock | Test.Cardano.Ledger.Shelley.Generator.Block |
| genBlockWithTxGen | Test.Cardano.Ledger.Shelley.Generator.Block |
| genBool | Test.Cardano.Ledger.Shelley.Generator.Core |
| genCoherentBlock | Test.Cardano.Ledger.Shelley.Serialisation.EraIndepGenerators |
| genCoin | Test.Cardano.Ledger.Shelley.Generator.Core, Test.Cardano.Ledger.Shelley.Generator.ShelleyEraGen |
| genCoinList | Test.Cardano.Ledger.Shelley.Generator.Core |
| genDecentralisationParam | Test.Cardano.Ledger.Shelley.Generator.Update |
| genDelegs | Test.Cardano.Ledger.Shelley.Examples.Federation |
| GenEnv | |
| 1 (Type/Class) | Test.Cardano.Ledger.Shelley.Generator.Core |
| 2 (Data Constructor) | Test.Cardano.Ledger.Shelley.Generator.Core |
| genEnv | Test.Cardano.Ledger.Shelley.Generator.Presets |
| genEraAuxiliaryData | Test.Cardano.Ledger.Shelley.Generator.EraGen |
| genEraDone | Test.Cardano.Ledger.Shelley.Generator.EraGen |
| genEraGoodTxOut | Test.Cardano.Ledger.Shelley.Generator.EraGen |
| genEraPParams | Test.Cardano.Ledger.Shelley.Generator.EraGen |
| genEraPParamsUpdate | Test.Cardano.Ledger.Shelley.Generator.EraGen |
| genEraScriptCost | Test.Cardano.Ledger.Shelley.Generator.EraGen |
| genEraTweakBlock | Test.Cardano.Ledger.Shelley.Generator.EraGen |
| genEraTwoPhase2Arg | Test.Cardano.Ledger.Shelley.Generator.EraGen |
| genEraTwoPhase3Arg | Test.Cardano.Ledger.Shelley.Generator.EraGen |
| genEraTxBody | Test.Cardano.Ledger.Shelley.Generator.EraGen |
| genEraTxOut | Test.Cardano.Ledger.Shelley.Generator.EraGen |
| genEraTxWits | Test.Cardano.Ledger.Shelley.Generator.EraGen |
| genesisAccountState | Test.Cardano.Ledger.Shelley.Generator.Core |
| genesisCoins | Test.Cardano.Ledger.Shelley.Generator.Core |
| genesisDelegs0 | Test.Cardano.Ledger.Shelley.Generator.Presets |
| genesisId | Test.Cardano.Ledger.Shelley.Generator.EraGen |
| GenesisKeyPair | Test.Cardano.Ledger.Shelley.Utils |
| genGenesisValue | Test.Cardano.Ledger.Shelley.Generator.EraGen |
| genInteger | Test.Cardano.Ledger.Shelley.Generator.Core |
| genM | Test.Cardano.Ledger.Shelley.Generator.Update |
| genMetadata | Test.Cardano.Ledger.Shelley.Generator.TxAuxData |
| genMetadata' | Test.Cardano.Ledger.Shelley.Generator.TxAuxData |
| genNatural | Test.Cardano.Ledger.Shelley.Generator.Core |
| genPParams | Test.Cardano.Ledger.Shelley.Generator.Update |
| genShelleyPParamsUpdate | Test.Cardano.Ledger.Shelley.Generator.Update |
| genTx | Test.Cardano.Ledger.Shelley.Generator.Utxo |
| genTxCert | Test.Cardano.Ledger.Shelley.Generator.TxCert, Test.Cardano.Ledger.Shelley.Generator.Delegation |
| genTxCerts | Test.Cardano.Ledger.Shelley.Generator.Trace.TxCert, Test.Cardano.Ledger.Shelley.Generator.Trace.DCert |
| genTxOut | Test.Cardano.Ledger.Shelley.Generator.Core |
| genTxStableUtxoSize | Test.Cardano.Ledger.Shelley.Generator.Constants |
| genTxUtxoIncrement | Test.Cardano.Ledger.Shelley.Generator.Constants |
| genUpdate | Test.Cardano.Ledger.Shelley.Generator.Update |
| genUtxo0 | Test.Cardano.Ledger.Shelley.Generator.EraGen |
| genWord64 | Test.Cardano.Ledger.Shelley.Generator.Core |
| geScriptSpapce | Test.Cardano.Ledger.Shelley.Generator.Core |
| getBlockNonce | Test.Cardano.Ledger.Shelley.Utils |
| getData3 | Test.Cardano.Ledger.Shelley.Generator.Core |
| getHash2 | Test.Cardano.Ledger.Shelley.Generator.Core |
| getHash3 | Test.Cardano.Ledger.Shelley.Generator.Core |
| getKESPeriodRenewalNo | Test.Cardano.Ledger.Shelley.Generator.Core |
| getRedeemer2 | Test.Cardano.Ledger.Shelley.Generator.Core |
| getRedeemer3 | Test.Cardano.Ledger.Shelley.Generator.Core |
| getScript2 | Test.Cardano.Ledger.Shelley.Generator.Core |
| getScript3 | Test.Cardano.Ledger.Shelley.Generator.Core |
| getSucceeds2 | Test.Cardano.Ledger.Shelley.Generator.Core |
| getSucceeds3 | Test.Cardano.Ledger.Shelley.Generator.Core |
| hasFailedScripts | Test.Cardano.Ledger.Shelley.Generator.EraGen |
| hashData | Test.Cardano.Ledger.Shelley.Generator.Core |
| increasingProbabilityAt | Test.Cardano.Ledger.Shelley.Generator.Core |
| incrStakeComparisonTest | Test.Cardano.Ledger.Shelley.Rules.IncrementalStake |
| incrStakeComputationTest | Test.Cardano.Ledger.Shelley.Rules.IncrementalStake |
| initialShelleyState | Test.Cardano.Ledger.Shelley.Rules.Chain |
| initUTxO | Test.Cardano.Ledger.Shelley.BenchmarkFunctions |
| isKey | Test.Cardano.Ledger.Shelley.Generator.ScriptClass |
| isOnePhase | Test.Cardano.Ledger.Shelley.Generator.ScriptClass |
| KESKeyPair | |
| 1 (Data Constructor) | Test.Cardano.Ledger.Shelley.Generator.Core |
| 2 (Type/Class) | Test.Cardano.Ledger.Shelley.Generator.Core |
| kesSignKey | Test.Cardano.Ledger.Shelley.Generator.Core |
| kesVerKey | Test.Cardano.Ledger.Shelley.Generator.Core |
| keyPairs | Test.Cardano.Ledger.Shelley.Generator.ScriptClass, Test.Cardano.Ledger.Shelley.Generator.Presets |
| KeySpace | |
| 1 (Type/Class) | Test.Cardano.Ledger.Shelley.Generator.Core |
| 2 (Data Constructor) | Test.Cardano.Ledger.Shelley.Generator.Core |
| keySpace | Test.Cardano.Ledger.Shelley.Generator.Presets |
| KeySpace_ | Test.Cardano.Ledger.Shelley.Generator.Core |
| keyToCredential | Test.Cardano.Ledger.Shelley.Examples.Consensus |
| ksCoreNodes | Test.Cardano.Ledger.Shelley.Generator.Core |
| ksGenesisDelegates | Test.Cardano.Ledger.Shelley.Generator.Core |
| ksIndexedGenDelegates | Test.Cardano.Ledger.Shelley.Generator.Core |
| ksIndexedPaymentKeys | Test.Cardano.Ledger.Shelley.Generator.Core |
| ksIndexedPayScripts | Test.Cardano.Ledger.Shelley.Generator.Core |
| ksIndexedStakeScripts | Test.Cardano.Ledger.Shelley.Generator.Core |
| ksIndexedStakingKeys | Test.Cardano.Ledger.Shelley.Generator.Core |
| ksKeyPairs | Test.Cardano.Ledger.Shelley.Generator.Core |
| ksMSigScripts | Test.Cardano.Ledger.Shelley.Generator.Core |
| ksStakePools | Test.Cardano.Ledger.Shelley.Generator.Core |
| Label | Test.Cardano.Ledger.Shelley.Generator.EraGen |
| lastByronHeaderHash | Test.Cardano.Ledger.Shelley.Generator.Trace.Chain |
| LaxBlock | |
| 1 (Type/Class) | Test.Cardano.Ledger.Shelley.LaxBlock |
| 2 (Data Constructor) | Test.Cardano.Ledger.Shelley.LaxBlock |
| Leaf | Test.Cardano.Ledger.Shelley.Generator.ScriptClass |
| ledgerDelegateManyKeysOnePool | Test.Cardano.Ledger.Shelley.BenchmarkFunctions |
| ledgerDeRegisterStakeKeys | Test.Cardano.Ledger.Shelley.BenchmarkFunctions |
| ledgerEnv | Test.Cardano.Ledger.Shelley.BenchmarkFunctions |
| ledgerExamplesShelley | Test.Cardano.Ledger.Shelley.Examples.Consensus |
| ledgerRegisterStakeKeys | Test.Cardano.Ledger.Shelley.BenchmarkFunctions |
| ledgerRegisterStakePools | Test.Cardano.Ledger.Shelley.BenchmarkFunctions |
| ledgerReRegisterStakePools | Test.Cardano.Ledger.Shelley.BenchmarkFunctions |
| ledgerRetireStakePools | Test.Cardano.Ledger.Shelley.BenchmarkFunctions |
| ledgerRewardWithdrawals | Test.Cardano.Ledger.Shelley.BenchmarkFunctions |
| ledgerSpendOneGivenUTxO | Test.Cardano.Ledger.Shelley.BenchmarkFunctions |
| ledgerSpendOneUTxO | Test.Cardano.Ledger.Shelley.BenchmarkFunctions |
| ledgerStateWithNkeysMpools | Test.Cardano.Ledger.Shelley.BenchmarkFunctions |
| ledgerStateWithNregisteredKeys | Test.Cardano.Ledger.Shelley.BenchmarkFunctions |
| ledgerStateWithNregisteredPools | Test.Cardano.Ledger.Shelley.BenchmarkFunctions |
| ledgerTraceFromBlock | Test.Cardano.Ledger.Shelley.Rules.TestChain |
| ledgerTraceFromBlockWithRestrictedUTxO | Test.Cardano.Ledger.Shelley.Rules.TestChain |
| longTraceLen | Test.Cardano.Ledger.Shelley.Rules.TestChain |
| mapdiffs | Test.Cardano.Ledger.TerseTools |
| maxAFewWithdrawals | Test.Cardano.Ledger.Shelley.Generator.Constants |
| maxCertsPerTx | Test.Cardano.Ledger.Shelley.Generator.Constants |
| maxGenesisOutputVal | Test.Cardano.Ledger.Shelley.Generator.Constants |
| maxGenesisUTxOouts | Test.Cardano.Ledger.Shelley.Generator.Constants |
| maxKESIterations | Test.Cardano.Ledger.Shelley.Utils |
| maxLLSupply | Test.Cardano.Ledger.Shelley.Utils |
| maxMinFeeA | Test.Cardano.Ledger.Shelley.Generator.Constants |
| maxMinFeeB | Test.Cardano.Ledger.Shelley.Generator.Constants |
| maxNumGenInputs | Test.Cardano.Ledger.Shelley.Generator.Constants |
| maxReserves | Test.Cardano.Ledger.Shelley.Generator.Constants |
| maxSlotTrace | Test.Cardano.Ledger.Shelley.Generator.Constants |
| maxTreasury | Test.Cardano.Ledger.Shelley.Generator.Constants |
| maxTxsPerBlock | Test.Cardano.Ledger.Shelley.Generator.Constants |
| MinCHAIN_STS | Test.Cardano.Ledger.Shelley.Generator.EraGen |
| minGenesisOutputVal | Test.Cardano.Ledger.Shelley.Generator.Constants |
| minGenesisUTxOouts | Test.Cardano.Ledger.Shelley.Generator.Constants |
| MinGenTxout | Test.Cardano.Ledger.Shelley.Generator.EraGen |
| MinLEDGER_STS | Test.Cardano.Ledger.Shelley.Generator.EraGen |
| minNumGenInputs | Test.Cardano.Ledger.Shelley.Generator.Constants |
| minReserves | Test.Cardano.Ledger.Shelley.Generator.Constants |
| minSlotTrace | Test.Cardano.Ledger.Shelley.Generator.Constants |
| minTreasury | Test.Cardano.Ledger.Shelley.Generator.Constants |
| MinUTXO_STS | Test.Cardano.Ledger.Shelley.Generator.EraGen |
| mkAddr | Test.Cardano.Ledger.Shelley.Generator.Core |
| mkBlock | Test.Cardano.Ledger.Shelley.Generator.Core |
| mkBlockFakeVRF | Test.Cardano.Ledger.Shelley.Generator.Core |
| mkCertifiedVRF | Test.Cardano.Ledger.Shelley.Utils |
| mkCred | Test.Cardano.Ledger.Shelley.Generator.Core |
| mkDSIGNKeyPair | Test.Cardano.Ledger.Shelley.Examples.Consensus |
| mkDummyAnchor | Test.Cardano.Ledger.Shelley.Examples.Consensus |
| mkDummyHash | Test.Cardano.Ledger.Shelley.Generator.EraGen |
| mkDummySafeHash | Test.Cardano.Ledger.Shelley.Utils |
| mkGenesisChainState | Test.Cardano.Ledger.Shelley.Generator.Trace.Chain |
| mkGenesisLedgerState | Test.Cardano.Ledger.Shelley.Generator.Trace.Ledger |
| mkGenKey | Test.Cardano.Ledger.Shelley.Utils, Test.Cardano.Ledger.Shelley.Generator.Core |
| mkHash | Test.Cardano.Ledger.Shelley.Utils |
| mkKESKeyPair | Test.Cardano.Ledger.Shelley.Utils |
| mkKeyHash | Test.Cardano.Ledger.Shelley.Examples.Consensus |
| mkKeyPair | Test.Cardano.Ledger.Shelley.Utils, Test.Cardano.Ledger.Shelley.Generator.Core |
| mkKeyPair' | Test.Cardano.Ledger.Shelley.Utils |
| mkKeyPairs | Test.Cardano.Ledger.Shelley.Generator.ScriptClass, Test.Cardano.Ledger.Shelley.Generator.Core |
| mkOCert | Test.Cardano.Ledger.Shelley.Generator.Core |
| mkOCertIssueNos | Test.Cardano.Ledger.Shelley.Generator.Trace.Chain |
| mkPayScriptHashMap | Test.Cardano.Ledger.Shelley.Generator.ScriptClass |
| mkScriptCombinations | Test.Cardano.Ledger.Shelley.Generator.ScriptClass |
| mkScriptHash | Test.Cardano.Ledger.Shelley.Examples.Consensus |
| mkScripts | Test.Cardano.Ledger.Shelley.Generator.ScriptClass |
| mkScriptsFromKeyPair | Test.Cardano.Ledger.Shelley.Generator.ScriptClass |
| mkSeedFromWords | Test.Cardano.Ledger.Shelley.Utils |
| mkStakeScriptHashMap | Test.Cardano.Ledger.Shelley.Generator.ScriptClass |
| mkVRFKeyPair | |
| 1 (Function) | Test.Cardano.Ledger.Shelley.Utils |
| 2 (Function) | Test.Cardano.Ledger.Shelley.Examples.Consensus |
| mkWitnessesPreAlonzo | Test.Cardano.Ledger.Shelley.Examples.Consensus |
| MockCrypto | Test.Cardano.Ledger.Shelley.ConcreteCryptoTypes |
| MOf | Test.Cardano.Ledger.Shelley.Generator.ScriptClass |
| mOf | Test.Cardano.Ledger.Shelley.Generator.ScriptClass |
| NatNonce | |
| 1 (Data Constructor) | Test.Cardano.Ledger.Shelley.Generator.Core |
| 2 (Type/Class) | Test.Cardano.Ledger.Shelley.Generator.Core |
| newEpochEventsProp | Test.Cardano.Ledger.Shelley.Rewards |
| newEpochProp | Test.Cardano.Ledger.Shelley.Rewards |
| NoCred | Test.Cardano.Ledger.Shelley.Generator.TxCert, Test.Cardano.Ledger.Shelley.Generator.Delegation |
| nonMyopicOld | Test.Cardano.Ledger.Shelley.Rewards |
| numBaseScripts | Test.Cardano.Ledger.Shelley.Generator.Constants |
| numCoreNodes | |
| 1 (Function) | Test.Cardano.Ledger.Shelley.Generator.Constants |
| 2 (Function) | Test.Cardano.Ledger.Shelley.Examples.Federation |
| numKeyPairs | Test.Cardano.Ledger.Shelley.Generator.Constants |
| numSimpleScripts | Test.Cardano.Ledger.Shelley.Generator.Constants |
| obligationsPot | Test.Cardano.Ledger.Shelley.Rules.Chain |
| OnLeft | Test.Cardano.Ledger.TerseTools |
| onlyValidChainSignalsAreGenerated | Test.Cardano.Ledger.Shelley.Rules.ClassifyTraces |
| onlyValidLedgerSignalsAreGenerated | Test.Cardano.Ledger.Shelley.Rules.ClassifyTraces |
| OnRight | Test.Cardano.Ledger.TerseTools |
| pickRandomFromMap | Test.Cardano.Ledger.Shelley.Generator.Utxo |
| pickStakeKey | Test.Cardano.Ledger.Shelley.Generator.Core |
| Plus | Test.Cardano.Ledger.Shelley.Serialisation.GoldenUtils |
| PoolCred | Test.Cardano.Ledger.Shelley.Generator.TxCert, Test.Cardano.Ledger.Shelley.Generator.Delegation |
| poolTraceFromBlock | Test.Cardano.Ledger.Shelley.Rules.TestChain |
| PreAlonzo | Test.Cardano.Ledger.Shelley.Generator.Core |
| PredicateFailure | Test.Cardano.Ledger.Shelley.Rules.Chain |
| propAbstractSizeBoundsBytes | Test.Cardano.Ledger.Shelley.Rules.ClassifyTraces |
| propAbstractSizeNotTooBig | Test.Cardano.Ledger.Shelley.Rules.ClassifyTraces |
| PrtclEvent | Test.Cardano.Ledger.Shelley.Rules.Chain |
| PrtclFailure | Test.Cardano.Ledger.Shelley.Rules.Chain |
| PrtclSeqFailure | Test.Cardano.Ledger.Shelley.Rules.Chain |
| Quantifier | Test.Cardano.Ledger.Shelley.Generator.ScriptClass |
| quantify | Test.Cardano.Ledger.Shelley.Generator.ScriptClass |
| RawSeed | |
| 1 (Data Constructor) | Test.Cardano.Ledger.Shelley.Utils, Test.Cardano.Ledger.Shelley.Generator.Core |
| 2 (Type/Class) | Test.Cardano.Ledger.Shelley.Utils, Test.Cardano.Ledger.Shelley.Generator.Core |
| RealChainPredicateFailure | Test.Cardano.Ledger.Shelley.Rules.Chain |
| registerGenesisStaking | Test.Cardano.Ledger.Shelley.Generator.Trace.Chain |
| relevantCasesAreCovered | Test.Cardano.Ledger.Shelley.Rules.ClassifyTraces |
| reservesAdaPot | Test.Cardano.Ledger.Shelley.Rules.Chain |
| rewardsAdaPot | Test.Cardano.Ledger.Shelley.Rules.Chain |
| RewardUpdateOld | |
| 1 (Type/Class) | Test.Cardano.Ledger.Shelley.Rewards |
| 2 (Data Constructor) | Test.Cardano.Ledger.Shelley.Rewards |
| roundTripFailure | Test.Cardano.Ledger.Shelley.Serialisation.GoldenUtils |
| rsOld | Test.Cardano.Ledger.Shelley.Rewards |
| runShelleyBase | Test.Cardano.Ledger.Shelley.Utils |
| runSTS | Test.Cardano.Ledger.Shelley.Utils |
| S | Test.Cardano.Ledger.Shelley.Serialisation.GoldenUtils |
| SameKey | Test.Cardano.Ledger.TerseTools |
| ScriptClass | Test.Cardano.Ledger.Shelley.Generator.ScriptClass |
| ScriptCred | Test.Cardano.Ledger.Shelley.Generator.TxCert, Test.Cardano.Ledger.Shelley.Generator.Delegation |
| ScriptInfo | Test.Cardano.Ledger.Shelley.Generator.Core |
| scriptKeyCombination | Test.Cardano.Ledger.Shelley.Generator.ScriptClass |
| scriptKeyCombinations | Test.Cardano.Ledger.Shelley.Generator.ScriptClass |
| ScriptSpace | |
| 1 (Type/Class) | Test.Cardano.Ledger.Shelley.Generator.Core |
| 2 (Data Constructor) | Test.Cardano.Ledger.Shelley.Generator.Core |
| scriptSpace | Test.Cardano.Ledger.Shelley.Generator.Presets |
| set | Test.Cardano.Ledger.Shelley.Generator.EraGen |
| Sets | Test.Cardano.Ledger.Shelley.Generator.EraGen |
| ShelleyLedgerExamples | |
| 1 (Type/Class) | Test.Cardano.Ledger.Shelley.Examples.Consensus |
| 2 (Data Constructor) | Test.Cardano.Ledger.Shelley.Examples.Consensus |
| ShelleyResultExamples | |
| 1 (Type/Class) | Test.Cardano.Ledger.Shelley.Examples.Consensus |
| 2 (Data Constructor) | Test.Cardano.Ledger.Shelley.Examples.Consensus |
| shortChainTrace | Test.Cardano.Ledger.Shelley.Rules.TestChain |
| sleApplyTxError | Test.Cardano.Ledger.Shelley.Examples.Consensus |
| sleBlock | Test.Cardano.Ledger.Shelley.Examples.Consensus |
| sleChainDepState | Test.Cardano.Ledger.Shelley.Examples.Consensus |
| sleHashHeader | Test.Cardano.Ledger.Shelley.Examples.Consensus |
| sleNewEpochState | Test.Cardano.Ledger.Shelley.Examples.Consensus |
| sleResultExamples | Test.Cardano.Ledger.Shelley.Examples.Consensus |
| sleRewardsCredentials | Test.Cardano.Ledger.Shelley.Examples.Consensus |
| sleTranslationContext | Test.Cardano.Ledger.Shelley.Examples.Consensus |
| sleTx | Test.Cardano.Ledger.Shelley.Examples.Consensus |
| slotFromEpoch | Test.Cardano.Ledger.Shelley.Utils |
| slotsPerKESIteration | Test.Cardano.Ledger.Shelley.Utils |
| someKeyPairs | Test.Cardano.Ledger.Shelley.Generator.EraGen, Test.Cardano.Ledger.Shelley.Generator.Presets |
| Split | Test.Cardano.Ledger.Shelley.Utils |
| splitTrace | Test.Cardano.Ledger.Shelley.Rules.TestChain |
| sreNonMyopicRewards | Test.Cardano.Ledger.Shelley.Examples.Consensus |
| srePoolDistr | Test.Cardano.Ledger.Shelley.Examples.Consensus |
| srePParams | Test.Cardano.Ledger.Shelley.Examples.Consensus |
| sreProposedPPUpdates | Test.Cardano.Ledger.Shelley.Examples.Consensus |
| sreShelleyGenesis | Test.Cardano.Ledger.Shelley.Examples.Consensus |
| ssHash2 | Test.Cardano.Ledger.Shelley.Generator.Core |
| ssHash3 | Test.Cardano.Ledger.Shelley.Generator.Core |
| ssScripts2 | Test.Cardano.Ledger.Shelley.Generator.Core |
| ssScripts3 | Test.Cardano.Ledger.Shelley.Generator.Core |
| StakeCred | Test.Cardano.Ledger.Shelley.Generator.TxCert, Test.Cardano.Ledger.Shelley.Generator.Delegation |
| stakeDistr | Test.Cardano.Ledger.Shelley.Rules.IncrementalStake |
| T | Test.Cardano.Ledger.Shelley.Serialisation.GoldenUtils |
| Terse | Test.Cardano.Ledger.TerseTools |
| terse | Test.Cardano.Ledger.TerseTools |
| tersediffincremental | Test.Cardano.Ledger.TerseTools |
| terselist | Test.Cardano.Ledger.TerseTools |
| terselistfilter | Test.Cardano.Ledger.TerseTools |
| tersemap | Test.Cardano.Ledger.TerseTools |
| tersemapdiffs | Test.Cardano.Ledger.TerseTools |
| tersemapfilter | Test.Cardano.Ledger.TerseTools |
| terseutxo | Test.Cardano.Ledger.TerseTools |
| TestChainPredicateFailure | Test.Cardano.Ledger.Shelley.Rules.Chain |
| testEpochInfo | Test.Cardano.Ledger.Shelley.Examples.Consensus |
| testGlobals | Test.Cardano.Ledger.Shelley.Utils |
| testGroupByronTranslation | Test.Cardano.Ledger.Shelley.ByronTranslation |
| testGroupShelleyTranslation | Test.Cardano.Ledger.Shelley.ShelleyTranslation |
| TestingLedger | Test.Cardano.Ledger.Shelley.Rules.TestChain |
| tests | |
| 1 (Function) | Test.Cardano.Ledger.Shelley.Rules.PoolReap |
| 2 (Function) | Test.Cardano.Ledger.Shelley.Rules.Pool |
| 3 (Function) | Test.Cardano.Ledger.Shelley.Rules.Deposits |
| 4 (Function) | Test.Cardano.Ledger.Shelley.Rules.Deleg |
| 5 (Function) | Test.Cardano.Ledger.Shelley.Rules.CollisionFreeness |
| 6 (Function) | Test.Cardano.Ledger.Shelley.Rules.AdaPreservation |
| 7 (Function) | Test.Cardano.Ledger.Shelley.WitVKeys |
| 8 (Function) | Test.Cardano.Ledger.Shelley.Rewards |
| testShelleyGenesis | Test.Cardano.Ledger.Shelley.Examples.Consensus |
| testSTS | Test.Cardano.Ledger.Shelley.Utils |
| tickChainState | Test.Cardano.Ledger.Shelley.Generator.Block |
| TickEvent | Test.Cardano.Ledger.Shelley.Rules.Chain |
| TickFailure | Test.Cardano.Ledger.Shelley.Rules.Chain |
| TicknEvent | Test.Cardano.Ledger.Shelley.Rules.Chain |
| TicknFailure | Test.Cardano.Ledger.Shelley.Rules.Chain |
| tooLateInEpoch | Test.Cardano.Ledger.Shelley.Generator.Core |
| totalAda | Test.Cardano.Ledger.Shelley.Rules.Chain |
| totalAdaPots | Test.Cardano.Ledger.Shelley.Rules.Chain |
| ToTokens | Test.Cardano.Ledger.Shelley.Serialisation.GoldenUtils |
| traceLen | Test.Cardano.Ledger.Shelley.Rules.TestChain |
| treasuryAdaPot | Test.Cardano.Ledger.Shelley.Rules.Chain |
| TwoPhase2ArgInfo | |
| 1 (Type/Class) | Test.Cardano.Ledger.Shelley.Generator.Core |
| 2 (Data Constructor) | Test.Cardano.Ledger.Shelley.Generator.Core |
| TwoPhase3ArgInfo | |
| 1 (Type/Class) | Test.Cardano.Ledger.Shelley.Generator.Core |
| 2 (Data Constructor) | Test.Cardano.Ledger.Shelley.Generator.Core |
| txInAt | Test.Cardano.Ledger.Shelley.Utils |
| unQuantify | Test.Cardano.Ledger.Shelley.Generator.ScriptClass |
| unsafeBoundRational | Test.Cardano.Ledger.Shelley.Utils |
| updateEraTxBody | Test.Cardano.Ledger.Shelley.Generator.EraGen |
| utxoAdaPot | Test.Cardano.Ledger.Shelley.Rules.Chain |
| VRFKeyPair | |
| 1 (Data Constructor) | Test.Cardano.Ledger.Shelley.Generator.Core |
| 2 (Type/Class) | Test.Cardano.Ledger.Shelley.Generator.Core |
| vrfSignKey | Test.Cardano.Ledger.Shelley.Generator.Core |
| vrfVerKey | Test.Cardano.Ledger.Shelley.Generator.Core |
| vsplit | Test.Cardano.Ledger.Shelley.Utils |
| Wits' | Test.Cardano.Ledger.Shelley.Generator.EraGen |