package sequoia

You can search for identifiers within the package.

in-package search v0.2.0

sequoia
- Sequoia
  - Make
    
    D
    
    Delete
    
    Expr
    
    Expr
    
    Base
    
    Null
    
    Vector
    
    FIELD
    
    Field
    
    Null
    
    Insert
    
    Vector
    
    Lit
    
    Null
    
    MakeTable
    
    Field
    
    Null
    
    T
    
    NULL_FIELD
    
    Param
    
    Replace
    
    Vector
    
    Select
    
    Expr
    
    Vector
    
    OrderBy
    
    Expr
    
    Vector
    
    Vector
    
    TABLE
    
    Field
    
    Null
    
    Table
    
    Update
    
    Expr
    
    Vector
    
    OrderBy
    
    Expr
    
    Vector
    
    Vector
    
    Vector
    
    Vector
    
    Elem
    
    Make
    
    E
    
    Nat
    
    S
  - NAMED
  - S
    
    Delete
    
    Expr
    
    Expr
    
    Base
    
    Null
    
    Vector
    
    FIELD
    
    Field
    
    Null
    
    Insert
    
    Vector
    
    Lit
    
    Null
    
    Vector
    
    MakeTable
    
    Field
    
    Null
    
    T
    
    NULL_FIELD
    
    Param
    
    Replace
    
    Vector
    
    Select
    
    Expr
    
    Vector
    
    OrderBy
    
    Expr
    
    Vector
    
    Vector
    
    TABLE
    
    Field
    
    Null
    
    Table
    
    Update
    
    Expr
    
    Vector
    
    OrderBy
    
    Expr
    
    Vector
    
    Vector
    
    Vector
    
    Vector
    
    Elem
    
    Make
    
    E
    
    Nat
    
    S
- Sequoia_common
  - AliasSet
- Sequoia_delete
  - Make
    
    D
    
    Expr
  - S
    
    Expr
- Sequoia_driver
  - S
- Sequoia_expr
  - Base
    
    Null
  - Vector
- Sequoia_field
  - Null
- Sequoia_insert
  - Make
    
    D
    
    Vector
  - S
    
    Vector
- Sequoia_lit
  - Null
  - Vector
- Sequoia_param
- Sequoia_query_common
  - InsertReplace
    
    Vector
  - UpdateDeleteExpr
- Sequoia_replace
  - Make
    
    D
    
    Vector
  - S
    
    Vector
- Sequoia_select
  - Make
    
    D
    
    Expr
    
    Vector
    
    OrderBy
    
    Expr
    
    Vector
    
    Vector
  - S
    
    Expr
    
    Vector
    
    OrderBy
    
    Expr
    
    Vector
    
    Vector
- Sequoia_table
- Sequoia_update
  - Make
    
    D
    
    Expr
    
    Vector
    
    OrderBy
    
    Expr
    
    Vector
    
    Vector
    
    Vector
  - S
    
    Expr
    
    Vector
    
    OrderBy
    
    Expr
    
    Vector
    
    Vector
    
    Vector
- Sequoia_vector
  - Elem
  - Make
    
    E
  - Nat
  - S
sequoia.mysql
- Sequoia_mysql
  - D
  - Delete
  - Enum
    
    Instance
    
    S
  - Expr
  - FIELD
  - Field
    
    Null
  - Insert
    
    Vector
  - Lit
  - M
    
    Delete
    
    Expr
    
    Expr
    
    Base
    
    Null
    
    Vector
    
    FIELD
    
    Field
    
    Null
    
    Insert
    
    Vector
    
    Lit
    
    Null
    
    Vector
    
    MakeTable
    
    Field
    
    Null
    
    T
    
    NULL_FIELD
    
    Param
    
    Replace
    
    Vector
    
    Select
    
    Expr
    
    Vector
    
    OrderBy
    
    Expr
    
    Vector
    
    Vector
    
    TABLE
    
    Field
    
    Null
    
    Table
    
    Update
    
    Expr
    
    Vector
    
    OrderBy
    
    Expr
    
    Vector
    
    Vector
    
    Vector
    
    Vector
    
    Elem
    
    Make
    
    E
    
    Nat
    
    S
  - MYSQL_FIELD
  - MYSQL_NULL_FIELD
  - MYSQL_TABLE
    
    Field
    
    Null
  - MakeMysqlTable
    
    Field
    
    Null
    
    T
  - MakeTable
    
    Field
    
    Null
    
    T
  - NULL_FIELD
  - Param
  - Replace
    
    Vector
  - Select
    
    Expr
    
    OrderBy
    
    Expr
    
    Vector
    
    Vector
  - TABLE
    
    Field
    
    Null
  - Table
  - Update
  - Vector
    
    Elem
    
    Make
    
    E
    
    Nat
    
    S
sequoia.ppx
- Sequoia_ppx
sequoia.sqlite
- Sequoia_sqlite
  - D
  - Delete
  - Expr
  - FIELD
  - Insert
    
    Vector
  - M
    
    Delete
    
    Expr
    
    Expr
    
    Base
    
    Null
    
    Vector
    
    FIELD
    
    Field
    
    Null
    
    Insert
    
    Vector
    
    Lit
    
    Null
    
    Vector
    
    MakeTable
    
    Field
    
    Null
    
    T
    
    NULL_FIELD
    
    Param
    
    Replace
    
    Vector
    
    Select
    
    Expr
    
    Vector
    
    OrderBy
    
    Expr
    
    Vector
    
    Vector
    
    TABLE
    
    Field
    
    Null
    
    Table
    
    Update
    
    Expr
    
    Vector
    
    OrderBy
    
    Expr
    
    Vector
    
    Vector
    
    Vector
    
    Vector
    
    Elem
    
    Make
    
    E
    
    Nat
    
    S
  - MakeTable
    
    Field
    
    Null
    
    T
  - NULL_FIELD
  - Param
  - Replace
    
    Vector
  - Select
  - TABLE
    
    Field
    
    Null
  - Table
  - Update
  - Vector
    
    Elem
    
    Make
    
    E
    
    Nat
    
    S

Legend:
Library
Module
Module type
Parameter
Class
Class type

include module type of M.Select with module Expr := M.Select.Expr

type 'a t = 'a Sequoia.Make(D).Select.t

type (!'s1, !'t1, !'t2, !'s2) join_steps =
  ('s1, 't1, 't2, 's2) Sequoia.Make(D).Select.join_steps =

| There : ('t20 -> 'b, 't10, 't20, 't10 -> 't20 -> 'b) join_steps
| Skip : ('s10, 't11, 't21, 's20) join_steps -> ('a -> 's10, 't11, 't21, 'a -> 's20) join_steps

type join = Sequoia.Make(D).Select.join

type !'s source = 's Sequoia.Make(D).Select.source =

| From : 't Sequoia_table.t -> ('t -> unit) source
| 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 =

| There : ('t20 -> 'b, 't10, 't20, 't20 -> 'b) steps
| 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 expr_build : 
  Sequoia_common.build_step ->
  'a Expr.t ->
  handover:Expr.handover ->
  Sequoia_common.build_step

val cast_handover : 'a Expr.cast -> string

module Expr : sig ... end

val seal : 'a t -> string * Sequoia_param.t list