cd051511e7
changelog:
0.4.2.0 Ross Paterson <ross@soi.city.ac.uk> Nov 2014
* Dropped compatibility with base-1.x
* Data.Functor.Identity in base for GHC >= 7.10
* Added mapLift and runErrors to Control.Applicative.Lift
* Added AutoDeriveTypeable for GHC >= 7.10
* Expanded messages from mfix on ExceptT and MaybeT
17 lines
945 B
Text
17 lines
945 B
Text
A portable library of functor and monad transformers, inspired by the paper
|
|
"Functional Programming with Overloading and Higher-Order Polymorphism",
|
|
by Mark P Jones, in Advanced School of Functional Programming, 1995
|
|
(http://web.cecs.pdx.edu/~mpj/pubs/springschool.html).
|
|
|
|
This package contains:
|
|
* the monad transformer class (in Control.Monad.Trans.Class) and
|
|
IO monad class (in Control.Monad.IO.Class)
|
|
* concrete functor and monad transformers, each with associated operations and
|
|
functions to lift operations associated with other transformers.
|
|
|
|
The package can be used on its own in portable Haskell code, in which case
|
|
operations need to be manually lifted through transformer stacks
|
|
(see Control.Monad.Trans.Class for some examples). Alternatively, it can be used
|
|
with the non-portable monad classes in the mtl or monads-tf packages,
|
|
which automatically lift operations introduced by monad transformers through
|
|
other transformers.
|