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

Test.Cardano.Ledger.Shelley.Generator.Block

Synopsis

Documentation

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

Generate a valid block.

genBlockWithTxGen ∷ ∀ era. (Mock (EraCrypto era), GetLedgerView era, ApplyBlock era, EraGen era) ⇒ TxGen era → GenEnv era → ChainState era → Gen (Block (BHeader (EraCrypto era)) 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.