Module `Base.Comparator`Source

Comparison and serialization for a type, using a witness type to distinguish between comparison functions with different behavior.

Sourcetype ('a, 'witness) t = private {

compare : 'a -> 'a -> int;
sexp_of_t : 'a -> Base.Sexp.t;

}

('a, 'witness) t contains a comparison function for values of type 'a. Two values of type t with the same 'witness are guaranteed to have the same comparison function.

Sourcetype ('a, 'b) comparator = ('a, 'b) Base.Comparator.t

Sourcemodule type S = sig ... end

Sourcemodule type S1 = sig ... end

Sourcemodule type S_fc = sig ... end

Source

val make : 
  compare:('a -> 'a -> int) ->
  sexp_of_t:('a -> Base.Sexp.t) ->
  (module Base.Comparator.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)

Sourcemodule Poly : Base.Comparator.S1 with type 'a t = 'a

Sourcemodule Module : sig ... end

Sourceval of_module : ('a, 'b) Base.Comparator.Module.t -> ('a, 'b) Base.Comparator.t

Sourceval to_module : ('a, 'b) Base.Comparator.t -> ('a, 'b) Base.Comparator.Module.t

Source

module S_to_S1
  (S : Base.Comparator.S) : 
  Base.Comparator.S1
    with type 'a t = S.t
    with type comparator_witness = S.comparator_witness

Sourcemodule Make (M : sig ... end) : Base.Comparator.S with type t := M.t

Make creates a comparator value and its phantom comparator_witness type for a nullary type.

Sourcemodule Make1 (M : sig ... end) : Base.Comparator.S1 with type 'a t := 'a M.t

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.

Sourcemodule type Derived = sig ... end

Source

module Derived
  (M : sig ... end) : 
  Base.Comparator.Derived with type 'a t := 'a M.t

Derived creates a comparator function that constructs a comparator for the type 'a t given a comparator for the type 'a.

Sourcemodule type Derived2 = sig ... end

Source

module Derived2
  (M : sig ... end) : 
  Base.Comparator.Derived2 with type ('a, 'b) t := ('a, 'b) M.t

Derived2 creates a comparator function that constructs a comparator for the type ('a, 'b) t given comparators for the type 'a and 'b.

Sourcemodule type Derived_phantom = sig ... end

Source

module Derived_phantom
  (M : sig ... end) : 
  Base.Comparator.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.

Sourcemodule type Derived2_phantom = sig ... end

Source

module Derived2_phantom
  (M : sig ... end) : 
  Base.Comparator.Derived2_phantom with type ('a, 'b, 'c) t := ('a, 'b, 'c) M.t

Derived2_phantom creates a comparator function that constructs a comparator for the type ('a, 'b, 'c) t given a comparator for the types 'a and 'b.

Module Base.ComparatorSource

Module `Base.Comparator`Source