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
Monad m => Monad (ListT m)
Functor m => Functor (ListT m)
(Monad (ListT m), Monad m) => MonadPlus (ListT m)
(Functor (ListT m), Applicative m) => Applicative (ListT m)
Foldable f => Foldable (ListT f)
(Functor (ListT f), Foldable (ListT f), Traversable f) => Traversable (ListT f)
(Applicative (ListT m), Applicative m) => Alternative (ListT m)
(Monad (ListT m), MonadIO m) => MonadIO (ListT m)
(Monad (ListT m), MonadCont m) => MonadCont (ListT m)
(Monad (ListT m), MonadError m) => MonadError (ListT m)
(Monad (ListT m), MonadReader m) => MonadReader (ListT m)
(Monad (ListT m), MonadState m) => MonadState (ListT m)

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

Map between ListT computations.

runListT (mapListT f m) = f (runListT m)