| Copyright | (c) Andy Gill 2001, (c) Oregon Graduate Institute of Science and Technology, 2001 | 
|---|---|
| License | BSD-style (see the file LICENSE) | 
| Maintainer | ross@soi.city.ac.uk | 
| Stability | experimental | 
| Portability | portable | 
| Safe Haskell | Safe-Inferred | 
| Language | Haskell98 | 
Control.Monad.List
Description
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.
Instances
| MonadTrans ListT | |
| Applicative m => Alternative (ListT m) | |
| Monad m => Monad (ListT m) | |
| Functor m => Functor (ListT m) | |
| Monad m => MonadPlus (ListT m) | |
| Applicative m => Applicative (ListT m) | |
| Foldable f => Foldable (ListT f) | |
| Traversable f => Traversable (ListT f) | |
| 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) | |
| type ErrorType (ListT m) = ErrorType m | |
| type EnvType (ListT m) = EnvType m | |
| type StateType (ListT m) = StateType m | 
module Control.Monad
module Control.Monad.Trans