package refl

  1. Overview
  2. Docs

Parameters

module T : BinaryTypeS

Signature

type ('a, 'b, 'positive, 'negative) item =
  1. | None : ('a, 'b, [ `Absent ], [ `Absent ]) item
  2. | P : ('a, 'b) T.t -> ('a, 'b, _, [ `Absent ]) item
  3. | N : ('b, 'a) T.t -> ('a, 'b, [ `Absent ], _) item
  4. | PN : (('a, 'b) T.t * ('b, 'a) T.t) -> ('a, 'b, _, _) item
type ('a, 'b, 'positive, 'negative) t =
  1. | [] : (unit, unit, unit, unit) t
  2. | :: : ('a, 'b, 'positive, 'negative) item * ('aa, 'bb, 'positive_tail, 'negative_tail) t -> ('a * 'aa, 'b * 'bb, 'positive * 'positive_tail, 'negative * 'negative_tail) t
val reverse_item : 'positive 'negative. ('a, 'b, 'positive, 'negative) item -> ('b, 'a, 'negative, 'positive) item
val pos : 'negative. ('a, 'b, [ `Present ], 'negative) item -> ('a, 'b) T.t
val get : 'index 'a 'b 'a_value 'b_value 'positive 'negative 'direct. ('index, 'a, 'a_value, 'positive, 'direct) Refl__.Desc.variable -> ('index, 'b, 'b_value, 'positive, 'direct) Refl__.Desc.variable -> ('a, 'b, 'positive, 'negative) t -> ('a_value, 'b_value) T.t
val reverse : 'a 'b 'positive 'negative. ('a, 'b, 'positive, 'negative) t -> ('b, 'a, 'negative, 'positive) t
type ('a, 'b, 'positive, 'negative) symmetric_item =
  1. | SNone : ('a, 'b, [ `Absent ], [ `Absent ]) symmetric_item
  2. | SPN : (('a, 'b) T.t * ('b, 'a) T.t) -> ('a, 'b, _, _) symmetric_item
type ('a, 'b, 'positive, 'negative) symmetric =
  1. | [] : (unit, unit, unit, unit) symmetric
  2. | :: : ('a, 'b, 'positive, 'negative) symmetric_item * ('aa, 'bb, 'positive_tail, 'negative_tail) symmetric -> ('a * 'aa, 'b * 'bb, 'positive * 'positive_tail, 'negative * 'negative_tail) symmetric
type ('a, 'b, 'sp, 'sn, 'ap, 'an) make_transfer =
  1. | TNone : ('a, 'b, [ `Absent ], [ `Absent ], 'ap, 'an) make_transfer
  2. | TP : ('a, 'b, 'ap, 'an) t -> ('a, 'b, _, [ `Absent ], 'ap, 'an) make_transfer
  3. | TN : ('a, 'b, 'an, 'ap) t -> ('a, 'b, [ `Absent ], _, 'ap, 'an) make_transfer
  4. | TPN : ('a, 'b, 'an, 'ap) symmetric -> ('a, 'b, _, _, 'an, 'ap) make_transfer
val reverse_of_symmetric : 'a 'b 'positive 'negative. ('a, 'b, 'positive, 'negative) symmetric -> ('a, 'b, 'negative, 'positive) symmetric
val p_of_symmetric : 'a 'b 'ap 'an. ('a, 'b, 'ap, 'an) symmetric -> ('a, 'b, 'ap, 'an) t
val n_of_symmetric : 'a 'b 'ap 'an. ('a, 'b, 'ap, 'an) symmetric -> ('a, 'b, 'an, 'ap) t
val make_transfer : 'p 'n 'sp 'sn 'ap 'an 'a 'b. ('p, 'n, 'sp, 'sn, 'ap, 'an) Refl__.Desc.transfer_matrix -> ('a, 'b, 'p, 'n) t -> ('a, 'b, 'sp, 'sn, 'ap, 'an) make_transfer
type ('rec_group, 'a_kinds, 'b_kinds) make = {
  1. f : 'a 'b 'structure 'a_arity 'b_arity 'ap 'an 'ad 'gadt. ('a, 'structure, 'a_arity, 'rec_group, 'a_kinds, 'ap, 'an, 'ad, 'gadt) Refl__.Desc.desc -> ('b, 'structure, 'b_arity, 'rec_group, 'b_kinds, 'ap, 'an, 'ad, 'gadt) Refl__.Desc.desc -> ('a_arity, 'b_arity, 'ap, 'an) t -> ('a, 'b) T.t;
}
val make : 'a_types 'b_types 'structures 'arguments 'subpositive 'subnegative 'subdirect 'a_arity 'b_arity 'rec_group 'gadt. ('rec_group, 'a_kinds, 'a_kinds) make -> ('a_types, 'structures, 'a_arity, 'rec_group, 'a_kinds, 'arguments, 'gadt) Refl__.Desc.vector -> ('b_types, 'structures, 'b_arity, 'rec_group, 'a_kinds, 'arguments, 'gadt) Refl__.Desc.vector -> ('positive, 'negative, 'direct, 'subpositive, 'subnegative, 'subdirect, 'arguments) Refl__.Desc.transfer -> ('a_arity, 'b_arity, 'positive, 'negative) t -> ('a_types, 'b_types, 'subpositive, 'subnegative) t
OCaml

Innovation. Community. Security.