package preface

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

A Freer monad allows you to build a Preface_specs.Monad from an arbitrary type (with one type parameter). It offers the same capabilities as a Preface_specs.Free_monad but benefits from a lighter execution cost.

Structure anatomy

module type TO_MONAD = sig ... end

The natural transformation for Freer Monad to Monad.

module type CORE = sig ... end

The Freer Monad API without the Preface_specs.Monad API.

Complete API

module type API = sig ... end

The complete interface of a Freer monad.