package sequoia

  1. Overview
  2. Docs
package sequoia
Legend:
Library
Module
Module type
Parameter
Class
Class type

Module Base defines the basic SQL expressions.

type cast +=
  1. | Bool : bool cast
    (*

    cast to bool

    *)
  2. | Int : int cast
    (*

    cast to int

    *)
  3. | Float : float cast
    (*

    cast to float

    *)
  4. | String : string cast
    (*

    cast to string

    *)
  5. | Blob : bytes cast
    (*

    cast to bytes

    *)
type t +=
  1. | Lit : 'a Sequoia_lit.t -> 'a t
  2. | Eq : 'a t * 'a t -> bool t
  3. | Neq : 'a t * 'a t -> bool t
  4. | Gt : 'a t * 'a t -> bool t
  5. | Ge : 'a t * 'a t -> bool t
  6. | Lt : 'a t * 'a t -> bool t
  7. | Le : 'a t * 'a t -> bool t
  8. | And : bool t * bool t -> bool t
  9. | Or : bool t * bool t -> bool t
  10. | Like : string t * string -> bool t
  11. | Not_like : string t * string -> bool t
  12. | In : 'a t * 'a t list -> bool t
  13. | Not_in : 'a t * 'a t list -> bool t
  14. | Is_not_null : 'a option t -> bool t
  15. | Is_null : 'a option t -> bool t
  16. | IAdd : int t * int t -> int t
  17. | ISub : int t * int t -> int t
  18. | IMul : int t * int t -> int t
  19. | IDiv : int t * int t -> int t
  20. | FAdd : float t * float t -> float t
  21. | FSub : float t * float t -> float t
  22. | FMul : float t * float t -> float t
  23. | FDiv : float t * float t -> float t
  24. | LShift : int t * int -> int t
  25. | RShift : int t * int -> int t
  26. | Cast : 'a t * 'b cast -> 'b t

Functions corresponding to SQL operators

val (=) : ('a -> 'b t) -> ('a -> 'b t) -> 'a -> bool t

The = operator.

val (=%) : ('a -> string t) -> string -> 'a -> bool t

The = operator.

The LIKE operator.

val (<>) : ('a -> 'b t) -> ('a -> 'b t) -> 'a -> bool t

The LIKE operator.

The <> operator.

val (<>%) : ('a -> string t) -> string -> 'a -> bool t

The <> operator.

The NOT LIKE operator.

val (>) : ('a -> 'b t) -> ('a -> 'b t) -> 'a -> bool t

The NOT LIKE operator.

The > operator.

val (>=) : ('a -> 'b t) -> ('a -> 'b t) -> 'a -> bool t

The > operator.

The >= operator.

val (<) : ('a -> 'b t) -> ('a -> 'b t) -> 'a -> bool t

The >= operator.

The < operator.

val (<=) : ('a -> 'b t) -> ('a -> 'b t) -> 'a -> bool t

The < operator.

The <= operator.

val (&&) : ('a -> bool t) -> ('a -> bool t) -> 'a -> bool t

The <= operator.

The AND operator.

val (||) : ('a -> bool t) -> ('a -> bool t) -> 'a -> bool t

The AND operator.

The OR operator.

val (+) : ('a -> int t) -> ('a -> int t) -> 'a -> int t

The OR operator.

The + operator for integers.

val (-) : ('a -> int t) -> ('a -> int t) -> 'a -> int t

The + operator for integers.

The - operator for integers.

val (*) : ('a -> int t) -> ('a -> int t) -> 'a -> int t

The - operator for integers.

The * operator for integers.

val (/) : ('a -> int t) -> ('a -> int t) -> 'a -> int t

The * operator for integers.

The / operator for integers.

val (+.) : ('a -> float t) -> ('a -> float t) -> 'a -> float t

The / operator for integers.

The + operator for floats.

val (-.) : ('a -> float t) -> ('a -> float t) -> 'a -> float t

The + operator for floats.

The - operator for floats.

val (*.) : ('a -> float t) -> ('a -> float t) -> 'a -> float t

The - operator for floats.

The * operator for floats.

val (/.) : ('a -> float t) -> ('a -> float t) -> 'a -> float t

The * operator for floats.

The / operator for floats.

val (<<) : ('a -> int t) -> int -> 'a -> int t

The / operator for floats.

The << operator.

val (>>) : ('a -> int t) -> int -> 'a -> int t

The << operator.

The >> operator.

val (=?) : ('a -> 'b t) -> ('a -> 'b t) list -> 'a -> bool t

The >> operator.

The IN operator.

val (<>?) : ('a -> 'b t) -> ('a -> 'b t) list -> 'a -> bool t

The IN operator.

The NOT IN operator.

val is_null : ('a -> 'b option t) -> 'a -> bool t

The IS NULL operator.

val is_not_null : ('a -> 'b option t) -> 'a -> bool t

The IS NULL operator.

The IS NOT NULL operator.

Creation of SQL values

val bool : bool -> 'a -> bool t

A boolean value expression.

val int : int -> 'a -> int t

A boolean value expression.

An int value expression.

val float : float -> 'a -> float t

An int value expression.

A float value expression.

val string : string -> 'a -> string t

A float value expression.

A string value expression.

val blob : bytes -> 'a -> bytes t

A string value expression.

A blob value expression.

Casts

val as_bool : ('a -> 'b t) -> 'a -> bool t

Cast to bool.

val as_int : ('a -> 'b t) -> 'a -> int t

Cast to bool.

Cast to int.

val as_float : ('a -> 'b t) -> 'a -> float t

Cast to int.

Cast to float.

val as_string : ('a -> 'b t) -> 'a -> string t

Cast to float.

Cast to string.

val as_blob : ('a -> 'b t) -> 'a -> bytes t

Cast to string.

Cast to blob.

module Null : sig ... end

Nullable SQL values.

OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct