Module `Preface_specs.Freer_monad`

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.