package preface

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

Building a Preface_specs.Free_applicative

Using the minimal definition

Over a Functor

Build a Preface_specs.FREE_APPLICATIVE over a Preface_specs.FUNCTOR.

Over an Applicative

Build a Preface_specs.FREE_APPLICATIVE over an Preface_specs.APPLICATIVE with a Natural transformationwhich extracts the underlying value and a run function wich is the Natural transformation from the underlying applicative using the identity.

OCaml

Innovation. Community. Security.