cardano-ledger-shelley-test-1.6.0.1: Test helpers from cardano-ledger-shelley exposed to other packages
Safe HaskellSafe-Inferred
LanguageHaskell2010

Test.Cardano.Ledger.Shelley.Generator.Block

Synopsis

Documentation

genBlock ∷ ∀ era c. (MinLEDGER_STS era, ApplyBlock era, GetLedgerView era, HasTrace (EraRule "LEDGERS" era) (GenEnv c era), EraGen era, PraosCrypto c) ⇒ GenEnv c era → ChainState era → Gen (Block (BHeader c) era) Source #

Generate a valid block.

genBlockWithTxGen ∷ ∀ era c. (GetLedgerView era, ApplyBlock era, EraGen era, PraosCrypto c) ⇒ TxGen era → GenEnv c era → ChainState era → Gen (Block (BHeader c) era) Source #

tickChainState ∷ (GetLedgerView era, ApplyBlock era) ⇒ SlotNoChainState era → ChainState era Source #

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