Indexed_functor.INFIX
Infix operators.
type ('a, 'index) t
The type held by the Indexed Functor.
Indexed Functor
val (<$>) : ('a -> 'b) -> ('a, 'index) t -> ('b, 'index) t
Infix version of CORE.map.
CORE.map
val (<&>) : ('a, 'index) t -> ('a -> 'b) -> ('b, 'index) t
Flipped and infix version of CORE.map.
val (<$) : 'a -> ('b, 'index) t -> ('a, 'index) t
Infix version of OPERATION.replace.
OPERATION.replace
val ($>) : ('a, 'index) t -> 'b -> ('b, 'index) t
Flipped and infix version of OPERATION.replace.