package orsetto

  1. Overview
  2. Docs
On This Page
  1. Overview
package orsetto
Legend:
Library
Module
Module type
Parameter
Class
Class type

Monad operations.

Overview

This module defines functors and module types for use in programming with monad operations. Provide a module B with a signature conforming to one of the Basis types, i.e. unary, binary or trinary, then use the corresponding Create(B) functor to compose a module with infix operators, syntax extension signatures, and conventional utility functions.

module Core = Cf_monad_core
module Unary : sig ... end
module Binary : sig ... end
module Trinary : sig ... end