Struct Subst 

pub struct Subst<A: AstTypes> {
    pub exp: HashMap<A::MacroId, Expr<A>>,
    pub pat: HashMap<A::MacroId, Pat<A>>,
}

Stores a substitution from meta-identifiers to values

Fields

exp: HashMap<A::MacroId, Expr<A>>

pat: HashMap<A::MacroId, Pat<A>>

Implementations

impl<A: AstTypes> Subst<A>

fn add_pat(&mut self, name: A::MacroId, pat: &Pat<A>) -> bool

fn add_expr(&mut self, name: A::MacroId, exp: &Expr<A>) -> bool

Trait Implementations

impl<A: Clone + AstTypes> Clone for Subst<A>

where A::MacroId: Clone,

fn clone(&self) -> Subst<A>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<A: Debug + AstTypes> Debug for Subst<A>

where A::MacroId: Debug,

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

Formats the value using the given formatter.

impl<A: AstTypes> Default for Subst<A>

fn default() -> Self

Returns the “default value” for a type.