Freer_selective.CORE
The Freer selective
API without the Preface_specs.Selective
API.
The parametric type (which, unlike a Preface_specs.Free_selective
don't need to be a Preface_specs.Functor
).
The type held by the Freer selective
.
Promote a value from the Preface_specs.Functor
into the Freer selective
.
module To_selective
(Selective : Selective.API) :
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 Freer selective
to an other Preface_specs.Selective
.