mtl-2.1.2: Monad classes, using functional dependencies

Portabilityportable
Stabilityexperimental
Maintainerlibraries@haskell.org
Safe HaskellSafe-Inferred

Control.Monad.List

Description

The List monad.

Synopsis

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.

Constructors

ListT 

Fields

runListT :: m [a]
 

Instances

MonadTrans ListT 
MonadState s m => MonadState s (ListT m) 
MonadReader r m => MonadReader r (ListT m) 
MonadError e m => MonadError e (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) 
Applicative m => Alternative (ListT m) 
MonadCont m => MonadCont (ListT m) 

mapListT :: (m [a] -> n [b]) -> ListT m a -> ListT n b

Map between ListT computations.