Enum valkyrie_ast::ExpressionKind

pub enum ExpressionKind {
    Placeholder,
    Null(Box<NullNode>),
    Boolean(Box<BooleanNode>),
    Lambda(Box<LambdaNode>),
    Slot(Box<LambdaSlotNode>),
    Symbol(Box<NamePathNode>),
    Number(Box<NumberLiteralNode>),
    Text(Box<StringTextNode>),
    String(Box<StringLiteralNode>),
    Formatted(Box<FormatterNode>),
    New(Box<ConstructNewNode>),
    Object(Box<ConstructObjectNode>),
    Unary(Box<UnaryNode>),
    Infix(Box<BinaryNode>),
    Tuple(Box<TupleNode>),
    Array(Box<RangeNode>),
    If(Box<IfStatement>),
    IfLet(Box<GuardStatement>),
    Switch(Box<SwitchStatement>),
    Match(Box<MatchStatement>),
    Try(Box<TryStatement>),
    Procedural(Box<ProceduralNode>),
    ApplyCall(Box<ApplyCallNode>),
    ClosureCall(Box<ClosureCallNode>),
    SubscriptCall(Box<SubscriptCallNode>),
    GenericCall(Box<GenericCallNode>),
    DotCall(Box<DotCallNode>),
    DotMatchCall(Box<MatchCallNode>),
    OutputReference(Box<OutputNode>),
}

The base expression type

Variants

Placeholder

• Placeholder expression

Null(Box<NullNode>)

• Atomic expression

Boolean(Box<BooleanNode>)

• Atomic expression

Lambda(Box<LambdaNode>)

• Atomic expression

Slot(Box<LambdaSlotNode>)

• Atomic expression

Symbol(Box<NamePathNode>)

• Atomic expression

Number(Box<NumberLiteralNode>)

• Atomic expression

Text(Box<StringTextNode>)

• Atomic expression

String(Box<StringLiteralNode>)

• Atomic expression

Formatted(Box<FormatterNode>)

• Atomic expression

New(Box<ConstructNewNode>)

• Atomic expression

Object(Box<ConstructObjectNode>)

• Atomic expression

Unary(Box<UnaryNode>)

• Compound expression

Infix(Box<BinaryNode>)

• Compound expression

Tuple(Box<TupleNode>)

• Compound expression

Array(Box<RangeNode>)

• Compound expression

If(Box<IfStatement>)

• Standalone expression

IfLet(Box<GuardStatement>)

• Standalone expression

Switch(Box<SwitchStatement>)

• Standalone expression

Match(Box<MatchStatement>)

• Standalone expression

Try(Box<TryStatement>)

• Standalone expression

Procedural(Box<ProceduralNode>)

@procedural() { }

ApplyCall(Box<ApplyCallNode>)

• Postfix expression

ClosureCall(Box<ClosureCallNode>)

• Postfix expression

SubscriptCall(Box<SubscriptCallNode>)

• Postfix expression

GenericCall(Box<GenericCallNode>)

• Postfix expression

DotCall(Box<DotCallNode>)

• Postfix expression

DotMatchCall(Box<MatchCallNode>)

• Postfix expression

OutputReference(Box<OutputNode>)

• REPL Reference

Implementations

impl ExpressionKind

pub fn binary(o: OperatorNode, lhs: Self, rhs: Self) -> Self

Build a new binary expression

pub fn prefix(o: OperatorNode, rhs: Self) -> Self

Build a new prefix expression

pub fn suffix(o: OperatorNode, lhs: Self) -> Self

Build a new suffix expression

Trait Implementations

impl Clone for ExpressionKind

fn clone(&self) -> ExpressionKind

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for ExpressionKind

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

Formats the value using the given formatter.

impl Default for ExpressionKind

fn default() -> Self

Returns the “default value” for a type.

impl From<ApplyCallNode> for ExpressionKind

fn from(o: ApplyCallNode) -> Self

