ouroboros-consensus-0.1.0.0: Consensus layer for the Ouroboros blockchain protocol
Safe HaskellNone
LanguageHaskell2010

Ouroboros.Consensus.HardFork.Combinator.State.Lift

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 #

liftMFunctor m ⇒ (f blk → m (f' blk)) → Current f blk → m (Current f' blk) Source #