refl

PPX deriver for reflection
package refl
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library refl
Module Refl . Tools . Tuple
module Tuple : sig ... end
include module type of struct include Tuple end
type ('types, 'structures, 'arity, 'rec_group, 'kinds, 'positive, 'negative, 'direct, 'gadt) structure = ( 'types, 'structures, 'arity, 'rec_group, 'kinds, 'positive, 'negative, 'direct, 'gadt ) Tuple.structure =
| [] : ( unit, unit, 'arity, 'rec_group, 'kinds, 'positive, 'negative, 'direct, 'gadt ) structure
val of_desc : 'types 'structures. ( 'types, 'structures, 'arity, 'rec_group, 'kinds, 'positive, 'negative, 'direct, 'gadt ) Refl__Desc.tuple_structure -> ( 'types, 'structures, 'arity, 'rec_group, 'kinds, 'positive, 'negative, 'direct, 'gadt ) structure
type ('types, 'structures, 'arity, 'rec_group, 'kinds, 'positive, 'negative, 'direct, 'gadt) t = ( 'types, 'structures, 'arity, 'rec_group, 'kinds, 'positive, 'negative, 'direct, 'gadt ) Tuple.t = {
structure : ( 'types, 'structures, 'arity, 'rec_group, 'kinds, 'positive, 'negative, 'direct, 'gadt ) structure;
values : 'types;
}
module Item : sig ... end
val map : 'a_types 'b_types 'structures 'gadt. ( 'a_arity, 'b_arity, 'rec_group, 'kinds_a, 'kinds_b, 'positive, 'negative, 'direct, 'gadt ) map -> ( 'a_types, 'structures, 'a_arity, 'rec_group, 'kinds_a, 'positive, 'negative, 'direct, 'gadt ) Refl__Desc.tuple_structure -> ( 'b_types, 'structures, 'b_arity, 'rec_group, 'kinds_b, 'positive, 'negative, 'direct, 'gadt ) Refl__Desc.tuple_structure -> 'a_types -> 'b_types
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 Items : sig ... end
module Tuples : sig ... end
type ('index, 'structure, 'structures, 'arities, 'tuples, 'rec_group, 'kinds, 'positive, 'negative, 'direct, 'gadts) structure_find =
| Structure_find : {
section : ( [ `Succ of 'index ], 'tuples, 'section, 'others ) Section.t;
items : ( 'section, 'structure, 'arities, 'rec_group, 'kinds, 'positive, 'negative, 'direct, 'gadts ) Items.t;
others : ( 'others, 'structures, 'arities, 'rec_group, 'kinds, 'positive, 'negative, 'direct, 'gadts ) Tuples.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 ) Tuples.t -> ( ( 'tuple * 'tuples, 'structures, 'arities, 'rec_group, 'kinds, 'positive, 'negative, 'direct, 'gadts ) find -> 'a option ) -> 'a option