| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Test.Cardano.Ledger.Shelley.Generator.Block
Synopsis
- genBlock ∷ (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)
- genBlockWithTxGen ∷ (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)
- tickChainState ∷ (ShelleyEraForecast era, ApplyBlock TestBlockHeader era) ⇒ SlotNo → ChainState era → ChainState era
Documentation
genBlock ∷ (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) Source #
Generate a valid block.
genBlockWithTxGen ∷ (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) Source #
tickChainState ∷ (ShelleyEraForecast era, ApplyBlock TestBlockHeader era) ⇒ SlotNo → ChainState era → ChainState era Source #
The chain state is a composite of the new epoch state and the chain dep state. We tick both.