package sequoia

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

SQL literal values.

type 'a t = ..

The type of literals. Can be extended by drivers.

type t +=
  1. | Bool : bool -> bool t
  2. | Int : int -> int t
  3. | Float : float -> float t
  4. | String : string -> string t
  5. | Blob : bytes -> bytes t
    (*

    Basic SQL literals.

    *)

Literal creation

The functions below create literal values of the appropriate types.

val bool : bool -> bool t
val int : int -> int t
val float : float -> float t
val string : string -> string t
val blob : bytes -> bytes t
module Null : sig ... end

Literals for nullable fields.

type ('a, 'b) lit = 'b t
module Vector : Sequoia_vector.S with type ('a, 'b) elem := ('a, 'b) lit

Vectors of SQL literals.

Functions useful for driver writers

val build : placeholder:(int -> string) -> Sequoia_common.build_step -> 'a t -> Sequoia_common.build_step

Build a literal value.

val to_param : 'a t -> Sequoia_param.t

Convert a literal value to a query parameter.