Skip to main content

TypedExprKind

Enum TypedExprKind 

Source
pub enum TypedExprKind {
    Literal(Value),
    Ref(MeasureId, ResolvedDimSpec),
    UnaryOp(UnaryOp, Box<TypedExpr>),
    BinaryOp(BinaryOp, Box<TypedExpr>, Box<TypedExpr>),
    Call(FuncId, Vec<TypedExpr>),
    Aggregate {
        func: FuncId,
        inputs: Vec<TypedExpr>,
        params: Vec<TypedExpr>,
        over: Vec<CategoryId>,
        pred: Option<Box<TypedExpr>>,
        window: Option<Window>,
        into: Vec<CategoryId>,
    },
    Items(CategoryId, Vec<(ItemId, Value)>),
    Plan(Box<PlanNode>),
    Coalesce {
        args: Vec<TypedExpr>,
        grid: Option<Vec<(CategoryId, Vec<ItemId>)>>,
    },
    Remap {
        input: Box<TypedExpr>,
        maps: Remaps,
    },
    Shift {
        input: Box<TypedExpr>,
        cat: CategoryId,
        offset: i64,
        default: Option<Box<TypedExpr>>,
    },
}

Variants§

§

Literal(Value)

§

Ref(MeasureId, ResolvedDimSpec)

§

UnaryOp(UnaryOp, Box<TypedExpr>)

§

BinaryOp(BinaryOp, Box<TypedExpr>, Box<TypedExpr>)

§

Call(FuncId, Vec<TypedExpr>)

§

Aggregate

A reduction over the over categories: inputs are the reduced measures (same dimensions), params the other arguments (one value per group), both in argument order.

Fields

§func: FuncId
§inputs: Vec<TypedExpr>
§params: Vec<TypedExpr>
§over: Vec<CategoryId>
§window: Option<Window>
§into: Vec<CategoryId>

An array function’s landing categories (empty: not a list).

§

Items(CategoryId, Vec<(ItemId, Value)>)

A per-item value of a category (POSITION, @ITEM): one cell per item.

§

Plan(Box<PlanNode>)

A fold (SCAN/REDUCE), already lowered: the whole formula.

§

Coalesce

COALESCE(a, …, default) and FILL(x, default): at each coordinate of the domain, the first argument with a cell. The domain is grid (every item combination, FILL) or else the cells of the arguments that span the result (see compiler::infer_coalesce).

Fields

§grid: Option<Vec<(CategoryId, Vec<ItemId>)>>
§

Remap

RELABEL / SWAP: input with each (from, to, items) category renamed, its items mapped (from item, to item); a cell whose item has no mapping is dropped.

Fields

§maps: Remaps
§

Shift

The value offset items along cat (PREV is −1), or default.

Fields

§cat: CategoryId
§offset: i64

Trait Implementations§

Source§

impl Clone for TypedExprKind

Source§

fn clone(&self) -> TypedExprKind

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 TypedExprKind

Source§

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

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

impl PartialEq for TypedExprKind

Source§

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

Equality operator ==. Read more
1.0.0 (const: unstable) · Source§

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

Inequality operator !=. Read more
Source§

impl StructuralPartialEq for TypedExprKind

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> 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
§

impl<ST, DT> CastableFrom<ST, Initialized, Initialized> for DT
where ST: ?Sized, DT: ?Sized,

§

impl<ST, DT> CastableFrom<ST, Uninit, Uninit> for DT
where ST: ?Sized, DT: ?Sized,

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
§

impl<T> Data for T
where T: Clone + 'static,

§

impl<T> Downcast for T
where T: Any,

§

fn into_any(self: Box<T>) -> Box<dyn Any>

Convert Box<dyn Trait> (where Trait: Downcast) to Box<dyn Any>. Box<dyn Any> can then be further downcast into Box<ConcreteType> where ConcreteType implements Trait.
§

fn into_any_rc(self: Rc<T>) -> Rc<dyn Any>

Convert Rc<Trait> (where Trait: Downcast) to Rc<Any>. Rc<Any> can then be further downcast into Rc<ConcreteType> where ConcreteType implements Trait.
§

fn as_any(&self) -> &(dyn Any + 'static)

Convert &Trait (where Trait: Downcast) to &Any. This is needed since Rust cannot generate &Any’s vtable from &Trait’s.
§

fn as_any_mut(&mut self) -> &mut (dyn Any + 'static)

Convert &mut Trait (where Trait: Downcast) to &Any. This is needed since Rust cannot generate &mut Any’s vtable from &mut Trait’s.
§

impl<T> DowncastSync for T
where T: Any + Send + Sync,

§

fn into_any_arc(self: Arc<T>) -> Arc<dyn Any + Send + Sync> ⓘ

Convert Arc<Trait> (where Trait: Downcast) to Arc<Any>. Arc<Any> can then be further downcast into Arc<ConcreteType> where ConcreteType implements Trait.
Source§

impl<T> From<T> for T

Source§

fn from(t: T) -> T

Returns the argument unchanged.

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.

§

impl<T> ProgressEventTimestamp for T
where T: Data + Debug + Any,

§

fn as_any(&self) -> &(dyn Any + 'static)

Upcasts this ProgressEventTimestamp to Any. Read more
§

fn type_name(&self) -> &'static str

Returns the name of the concrete type of this object. Read more
§

impl<T> Read<Exclusive, BecauseExclusive> for T
where T: ?Sized,

§

impl<'a, S, T> Semigroup<&'a S> for T
where T: Semigroup<S>,

§

fn plus_equals(&mut self, rhs: &&'a S)

The method of std::ops::AddAssign, for types that do not implement AddAssign.
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.