Alternative.API
The complete interface of an Alternative
.
val neutral : 'a t
The neutral element of the t
.
include Indexed_applicative.WITH_PURE with type ('a, 'index) t := 'a t
include Indexed_applicative.WITH_PURE with type ('a, 'index) t := 'a t
include Indexed_apply.WITH_MAP_AND_PRODUCT with type ('a, 'index) t := 'a t
include Indexed_functor.WITH_MAP with type ('a, 'index) t := 'a t
include Indexed_applicative.WITH_PURE with type ('a, 'index) t := 'a t
val pure : 'a -> 'a t
Lift a value from 'a
into a new t
.
Lift a ternary function that acts on arbitrary values into a function that acts t
values.
times_nel n x
apply combine
on x
n
times. If n
is lower than 1
the function will returns None
.
val reduce_nel : 'a t Preface_core.Nonempty_list.t -> 'a t
Reduce a Nonempty_list.t
using combine
.
Create a new t
, replacing all values of the given functor by given a value of 'a
.
times n x
apply combine
on x
n
times. If n
is lower than 1
the function will returns neutral
.
module Infix : Indexed_alternative.INFIX with type ('a, 'index) t := 'a t
Applicative
functor of ('a -> 'b) t
over ('a, 'index) t
to ('b, 'index) t
.
Flipped Applicative
functor of ('a -> 'b) t
over ('a, 'index) t
to ('b, 'index) t
.
Infix version of CORE.map
.
Flipped and infix version of CORE.map
.
Flipped and infix version of OPERATION.replace
.
Infix version of CORE.combine
Infix version of CORE.map
.
Flipped and infix version of CORE.map
.
Infix version of OPERATION.replace
.
Flipped and infix version of OPERATION.replace
.
module Syntax : Indexed_alternative.SYNTAX with type ('a, 'index) t := 'a t