Modulecardano-ledger-shelley-test-1.9.0.0Haskell2010

Test.Cardano.Ledger.Shelley.Generator.Block

valuegenBlock

:: (MinLEDGER_STS era, ApplyBlock TestBlockHeader era, ShelleyEraForecast era, HasTrace (EraRule "LEDGERS" era) (GenEnv c era), EraGen era, PraosCrypto c, EraBlockHeader (BHeader c) era)
=> GenEnv c era
-> ChainState era
-> Gen (Block (BHeader c) era)

Generate a valid block.

valuegenBlockWithTxGen

:: (ApplyBlock TestBlockHeader era, ShelleyEraForecast era, EraGen era, PraosCrypto c, EraBlockHeader (BHeader c) era)
=> TxGen era
-> GenEnv c era
-> ChainState era
-> Gen (Block (BHeader c) era)

valuetickChainState

The chain state is a composite of the new epoch state and the chain dep state. We tick both.