 | transformers-0.2.1.0: Concrete functor and monad transformers | Contents | Index |
|
| Control.Monad.Trans.List | | Portability | portable | | Stability | experimental | | Maintainer | libraries@haskell.org |
|
|
|
|
|
| Description |
| The ListT monad transformer, adding backtracking to a given monad,
which must be commutative.
|
|
| Synopsis |
|
|
|
|
| The ListT monad transformer
|
|
| newtype ListT m a |
Parameterizable list monad, with an inner monad.
Note: this does not yield a monad unless the argument monad is commutative.
| | Constructors | | Instances | |
|
|
| mapListT :: (m [a] -> n [b]) -> ListT m a -> ListT n b |
Map between ListT computations.
|
|
| Lifting other operations
|
|
| liftCallCC :: ((([a] -> m [b]) -> m [a]) -> m [a]) -> ((a -> ListT m b) -> ListT m a) -> ListT m a |
| Lift a callCC operation to the new monad.
|
|
| liftCatch :: (m [a] -> (e -> m [a]) -> m [a]) -> ListT m a -> (e -> ListT m a) -> ListT m a |
| Lift a catchError operation to the new monad.
|
|
| Produced by Haddock version 2.7.2 |