DeepControl.Monad.List

This module is just a concise mimic for List Monad in mtl(monad-transformer-library). The qualifier "concise" means that this module doesn't make no attempt to transform functions of any kind of Monad automatically. So when making some new data type of ListT, you have to manually define involved Monad instances, for example MonadReader, MonadWriter or MonadState, by making use of the transformation functions such as trans, trans2, etc. Admittedly it is tedious though, you can deeply understand monad-transformation mechanism instead.

Level-1

newtype ListT m a

Constructors

ListT

Fields

runListT :: m [a]

Instances

MonadTrans ListT

Monad m => Monad (ListT m)

Functor m => Functor (ListT m)

Applicative m => Applicative (ListT m)

MonadIO m => MonadIO (ListT m)

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

liftCallCC :: CallCC m [a] [b] -> CallCC (ListT m) a b

liftCatch :: Catch e m [a] -> Catch e (ListT m) a