Module `Over_selective.To_monoid`

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

Parameters

module Monoid : Preface_specs.Monoid.CORE

Signature

type natural_transformation = {

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

}

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

Run the natural transformation over the Free selective.