pub enum Expr {
Show 55 variants Identifier(Ident), CompoundIdentifier(Vec<Ident>), JsonAccess { left: Box<Expr>, operator: JsonOperator, right: Box<Expr>, }, CompositeAccess { expr: Box<Expr>, key: Ident, }, IsFalse(Box<Expr>), IsNotFalse(Box<Expr>), IsTrue(Box<Expr>), IsNotTrue(Box<Expr>), IsNull(Box<Expr>), IsNotNull(Box<Expr>), IsUnknown(Box<Expr>), IsNotUnknown(Box<Expr>), IsDistinctFrom(Box<Expr>, Box<Expr>), IsNotDistinctFrom(Box<Expr>, Box<Expr>), InList { expr: Box<Expr>, list: Vec<Expr>, negated: bool, }, InSubquery { expr: Box<Expr>, subquery: Box<Query>, negated: bool, }, InUnnest { expr: Box<Expr>, array_expr: Box<Expr>, negated: bool, }, Between { expr: Box<Expr>, negated: bool, low: Box<Expr>, high: Box<Expr>, }, BinaryOp { left: Box<Expr>, op: BinaryOperator, right: Box<Expr>, }, Like { negated: bool, expr: Box<Expr>, pattern: Box<Expr>, escape_char: Option<char>, }, ILike { negated: bool, expr: Box<Expr>, pattern: Box<Expr>, escape_char: Option<char>, }, SimilarTo { negated: bool, expr: Box<Expr>, pattern: Box<Expr>, escape_char: Option<char>, }, AnyOp(Box<Expr>), AllOp(Box<Expr>), UnaryOp { op: UnaryOperator, expr: Box<Expr>, }, Cast { expr: Box<Expr>, data_type: DataType, }, TryCast { expr: Box<Expr>, data_type: DataType, }, SafeCast { expr: Box<Expr>, data_type: DataType, }, AtTimeZone { timestamp: Box<Expr>, time_zone: String, }, Extract { field: DateTimeField, expr: Box<Expr>, }, Ceil { expr: Box<Expr>, field: DateTimeField, }, Floor { expr: Box<Expr>, field: DateTimeField, }, Position { expr: Box<Expr>, in: Box<Expr>, }, Substring { expr: Box<Expr>, substring_from: Option<Box<Expr>>, substring_for: Option<Box<Expr>>, }, Trim { expr: Box<Expr>, trim_where: Option<TrimWhereField>, trim_what: Option<Box<Expr>>, }, Overlay { expr: Box<Expr>, overlay_what: Box<Expr>, overlay_from: Box<Expr>, overlay_for: Option<Box<Expr>>, }, Collate { expr: Box<Expr>, collation: ObjectName, }, Nested(Box<Expr>), Value(Value), TypedString { data_type: DataType, value: String, }, MapAccess { column: Box<Expr>, keys: Vec<Expr>, }, Function(Function), AggregateExpressionWithFilter { expr: Box<Expr>, filter: Box<Expr>, }, Case { operand: Option<Box<Expr>>, conditions: Vec<Expr>, results: Vec<Expr>, else_result: Option<Box<Expr>>, }, Exists { subquery: Box<Query>, negated: bool, }, Subquery(Box<Query>), ArraySubquery(Box<Query>), ListAgg(ListAgg), GroupingSets(Vec<Vec<Expr>>), Cube(Vec<Vec<Expr>>), Rollup(Vec<Vec<Expr>>), Tuple(Vec<Expr>), ArrayIndex { obj: Box<Expr>, indexes: Vec<Expr>, }, Array(Array), Interval { value: Box<Expr>, leading_field: Option<DateTimeField>, leading_precision: Option<u64>, last_field: Option<DateTimeField>, fractional_seconds_precision: Option<u64>, },
}
Expand description

An SQL expression of any type.

The parser does not distinguish between expressions of different types (e.g. boolean vs string), so the caller must handle expressions of inappropriate type, like WHERE 1 or SELECT 1=1, as necessary.

Variants

Identifier(Ident)

Identifier e.g. table name or column name

CompoundIdentifier(Vec<Ident>)

Multi-part identifier, e.g. table_alias.column or schema.table.col

JsonAccess

Fields

left: Box<Expr>
operator: JsonOperator
right: Box<Expr>

JSON access (postgres) eg: data->‘tags’

CompositeAccess

