superbigcup325/moonlake/sql

superbigcup325/moonlake/sql does not have a README file

AggFn

pub(all) enum AggFn {
  Sum
  Avg
  Count
  CountStar
  CountDistinct
  SdSamp
  SdPop
  StringAgg
  VarSamp
  VarPop
  Median
  Min
  Max
} derive(Eq, @moonbitlang/core/debug.Debug
Debug)

AggFn::equal

source

fn AggFn::equal(AggFn, AggFn) -> Bool

AggFn::not_equal

source

fn AggFn::not_equal(x : AggFn, y : AggFn) -> Bool

AggFn::to_repr

source

fn AggFn::to_repr(AggFn) -> @moonbitlang/core/debug.Repr
Repr

ExtractField

source

pub(all) enum ExtractField {
  Year
  Month
  Day
} derive(Eq, @moonbitlang/core/debug.Debug
Debug)

ExtractField::equal

source

fn ExtractField::equal(ExtractField, ExtractField) -> Bool

ExtractField::not_equal

source

fn ExtractField::not_equal(x : ExtractField, y : ExtractField) -> Bool

ExtractField::to_repr

source

fn ExtractField::to_repr(ExtractField) -> @moonbitlang/core/debug.Repr
Repr

FromItem

source

pub(all) struct FromItem {
  table : TableRef
  tbl_alias : String?
  col_aliases : Array[String]?
  join : JoinKind
  on : LExpr?
} derive(Eq, @moonbitlang/core/debug.Debug
Debug)

FromItem::equal

source

fn FromItem::equal(FromItem, FromItem) -> Bool

FromItem::not_equal

source

fn FromItem::not_equal(x : FromItem, y : FromItem) -> Bool

FromItem::to_repr

source

fn FromItem::to_repr(FromItem) -> @moonbitlang/core/debug.Repr
Repr

IntervalUnit

source

pub(all) enum IntervalUnit {
  Days
  Months
  Years
} derive(Eq, @moonbitlang/core/debug.Debug
Debug)

INTERVAL literal unit (interval '90' day); only date arithmetic consumes it.

IntervalUnit::equal

source

fn IntervalUnit::equal(IntervalUnit, IntervalUnit) -> Bool

IntervalUnit::not_equal

source

fn IntervalUnit::not_equal(x : IntervalUnit, y : IntervalUnit) -> Bool

IntervalUnit::to_repr

source

fn IntervalUnit::to_repr(IntervalUnit) -> @moonbitlang/core/debug.Repr
Repr

JoinKind

source

pub(all) enum JoinKind {
  Inner
  Left
  Right
  Full
  Semi
  Anti
  AntiLoose
  Cross
} derive(Eq, @moonbitlang/core/debug.Debug
Debug)

How a FROM item attaches to the accumulated rows before it. The first item's kind is meaningless (Inner, ignored).

JoinKind::equal

source

fn JoinKind::equal(JoinKind, JoinKind) -> Bool

JoinKind::not_equal

source

fn JoinKind::not_equal(x : JoinKind, y : JoinKind) -> Bool

JoinKind::to_repr

source

fn JoinKind::to_repr(JoinKind) -> @moonbitlang/core/debug.Repr
Repr

LExpr

source

pub(all) enum LExpr {
  Col(String)
  ColQ(String, String)
  Lit(@superbigcup325/moonlake/types.Scalar
Scalar)
  Arith(@superbigcup325/moonlake/types.ArithOp
ArithOp, LExpr, LExpr)
  Cmp(@superbigcup325/moonlake/types.CmpOp
CmpOp, LExpr, LExpr)
  And(LExpr, LExpr)
  Or(LExpr, LExpr)
  Not(LExpr)
  Between(LExpr, LExpr, LExpr)
  In(LExpr, Array[LExpr])
  NotIn(LExpr, Array[LExpr])
  Like(LExpr, LExpr)
  NotLike(LExpr, LExpr)
  IsNull(LExpr, Bool)
  Star
  Extract(ExtractField, LExpr)
  Case(Array[(LExpr, LExpr)], LExpr?)
  Agg(AggFn, LExpr?)
  ScalarSub(Select)
  InSelect(LExpr, Select, Bool)
  Exists(Select, Bool)
  Func(String, Array[LExpr])
  Cast(LExpr, @superbigcup325/moonlake/types.DataType
DataType)
  IntervalLit(Int64, IntervalUnit)
} derive(Eq, @moonbitlang/core/debug.Debug
Debug)

