| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Ouroboros.Consensus.Byron.Ledger.Forge
Contents
Synopsis
- forgeByronBlock ∷ ∀ (mk ∷ MapKind). HasCallStack ⇒ TopLevelConfig ByronBlock → BlockNo → SlotNo → TickedLedgerState ByronBlock mk → [Validated (GenTx ByronBlock)] → PBftIsLeader PBftByronCrypto → ByronBlock
- forgeRegularBlock ∷ ∀ (mk ∷ MapKind). HasCallStack ⇒ BlockConfig ByronBlock → BlockNo → SlotNo → TickedLedgerState ByronBlock mk → [Validated (GenTx ByronBlock)] → PBftIsLeader PBftByronCrypto → ByronBlock
- forgeEBB ∷ BlockConfig ByronBlock → SlotNo → BlockNo → ChainHash ByronBlock → ByronBlock
Documentation
Arguments
| ∷ ∀ (mk ∷ MapKind). HasCallStack | |
| ⇒ TopLevelConfig ByronBlock | |
| → BlockNo | Current block number |
| → SlotNo | Current slot number |
| → TickedLedgerState ByronBlock mk | Current ledger |
| → [Validated (GenTx ByronBlock)] | Txs to include |
| → PBftIsLeader PBftByronCrypto | Leader proof ( |
| → ByronBlock |
Arguments
| ∷ ∀ (mk ∷ MapKind). HasCallStack | |
| ⇒ BlockConfig ByronBlock | |
| → BlockNo | Current block number |
| → SlotNo | Current slot number |
| → TickedLedgerState ByronBlock mk | Current ledger |
| → [Validated (GenTx ByronBlock)] | Txs to include |
| → PBftIsLeader PBftByronCrypto | Leader proof ( |
| → ByronBlock |
For testing purposes
Arguments
| ∷ BlockConfig ByronBlock | |
| → SlotNo | Current slot |
| → BlockNo | Current block number |
| → ChainHash ByronBlock | Previous hash |
| → ByronBlock |