A Free applicative allows you to build an Preface_specs.Applicative from a given Preface_specs.Functor.
Such Preface_specs.Applicative is equipped with and additional function for promoting values from the underlying Preface_specs.Functor into the Free applicative and a Natural transformations for transforming the value of the Free applicative to an other Preface_specs.Applicative or to a Preface_specs.Monoid.
Although free constructs are elegant, they introduce an execution cost due to the recursive nature of defining the type of a Free Applicative. There are cheaper encodings but they are not, for the moment, available in Preface.
module type TO_APPLICATIVE = sig ... endThe natural transformation for Free Applicative to Applicative.
module type TO_MONOID = sig ... endThe natural transformation for Free Applicative to Monoid.
module type CORE = sig ... endThe Free applicative API without the Preface_specs.Applicative API.
module type API = sig ... endThe complete interface of a Free applicative.