Skip to main content

SqlExpr

Enum SqlExpr 

Source
pub enum SqlExpr {
    Column(String),
    Literal(Value),
    BinaryOp {
        left: Box<SqlExpr>,
        op: BinaryOp,
        right: Box<SqlExpr>,
    },
    Negate(Box<SqlExpr>),
    Function {
        name: String,
        args: Vec<SqlExpr>,
    },
    Cast {
        expr: Box<SqlExpr>,
        to_type: CastType,
    },
    Case {
        operand: Option<Box<SqlExpr>>,
        when_thens: Vec<(SqlExpr, SqlExpr)>,
        else_expr: Option<Box<SqlExpr>>,
    },
    Coalesce(Vec<SqlExpr>),
    NullIf(Box<SqlExpr>, Box<SqlExpr>),
    IsNull {
        expr: Box<SqlExpr>,
        negated: bool,
    },
    OldColumn(String),
    ExcludedColumn(String),
}
Expand description

A serializable SQL expression that can be evaluated against a document.

Variants§

§

Column(String)

Column reference: extract field value from the document.

§

Literal(Value)

Literal value.

§

BinaryOp

Binary operation: left op right.

Fields

§left: Box<SqlExpr>
§right: Box<SqlExpr>
§

Negate(Box<SqlExpr>)

Unary negation: -expr or NOT expr.

§

Function

Scalar function call.

Fields

§name: String
§args: Vec<SqlExpr>
§

Cast

CAST(expr AS type).

Fields

§expr: Box<SqlExpr>
§to_type: CastType
§

Case

CASE WHEN cond1 THEN val1 … ELSE default END.

Fields

§operand: Option<Box<SqlExpr>>
§when_thens: Vec<(SqlExpr, SqlExpr)>
§else_expr: Option<Box<SqlExpr>>
§

Coalesce(Vec<SqlExpr>)

COALESCE(expr1, expr2, …): first non-null value.

§

NullIf(Box<SqlExpr>, Box<SqlExpr>)

NULLIF(expr1, expr2): returns NULL if expr1 = expr2, else expr1.

§

IsNull

IS NULL / IS NOT NULL.

Fields

§expr: Box<SqlExpr>
§negated: bool
§

OldColumn(String)

OLD column reference: extract field value from the pre-update document. Used in TRANSITION CHECK predicates. Resolves against the OLD row when evaluated via eval_with_old(). Returns NULL in normal eval().

§

ExcludedColumn(String)

EXCLUDED.col reference from INSERT ... ON CONFLICT DO UPDATE: the column value from the row proposed for insertion that triggered the conflict. Resolves against the incoming row when evaluated via eval_with_excluded(). Returns NULL in plain eval() / eval_with_old().

Implementations§

Source§

impl SqlExpr

Source

pub fn eval(&self, doc: &Value) -> Value

Evaluate this expression against a document.

Column references look up fields in the document. Missing fields return Null. Arithmetic on non-numeric values returns Null. OldColumn(..) resolves to Null (use eval_with_old for the TRANSITION CHECK path).

Source

pub fn eval_with_old(&self, new_doc: &Value, old_doc: &Value) -> Value

Evaluate with access to both NEW and OLD documents, used by TRANSITION CHECK predicates. Column(name) resolves against new_doc; OldColumn(name) resolves against old_doc.

Source

pub fn eval_with_excluded(&self, doc: &Value, excluded: &Value) -> Value

Evaluate with access to the incoming EXCLUDED.* row, used by INSERT ... ON CONFLICT DO UPDATE. Column(name) resolves against the existing (current) row doc; ExcludedColumn(name) resolves against excluded.

Trait Implementations§

Source§

impl Clone for SqlExpr

Source§

fn clone(&self) -> SqlExpr

Returns a duplicate of the value. Read more
1.0.0 (const: unstable) · Source§

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source. Read more
Source§

impl Debug for SqlExpr

Source§

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter. Read more
Source§

impl<'de> Deserialize<'de> for SqlExpr

Source§

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>
where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer. Read more
Source§

impl<'a> FromMessagePack<'a> for SqlExpr

Source§

fn read<R: Read<'a>>(reader: &mut R) -> Result<Self>

Reads the MessagePack representation of this value from the provided reader.
Source§

impl PartialEq for SqlExpr

Source§

fn eq(&self, other: &SqlExpr) -> bool

Tests for self and other values to be equal, and is used by ==.
1.0.0 (const: unstable) · Source§

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.
Source§

impl Serialize for SqlExpr

Source§

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>
where __S: Serializer,

Serialize this value into the given Serde serializer. Read more
Source§

impl ToMessagePack for SqlExpr

Source§

fn write<W: Write>(&self, writer: &mut W) -> Result<()>

