type ('a, 'b) comparator = ('a, 'b) t
module type S = sig ... end
module type S1 = sig ... end
module type S_fc = sig ... end
val make : compare:('a -> 'a -> int) -> sexp_of_t:('a -> Sexp.t) -> (module S_fc with type comparable_t = 'a)
make
creates a comparator witness for the given comparison. It is intended as a lightweight alternative to the functors below, to be used like so: include (val Comparator.make ~compare ~sexp_of_t)
module S_to_S1 : functor (S : S) -> S1 with type 'a t = S.t with type comparator_witness = S.comparator_witness
Make
creates a comparator
value and its phantom comparator_witness
type for a nullary type.
Make1
creates a comparator
value and its phantom comparator_witness
type for a unary type. It takes a compare
and sexp_of_t
that have non-standard types because the Comparator.t
type doesn't allow passing in additional values for the type argument.
module type Derived = sig ... end
Derived
creates a comparator
function that constructs a comparator for the type 'a t
given a comparator for the type 'a
.
module type Derived2 = sig ... end
Derived2
creates a comparator
function that constructs a comparator for the type ('a, 'b) t
given comparators for the type 'a
and 'b
.
module type Derived_phantom = sig ... end
module Derived_phantom : functor (M : sig ... end) -> Derived_phantom with type ('a, 'b) t := ('a, 'b) M.t
Derived_phantom
creates a comparator
function that constructs a comparator for the type ('a, 'b) t
given a comparator for the type 'a
.