| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Ouroboros.Consensus.HardFork.Combinator.Forging
Synopsis
- type HardForkCannotForge xs = OneEraCannotForge xs
- hardForkBlockForging :: forall m xs. (CanHardFork xs, Monad m) => NS (BlockForging m) xs -> BlockForging m (HardForkBlock xs)
- type HardForkForgeStateInfo xs = OneEraForgeStateInfo xs
- type HardForkForgeStateUpdateError xs = OneEraForgeStateUpdateError xs
Documentation
type HardForkCannotForge xs = OneEraCannotForge xs Source #
If we cannot forge, it's because the current era could not forge
hardForkBlockForging :: forall m xs. (CanHardFork xs, Monad m) => NS (BlockForging m) xs -> BlockForging m (HardForkBlock xs) Source #
type HardForkForgeStateInfo xs = OneEraForgeStateInfo xs Source #
For each era in which we want to forge blocks, we have a BlockForging,
and thus ForgeStateInfo.
type HardForkForgeStateUpdateError xs = OneEraForgeStateUpdateError xs Source #
For each era in which we want to forge blocks, we have a BlockForging,
and thus ForgeStateUpdateError.