Free_selective.CORE
The Free selective
API without the Preface_specs.Selective
API.
The type held by the Preface_specs.Functor
.
The type held by the Free selective
.
Promote a value from the Preface_specs.Functor
into the Free selective
.
module To_selective
(Selective : Selective.CORE) :
TO_SELECTIVE
with type 'a t := 'a t
and type 'a f := 'a f
and type 'a selective := 'a Selective.t
The natural transformation from a Free selective
to an other Preface_specs.Selective
.