Moduleouroboros-consensus-4.2.1.0
Ouroboros.Consensus.Block.Forging
Synopsis
- value castForgeStateUpdateInfo
- value checkShouldForge
- value forgeStateUpdateInfoFromUpdateInfo
- data BlockForging
- family CannotForge
- family ForgeStateInfo
- family ForgeStateUpdateError
- data ForgeStateUpdateInfo
- newtype MkBlockForging
- data ShouldForge
- data UpdateInfo
- Packageouroboros-consensus-4.2.1.0
- Exports11
- LicenceApache-2.0
Constructors
BlockForgingforgeLabel :: TextcanBeLeader :: CanBeLeader (BlockProtocol blk)updateForgeState :: TopLevelConfig blk -> SlotNo -> Ticked (ChainDepState (BlockProtocol blk)) -> m (ForgeStateUpdateInfo blk)checkCanForge :: TopLevelConfig blk -> SlotNo -> Ticked (ChainDepState (BlockProtocol blk)) -> IsLeader (BlockProtocol blk) -> ForgeStateInfo blk -> Either (CannotForge blk) ()forgeBlock :: TopLevelConfig blk -> BlockNo -> SlotNo -> TickedLedgerState blk EmptyMK -> [Validated (GenTx blk)] -> IsLeader (BlockProtocol blk) -> m blkfinalize :: m ()
Instances1Isomorphic
Functor m => Isomorphic (BlockForging m)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Embed.Unary
Instances2CannotForge
type CannotForge (HardForkBlock xs) = HardForkCannotForge xsDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Forging · orphantype CannotForge (DualBlock m a) = CannotForge mDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
Instances2ForgeStateInfo
type ForgeStateInfo (HardForkBlock xs) = HardForkForgeStateInfo xsDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Forging · orphantype ForgeStateInfo (DualBlock m a) = ForgeStateInfo mDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
Instances2ForgeStateUpdateError
type ForgeStateUpdateError (HardForkBlock xs) = HardForkForgeStateUpdateError xsDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Forging · orphantype ForgeStateUpdateError (DualBlock m a) = ForgeStateUpdateError mDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
Constructors
Instances2Isomorphic, Show
Isomorphic ForgeStateUpdateInfoDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Embed.Unary(Show (ForgeStateInfo blk), Show (ForgeStateUpdateError blk)) => Show (ForgeStateUpdateInfo blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.Forging
Constructors
MkBlockForgingmkBlockForging :: m (BlockForging m blk)
Instances1Isomorphic
Functor m => Isomorphic (MkBlockForging m)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Embed.Unary
Constructors
Constructors
Updated updatedUpdateFailed failed
Instances1Show
(Show updated, Show failed) => Show (UpdateInfo updated failed)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.Forging