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
.
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
.
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.
module type API = sig ... end
The complete interface of an Applicative
.