| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Ouroboros.Consensus.Mock.Ledger.Forge
Synopsis
- newtype ForgeExt c ext = ForgeExt {
- forgeExt ∷ TopLevelConfig (SimpleBlock c ext) → IsLeader (BlockProtocol (SimpleBlock c ext)) → SimpleBlock' c ext () → SimpleBlock c ext
- forgeSimple ∷ ∀ c ext (mk ∷ MapKind). SimpleCrypto c ⇒ ForgeExt c ext → TopLevelConfig (SimpleBlock c ext) → BlockNo → SlotNo → TickedLedgerState (SimpleBlock c ext) mk → [GenTx (SimpleBlock c ext)] → IsLeader (BlockProtocol (SimpleBlock c ext)) → SimpleBlock c ext
Documentation
newtype ForgeExt c ext Source #
Construct the protocol specific part of the block
This is used in forgeSimple, which takes care of the generic part of the
mock block.
Note: this is a newtype and not a type class to allow for things in the closure. For example, if Praos had to use a stateful KES key, it could refer to it in its closure.
Constructors
| ForgeExt | |
Fields
| |
Arguments
| ∷ ∀ c ext (mk ∷ MapKind). SimpleCrypto c | |
| ⇒ ForgeExt c ext | |
| → TopLevelConfig (SimpleBlock c ext) | |
| → BlockNo | Current block number |
| → SlotNo | Current slot number |
| → TickedLedgerState (SimpleBlock c ext) mk | Current ledger |
| → [GenTx (SimpleBlock c ext)] | Txs to include |
| → IsLeader (BlockProtocol (SimpleBlock c ext)) | |
| → SimpleBlock c ext |