package orsetto

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

Core functions for monad operations.

Overview

This module defines the core functor modules and module types used in the Cf_monad interface. These definitions are used in Cf_seq to make the functor modules and module types that work with monad sequences, and those are in turn incorporated into the final Cf_monad interface.

module Unary : sig ... end
module Binary : sig ... end
module Trinary : sig ... end