Module Preface_specs.Indexed_alternative

Indexed Alternative is a kind of Monoid on Indexed_applicative. An Indexed_alternative is formally an Indexed_pplicative with neutral and combine. So an Indexed_alternative is also an Indexed_applicative (and an Indexed_alt which is also a Indexed_functor).

Minimal definition

module type WITH_NEUTRAL_AND_COMBINE = sig ... end

Minimal interfaces of Alternative without Applicative.

module type WITH_PURE_MAP_AND_PRODUCT = sig ... end

Minimal definition using neutral, combine, pure, map and product.

module type WITH_PURE_AND_APPLY = sig ... end

Minimal definition using neutral, combine, pure and apply.

module type WITH_PURE_AND_LIFT2 = sig ... end

Minimal definition using neutral, combine, pure and lift2.

Structure anatomy

module type CORE = sig ... end

Basis operations.

module type ALTERNATIVE_OPERATION = sig ... end

Operation without Indexed_applicative.

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 Alternative.