Struct libslide::grammar::mem::RcExpr

pub struct RcExpr {
    expr: Arc<Expr>,
    pub span: Span,
}

An reference-counted version of an expression.

NB: counted expressions are equivalent if they point to the same underlying expression, even though two counted expressions may have different spans.

Fields

expr: Arc<Expr>

The underlying expression.

span: Span

The original span of this expression from an input source code. Even though the expression may be shared, this span is distinct and serves as a backwards-mapping to where the expression originally came from.

Implementations

impl RcExpr

pub(crate) fn new<Sp>(expr: Expr, span: Sp) -> Self where
    Sp: Into<Span>, 

Creates a new reference-counted expression at a span.

Trait Implementations

impl AsRef<Expr> for RcExpr

fn as_ref(&self) -> &Expr

Performs the conversion.

impl Clone for RcExpr

fn clone(&self) -> RcExpr

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for RcExpr

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

Formats the value using the given formatter.

impl Deref for RcExpr

type Target = Self::Inner

The resulting type after dereferencing.

fn deref(&self) -> &Self::Target

Dereferences the value.

impl Display for RcExpr

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

Formats the value using the given formatter.

impl Emit for RcExpr

fn emit_pretty(&self, config: EmitConfig) -> String

Emit self with the pretty emit format

fn emit_s_expression(&self, config: EmitConfig) -> String

Emit self with the s_expression emit format

fn emit_latex(&self, config: EmitConfig) -> String

Emit self with the LaTeX emit format

fn emit(&self, form: EmitFormat, config: EmitConfig) -> String

Emit self with the given EmitFormat.

fn emit_debug(&self, _config: EmitConfig) -> String

Emit self with the debug emit format

fn emit_wrapped_latex(&self, config: EmitConfig) -> String

Same as emit_latex, but wraps the latex code in inline math mode.

impl Eq for RcExpr

impl From<RcExpr> for StmtKind

fn from(expr: RcExpr) -> Self

Performs the conversion.

impl Grammar for RcExpr

impl Hash for RcExpr

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, 

Feeds a slice of this type into the given Hasher.

impl MatchRule<RcExpr> for PatternMatch<RcExpr>

fn match_rule(rule: RcExprPat, target: RcExpr) -> Option<PatternMatch<RcExpr>>

Pattern matches a rule template against an expression. If successful, the results of the matching are returned as a mapping of rule to target expressions replacements.

impl Ord for RcExpr

fn cmp(&self, other: &Self) -> Ordering

This method returns an Ordering between self and other.

#[must_use]fn max(self, other: Self) -> Self

Compares and returns the maximum of two values.

#[must_use]fn min(self, other: Self) -> Self

Compares and returns the minimum of two values.

#[must_use]fn clamp(self, min: Self, max: Self) -> Self

🔬 This is a nightly-only experimental API. (clamp)

Restrict a value to a certain interval.

impl PartialEq<RcExpr> for RcExpr

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

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

#[must_use]fn ne(&self, other: &Rhs) -> bool

This method tests for !=.

impl PartialOrd<RcExpr> for RcExpr

fn partial_cmp(&self, other: &Self) -> Option<Ordering>

This method returns an ordering between self and other values if one exists.

#[must_use]fn lt(&self, other: &Rhs) -> bool

This method tests less than (for self and other) and is used by the < operator.

#[must_use]fn le(&self, other: &Rhs) -> bool

This method tests less than or equal to (for self and other) and is used by the <= operator.

#[must_use]fn gt(&self, other: &Rhs) -> bool

This method tests greater than (for self and other) and is used by the > operator.

#[must_use]fn ge(&self, other: &Rhs) -> bool

This method tests greater than or equal to (for self and other) and is used by the >= operator.

impl RcExpression for RcExpr

type Inner = Expr

The type of expression held by Self.

fn is_const(&self) -> bool

Returns whether the expression is a statically-evaluatable constant.

fn is_var(&self) -> bool

Returns whether the expression is a terminable variable (or variable-like).

fn paren(inner: RcExpr, span: Span) -> Self

Paranthesizes inner.

fn bracket(inner: RcExpr, span: Span) -> Self

Brackets inner.

fn binary(expr: BinaryExpr<Self>, span: Span) -> Self

Creates an RcExpression from a BinaryExpr.

fn unary(expr: UnaryExpr<Self>, span: Span) -> Self

Creates an RcExpression from a UnaryExpr.

fn empty(span: Span) -> Self

Returns an empty expression.

fn span(&self) -> Span

Returns the span of the expression.

impl Transformer<RcExpr, RcExpr> for Rule

fn transform(&self, target: RcExpr) -> RcExpr

Attempts to apply a rule on a target expression by

1. Applying the rule recursively on the target's subexpression to obtain a partially-transformed target expression.

2. Pattern matching the lhs of the rule with the partially-transformed target expression.

• If pattern matching is unsuccessful, no application is done and the original expression is returned.

3. Expanding the rhs of the rule using the results of the pattern matching.

Examples:

"$x + 0 -> $x".try_apply("x + 0")  // Some(x)
"$x + 0 -> $x".try_apply("x + 1")  // None
"$x + 0 -> $x".try_apply("x")      // None

impl Transformer<RcExprPat, RcExpr> for PatternMatch<RcExpr>

fn transform(&self, item: RcExprPat) -> RcExpr

Transforms a pattern expression into an expression by replacing patterns with target expressions known by the PatternMatch.

This transformation can be used to apply a rule on an expression by transforming the RHS using patterns matched between the LHS of the rule and the target expression.