Module Preface_specs.Indexed_applicative

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

Minimal definition

module type WITH_PURE = sig ... end

Minimal interface using map and product.

module type WITH_PURE_MAP_AND_PRODUCT = sig ... end

Minimal interface using map and product.

module type WITH_PURE_AND_APPLY = sig ... end

Minimal interface using apply.

module type WITH_PURE_AND_LIFT2 = sig ... end

Minimal interface using lift2.

Structure anatomy

module type CORE = sig ... end

Basis operations.

module type OPERATION = sig ... end

Additional operations.

module type INFIX = sig ... end

Infix operators.

module type SYNTAX = sig ... end

Syntax extensions.

Complete API

module type API = sig ... end

The complete interface of an Indexed Applicative.