Struct libslide::RcExpr

pub struct RcExpr {
    pub span: Span,
    // some fields omitted
}

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

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.

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 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.