Skip to content

HORIZON HASKELL Docs lts/ghc-9.14.x99ffbb82026-10-19Search packagesCtrl K

Theme: |

GHC 9.14.1 · lts/ghc-9.14.x · 99ffbb8 · 2026-10-19

Modulecardano-ledger-shelley-test-1.9.0.0Haskell2010

Test.Cardano.Ledger.Shelley.Generator.Block

Synopsis

value genBlock
value genBlockWithTxGen
value tickChainState

Packagecardano-ledger-shelley-test-1.9.0.0
Exports3
LanguageHaskell2010
LicenceApache-2.0
SourceBlock.hs

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

:: (ShelleyEraForecast era, ApplyTick era)
=> SlotNo
-> ChainState era
-> ChainState era

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