package refl

  1. Overview
  2. Docs

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