This simple module defines the identify functor and monad and
has been adapted from the same Haskell module (by Andy Gill).
It defines a a trivial type constructor Identity
which
can be used with functions parameterized by functor or monad classes
or as a simple base to specialize monad transformers.
Exported Datatypes: Identity
newtype Identity a
The Identity
type constructor with Functor, Applicative,
and Monad
instances.
Constructor:
Identity
:: a -> Identity a
Fields:
runIdentity
:: a
Known instances:
Functor Identity
Applicative Identity
Monad Identity
Eq a => Eq (Identity a)
Ord a => Ord (Identity a)
Read a => Read (Identity a)
Show a => Show (Identity a)