Module Data.Functor.Identity

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.

Summary of exported operations:

Exported datatypes:

newtype Identity

The Identity type constructor with Functor, Applicative, and Monad instances.

Constructor:

  • Identity :: a -> Identity a

    Fields:

    • runIdentity :: a

Exported operations: