Documentation
newtype (t1 :> t2) m a Source
Constructors
L | |
Fields - runL :: t1 (t2 m) a
-
|
Instances
(ContM r (t2 m), FMonadT t1, FMonadT t2, Functor (t2 m), Monad m) => ContM r (:> t1 t2 m) | |
(ExcM z (t2 m), FMonadT t1, FMonadT t2, Functor (t2 m), Monad m) => ExcM z (:> t1 t2 m) | |
(ReaderM z (t2 m), FMonadT t1, FMonadT t2, Functor (t2 m), Monad m) => ReaderM z (:> t1 t2 m) | |
(WriterM z (t2 m), MonadT t1, Monad m, MonadT t2) => WriterM z (:> t1 t2 m) | |
(Monad m, MonadT t1, MonadT t2, StateM z (t2 m)) => StateM z (:> t1 t2 m) | |
(FMonadT t1, FMonadT t2) => FMonadT (:> t1 t2) | |
(MonadT t1, MonadT t2) => MonadT (:> t1 t2) | |
(ListM (t2 m), FMonadT t1, FMonadT t2, Functor (t2 m), Monad m) => ListM (:> t1 t2 m) | |
Relative Navigation