Safe Haskell | None |
---|---|
Language | Haskell2010 |
- class Monad m => MonadList m where
- fork :: [a] -> m a
- data ListT m a
- listT :: Iso (ListT m a) (ListT m' a') (m [a]) (m' [a'])
- newtype TreeT m a = TreeT (Compose' Tree m a)
- treeT :: Iso (TreeT m a) (TreeT n b) (m (Tree a)) (n (Tree b))
- newtype MaybeT m a = MaybeT (Compose' Maybe m a)
- maybeT :: Iso (MaybeT m a) (MaybeT m' b) (m (Maybe a)) (m' (Maybe b))
- newtype StrictT m a = StrictT (Compose' Strict m a)
- strictT :: Iso (StrictT m a) (StrictT m' b) (m (Strict a)) (m' (Strict b))
The MonadList class
class Monad m => MonadList m where Source
MonadList [] | |
Monad m => MonadList (ListT m) | |
MonadList m => MonadList (Free m) | |
MonadList m => MonadList (StateT s m) | |
MonadList m => MonadList (ReaderT r m) | |
(Monoid w, MonadList m) => MonadList (WriterT w m) | |
(Monad m, Invertible t) => MonadList (ProbT t m) | |
(Monoid w, MonadList m) => MonadList (RWST r w s m) |
Foldable monads transformers
The List transformer
MonadTrans ListT | |
Monad m => MonadError Void (ListT m) | |
MonadWriter w m => MonadWriter w (ListT m) | |
MonadState s m => MonadState s (ListT m) | |
Unit m => Unit (ListT m) | |
Monad m => MonadList (ListT m) | |
MonadFix m => MonadFix (ListT m) | |
Traversable m => Traversable (ListT m) | |
Foldable m => Foldable (ListT m) | |
Monad m => Monad (ListT m) | |
Applicative m => Applicative (ListT m) | |
Functor m => Functor (ListT m) | |
Applicative m => Monoid (ListT m a) | |
Applicative m => Semigroup (ListT m a) |
The Tree transformer
MonadTrans TreeT | |
Unit m => Unit (TreeT m) | |
MonadFix m => MonadFix (TreeT m) | |
Traversable m => Traversable (TreeT m) | |
Foldable m => Foldable (TreeT m) | |
Monad m => Monad (TreeT m) | |
Applicative m => Applicative (TreeT m) | |
Functor m => Functor (TreeT m) |
The Maybe transformer
MonadTrans MaybeT | |
Unit m => Unit (MaybeT m) | |
MonadFix m => MonadFix (MaybeT m) | |
Traversable m => Traversable (MaybeT m) | |
Foldable m => Foldable (MaybeT m) | |
Monad m => Monad (MaybeT m) | |
Applicative m => Applicative (MaybeT m) | |
Functor m => Functor (MaybeT m) |
The Strict Monad transformer
MonadTrans StrictT | |
Unit m => Unit (StrictT m) | |
MonadFix m => MonadFix (StrictT m) | |
Traversable m => Traversable (StrictT m) | |
Foldable m => Foldable (StrictT m) | |
Monad m => Monad (StrictT m) | |
Applicative m => Applicative (StrictT m) | |
Functor m => Functor (StrictT m) |