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