package refl

  1. Overview
  2. Docs

Module Refl.ToolsSource

Sourcemodule type TypeS = Traverse.TypeS
Sourcemodule type BinaryTypeS = sig ... end
Sourceval cast : 'a 'b. ('a, 'b) Refl__.Desc.eq -> 'a -> 'b
Sourceval eq_symmetric : 'a 'b. ('a, 'b) Refl__.Desc.eq -> ('b, 'a) Refl__.Desc.eq
Sourceval sub_gadt_functional : ('a, 'b) Refl__.Desc.sub_gadt -> ('a, 'c) Refl__.Desc.sub_gadt -> ('b, 'c) Refl__.Desc.eq
Sourcetype 'types selection_of_choice =
  1. | SelectionOfChoice : {
    1. index : ([ `Succ of 'index ], 'types, 'a, _) Refl__.Desc.selection;
    2. item : 'a;
    } -> 'types selection_of_choice
Sourceval equal_binary_choice : 'cases. 'cases Refl__.Desc.binary_choice -> 'cases Refl__.Desc.binary_choice -> bool
Sourceval selection_of_choice : 'types. 'types Refl__.Desc.choice -> 'types selection_of_choice
Sourceval variable_functional : 'index 'arity 'a 'b 'positive_a 'direct_a 'positive_b 'direct_b. ('index, 'arity, 'a, 'positive_a, 'direct_a) Refl__.Desc.variable -> ('index, 'arity, 'b, 'positive_b, 'direct_b) Refl__.Desc.variable -> ('a, 'b) Refl__.Desc.eq
Sourcetype ('index, 'index') compare =
  1. | LessThan
  2. | Equal of ('index, 'index') Refl__.Desc.eq
  3. | GreaterThan
Sourceval compare_length : 'count_a 'types_a 'count_b 'types_b. ('count_a, 'types_a) Refl__.Desc.length -> ('count_b, 'types_b) Refl__.Desc.length -> ('count_a, 'count_b) compare
Sourceval compare_selection : 'index 'index' 'sequence 'sequence' 'head 'tail 'head' 'tail'. ('index, 'sequence, 'head, 'tail) Refl__.Desc.selection -> ('index', 'sequence', 'head', 'tail') Refl__.Desc.selection -> ('index, 'index') compare
Sourceval int_of_selection : 'index 'sequence 'head 'tail. ?start:int -> ('index, 'sequence, 'head, 'tail) Refl__.Desc.selection -> int
Sourceval int_of_binary_selection : 'index 'sequence 'head 'tail. ?start:int -> ('index, 'sequence, 'head, 'tail) Refl__.Desc.binary_selection -> int
Sourceval selection_functional_tail : 'index 'sequence 'head 'tail 'head' 'tail'. ('index, 'sequence, 'head, 'tail) Refl__.Desc.selection -> ('index, 'sequence, 'head', 'tail') Refl__.Desc.selection -> ('tail, 'tail') Refl__.Desc.eq
Sourceval selection_functional_head : 'index 'sequence 'head 'head' 'tail 'tail'. ([ `Succ of 'index ], 'sequence, 'head, 'tail) Refl__.Desc.selection -> ([ `Succ of 'index ], 'sequence, 'head', 'tail') Refl__.Desc.selection -> ('head, 'head') Refl__.Desc.eq
Sourceval compare_binary_selection : 'index 'index' 'sequence 'sequence' 'head 'tail 'head' 'tail'. ('index, 'sequence, 'head, 'tail) Refl__.Desc.binary_selection -> ('index', 'sequence', 'head', 'tail') Refl__.Desc.binary_selection -> ('index, 'index') compare
Sourceval binary_selection_functional_tail : 'index 'sequence 'head 'tail 'head' 'tail'. ('index, 'sequence, 'head, 'tail) Refl__.Desc.binary_selection -> ('index, 'sequence, 'head', 'tail') Refl__.Desc.binary_selection -> ('tail, 'tail') Refl__.Desc.eq
Sourceval binary_selection_functional_head : 'index 'sequence 'head 'head' 'tail 'tail'. ([ `Select of 'index ], 'sequence, 'head, 'tail) Refl__.Desc.binary_selection -> ([ `Select of 'index ], 'sequence, 'head', 'tail') Refl__.Desc.binary_selection -> ('head, 'head') Refl__.Desc.eq
Sourceval equal_variable : 'index_a 'index_b 'arity_a 'arity_b 'a 'b 'positive_a 'positive_b 'direct_a 'direct_b. ('index_a, 'arity_a, 'a, 'positive_a, 'direct_a) Refl__.Desc.variable -> ('index_b, 'arity_b, 'b, 'positive_b, 'direct_b) Refl__.Desc.variable -> (('index_a, 'index_b) Refl__.Desc.eq, unit) result
Sourceval attributes_empty : ('a, 'b, 'c, 'd, 'e, 'f, 'g, 'h) Refl__.Desc.attributes
Sourcemodule type VectorS = sig ... end
Sourcemodule Vector (T : sig ... end) : VectorS with module T = T
Sourcemodule BinaryVector (T : BinaryTypeS) : sig ... end
Sourcemodule ParameterizedVector (T : BinaryTypeS) : sig ... end
Sourcemodule SignedVector (T : BinaryTypeS) : sig ... end
Sourcemodule type Desc_type = sig ... end
Sourcemodule Desc_vector (T : Desc_type) : sig ... end
Sourcemodule Section : sig ... end
Sourcetype ('a_arity, 'b_arity, 'rec_group, 'kinds_a, 'kinds_b, 'positive, 'negative, 'direct, 'gadt) map = {
  1. f : 'a 'b 'structure. ('a, 'structure, 'a_arity, 'rec_group, 'kinds_a, 'positive, 'negative, 'direct, 'gadt) Refl__.Desc.desc -> ('b, 'structure, 'b_arity, 'rec_group, 'kinds_b, 'positive, 'negative, 'direct, 'gadt) Refl__.Desc.desc -> 'a -> 'b;
}
Sourcemodule type Mapper = sig ... end
Sourcetype 'count map_length =
  1. | MapLength : {
    1. length : ('count, _) Refl__.Desc.length;
    } -> 'count map_length
Sourcetype ('types, 'tail) make_append =
  1. | MakeAppend : ('types, 'tail, 'append) Refl__.Desc.append -> ('types, 'tail) make_append
Sourceval make_append : 'count 'types. ('count, 'types) Refl__.Desc.length -> ('types, 'tail) make_append
Sourcemodule MapperTools (M : Mapper) : sig ... end
Sourceval append_functional : 'prefix 'suffix 'result1 'result2. ('prefix, 'suffix, 'result1) Refl__.Desc.append -> ('prefix, 'suffix, 'result2) Refl__.Desc.append -> ('result1, 'result2) Refl__.Desc.eq
Sourcemodule Tuple : sig ... end
Sourcemodule Record : sig ... end
Sourcemodule Constructor : sig ... end
Sourcemodule Variant : sig ... end
Sourcemodule Object : sig ... end
OCaml

Innovation. Community. Security.