package refl

  1. Overview
  2. Docs

Module Tools.RecordSource

Sourcemodule Record : sig ... end
Sourcemodule Field : sig ... end
include module type of struct include Record end
Sourcetype ('types, 'structures, 'arity, 'rec_group, 'kinds, 'positive, 'negative, 'direct, 'gadt) t = ('types, 'structures, 'arity, 'rec_group, 'kinds, 'positive, 'negative, 'direct, 'gadt) Record.t = {
  1. structure : ('types, 'structures, 'arity, 'rec_group, 'kinds, 'positive, 'negative, 'direct, 'gadt) Refl__.Desc.record_structure;
  2. values : 'types;
}
Sourceval map : 'a_types 'b_types 'structures 'gadt. ('a_arity, 'b_arity, 'rec_group, [> `Poly of unit ] as 'a, 'kinds_b, 'positive, 'negative, 'direct, 'gadt) map -> ('a_types, 'structures, 'a_arity, 'rec_group, 'a, 'positive, 'negative, 'direct, 'gadt) Refl__.Desc.record_structure -> ('b_types, 'structures, 'b_arity, 'rec_group, 'kinds_b, 'positive, 'negative, 'direct, 'gadt) Refl__.Desc.record_structure -> 'a_types -> 'b_types
Sourcemodule Map (M : Mapper) : sig ... end
Sourcetype ('types, 'structures, 'arity, 'rec_group, 'kinds, 'positive, 'negative, 'direct, 'gadt) fold =
  1. | Fold : {
    1. index : ([ `Succ of 'index ], 'types, 'a, _) Refl__.Desc.selection;
    2. index_structure : ([ `Succ of 'index ], 'structures, 'structure, _) Refl__.Desc.selection;
    3. field : ('a, 'structure, 'arity, 'rec_group, 'kinds, 'positive, 'negative, 'direct, 'gadt) Refl__.Desc.record_field;
    4. value : 'a;
    } -> ('types, 'structures, 'arity, 'rec_group, 'kinds, 'positive, 'negative, 'direct, 'gadt) fold
Sourceval 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
Sourcemodule Fields : sig ... end
Sourcemodule Records : sig ... end
Sourcetype ('index, 'structure, 'structures, 'arities, 'records, 'rec_group, 'kinds, 'positive, 'negative, 'direct, 'gadts) structure_find =
  1. | Structure_find : {
    1. section : ([ `Succ of 'index ], 'records, 'section, 'others) Section.t;
    2. items : ('section, 'structure, 'arities, 'rec_group, 'kinds, 'positive, 'negative, 'direct, 'gadts) Fields.t;
    3. others : ('others, 'structures, 'arities, 'rec_group, 'kinds, 'positive, 'negative, 'direct, 'gadts) Records.t;
    } -> ('index, 'structure, 'structures, 'arities, 'records, 'rec_group, 'kinds, 'positive, 'negative, 'direct, 'gadts) structure_find
Sourcetype ('records, 'structures, 'arities, 'rec_group, 'kinds, 'positive, 'negative, 'direct, 'gadts) find =
  1. | Find : {
    1. index : ([ `Succ of 'index ], 'structures, 'structure, _) Refl__.Desc.selection;
    2. section : ([ `Succ of 'index ], 'records, 'section, _) Section.t;
    3. items : ('section, 'structure, 'arities, 'rec_group, 'kinds, 'positive, 'negative, 'direct, 'gadts) Fields.t;
    } -> ('records, 'structures, 'arities, 'rec_group, 'kinds, 'positive, 'negative, 'direct, 'gadts) find
Sourceval find : 'arities 'gadts. ('record * 'records, 'structures, 'arities, 'rec_group, 'kinds, 'positive, 'negative, 'direct, 'gadts) Records.t -> (('record * 'records, 'structures, 'arities, 'rec_group, 'kinds, 'positive, 'negative, 'direct, 'gadts) find -> 'a option) -> 'a option
OCaml

Innovation. Community. Security.