Converts to this type from the input type.

impl From<BinaryNode> for ExpressionKind

fn from(o: BinaryNode) -> Self

Converts to this type from the input type.

impl From<BooleanNode> for ExpressionKind

fn from(o: BooleanNode) -> Self

Converts to this type from the input type.

impl From<ClosureCallNode> for ExpressionKind

fn from(o: ClosureCallNode) -> Self

Converts to this type from the input type.

impl From<ConstructNewNode> for ExpressionKind

fn from(o: ConstructNewNode) -> Self

Converts to this type from the input type.

impl From<ConstructObjectNode> for ExpressionKind

fn from(o: ConstructObjectNode) -> Self

Converts to this type from the input type.

impl From<DotCallNode> for ExpressionKind

fn from(o: DotCallNode) -> Self

Converts to this type from the input type.

impl From<FormatterNode> for ExpressionKind

fn from(o: FormatterNode) -> Self

Converts to this type from the input type.

impl From<GenericCallNode> for ExpressionKind

fn from(o: GenericCallNode) -> Self

Converts to this type from the input type.

impl From<GuardStatement> for ExpressionKind

fn from(o: GuardStatement) -> Self

Converts to this type from the input type.

impl From<IfStatement> for ExpressionKind

fn from(o: IfStatement) -> Self

Converts to this type from the input type.

impl From<LambdaNode> for ExpressionKind

fn from(o: LambdaNode) -> Self

Converts to this type from the input type.

impl From<LambdaSlotNode> for ExpressionKind

fn from(o: LambdaSlotNode) -> Self

Converts to this type from the input type.

impl From<MatchCallNode> for ExpressionKind

fn from(o: MatchCallNode) -> Self

Converts to this type from the input type.

impl From<MatchStatement> for ExpressionKind

fn from(o: MatchStatement) -> Self

Converts to this type from the input type.

impl From<NamePathNode> for ExpressionKind

fn from(o: NamePathNode) -> Self

Converts to this type from the input type.

impl From<NullNode> for ExpressionKind

fn from(o: NullNode) -> Self

Converts to this type from the input type.

impl From<NumberLiteralNode> for ExpressionKind

fn from(o: NumberLiteralNode) -> Self

Converts to this type from the input type.

impl From<OutputNode> for ExpressionKind

fn from(o: OutputNode) -> Self

Converts to this type from the input type.

impl From<ProceduralNode> for ExpressionKind

fn from(o: ProceduralNode) -> Self

Converts to this type from the input type.

impl From<RangeNode> for ExpressionKind

fn from(o: RangeNode) -> Self

Converts to this type from the input type.

impl From<StringLiteralNode> for ExpressionKind

fn from(o: StringLiteralNode) -> Self

Converts to this type from the input type.

impl From<StringTextNode> for ExpressionKind

fn from(o: StringTextNode) -> Self

Converts to this type from the input type.

impl From<SubscriptCallNode> for ExpressionKind

fn from(o: SubscriptCallNode) -> Self

Converts to this type from the input type.

impl From<SwitchStatement> for ExpressionKind

fn from(o: SwitchStatement) -> Self

Converts to this type from the input type.

impl From<TryStatement> for ExpressionKind

fn from(o: TryStatement) -> Self

Converts to this type from the input type.

impl From<TupleNode> for ExpressionKind

fn from(o: TupleNode) -> Self

Converts to this type from the input type.

impl From<UnaryNode> for ExpressionKind

fn from(o: UnaryNode) -> Self

Converts to this type from the input type.

impl Hash for ExpressionKind

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for ExpressionKind

fn eq(&self, other: &ExpressionKind) -> 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 ValkyrieNode for ExpressionKind

fn get_range(&self) -> Range<usize>

The range of the node

fn get_start(&self) -> usize

Get the start of the node

fn get_end(&self) -> usize

Get the end of the node

impl Eq for ExpressionKind

impl StructuralPartialEq for ExpressionKind