Fields

expr: Box<Expr>
key: Ident

CompositeAccess (postgres) eg: SELECT (information_schema._pg_expandarray(array[‘i’,‘i’])).n

IsFalse(Box<Expr>)

IS FALSE operator

IsNotFalse(Box<Expr>)

IS NOT FALSE operator

IsTrue(Box<Expr>)

IS TRUE operator

IsNotTrue(Box<Expr>)

IS NOT TRUE operator

IsNull(Box<Expr>)

IS NULL operator

IsNotNull(Box<Expr>)

IS NOT NULL operator

IsUnknown(Box<Expr>)

IS UNKNOWN operator

IsNotUnknown(Box<Expr>)

IS NOT UNKNOWN operator

IsDistinctFrom(Box<Expr>, Box<Expr>)

IS DISTINCT FROM operator

IsNotDistinctFrom(Box<Expr>, Box<Expr>)

IS NOT DISTINCT FROM operator

InList

Fields

expr: Box<Expr>
list: Vec<Expr>
negated: bool

[ NOT ] IN (val1, val2, ...)

InSubquery

Fields

expr: Box<Expr>
subquery: Box<Query>
negated: bool

[ NOT ] IN (SELECT ...)

InUnnest

Fields

expr: Box<Expr>
array_expr: Box<Expr>
negated: bool

[ NOT ] IN UNNEST(array_expression)

Between

Fields

expr: Box<Expr>
negated: bool
low: Box<Expr>
high: Box<Expr>

<expr> [ NOT ] BETWEEN <low> AND <high>

BinaryOp

Fields

left: Box<Expr>
right: Box<Expr>

Binary operation e.g. 1 + 1 or foo > bar

Like

Fields

negated: bool
expr: Box<Expr>
pattern: Box<Expr>
escape_char: Option<char>

LIKE

ILike

Fields

negated: bool
expr: Box<Expr>
pattern: Box<Expr>
escape_char: Option<char>

ILIKE (case-insensitive LIKE)

SimilarTo

Fields

negated: bool
expr: Box<Expr>
pattern: Box<Expr>
escape_char: Option<char>

SIMILAR TO regex

AnyOp(Box<Expr>)

Any operation e.g. 1 ANY (1) or foo > ANY(bar), It will be wrapped in the right side of BinaryExpr

AllOp(Box<Expr>)

ALL operation e.g. 1 ALL (1) or foo > ALL(bar), It will be wrapped in the right side of BinaryExpr

UnaryOp

Fields

expr: Box<Expr>

Unary operation e.g. NOT foo

Cast

Fields

expr: Box<Expr>
data_type: DataType

CAST an expression to a different data type e.g. CAST(foo AS VARCHAR(123))

TryCast

Fields

expr: Box<Expr>
data_type: DataType

TRY_CAST an expression to a different data type e.g. TRY_CAST(foo AS VARCHAR(123))

SafeCast

Fields

expr: Box<Expr>
data_type: DataType

SAFE_CAST an expression to a different data type e.g. SAFE_CAST(foo AS FLOAT64)

AtTimeZone

Fields

timestamp: Box<Expr>
time_zone: String

AT a timestamp to a different timezone e.g. FROM_UNIXTIME(0) AT TIME ZONE 'UTC-06:00'

Extract

Fields

expr: Box<Expr>

EXTRACT(DateTimeField FROM )

Ceil

Fields

expr: Box<Expr>

CEIL( [TO DateTimeField])

Floor

Fields

expr: Box<Expr>

FLOOR( [TO DateTimeField])

Position

Fields

expr: Box<Expr>
in: Box<Expr>

POSITION( in )

Substring

Fields

expr: Box<Expr>
substring_from: Option<Box<Expr>>
substring_for: Option<Box<Expr>>

SUBSTRING( [FROM ] [FOR ])

Trim

Fields

expr: Box<Expr>
trim_where: Option<TrimWhereField>
trim_what: Option<Box<Expr>>

TRIM([BOTH | LEADING | TRAILING] [ FROM] )
Or
TRIM()

Overlay

Fields

expr: Box<Expr>
overlay_what: Box<Expr>
overlay_from: Box<Expr>
overlay_for: Option<Box<Expr>>

