Portability | portable |
---|---|
Stability | experimental |
Maintainer | libraries@haskell.org |
The List monad.
- newtype ListT m a = ListT {
- runListT :: m [a]
- mapListT :: (m [a] -> n [b]) -> ListT m a -> ListT n b
- module Control.Monad
- module Control.Monad.Trans
Documentation
newtype ListT m a
Parameterizable list monad, with an inner monad.
Note: this does not yield a monad unless the argument monad is commutative.
MonadTrans ListT | |
Monad m => Monad (ListT m) | |
Functor m => Functor (ListT m) | |
Monad m => MonadPlus (ListT m) | |
Applicative m => Applicative (ListT m) | |
Applicative m => Alternative (ListT m) | |
MonadIO m => MonadIO (ListT m) | |
MonadCont m => MonadCont (ListT m) | |
MonadError m => MonadError (ListT m) | |
MonadReader m => MonadReader (ListT m) | |
MonadState m => MonadState (ListT m) |
module Control.Monad
module Control.Monad.Trans