refl 0.4.0 · OCaml Package

module Comparer : sig ... end

module Comparers : sig ... end

type ('a, 'b) hook_fun =
  'a Refl__.Desc.refl ->
  'b Refl__.Desc.refl ->
  (?hook:hook -> ('a, 'b) Comparer.t) ->
  ('a, 'b) Comparer.t

and hook = {

hook : 'a 'b. ('a, 'b) hook_fun;

}

type Refl__.Desc.typed_attribute_kind +=

| Attribute_compare : ('a0, 'arity0, ('a0, 'a0) Comparer.t) Refl__.Desc.typed_attribute_kind

type ('arity_a, 'gadt_a, 'arity_b, 'gadt_b) poly =

| Poly

val compare_gen : 
  'a 'b 'structure 'arity_a 'arity_b 'rec_group 'positive 'negative 'direct 'gadt_a 'gadt_b. 
  ?hook:
    hook ->
  ('a,
    'structure,
    'arity_a,
    'rec_group,
    [< Refl__.Desc.Kinds.comparable Array Attributes Bool Bytes Char Constr Exists Float Int Int32 Int64 Lazy MapOpaque Nativeint Object Opaque Record String Tuple Variable Variant ] as 'c,
    'positive,
    'negative,
    'direct,
    'gadt_a)
    Refl__.Desc.desc ->
  ('b,
    'structure,
    'arity_b,
    'rec_group,
    'd,
    'positive,
    'negative,
    'direct,
    'gadt_b)
    Refl__.Desc.desc ->
  ('arity_a, 'gadt_a, 'arity_b, 'gadt_b) poly ->
  ('arity_a, 'arity_b, 'direct) Comparers.t ->
  ('a, 'b) Comparer.t

val compare_poly : 
  ?hook:hook ->
  ('a,
    'b,
    'c,
    'd,
    [< Refl__.Desc.Kinds.comparable Array Attributes Bool Bytes Char Constr Exists Float Int Int32 Int64 Lazy MapOpaque Nativeint Object Opaque Record String Tuple Variable Variant ] as 'e,
    'f,
    'g,
    'h,
    'i)
    Refl__.Desc.desc ->
  ('j, 'b, 'k, 'd, 'e, 'f, 'g, 'h, 'l) Refl__.Desc.desc ->
  ('c, 'k, 'h) Comparers.t ->
  ('a, 'j) Comparer.t

val compare : 
  ?hook:hook ->
  ('a,
    'b,
    'c,
    'd,
    [< Refl__.Desc.Kinds.comparable Array Attributes Bool Bytes Char Constr Exists Float Int Int32 Int64 Lazy MapOpaque Nativeint Object Opaque Record String Tuple Variable Variant ],
    'e,
    'f,
    'g,
    'h)
    Refl__.Desc.desc ->
  ('c, 'i, 'g) Comparers.t ->
  ('a, 'j) Comparer.t

package refl