ouroboros-consensus-cardano-0.16.0.0: The instantation of the Ouroboros consensus layer used by Cardano

Safe Haskell	Safe-Inferred
Language	Haskell2010

Test.ThreadNet.TxGen.Shelley

Contents

Orphan instances

Documentation

data ShelleyTxGenExtra h Source #

Constructors

ShelleyTxGenExtra
Fields stgeGenEnv ∷ GenEnv (MockShelley h) Generator environment. stgeStartAt ∷ SlotNo Generate no transactions before this slot.

data WhetherToGeneratePPUs Source #

Constructors

DoNotGeneratePPUs
DoGeneratePPUs

Instances

Instances details

Show WhetherToGeneratePPUs Source #
Instance details Defined in Test.ThreadNet.TxGen.Shelley Methods showsPrec ∷ Int → WhetherToGeneratePPUs → ShowS # show ∷ WhetherToGeneratePPUs → String # showList ∷ [WhetherToGeneratePPUs] → ShowS #

genTx ∷ ∀ h. HashAlgorithm h ⇒ TopLevelConfig (ShelleyBlock (TPraos (MockCrypto h)) (MockShelley h)) → SlotNo → TickedLedgerState (ShelleyBlock (TPraos (MockCrypto h)) (MockShelley h)) → GenEnv (MockShelley h) → Gen (Maybe (GenTx (ShelleyBlock (TPraos (MockCrypto h)) (MockShelley h)))) Source #

mkGenEnv ∷ ∀ h. HashAlgorithm h ⇒ WhetherToGeneratePPUs → [CoreNode (MockCrypto h)] → GenEnv (MockShelley h) Source #

Orphan instances

HashAlgorithm h ⇒ TxGen (ShelleyBlock (TPraos (MockCrypto h)) (MockShelley h)) Source #

Instance details

Associated Types

type TxGenExtra (ShelleyBlock (TPraos (MockCrypto h)) (MockShelley h)) Source #

Methods

testGenTxs ∷ CoreNodeId → NumCoreNodes → SlotNo → TopLevelConfig (ShelleyBlock (TPraos (MockCrypto h)) (MockShelley h)) → TxGenExtra (ShelleyBlock (TPraos (MockCrypto h)) (MockShelley h)) → LedgerState (ShelleyBlock (TPraos (MockCrypto h)) (MockShelley h)) → Gen [GenTx (ShelleyBlock (TPraos (MockCrypto h)) (MockShelley h))] Source #