Module CCEqualLabels
Equality Combinators
val poly : 'a t
Standard polymorphic equality.
val physical : 'a t
Standard physical equality.
- since
- 2.0
val int : int t
val string : string t
val bool : bool t
val float : float t
val unit : unit t
val list : 'a t -> 'a list t
val array : 'a t -> 'a array t
val option : 'a t -> 'a option t
val pair : 'a t -> 'b t -> ('a * 'b) t
val triple : 'a t -> 'b t -> 'c t -> ('a * 'b * 'c) t
val map : f:('a -> 'b) -> 'b t -> 'a t
map f eq
is the equality function that, given objectsx
andy
, projectsx
andy
usingf
(e.g. using a record field) and then compares those projections witheq
. Example:map fst int
compares values of type(int * 'a)
by their first component.
module Infix : sig ... end