package sequoia

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

UPDATE query expressions.

include module type of Sequoia_query_common.UpdateDeleteExpr

Expressions to be used in UPDATE or DELETE queries.

type Sequoia_expr.t +=
  1. | Field : ('t, 'a) Sequoia_field.t * 't Sequoia_table.t -> 'a Sequoia_expr.t
  2. | Foreign : ('t, 'u) Sequoia_field.foreign_key * 't Sequoia_table.t -> 'a Sequoia_expr.t
    (*

    Extend the basic expressions with fields and foreign keys.

    *)
val field : ('t, 'a) Sequoia_field.t -> 't Sequoia_table.t -> 'a Sequoia_expr.t

A table field expression.

val foreign_key : ('t1, 't2) Sequoia_field.foreign_key -> 't1 Sequoia_table.t -> 'a Sequoia_expr.t

A table foreign key expression.

Functions useful for driver writers

val build : placeholder:(int -> string) -> handover:Sequoia_expr.handover -> Sequoia_common.build_step -> 'a Sequoia_expr.t -> Sequoia_common.build_step
type ('t, 'a) mk = 't Sequoia_table.t -> ('t, 'a) Sequoia_expr.expr

The type of UPDATE expression builders.

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

Vector of UPDATE expression builders.

OCaml

Innovation. Community. Security.