Module Cf_monad

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.