Free_applicative.CORE
The Free applicative
API without the Preface_specs.Applicative
API.
The type held by the Preface_specs.Functor
.
The type held by the Free applicative
.
Promote a value from the Preface_specs.Functor
into the Free applicative
.
module To_applicative
(Applicative : Applicative.CORE) :
TO_APPLICATIVE
with type 'a t := 'a t
and type 'a f := 'a f
and type 'a applicative := 'a Applicative.t
The natural transformation from a Free applicative
to an other Preface_specs.Applicative
.