Module type Free_selective.TO_MONOID

The natural transformation for Free Selective to Monoid.

type 'a t

The type held by the Free selective.

type 'a f

The type held by the Preface_specs.Functor.

type monoid

The type held by the Monoid.

type natural_transformation = {
  1. transform : 'a. 'a f -> monoid;
}
val run : natural_transformation -> 'a t -> monoid

Run the natural transformation over the Free selective.