Module Preface_specs.Indexed_alt

Indexed Alt is an Indexed_functor which is a kind of Semigroup over a parametrized type. In other word, Indexed_alt is a Indexed_functor with a combine operation.

Minimal definition

module type WITH_COMBINE = sig ... end

Combine operation. This signature is mainly used to enrich an Indexed_functor with combine.

module type WITH_COMBINE_AND_MAP = sig ... end

The minimum definition of an Indexed Alt. It is by using the combinators of this module that the other combinators will be derived.

Structure anatomy

module type CORE = WITH_COMBINE_AND_MAP

Basis operations.

module type OPERATION = sig ... end

Additional operations.

module type INFIX = sig ... end

Infix operators.

module type SYNTAX = sig ... end

Syntax operators.

Complete API

module type API = sig ... end

The complete interface of an Indexed_alt.