package preface

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

An Indexed Bind is an Indexed Monad without return function.

Minimal definition

module type WITH_BIND = sig ... end

Minimal definition using bind.

module type WITH_MAP_AND_JOIN = sig ... end

Minimal definition using map and join.

module type WITH_KLEISLI_COMPOSITION = sig ... end

Minimal definition using compose_left_to_right.

module type WITH_MAP_AND_BIND = sig ... end

Minimal definition using map and bind.

module type WITH_MAP_AND_KLEISLI_COMPOSITION = sig ... end

Minimal definition using map 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 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