ouroboros-consensus-mock-0.1.0.0: Mock ledger integration in the Ouroboros consensus layer
Safe HaskellNone
LanguageHaskell2010

Ouroboros.Consensus.Mock.Ledger.Forge

Synopsis

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 Source #

Arguments

∷ ∀ c ext. (SimpleCrypto c, MockProtocolSpecific c ext) 
ForgeExt c ext 
TopLevelConfig (SimpleBlock c ext) 
BlockNo

Current block number

SlotNo

Current slot number

TickedLedgerState (SimpleBlock c ext)

Current ledger

→ [GenTx (SimpleBlock c ext)]

Txs to include

IsLeader (BlockProtocol (SimpleBlock c ext)) 
SimpleBlock c ext