ouroboros-consensus- Consensus layer for the Ouroboros blockchain protocol
Safe Haskell None
Language Haskell2010



Lifting functions for the various types used in HardForkState

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


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 #