Trait mz_sql::plan::expr::AbstractExpr

pub trait AbstractExpr {
    type Type: AbstractColumnType;

    // Required method
    fn typ(
        &self,
        outers: &[RelationType],
        inner: &RelationType,
        params: &BTreeMap<usize, ScalarType>,
    ) -> Self::Type;
}

An expression whose type can be ascertained.

Abstracts over ScalarExpr and CoercibleScalarExpr.

Required Associated Types

type Type: AbstractColumnType

Required Methods

fn typ( &self, outers: &[RelationType], inner: &RelationType, params: &BTreeMap<usize, ScalarType>, ) -> Self::Type

Computes the type of the expression.

Implementors

impl AbstractExpr for CoercibleScalarExpr

type Type = CoercibleColumnType

impl AbstractExpr for HirScalarExpr

type Type = ColumnType