Control.Monad.Trans.MSF.GenLift

Contents

• Attempt at writing a more generic MSF lifting combinator. This is
  • Another wrapper idea
  • A more general lifting mechanism that enables recovery.
  • Wrapping/unwrapping

Synopsis

• lifterS :: (Monad m, Monad m1) => ((a1 -> m1 (b1, MSF m1 a1 b1)) -> a -> m (b, MSF m1 a1 b1)) -> MSF m1 a1 b1 -> MSF m a b
• transS :: (Monad m1, Monad m2) => (a2 -> m1 a1) -> (forall c. a2 -> m1 (b1, c) -> m2 (b2, c)) -> MSF m1 a1 b1 -> MSF m2 a2 b2
• transG1 :: (Monad m1, Functor m2, Monad m2) => (a2 -> m1 a1) -> (forall c. a2 -> m1 (b1, c) -> m2 (b2, c)) -> MSF m1 a1 b1 -> MSF m2 a2 b2
• transG :: (Monad m1, Monad m2) => (a2 -> m1 a1) -> (forall c. a2 -> m1 (b1, c) -> m2 (b2, Maybe c)) -> MSF m1 a1 b1 -> MSF m2 a2 b2
• type Wrapper m1 m2 t1 t2 = forall a b. (t1 a -> m2 b) -> a -> m1 (t2 b)
• type Unwrapper m1 m2 t1 t2 = forall a b. (a -> m1 (t2 b)) -> t1 a -> m2 b
• type Id a = a

Attempt at writing a more generic MSF lifting combinator. This is

Another wrapper idea

A more general lifting mechanism that enables recovery.

Wrapping/unwrapping