Safe Haskell	None
Language	Haskell2010

Ouroboros.Consensus.HardFork.Combinator.State.Lift

Contents

Description

Lifting functions for the various types used in HardForkState

NOTE: These are internal and not exported in the toplevel .State module.

Synopsis

lift :: (f blk -> f' blk) -> Current f blk -> Current f' blk
liftM :: Functor m => (f blk -> m (f' blk)) -> Current f blk -> m ( Current f' blk)

Lifting functions on `f` to `Current` f@

lift :: (f blk -> f' blk) -> Current f blk -> Current f' blk Source #

liftM :: Functor m => (f blk -> m (f' blk)) -> Current f blk -> m ( Current f' blk) Source #

Lifting functions on f to Current f@