Implementation for Identity.t.
Identity.t is a trivial "type constructor" that allows you to lift an arbitrary value into a context. The identity can be very useful for validating implementations (by checking its laws) or for providing a fixed implementation for transformers.
The set of concrete implementations for Identity.t.
module Functor : Preface_specs.FUNCTOR with type 'a t = 'a tmodule Applicative : Preface_specs.APPLICATIVE with type 'a t = 'a tmodule Selective : Preface_specs.SELECTIVE with type 'a t = 'a tmodule Monad : Preface_specs.MONAD with type 'a t = 'a tmodule Comonad : Preface_specs.COMONAD with type 'a t = 'a tmodule Invariant : Preface_specs.INVARIANT with type 'a t = 'a tAdditional functions to facilitate practical work with Identity.t.
val pure : 'a -> 'a tCreate a value from 'a to 'a Identity.t.
val extract : 'a t -> 'aExtract the value from an Identity.t.
val pp : (Format.formatter -> 'a -> unit) -> Format.formatter -> 'a t -> unitFormatter for pretty-printing for Identity.t.