pub enum Expr {
Show 26 variants
Path(ExprPath),
Literal(TerminalLiteralNumber),
ShortString(TerminalShortString),
String(TerminalString),
False(TerminalFalse),
True(TerminalTrue),
Parenthesized(ExprParenthesized),
Unary(ExprUnary),
Binary(ExprBinary),
Tuple(ExprListParenthesized),
FunctionCall(ExprFunctionCall),
StructCtorCall(ExprStructCtorCall),
Block(ExprBlock),
Match(ExprMatch),
If(ExprIf),
Loop(ExprLoop),
While(ExprWhile),
For(ExprFor),
Closure(ExprClosure),
ErrorPropagate(ExprErrorPropagate),
FieldInitShorthand(ExprFieldInitShorthand),
Indexed(ExprIndexed),
InlineMacro(ExprInlineMacro),
FixedSizeArray(ExprFixedSizeArray),
Placeholder(ExprPlaceholder),
Missing(ExprMissing),
}Variants§
Path(ExprPath)
Literal(TerminalLiteralNumber)
ShortString(TerminalShortString)
String(TerminalString)
False(TerminalFalse)
True(TerminalTrue)
Parenthesized(ExprParenthesized)
Unary(ExprUnary)
Binary(ExprBinary)
Tuple(ExprListParenthesized)
FunctionCall(ExprFunctionCall)
StructCtorCall(ExprStructCtorCall)
Block(ExprBlock)
Match(ExprMatch)
If(ExprIf)
Loop(ExprLoop)
While(ExprWhile)
For(ExprFor)
Closure(ExprClosure)
ErrorPropagate(ExprErrorPropagate)
FieldInitShorthand(ExprFieldInitShorthand)
Indexed(ExprIndexed)
InlineMacro(ExprInlineMacro)
FixedSizeArray(ExprFixedSizeArray)
Placeholder(ExprPlaceholder)
Missing(ExprMissing)
Implementations§
Source§impl Expr
impl Expr
Sourcepub fn is_variant(kind: SyntaxKind) -> bool
pub fn is_variant(kind: SyntaxKind) -> bool
Checks if a kind of a variant of Expr.
Trait Implementations§
Source§impl IsDependentType for Expr
impl IsDependentType for Expr
Source§fn is_dependent_type(&self, db: &dyn SyntaxGroup, identifiers: &[&str]) -> bool
fn is_dependent_type(&self, db: &dyn SyntaxGroup, identifiers: &[&str]) -> bool
Returns true if
self is dependent on identifier in an internal type.
For example given identifier T will return true for:
T, Array<T>, Array<Array<T>>, (T, felt252).
Does not resolve paths, type aliases or named generics.Source§impl TypedSyntaxNode for Expr
impl TypedSyntaxNode for Expr
Source§const OPTIONAL_KIND: Option<SyntaxKind> = None
const OPTIONAL_KIND: Option<SyntaxKind> = None
The relevant SyntaxKind. None for enums.
type StablePtr = ExprPtr
type Green = ExprGreen
fn missing(db: &dyn SyntaxGroup) -> Self::Green
fn from_syntax_node(db: &dyn SyntaxGroup, node: SyntaxNode) -> Self
fn cast(db: &dyn SyntaxGroup, node: SyntaxNode) -> Option<Self>
fn as_syntax_node(&self) -> SyntaxNode
fn stable_ptr(&self, db: &dyn SyntaxGroup) -> Self::StablePtr
impl Eq for Expr
impl StructuralPartialEq for Expr
Auto Trait Implementations§
impl Freeze for Expr
impl RefUnwindSafe for Expr
impl Send for Expr
impl Sync for Expr
impl Unpin for Expr
impl UnwindSafe for Expr
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
Source§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
Source§fn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
Compare self to
key and return true if they are equal.Source§impl<T> Instrument for T
impl<T> Instrument for T
Source§fn instrument(self, span: Span) -> Instrumented<Self>
fn instrument(self, span: Span) -> Instrumented<Self>
Source§fn in_current_span(self) -> Instrumented<Self>
fn in_current_span(self) -> Instrumented<Self>
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self>
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 moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
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