Module Preface_specs.Indexed_bind

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.