Over_functor.To_applicative
The natural transformation from a Free applicative to an other Preface_specs.Applicative.
Free applicative
Preface_specs.Applicative
module Applicative : Preface_specs.Applicative.CORE
type natural_transformation = {
transform : 'a. 'a f -> 'a Applicative.t;
}
val run : natural_transformation -> 'a t -> 'a Applicative.t
Run the natural transformation over the Free applicative.