package sequoia

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
include module type of M.Select with module Expr := M.Select.Expr
type (!'s1, !'t1, !'t2, !'s2) join_steps = ('s1, 't1, 't2, 's2) Sequoia.Make(D).Select.join_steps =
  1. | There : ('t20 -> 'b, 't10, 't20, 't10 -> 't20 -> 'b) join_steps
  2. | Skip : ('s10, 't11, 't21, 's20) join_steps -> ('a -> 's10, 't11, 't21, 'a -> 's20) join_steps
type !'s source = 's Sequoia.Make(D).Select.source =
  1. | From : 't Sequoia_table.t -> ('t -> unit) source
  2. | Join : join * ('t1, 't2) Sequoia_field.foreign_key * 's1 source * ('s1, 't1, 't2, 's2) join_steps -> 's2 source
type (!'s1, !'t1, !'t2, !'s2) steps = ('s1, 't1, 't2, 's2) Sequoia.Make(D).Select.steps =
  1. | There : ('t20 -> 'b, 't10, 't20, 't20 -> 'b) steps
  2. | Skip : ('s10, 't11, 't21, 's20) steps -> ('a -> 's10, 't11, 't21, 'a -> 's20) steps
val select : ?distinct:bool -> ('s, 'a, 'n Sequoia_vector.Nat.s) M.Select.Expr.Vector.t -> 's source -> 's t
val from : 't Sequoia_table.t -> ('t -> unit) source
val left_join : (('t1, 't2) Sequoia_field.foreign_key * ('s1, 't1, 't2, 's2) join_steps) -> 's1 source -> 's2 source
val right_join : (('t1, 't2) Sequoia_field.foreign_key * ('s1, 't1, 't2, 's2) join_steps) -> 's1 source -> 's2 source
val inner_join : (('t1, 't2) Sequoia_field.foreign_key * ('s1, 't1, 't2, 's2) join_steps) -> 's1 source -> 's2 source
val self : ('t, int) Sequoia_field.t -> ('t, int) Sequoia_field.t -> ('s1, 't1, 't, 's2) join_steps -> ('t, 't) Sequoia_field.foreign_key * ('s1, 't1, 't, 's2) join_steps
val this : ('t1, 't2) Sequoia_field.foreign_key -> ('s1, 't1, 't2, 's2) join_steps -> ('t1, 't2) Sequoia_field.foreign_key * ('s1, 't1, 't2, 's2) join_steps
val that : ('t1, 't2) Sequoia_field.foreign_key -> ('s1, 't2, 't1, 's2) join_steps -> ('t2, 't1) Sequoia_field.foreign_key * ('s1, 't2, 't1, 's2) join_steps
val where : ('a source -> bool M.Select.Expr.t) -> 'a t -> 'a t
val group_by : ?having:('s source -> bool M.Select.Expr.t) -> ('s, 'a, 'n Sequoia_vector.Nat.s) M.Select.Expr.Vector.t -> 's t -> 's t
module OrderBy : sig ... end
val order_by : ('s, 'a, 'n Sequoia_vector.Nat.s) OrderBy.Expr.Vector.t -> 's t -> 's t
val limit : ?offset:int -> int -> 'a t -> 'a t
val cast_handover : 'a Expr.cast -> string
module Expr : sig ... end
val seal : 'a t -> string * Sequoia_param.t list
OCaml

Innovation. Community. Security.