| 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 ∷ MockProtocolSpecific c ext ⇒ ForgeExt c ext → ForgeBlockArgs (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
| |
forgeSimple ∷ MockProtocolSpecific c ext ⇒ ForgeExt c ext → ForgeBlockArgs (SimpleBlock c ext) → SimpleBlock c ext Source #