Module Preface_specs.Indexed_apply

An Indexed Apply is an indexed functor with lifting and sequencing capabilities. Indexed Apply is more general (and by extension weaker) than a Indexed_applicative. An Indexed Apply is also a Indexed_functor.

Minimal definition

module type WITH_PRODUCT = sig ... end

Minimal interface using product.

module type WITH_APPLY = sig ... end

Minimal interface using apply.

module type WITH_LIFT2 = sig ... end

Minimal interface using lift2.

module type WITH_MAP_AND_PRODUCT = sig ... end

Minimal interface using map and product.

module type WITH_MAP_AND_APPLY = sig ... end

Minimal interface using map and product.

module type WITH_MAP_AND_LIFT2 = sig ... end

Minimal interface using map and lift2.

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 an Applicative.