package sequoia

  1. Overview
  2. Docs
package sequoia
Legend:
Library
Module
Module type
Parameter
Class
Class type
include module type of struct include M.Select.Expr end
type 's select = 's M.Select.t
type Sequoia_expr.t +=
  1. | Field : ('t, 'a) Sequoia_field.t * 's1 M.Select.source * ('s1, 't1, 't, 's2) M.Select.steps -> 'a Sequoia_expr.t
  2. | Foreign : ('t0, 't2) Sequoia_field.foreign_key * 's10 M.Select.source * ('s10, 't10, 't0, 's20) M.Select.steps -> 'a0 Sequoia_expr.t
  3. | Select : 's select -> 'a1 Sequoia_expr.t
type !'a t = 'a Sequoia_expr.t
val (-->) : ('s M.Select.source -> 'a t) -> string -> 's M.Select.source -> 'a t
val alias : string -> 's M.Select.source -> 'a t
val field : ('t, 'a) Sequoia_field.t -> ('b, 'c, 't, 'd) M.Select.steps -> 'b M.Select.source -> 'a t
val foreign_key : ('t1, 't2) Sequoia_field.foreign_key -> ('a, 'b, 't1, 'c) M.Select.steps -> 'a M.Select.source -> 'd t
val subquery : 's select -> 't M.Select.source -> 'c t
type (!'s, !'a) mk = 's M.Select.source -> 'a t
module Vector = M.Select.Expr.Vector
val vectormk_to_vector : 's M.Select.source -> ('s, 'a, 'n) Vector.t -> ('s, 'a, 'n) Sequoia_expr.Vector.t
val unwrap : 'a. ('t, 'a option) Field.t -> ('b, 'c, 't, 'd) M.Select.steps -> 'b M.Select.source -> 'a t