Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Synopsis
- forgeByronBlock ∷ HasCallStack ⇒ TopLevelConfig ByronBlock → BlockNo → SlotNo → TickedLedgerState ByronBlock → [Validated (GenTx ByronBlock)] → PBftIsLeader PBftByronCrypto → ByronBlock
- forgeRegularBlock ∷ HasCallStack ⇒ BlockConfig ByronBlock → BlockNo → SlotNo → TickedLedgerState ByronBlock → [Validated (GenTx ByronBlock)] → PBftIsLeader PBftByronCrypto → ByronBlock
- forgeEBB ∷ BlockConfig ByronBlock → SlotNo → BlockNo → ChainHash ByronBlock → ByronBlock
Documentation
∷ HasCallStack | |
⇒ TopLevelConfig ByronBlock | |
→ BlockNo | Current block number |
→ SlotNo | Current slot number |
→ TickedLedgerState ByronBlock | Current ledger |
→ [Validated (GenTx ByronBlock)] | Txs to include |
→ PBftIsLeader PBftByronCrypto | Leader proof ( |
→ ByronBlock |
∷ HasCallStack | |
⇒ BlockConfig ByronBlock | |
→ BlockNo | Current block number |
→ SlotNo | Current slot number |
→ TickedLedgerState ByronBlock | Current ledger |
→ [Validated (GenTx ByronBlock)] | Txs to include |
→ PBftIsLeader PBftByronCrypto | Leader proof ( |
→ ByronBlock |
For testing purposes
∷ BlockConfig ByronBlock | |
→ SlotNo | Current slot |
→ BlockNo | Current block number |
→ ChainHash ByronBlock | Previous hash |
→ ByronBlock |