Make (rel.Rel_kit.Id.Make)

Parameters

module Base : Base

type t = Base.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.