package preface

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

An Indexed Monad allow to sequences operations that are dependent from one to another, in contrast to Indexed_applicative, which executes a series of independent actions.

Minimal definition

module type WITH_RETURN = sig ... end

Minimal interface using map and product.

module type WITH_RETURN_AND_BIND = sig ... end

Minimal definition using return and bind.

module type WITH_RETURN_MAP_AND_JOIN = sig ... end

Minimal definition using return, map and join.

module type WITH_RETURN_AND_KLEISLI_COMPOSITION = sig ... end

Minimal definition using return and compose_left_to_right.

Structure anatomy

module type CORE = sig ... end

Basis operations.

module type OPERATION = sig ... end

Additional operations.

module type SYNTAX = sig ... end

Syntax extensions.

module type INFIX = sig ... end

Infix operators.

Complete API

module type API = sig ... end

The complete interface of a Indexed Monad.

OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct