Control.Monad.List

The List monad.

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)

module Control.Monad

module Control.Monad.Trans