Apply.API
The complete interface of an Apply
.
May apply a function wrapped into an t
to a value also wrapped into an t
.
Lift a binary function that acts on arbitrary values into a function that acts t
values.
Lift a ternary function that acts on arbitrary values into a function that acts t
values.
Create a new t
, replacing all values of the given functor by given a value of 'a
.
module Infix : Indexed_apply.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
.
Infix version of OPERATION.replace
.
Flipped and infix version of OPERATION.replace
.
module Syntax : Indexed_apply.SYNTAX with type ('a, 'index) t := 'a t