package preface

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

The Free Monad API without the Preface_specs.Monad API.

type 'a f

The type held by the Preface_specs.Functor.

type 'a t =
  1. | Return of 'a
  2. | Bind of 'a t f

The type held by the Free monad.

val perform : 'a f -> 'a t

Create a new 'a t from a 'a f.

val run : ('a f -> 'a) -> 'a t -> 'a

Execute a given handler for given data