package refl

  1. Overview
  2. Docs
module Object : sig ... end
include module type of struct include Object end
type ('types, 'structures, 'arity, 'rec_group, 'kinds, 'positive, 'negative, 'direct, 'gadt) t = ('types, 'structures, 'arity, 'rec_group, 'kinds, 'positive, 'negative, 'direct, 'gadt) Object.t = {
  1. structure : ('types, 'structures, 'arity, 'rec_group, 'kinds, 'positive, 'negative, 'direct, 'gadt) Refl__.Desc.object_methods;
  2. methods : 'types Refl__.Desc.Sequence(Refl__.Desc.Delay).t;
}
val map : 'methods_a 'methods_b 'structures. ('a_arity, 'b_arity, 'rec_group, 'kinds_a, 'kinds_b, 'positive, 'negative, 'direct, 'gadt) map -> ('methods_a, 'structures, 'a_arity, 'rec_group, 'kinds_a, 'positive, 'negative, 'direct, 'gadt) Refl__.Desc.object_methods -> ('methods_b, 'structures, 'b_arity, 'rec_group, 'kinds_b, 'positive, 'negative, 'direct, 'gadt) Refl__.Desc.object_methods -> 'methods_a Refl__.Desc.Sequence(Refl__.Desc.Delay).t -> 'methods_b Refl__.Desc.Sequence(Refl__.Desc.Delay).t
type ('types, 'structures, 'arity, 'rec_group, 'kinds, 'positive, 'negative, 'direct, 'gadt) fold
val fold : (('types, 'structures, 'arity, 'rec_group, 'kinds, 'positive, 'negative, 'direct, 'gadt) fold -> 'acc -> 'acc) -> ('types0, 'structures0, 'arity0, 'rec_group0, 'kinds0, 'positive0, 'negative0, 'direct0, 'gadt0) t -> 'acc0 -> 'acc1
module Method : sig ... end
module Methods : sig ... end
module Objects : sig ... end
type ('index, 'structure, 'structures, 'arities, 'tuples, 'rec_group, 'kinds, 'positive, 'negative, 'direct, 'gadts) structure_find =
  1. | Structure_find : {
    1. section : ([ `Succ of 'index ], 'tuples, 'section, 'others) Section.t;
    2. methods : ('section, 'structure, 'arities, 'rec_group, 'kinds, 'positive, 'negative, 'direct, 'gadts) Methods.t;
    3. others : ('others, 'structures, 'arities, 'rec_group, 'kinds, 'positive, 'negative, 'direct, 'gadts) Objects.t;
    } -> ('index, 'structure, 'structures, 'arities, 'tuples, 'rec_group, 'kinds, 'positive, 'negative, 'direct, 'gadts) structure_find
type ('tuples, 'structures, 'arities, 'rec_group, 'kinds, 'positive, 'negative, 'direct, 'gadts) find
val find : 'arities 'gadts. ('tuple * 'tuples, 'structures, 'arities, 'rec_group, 'kinds, 'positive, 'negative, 'direct, 'gadts) Objects.t -> (('tuple * 'tuples, 'structures, 'arities, 'rec_group, 'kinds, 'positive, 'negative, 'direct, 'gadts) find -> 'a option) -> 'a option
OCaml

Innovation. Community. Security.