Control.Monad.List

Control.Monad.List

Portability	portable
Stability	experimental
Maintainer	libraries@haskell.org

Description

The List monad.

Synopsis

newtype ListT m 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 a

Parameterizable list monad, with an inner monad.

Note: this does not yield a monad unless the argument monad is commutative.

Constructors

ListT

runListT :: m [a]

show/hide

Instances

MonadTrans ListT

Monad m => Monad (ListT m)

Functor m => Functor (ListT m)

Monad m => MonadPlus (ListT m)

Applicative m => Applicative (ListT m)

Applicative m => Alternative (ListT m)

MonadIO m => MonadIO (ListT m)

MonadState m => MonadState (ListT m)

MonadReader m => MonadReader (ListT m)

MonadError m => MonadError (ListT m)

MonadCont m => MonadCont (ListT m)

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

module Control.Monad

module Control.Monad.Trans

Produced by Haddock version 2.6.0