monads-tf-0.1.0.2: Monad classes, using type families

Copyright(c) Andy Gill 2001, (c) Oregon Graduate Institute of Science and Technology, 2001
LicenseBSD-style (see the file LICENSE)
Maintainerross@soi.city.ac.uk
Stabilityexperimental
Portabilityportable
Safe HaskellSafe
LanguageHaskell98

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) 
Applicative m => Applicative (ListT m) 
Foldable f => Foldable (ListT f) 
Traversable f => Traversable (ListT f) 
Applicative m => Alternative (ListT m) 
Monad m => MonadPlus (ListT m) 
Eq1 m => Eq1 (ListT m) 
Ord1 m => Ord1 (ListT m) 
Read1 m => Read1 (ListT m) 
Show1 m => Show1 (ListT m) 
MonadIO m => MonadIO (ListT m) 
MonadCont m => MonadCont (ListT m) Source 
MonadError m => MonadError (ListT m) Source 
MonadReader m => MonadReader (ListT m) Source 
MonadState m => MonadState (ListT m) Source 
(Eq1 m, Eq a) => Eq (ListT m a) 
(Ord1 m, Ord a) => Ord (ListT m a) 
(Read1 m, Read a) => Read (ListT m a) 
(Show1 m, Show a) => Show (ListT m a) 
type ErrorType (ListT m) = ErrorType m Source 
type EnvType (ListT m) = EnvType m Source 
type StateType (ListT m) = StateType m Source 

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

Map between ListT computations.