Module `Over_selective.To_selective`

The natural transformation from a Freer selective to an other Preface_specs.Selective.

Parameters

module Selective : Preface_specs.Selective.API

Signature

type natural_transformation = {

transform : 'a. 'a f -> 'a Selective.t;

}

val run : natural_transformation -> 'a t -> 'a Selective.t

Run the natural transformation over the Freer selective.