MakeInt (rel.Rel_kit.Id.MakeInt)

Parameters

include ID

type t

The type for table identifiers.

val type' : t Rel.Type.t

The rel type for table identifiers.

val v : t -> t Rel_query.value

v id injects constants identifiers into queries.

val equal : t Rel_query.value -> t Rel_query.value -> bool Rel_query.value

equal t

val (=) : t Rel_query.value -> t Rel_query.value -> bool Rel_query.value

( = ) is equal.

val to_text : t Rel_query.value -> string Rel_query.value

to_text t is t as SQL text. FIXME get rid of that.

val to_string : t -> string

to_string id should be an UTF-8 compatible encoding of id.

val of_string : string -> (t, string) Stdlib.result

of_string s parses an identifier from s.

val pp : Stdlib.Format.formatter -> t -> unit

pp is a formatter for identifiers.

module Set : Stdlib.Set.S with type elt = t

Sets of identifiers.

module Map : sig ... end

Maps of identifiers.

val zero : t

zero is the 0 id.

val to_int : t -> int

to_int id converts id to a non-negative integer.

val of_int : int -> (t, string) Stdlib.result

of_int i converts i to an identifier. Errors if i is negative.