ouroboros-consensus-cardano-0.12.1.0: The instantation of the Ouroboros consensus layer used by Cardano
Safe HaskellSafe-Inferred
LanguageHaskell2010

Test.ThreadNet.TxGen.Shelley

Documentation

data ShelleyTxGenExtra h Source #

Constructors

ShelleyTxGenExtra 

Fields

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 Source #

show :: WhetherToGeneratePPUs -> String Source #

showList :: [WhetherToGeneratePPUs] -> ShowS Source #

genTx :: forall 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 :: forall 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))

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))]