| |||||||||||||
| |||||||||||||
Description | |||||||||||||
The Identity monad. Inspired by the paper Functional Programming with Overloading and Higher-Order Polymorphism, Mark P Jones (http://www.cse.ogi.edu/~mpj) Advanced School of Functional Programming, 1995. | |||||||||||||
data Identity a | |||||||||||||
| |||||||||||||
runIdentity :: Identity a -> a | |||||||||||||
module Control.Monad | |||||||||||||
module Control.Monad.Fix | |||||||||||||
Produced by Haddock version 0.4 |