package preface

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type

The natural transformation from a Free applicative to an other Preface_specs.Applicative.

Parameters

Signature

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

Run the natural transformation over the Free applicative.