| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Test.Cardano.Ledger.Shelley.Generator.Block
Synopsis
- 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)
- genBlockWithTxGen ∷ ∀ era. (Mock (EraCrypto era), GetLedgerView era, ApplyBlock era, EraGen era) ⇒ TxGen era → GenEnv era → ChainState era → Gen (Block (BHeader (EraCrypto era)) era)
- tickChainState ∷ (GetLedgerView era, ApplyBlock era) ⇒ SlotNo → ChainState era → ChainState era
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) ⇒ 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.