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