refl 0.4.0 · OCaml Package

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) ->
  ('types,
    'structures,
    'arity,
    'rec_group,
    'kinds,
    'positive,
    'negative,
    'direct,
    'gadt)
    t ->
  'acc ->
  'acc

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 : {
1. section : ([ `Succ of 'index ], 'tuples, 'section, 'others) Section.t;
2. items : ('section, 'structure, 'arities, 'rec_group, 'kinds, 'positive, 'negative, 'direct, 'gadts) Items.t;
3. 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

package refl