LExpr::equal

source

fn LExpr::equal(LExpr, LExpr) -> Bool

LExpr::not_equal

source

fn LExpr::not_equal(x : LExpr, y : LExpr) -> Bool

LExpr::to_repr

source

fn LExpr::to_repr(LExpr) -> @moonbitlang/core/debug.Repr
Repr

OrderItem

source

pub(all) struct OrderItem {
  key : LExpr
  desc : Bool
  nulls_first : Bool?
} derive(Eq, @moonbitlang/core/debug.Debug
Debug)

OrderItem::equal

source

fn OrderItem::equal(OrderItem, OrderItem) -> Bool

OrderItem::not_equal

source

fn OrderItem::not_equal(x : OrderItem, y : OrderItem) -> Bool

OrderItem::to_repr

source

fn OrderItem::to_repr(OrderItem) -> @moonbitlang/core/debug.Repr
Repr

Select

source

pub(all) struct Select {
  from : Array[FromItem]
  filter : LExpr?
  group_by : Array[LExpr]
  having : LExpr?
  items : Array[SelectItem]
  windows : Array[WindowSpec]
  order_by : Array[OrderItem]
  limit : Int?
  offset : Int?
  distinct : Bool
  setop : (SetOpKind, Bool, Select)?
} derive(Eq, @moonbitlang/core/debug.Debug
Debug)

W2 subset: the full select pipeline over a FROM chain joined in written order (left-deep; comma lists behave as INNER joins with the join conditions supplied by WHERE).

Select::equal

source

fn Select::equal(Select, Select) -> Bool

Select::not_equal

source

fn Select::not_equal(x : Select, y : Select) -> Bool

Select::to_repr

source

fn Select::to_repr(Select) -> @moonbitlang/core/debug.Repr
Repr

SelectItem

source

pub(all) struct SelectItem {
  expr : LExpr
  label : String?
} derive(Eq, @moonbitlang/core/debug.Debug
Debug)

SelectItem::equal

source

fn SelectItem::equal(SelectItem, SelectItem) -> Bool

SelectItem::not_equal

source

fn SelectItem::not_equal(x : SelectItem, y : SelectItem) -> Bool

SelectItem::to_repr

source

fn SelectItem::to_repr(SelectItem) -> @moonbitlang/core/debug.Repr
Repr

SetOpKind

source

pub(all) enum SetOpKind {
  Union
  Intersect
  Except
} derive(Eq, @moonbitlang/core/debug.Debug
Debug)

The set-operation kind joining a select into the chain before it.

SetOpKind::equal

source

fn SetOpKind::equal(SetOpKind, SetOpKind) -> Bool

SetOpKind::not_equal

source

fn SetOpKind::not_equal(x : SetOpKind, y : SetOpKind) -> Bool

SetOpKind::to_repr

source

fn SetOpKind::to_repr(SetOpKind) -> @moonbitlang/core/debug.Repr
Repr

TableRef

source

pub(all) enum TableRef {
  Named(String)
  Sub(Select)
} derive(Eq, @moonbitlang/core/debug.Debug
Debug)

TableRef::equal

source

fn TableRef::equal(TableRef, TableRef) -> Bool

TableRef::not_equal

source

fn TableRef::not_equal(x : TableRef, y : TableRef) -> Bool

TableRef::to_repr

source

fn TableRef::to_repr(TableRef) -> @moonbitlang/core/debug.Repr
Repr

WinFn

source

pub(all) enum WinFn {
  RowNumber
  Rank
  DenseRank
  Agg(AggFn, LExpr?)
} derive(Eq, @moonbitlang/core/debug.Debug
Debug)

The function of one window definition. Agg carries the aggregate name with its input (None only for count(*)); the parser only lets aggregates and the three ranking functions take OVER.

WinFn::equal

source

