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 | GHC2021 |
Deprecated: This transformer is invalid on most monads
The List monad.
Synopsis
- newtype ListT (m :: Type -> Type) 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 :: Type -> Type) a #
Parameterizable list monad, with an inner monad.
Note: this does not yield a monad unless the argument monad is commutative.
Instances
module Control.Monad
module Control.Monad.Trans