monads-fd-0.1.0.4: Monad classes, using functional dependencies

Portabilityportable
Stabilityexperimental
Maintainerross@soi.city.ac.uk

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]
 

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

Map between ListT computations.