Content deleted Content added
→The continuation monad transformer: made variable and type name substitutions for better consistency with other monad transformers. I found it difficult to understand in previous version. |
m link exception handling using Find link |
||
Line 2:
In [[functional programming]], a '''monad transformer''' is a type constructor which takes a [[monads in functional programming|monad]] as an argument and returns a monad as a result.
Monad transformers can be used to compose features encapsulated by monads - such as state, [[exception handling]], and I/O - in a modular way. Typically, a monad transformer is created by generalising an existing monad; applying the resulting monad transformer to the identity monad yields a monad which is equivalent to the original monad (ignoring any necessary boxing and unboxing).
== Definition ==
| |||