Control.ShiftMap

class ShiftMap :: (Type -> Type) -> (Type -> Type) -> Constraintclass ShiftMap s t  where

Avoiding monad-control for as long as possible (convert functions on widgets to functions on transformer stacks wrapping widgets).

Members

• shiftMap :: forall a. (forall b. (a -> b) -> s b -> s b) -> t a -> t a

Instances

• ShiftMap m (ExceptT e m)
• (Monoid w) => ShiftMap m (RWST r w s m)
• ShiftMap m (ReaderT r m)
• (Monad m) => ShiftMap m (StateT s m)
• (Monoid w) => ShiftMap m (WriterT w m)