refl

PPX deriver for reflection
package refl
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library refl
Module Refl . Compare
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