Struct prql_compiler::ast::pl::expr::Expr

pub struct Expr {
    pub id: Option<usize>,
    pub kind: ExprKind,
    pub span: Option<Span>,
    pub target_id: Option<usize>,
    pub target_ids: Vec<usize>,
    pub ty: Option<Ty>,
    pub needs_window: bool,
    pub alias: Option<String>,
}

Expr is anything that has a value and thus a type. If it cannot contain nested Exprs, is should be under ExprKind::Literal.

Fields

id: Option<usize>

Unique identificator of the node. Set exactly once during semantic::resolve.

kind: ExprKind

span: Option<Span>

target_id: Option<usize>

For Idents, this is id of node referenced by the ident

target_ids: Vec<usize>

For ExprKind::All, these are ids of included nodes

ty: Option<Ty>

Type of expression this node represents. None means type has not yet been determined.

needs_window: bool

alias: Option<String>

Implementations

impl Expr

pub fn null() -> Expr

pub fn try_cast<T, F, S2: ToString>(
    self,
    f: F,
    who: Option<&str>,
    expected: S2
) -> Result<T, Error>where
    F: FnOnce(ExprKind) -> Result<T, ExprKind>,

pub fn collect_and(exprs: Vec<Expr>) -> Expr

Trait Implementations

impl Clone for Expr

fn clone(&self) -> Expr

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Expr

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for Expr

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

Deserialize this value from the given Serde deserializer.

impl Display for Expr

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

Formats the value using the given formatter.

impl From<ExprKind> for Expr

fn from(kind: ExprKind) -> Self

Converts to this type from the input type.

impl PartialEq<Expr> for Expr

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

This method tests for self and other values to be equal, and is used by ==.

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

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Serialize for Expr

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

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for Expr