Copyright | (c) Andy Gill 2001 (c) Oregon Graduate Institute of Science and Technology 2001 |
---|---|
License | BSD-style (see the file LICENSE) |
Maintainer | R.Paterson@city.ac.uk |
Stability | experimental |
Portability | portable |
Safe Haskell | Safe |
Language | Haskell98 |
Deprecated: This transformer is invalid on most monads
The ListT monad transformer, adding backtracking to a given monad, which must be commutative.
Parameterizable list monad, with an inner monad.
Note: this does not yield a monad unless the argument monad is commutative.
mapListT :: (m [a] -> n [b]) -> ListT m a -> ListT n b Source
Map between ListT
computations.
liftCallCC :: CallCC m [a] [b] -> CallCC (ListT m) a b Source
Lift a callCC
operation to the new monad.
liftCatch :: Catch e m [a] -> Catch e (ListT m) a Source
Lift a catchE
operation to the new monad.
© The University of Glasgow and others
Licensed under a BSD-style license (see top of the page).
https://downloads.haskell.org/~ghc/8.6.1/docs/html/libraries/transformers-0.5.5.0/Control-Monad-Trans-List.html