package sequoia

  1. Overview
  2. Docs
package sequoia
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.

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