fn WinFn::equal(WinFn, WinFn) -> Bool

WinFn::not_equal

source

fn WinFn::not_equal(x : WinFn, y : WinFn) -> Bool

WinFn::to_repr

source

fn WinFn::to_repr(WinFn) -> @moonbitlang/core/debug.Repr
Repr

WindowSpec

source

pub(all) struct WindowSpec {
  fn_ : WinFn
  partition : Array[LExpr]
  order : Array[(LExpr, Bool, Bool?)]
} derive(Eq, @moonbitlang/core/debug.Debug
Debug)

One fn(...) OVER (PARTITION BY ... ORDER BY ...) definition in the select list. The select item itself carries an index marker; the binder lowers the spec against the item's binding space.

WindowSpec::equal

source

fn WindowSpec::equal(WindowSpec, WindowSpec) -> Bool

WindowSpec::not_equal

source

fn WindowSpec::not_equal(x : WindowSpec, y : WindowSpec) -> Bool

WindowSpec::to_repr

source

fn WindowSpec::to_repr(WindowSpec) -> @moonbitlang/core/debug.Repr
Repr

contains_win_marker

source

fn contains_win_marker(e : LExpr) -> Bool

True when the expression contains a __win select-list marker. Subquery boundaries stop the walk: a nested select body numbered its own markers and owns them. The binder's window lowering also consults this (window functions cannot nest inside aggregates or each other).

parse_select

source

fn parse_select(sql : String) -> Select raise @superbigcup325/moonlake/types.SqlError
SqlError

Source Files

Site source Report issue Packages Build queue Skills Statistics

#AggFn

#AggFn::equal

#AggFn::not_equal

#AggFn::to_repr

#ExtractField

#ExtractField::equal

#ExtractField::not_equal

#ExtractField::to_repr

#FromItem

#FromItem::equal

#FromItem::not_equal

#FromItem::to_repr

#IntervalUnit

#IntervalUnit::equal

#IntervalUnit::not_equal

#IntervalUnit::to_repr

#JoinKind

#JoinKind::equal

#JoinKind::not_equal

#JoinKind::to_repr

#LExpr

#LExpr::equal

#LExpr::not_equal

#LExpr::to_repr

#OrderItem

#OrderItem::equal

#OrderItem::not_equal

#OrderItem::to_repr

#Select

#Select::equal

#Select::not_equal

#Select::to_repr

#SelectItem

#SelectItem::equal

#SelectItem::not_equal

#SelectItem::to_repr

#SetOpKind

#SetOpKind::equal

#SetOpKind::not_equal

#SetOpKind::to_repr

#TableRef

#TableRef::equal

#TableRef::not_equal

#TableRef::to_repr

#WinFn

#WinFn::equal

#WinFn::not_equal

#WinFn::to_repr

#WindowSpec

#WindowSpec::equal

#WindowSpec::not_equal

#WindowSpec::to_repr

#contains_win_marker

#parse_select

Source Files

AggFn

AggFn::equal

AggFn::not_equal

AggFn::to_repr

ExtractField

ExtractField::equal

ExtractField::not_equal

ExtractField::to_repr

FromItem

FromItem::equal

FromItem::not_equal

FromItem::to_repr

IntervalUnit

IntervalUnit::equal

IntervalUnit::not_equal

IntervalUnit::to_repr

JoinKind

JoinKind::equal

JoinKind::not_equal

JoinKind::to_repr

LExpr

LExpr::equal

LExpr::not_equal

LExpr::to_repr

OrderItem

OrderItem::equal

OrderItem::not_equal

OrderItem::to_repr

Select

Select::equal

Select::not_equal

Select::to_repr

SelectItem

SelectItem::equal

SelectItem::not_equal

SelectItem::to_repr

SetOpKind

SetOpKind::equal

SetOpKind::not_equal

SetOpKind::to_repr

TableRef

TableRef::equal

TableRef::not_equal

TableRef::to_repr

WinFn

WinFn::equal

WinFn::not_equal

WinFn::to_repr

WindowSpec

WindowSpec::equal

WindowSpec::not_equal

WindowSpec::to_repr

contains_win_marker

parse_select