Type
The type held by the Indexed Functor
.
Functions
val map : ('a -> 'b) -> ('a, 'index) t -> ('b, 'index) t
Mapping over t
from 'a
to 'b
.
val replace : 'a -> ('b, 'index) t -> ('a, 'index) t
Create a new t
, replacing all values of the given functor by given a value of 'a
.
val void : ('a, 'index) t -> (unit, 'index) t
Create a new t
, replacing all values in the given functor by unit
.
Infix operators
module Infix : INFIX with type ('a, 'index) t := ('a, 'index) t
val (<$>) : ('a -> 'b) -> ('a, 'index) t -> ('b, 'index) t
Infix version of 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
val ($>) : ('a, 'index) t -> 'b -> ('b, 'index) t
Flipped and infix version of OPERATION.replace
.
Syntax operators
val let+ : ('a, 'index) t -> ('a -> 'b) -> ('b, 'index) t
let
operator for mapping.