refl

PPX deriver for reflection
IN THIS PACKAGE
Module Refl . Tools . Record . Map

Parameters

module M : Mapper

Signature

module Tools : sig ... end
val map_poly : ( 'arity_a, 'arity_b, 'positive, 'negative ) M.t -> ( 'count, [ `Absent ], 'positive, 'negative, 'direct, 'positives, 'negatives, 'directs, 'subpositive, 'subnegative, 'subdirect ) Refl__Desc.subvariables -> ( 'a, 'structure, 'arity_a, M.rec_group, 'kinds, 'subpositive, 'subnegative, 'subdirect, M.gadt, 'count ) Refl__Desc.forall_destruct -> ( ( 'b, 'structure, 'arity_b, M.rec_group, 'kinds, 'subpositive, 'subnegative, 'subdirect, M.gadt, 'count ) Refl__Desc.forall_construct -> 'b ) -> 'a -> 'b
val map_with : 'types_a 'types_b 'arity_a 'arity_b 'structure 'kinds. ( 'arity_a, 'arity_b, 'positive, 'negative ) M.t -> ( 'types_a, 'structure, 'arity_a, M.rec_group, 'kinds, 'positive, 'negative, 'direct, M.gadt ) Refl__Desc.record_structure -> ( 'types_b, 'structure, 'arity_b, M.rec_group, 'kinds, 'positive, 'negative, 'direct, M.gadt ) Refl__Desc.record_structure -> 'types_a -> 'types_b
val map : ( 'a, 'b, M.a_arity, M.rec_group, 'c, M.positive, M.negative, 'd, M.gadt ) Refl__Desc.record_structure -> ( 'e, 'b, M.b_arity, M.rec_group, 'c, M.positive, M.negative, 'd, M.gadt ) Refl__Desc.record_structure -> 'f -> 'g