Module API.To_monoid

The natural transformation from a Free applicative to a Preface_specs.Monoid.

Parameters

Signature

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

Run the natural transformation over the Free applicative.