::
GHC 9.14.1 · lts/ghc-9.14.x · d82dee8 · 2026-10-12
Moduleouroboros-consensus-4.2.1.0
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)