Safe Haskell	Safe-Inferred
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

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@