refl
PPX deriver for reflection
1024" x-on:close-sidebar="sidebar=window.innerWidth > 1024 && true">
package refl
-
refl
-
-
refl.ppx
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
Library refl
Parameters
Signature
module Tools : sig ... end
module RecordMap : sig ... end
val map_kind :
'structure 'kinds. ( 'a_arity, 'b_arity, 'subpositive, 'subnegative ) M.t ->
( 'types_a,
'structure,
'a_arity,
M.rec_group,
'kinds,
'subpositive,
'subnegative,
'subdirect,
M.gadt )
Refl__Desc.constructor_kind ->
( 'types_b,
'structure,
'b_arity,
M.rec_group,
'kinds,
'subpositive,
'subnegative,
'subdirect,
M.gadt )
Refl__Desc.constructor_kind ->
'types_a ->
'types_b
val map_choice :
'a_cases 'b_cases 'structures 'kinds. ( 'a_cases,
'structures,
M.a_arity,
M.rec_group,
'kinds,
M.positive,
M.negative,
'direct,
M.gadt )
Refl__Desc.constructors ->
( 'b_cases,
'structures,
M.b_arity,
M.rec_group,
'kinds,
M.positive,
M.negative,
'direct,
M.gadt )
Refl__Desc.constructors ->
'a_cases Refl__Desc.binary_choice ->
'b_cases Refl__Desc.binary_choice
ON THIS PAGE
No table of contents