Monatron-0.3.1: Monad transformer library with uniform liftings
Control.Monatron.MonadT
class MonadT t whereSource
Methods
lift :: Monad m => m a -> t m aSource
treturn :: Monad m => a -> t m aSource
tbind :: Monad m => t m a -> (a -> t m b) -> t m bSource
Instances
class MonadT t => FMonadT t whereSource
tmap' :: FunctorD m -> FunctorD n -> (a -> b) -> (forall x. m x -> n x) -> t m a -> t n bSource
class FMonadT t => MMonadT t whereSource
flift :: Functor f => f a -> t f aSource
monoidalT :: (Functor f, Functor g) => t f (t g a) -> t (FComp f g) aSource
newtype FComp f g a Source
Constructors
Fields
newtype FunctorD f Source
tmap :: (FMonadT t, Functor m, Functor n) => (forall b. m b -> n b) -> t m a -> t n aSource
mtmap :: FMonadT t => FunctorD f -> (a -> b) -> t f a -> t f bSource
module Control.Monad