Writes the MessagePack representation of this value into the provided writer.
Source§

impl StructuralPartialEq for SqlExpr

Auto Trait Implementations§

Blanket Implementations§

Source§

impl<T> Any for T
where T: 'static + ?Sized,

Source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
Source§

impl<T> ArchivePointee for T

Source§

type ArchivedMetadata = ()

The archived version of the pointer metadata for this type.
Source§

fn pointer_metadata( _: &<T as ArchivePointee>::ArchivedMetadata, ) -> <T as Pointee>::Metadata

Converts some archived metadata to the pointer metadata for itself.
Source§

impl<T> Borrow<T> for T
where T: ?Sized,

Source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
Source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

Source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
Source§

impl<T> CloneToUninit for T
where T: Clone,

Source§

unsafe fn clone_to_uninit(&self, dest: *mut u8)

🔬This is a nightly-only experimental API. (clone_to_uninit)
Performs copy-assignment from self to dest. Read more
Source§

impl<T> From<T> for T

Source§

fn from(t: T) -> T

Returns the argument unchanged.

Source§

impl<T> Instrument for T

Source§

fn instrument(self, span: Span) -> Instrumented<Self>

Instruments this type with the provided Span, returning an Instrumented wrapper. Read more
Source§

fn in_current_span(self) -> Instrumented<Self>

Instruments this type with the current Span, returning an Instrumented wrapper. Read more
Source§

impl<T, U> Into<U> for T
where U: From<T>,

Source§

fn into(self) -> U

Calls U::from(self).

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

Source§

impl<T> IntoEither for T

Source§

fn into_either(self, into_left: bool) -> Either<Self, Self>

Converts self into a Left variant of Either<Self, Self> if into_left is true. Converts self into a Right variant of Either<Self, Self> otherwise. Read more
Source§

fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
where F: FnOnce(&Self) -> bool,

Converts self into a Left variant of Either<Self, Self> if into_left(&self) returns true. Converts self into a Right variant of Either<Self, Self> otherwise. Read more
Source§

impl<T> LayoutRaw for T

Source§

fn layout_raw(_: <T as Pointee>::Metadata) -> Result<Layout, LayoutError>

Returns the layout of the type.
Source§

impl<T, N1, N2> Niching<NichedOption<T, N1>> for N2
where T: SharedNiching<N1, N2>, N1: Niching<T>, N2: Niching<T>,

Source§

unsafe fn is_niched(niched: *const NichedOption<T, N1>) -> bool

Returns whether the given value has been niched. Read more
Source§

fn resolve_niched(out: Place<NichedOption<T, N1>>)

Writes data to out indicating that a T is niched.
Source§

impl<T> Pointee for T

Source§

type Metadata = ()

The metadata type for pointers and references to this type.
Source§

impl<T> Same for T

Source§

type Output = T

Should always be Self
Source§

impl<SS, SP> SupersetOf<SS> for SP
where SS: SubsetOf<SP>,

Source§

fn to_subset(&self) -> Option<SS>

The inverse inclusion map: attempts to construct self from the equivalent element of its superset. Read more
Source§

fn is_in_subset(&self) -> bool

Checks if self is actually part of its subset T (and can be converted to it).
Source§

fn to_subset_unchecked(&self) -> SS

Use with care! Same as self.to_subset but without any property checks. Always succeeds.
Source§

fn from_subset(element: &SS) -> SP

The inclusion map: converts self to the equivalent element of its superset.
Source§

impl<T> ToOwned for T
where T: Clone,

Source§

type Owned = T

The resulting type after obtaining ownership.
Source§

fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more
Source§

fn clone_into(&self, target: &mut T)

Uses borrowed data to replace owned data, usually by cloning. Read more
Source§

impl<T, U> TryFrom<U> for T
where U: Into<T>,

Source§

type Error = Infallible

The type returned in the event of a conversion error.
Source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
Source§

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

Source§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
Source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.
Source§

impl<V, T> VZip<V> for T
where V: MultiLane<T>,

Source§

fn vzip(self) -> V

Source§

impl<T> WithSubscriber for T

Source§

fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>
where S: Into<Dispatch>,

Attaches the provided Subscriber to this type, returning a WithDispatch wrapper. Read more
Source§

fn with_current_subscriber(self) -> WithDispatch<Self>

Attaches the current default Subscriber to this type, returning a WithDispatch wrapper. Read more
Source§

impl<T> DeserializeOwned for T
where T: for<'de> Deserialize<'de>,

Source§

impl<T> ErasedDestructor for T
where T: 'static,

Source§

impl<T> FromMessagePackOwned for T
where T: for<'a> FromMessagePack<'a>,

Source§

impl<T> MaybeSendSync for T

Source§

impl<T> Scalar for T
where T: 'static + Clone + PartialEq + Debug,