Module Rel_query

Embedded query language.

Query language

The expressiveness of the query language is currently limited. Note that you can always switch to raw SQL statements and type them for execution. To define queries you should open Syntax which has more definitions and operator overloading.

type 'a value

The type for representing values of type 'a. FIXME depending on the final open strategy put that in its own module.

module Bool : sig ... end

Booleans.

module Int : sig ... end

Integers.

module Int64 : sig ... end

64-bit integers.

module Float : sig ... end

Floating point numbers.

module Text : sig ... end

Text.

module Option : sig ... end

Option.

Coded.

module Coded : sig ... end
module Bag : sig ... end

Bags specification language.

module Sql : sig ... end

FIXME can't we merge that into Rel_sql.Stmt ? FIXME can't we avoid the reverse typing ?

module Syntax : sig ... end

Query syntax support.

Private

module Private : sig ... end

Low-level private representations.