refl
PPX deriver for reflection
1024" x-on:close-sidebar="sidebar=window.innerWidth > 1024 && true">
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
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
type Refl__Desc.typed_attribute_kind +=
| Attribute_compare : ( 'a0, 'arity0, ( 'a0, 'a0 ) Comparer.t )
Refl__Desc.typed_attribute_kind |
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