Control.ShiftMap

class ShiftMap s t  where

Avoiding monad-control for as long as possible

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)