Enum Expr

pub enum Expr {
    Block(Interned<Vec<Expr>>),
    Array(Interned<ArgsExpr>),
    Dict(Interned<ArgsExpr>),
    Args(Interned<ArgsExpr>),
    Pattern(Interned<Pattern>),
    Element(Interned<ElementExpr>),
    Unary(Interned<UnExpr>),
    Binary(Interned<BinExpr>),
    Apply(Interned<ApplyExpr>),
    Func(Interned<FuncExpr>),
    Let(Interned<LetExpr>),
    Show(Interned<ShowExpr>),
    Set(Interned<SetExpr>),
    Ref(Interned<RefExpr>),
    ContentRef(Interned<ContentRefExpr>),
    Select(Interned<SelectExpr>),
    Import(Interned<ImportExpr>),
    Include(Interned<IncludeExpr>),
    Contextual(Interned<Expr>),
    Conditional(Interned<IfExpr>),
    WhileLoop(Interned<WhileExpr>),
    ForLoop(Interned<ForExpr>),
    Type(Ty),
    Decl(DeclExpr),
    Star,
}

Represents different kinds of expressions in the language.

This enum covers all possible expression types that can appear in Typst source code, from basic literals to complex control flow constructs.

Variants

Block(Interned<Vec<Expr>>)

A sequence of expressions: { x; y; z }

Array(Interned<ArgsExpr>)

An array literal: (1, 2, 3)

Dict(Interned<ArgsExpr>)

A dict literal: (a: 1, b: 2)

Args(Interned<ArgsExpr>)

An args literal: (1, 2, 3)

Pattern(Interned<Pattern>)

A pattern: (x, y, ..z)

Element(Interned<ElementExpr>)

An element literal: [*Hi* there!]

Unary(Interned<UnExpr>)

An unary operation: -x

Binary(Interned<BinExpr>)

A binary operation: x + y

Apply(Interned<ApplyExpr>)

A function call: f(x, y)

Func(Interned<FuncExpr>)

A function: (x, y) => x + y

Let(Interned<LetExpr>)

A let: let x = 1

Show(Interned<ShowExpr>)

A show: show heading: it => emph(it.body)

Set(Interned<SetExpr>)

A set: set text(...)

Ref(Interned<RefExpr>)

A reference: #x

ContentRef(Interned<ContentRefExpr>)

A content reference: @x

Select(Interned<SelectExpr>)

A select: x.y

Import(Interned<ImportExpr>)

An import expression: import "path.typ": x

Include(Interned<IncludeExpr>)

An include expression: include "path.typ"

Contextual(Interned<Expr>)

A contextual expression: context text.lang

Conditional(Interned<IfExpr>)

A conditional expression: if x { y } else { z }

WhileLoop(Interned<WhileExpr>)

A while loop: while x { y }

ForLoop(Interned<ForExpr>)

A for loop: for x in y { z }

Type(Ty)

A type: str

Decl(DeclExpr)

A declaration: x

Star

A star import: *

Implementations

impl Expr

pub fn repr(&self) -> EcoString

Returns a string representation of the expression.

pub fn span(&self) -> Span

Returns the span location of the expression.

pub fn file_id(&self) -> Option<TypstFileId>

Returns the file ID associated with this expression, if any.

pub fn is_defined(&self) -> bool

Returns whether the expression is definitely defined.

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 Display for Expr

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

Formats the value using the given formatter.

impl From<Decl> for Expr

fn from(decl: Decl) -> Self

Converts to this type from the input type.

impl From<Interned<Decl>> for Expr

fn from(decl: DeclExpr) -> Self

Converts to this type from the input type.

impl Hash for Expr

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 Internable for Expr

fn storage() -> &'static InternStorage<Self>

impl PartialEq for Expr

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

impl StructuralPartialEq for Expr