refl 0.2.0 · OCaml Package

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 =
  {

structure : ('types, 'structures, 'arity, 'rec_group, 'kinds, 'positive, 'negative, 'direct, 'gadt) Refl__.Desc.object_methods;
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) ->
  ('types,
    'structures,
    'arity,
    'rec_group,
    'kinds,
    'positive,
    'negative,
    'direct,
    'gadt)
    t ->
  'acc ->
  'acc

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 =

| 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

package refl