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


module Int : sig ... end


module Int64 : sig ... end

64-bit integers.

module Float : sig ... end

Floating point numbers.

module Text : sig ... end


module Option : sig ... end


module Bag : sig ... end

Bags specification language.

module Sql : sig ... end

FIXME can't we merge that into Rel_sql.Stmt ?

module Syntax : sig ... end

Query syntax support.


module Private : sig ... end

Low-level private representations.