Control.Monad.Morph

class MFunctor :: ((Type -> Type) -> Type -> Type) -> Constraintclass MFunctor (t :: (Type -> Type) -> Type -> Type)  where

Members

• hoist :: forall m n. Monad m => m ~> n -> (t m) ~> (t n)

Instances

• MFunctor (ExceptT e)
• MFunctor MaybeT
• MFunctor (ReaderT r)
• MFunctor (WriterT w)
• MFunctor (StateT s)
• MFunctor (RWST r w s)
• (Functor f) => MFunctor (Compose f)
• MFunctor (Product f)
• MFunctor Yoneda
• MFunctor Coyoneda
• MFunctor Free
• MFunctor Cofree
• MFunctor (EnvT e)
• MFunctor (TracedT t)
• MFunctor (StoreT s)

generalize :: forall m a. Monad m => Identity a -> m a

class MMonad :: ((Type -> Type) -> Type -> Type) -> Constraintclass (MFunctor t, MonadTrans t) <= MMonad t  where

Members

• embed :: forall n m b. Monad n => (forall a. m a -> t n a) -> t m b -> t n b

Instances

• MMonad (ExceptT e)
• MMonad MaybeT
• MMonad (ReaderT r)
• (Monoid w) => MMonad (WriterT w)
• MMonad Free
• MMonad Yoneda

squash :: forall m t. Monad m => MMonad t => (t (t m)) ~> (t m)

Operator alias for Control.Monad.Morph.composeKleisliRight (right-associative / precedence 2)

Operator alias for Control.Monad.Morph.composeKleisliLeft (left-associative / precedence 2)

Operator alias for Control.Monad.Morph.embed (right-associative / precedence 2)

Operator alias for Control.Monad.Morph.flipEmbed (left-associative / precedence 2)

composeKleisliRight :: forall m1 m2 m3 t. MMonad t => Monad m3 => m1 ~> (t m2) -> m2 ~> (t m3) -> m1 ~> (t m3)

composeKleisliLeft :: forall m1 m2 m3 t. MMonad t => Monad m3 => m2 ~> (t m3) -> m1 ~> (t m2) -> m1 ~> (t m3)

flipEmbed :: forall t m n a. MMonad t => Monad n => t m a -> m ~> (t n) -> t n a