OVERLAY( PLACING FROM [ FOR ]

Collate

Fields

expr: Box<Expr>
collation: ObjectName

expr COLLATE collation

Nested(Box<Expr>)

Nested expression e.g. (foo > bar) or (1)

Value(Value)

A literal value, such as string, number, date or NULL

TypedString

Fields

data_type: DataType
value: String

A constant of form <data_type> 'value'. This can represent ANSI SQL DATE, TIME, and TIMESTAMP literals (such as DATE '2020-01-01'), as well as constants of other types (a non-standard PostgreSQL extension).

MapAccess

Fields

column: Box<Expr>
keys: Vec<Expr>

Access a map-like object by field (e.g. column['field'] or column[4] Note that depending on the dialect, struct like accesses may be parsed as [ArrayIndex] or [MapAccess] https://clickhouse.com/docs/en/sql-reference/data-types/map/

Function(Function)

Scalar function call e.g. LEFT(foo, 5)

AggregateExpressionWithFilter

Fields

expr: Box<Expr>
filter: Box<Expr>

Aggregate function with filter

Case

Fields

operand: Option<Box<Expr>>
conditions: Vec<Expr>
results: Vec<Expr>
else_result: Option<Box<Expr>>

CASE [<operand>] WHEN <condition> THEN <result> ... [ELSE <result>] END

Note we only recognize a complete single expression as <condition>, not < 0 nor 1, 2, 3 as allowed in a <simple when clause> per https://jakewheat.github.io/sql-overview/sql-2011-foundation-grammar.html#simple-when-clause

Exists

Fields

subquery: Box<Query>
negated: bool

An exists expression [ NOT ] EXISTS(SELECT ...), used in expressions like WHERE [ NOT ] EXISTS (SELECT ...).

Subquery(Box<Query>)

A parenthesized subquery (SELECT ...), used in expression like SELECT (subquery) AS x or WHERE (subquery) = x

ArraySubquery(Box<Query>)

An array subquery constructor, e.g. SELECT ARRAY(SELECT 1 UNION SELECT 2)

ListAgg(ListAgg)

The LISTAGG function SELECT LISTAGG(...) WITHIN GROUP (ORDER BY ...)

GroupingSets(Vec<Vec<Expr>>)

The GROUPING SETS expr.

Cube(Vec<Vec<Expr>>)

The CUBE expr.

Rollup(Vec<Vec<Expr>>)

The ROLLUP expr.

Tuple(Vec<Expr>)

ROW / TUPLE a single value, such as SELECT (1, 2)

ArrayIndex

Fields

obj: Box<Expr>
indexes: Vec<Expr>

An array index expression e.g. (ARRAY[1, 2])[1] or (current_schemas(FALSE))[1]

Array(Array)

An array expression e.g. ARRAY[1, 2]

Interval

Fields

value: Box<Expr>
leading_field: Option<DateTimeField>
leading_precision: Option<u64>
last_field: Option<DateTimeField>
fractional_seconds_precision: Option<u64>

The seconds precision can be specified in SQL source as INTERVAL '__' SECOND(_, x) (in which case the leading_field will be Second and the last_field will be None), or as __ TO SECOND(x).

INTERVAL literals, roughly in the following format: INTERVAL '<value>' [ <leading_field> [ (<leading_precision>) ] ] [ TO <last_field> [ (<fractional_seconds_precision>) ] ], e.g. INTERVAL '123:45.67' MINUTE(3) TO SECOND(2).

The parser does not validate the <value>, nor does it ensure that the <leading_field> units >= the units in <last_field>, so the user will have to reject intervals like HOUR TO YEAR.

Trait Implementations

Returns a copy of the value. Read more
Performs copy-assignment from source. Read more
Formats the value using the given formatter. Read more
Formats the value using the given formatter. Read more
Feeds this value into the given Hasher. Read more
Feeds a slice of this type into the given Hasher. Read more
This method tests for self and other values to be equal, and is used by ==. Read more
This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason. Read more

Auto Trait Implementations

Blanket Implementations

Gets the TypeId of self. Read more
Immutably borrows from an owned value. Read more
Mutably borrows from an owned value. Read more

Returns the argument unchanged.

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

The resulting type after obtaining ownership.
Creates owned data from borrowed data, usually by cloning. Read more
Uses borrowed data to replace owned data, usually by cloning. Read more
Converts the given value to a String. Read more
The type returned in the event of a conversion error.
Performs the conversion.
The type returned in the event of a conversion error.
Performs the conversion.