| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Ouroboros.Consensus.Shelley.Ledger.Forge
Documentation
Arguments
| ∷ ∀ m era proto (mk ∷ MapKind). (ShelleyCompatible proto era, Monad m) | |
| ⇒ HotKey (ProtoCrypto proto) m | |
| → CanBeLeader proto | |
| → TopLevelConfig (ShelleyBlock proto era) | |
| → BlockNo | Current block number |
| → SlotNo | Current slot number |
| → TickedLedgerState (ShelleyBlock proto era) mk | Current ledger |
| → [Validated (GenTx (ShelleyBlock proto era))] | Txs to include |
| → IsLeader proto | |
| → m (ShelleyBlock proto era) |