Struct Expression

pub struct Expression {
    pub expr: Expr,
    pub span: Span,
    pub span_id: SpanId,
    pub ty: Type,
    pub custom_completion: Option<DeclId>,
}

Wrapper around Expr

Fields

expr: Expr

span: Span

span_id: SpanId

ty: Type

custom_completion: Option<DeclId>

Implementations

impl Expression

pub fn garbage(working_set: &mut StateWorkingSet<'_>, span: Span) -> Expression

pub fn precedence(&self) -> u8

pub fn as_block(&self) -> Option<BlockId>

pub fn as_row_condition_block(&self) -> Option<BlockId>

pub fn as_match_block(&self) -> Option<&[(MatchPattern, Expression)]>

pub fn as_signature(&self) -> Option<Box<Signature>>

pub fn as_keyword(&self) -> Option<&Expression>

pub fn as_var(&self) -> Option<VarId>

pub fn as_string(&self) -> Option<String>

pub fn as_filepath(&self) -> Option<(String, bool)>

pub fn as_import_pattern(&self) -> Option<ImportPattern>

pub fn has_in_variable(&self, working_set: &StateWorkingSet<'_>) -> bool

pub fn replace_span( &mut self, working_set: &mut StateWorkingSet<'_>, replaced: Span, new_span: Span, )

pub fn replace_in_variable( &mut self, working_set: &mut StateWorkingSet<'_>, new_var_id: VarId, )

pub fn new( working_set: &mut StateWorkingSet<'_>, expr: Expr, span: Span, ty: Type, ) -> Expression

pub fn new_existing( expr: Expr, span: Span, span_id: SpanId, ty: Type, ) -> Expression

pub fn new_unknown(expr: Expr, span: Span, ty: Type) -> Expression

pub fn with_span_id(self, span_id: SpanId) -> Expression

pub fn span(&self, state: &impl GetSpan) -> Span

Trait Implementations

impl Clone for Expression

fn clone(&self) -> Expression

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Expression

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for Expression

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl PartialEq for Expression

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

Tests for self and other values to be equal, and is used by ==.

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

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

impl Serialize for Expression

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 Expression