Enum AstContents 

pub enum AstContents {
    Trivial,
    Atom(Name),
    VariableReference(Name),
    QuoteMore(Ast, bool),
    QuoteLess(Ast, u8),
    Node(Rc<Form>, EnvMBE<Ast>, ExportBeta),
    IncompleteNode(EnvMBE<Ast>),
    Shape(Vec<Ast>),
    ExtendEnv(Ast, Beta),
    ExtendEnvPhaseless(Ast, Beta),
}

Variants

Trivial

Atom(Name)

Typically, a binder

VariableReference(Name)

QuoteMore(Ast, bool)

Shift environment to quote more (the bool indicates whether it’s positive or negative)

QuoteLess(Ast, u8)

Shift environment to quote less (the u8 indicates the number of steps out)

Node(Rc<Form>, EnvMBE<Ast>, ExportBeta)

A meaningful chunk of syntax, governed by a form, containing an environment, potentially exporting some names.

IncompleteNode(EnvMBE<Ast>)

For parsing purposes.

Shape(Vec<Ast>)

For parsing purposes.

ExtendEnv(Ast, Beta)

Variable binding

ExtendEnvPhaseless(Ast, Beta)

Variable binding, affects all phases. This is weird, but needed for marcos, it seems.

Trait Implementations

impl Clone for AstContents

fn clone(&self) -> AstContents

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for AstContents

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

Formats the value using the given formatter.

impl Display for AstContents

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

Formats the value using the given formatter.

impl PartialEq for AstContents

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