Functor.API
The complete interface of a Functor
.
Create a new t
, replacing all values of the given functor by given a value of 'a
.
module Infix : Indexed_functor.INFIX with type ('a, 'index) t := 'a 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_functor.SYNTAX with type ('a, 'index) t := 'a t