Module Comparer.Apply1

Apply1 (F) (A) takes a type ('a, 'b, 'compare_a) F.t with two type parameters 'a, 'b and a compare type 'compare_a for 'a, and a comparer A, and creates a comparer for F.t with 'a instantiated to A.t.

Parameters

module F : sig ... end
module A : S

Signature

type 'b t = (A.t, 'b, A.compare) F.t
include Ppx_compare_lib.Comparable.S1 with type 'b t := 'b t
val compare : 'a Base__Ppx_compare_lib.compare -> 'a t Base__Ppx_compare_lib.compare
include S1 with type 'b t := 'b t with type 'compare_b compare = (A.compare, 'compare_b) F.compare
type ('a, 'compare_a) comparer := ('a, 'compare_a) t
type 'compare_b compare = (A.compare, 'compare_b) F.compare
val compare_compare : ('compare_a -> 'compare_a -> int) -> 'compare_a compare -> 'compare_a compare -> int
val equal_compare : ('compare_a -> 'compare_a -> bool) -> 'compare_a compare -> 'compare_a compare -> bool
val sexp_of_compare : ('compare_a -> Sexplib0.Sexp.t) -> 'compare_a compare -> Sexplib0.Sexp.t
val compare_of_sexp : (Sexplib0.Sexp.t -> 'compare_a) -> Sexplib0.Sexp.t -> 'compare_a compare
val comparer : ('a, 'compare_a) comparer -> ('a t, 'compare_a compare) comparer