Struct Symb

pub struct Symb<S> {
    pub path: Vec<S>,
    pub name: S,
}

Symbol consisting of a relative module path and a name.

Fields

path: Vec<S>

module path (["a", "b"] for symbol "a.b.c")

name: S

symbol name ("c" for symbol "a.b.c")

Implementations

impl<S> Symb<S>

pub fn new(name: S) -> Self

Create a new symbol with an empty module path.

pub fn map<T>(self, f: impl Fn(S) -> T) -> Symb<T>

Map over all parts of the symbol.

pub fn push(&mut self, name: S)

Replace the symbol name with the given name, and move the previous symbol name at the end of the module path.

Trait Implementations

impl<S: Clone> Clone for Symb<S>

fn clone(&self) -> Symb<S>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<S: Debug> Debug for Symb<S>

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

Formats the value using the given formatter.

impl<S: Display> Display for Symb<S>

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

Formats the value using the given formatter.

impl<S: PartialEq> PartialEq for Symb<S>

fn eq(&self, other: &Symb<S>) -> 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<S: Into<S2>, S2, V> Scope<S, V> for Symb<S2>

The trivial scoper, mapping symbols to something they can be trivially converted to (including themselves).

fn scope(symb: Symb<S>, _: &Ctx<Self, V>) -> Self

Convert a symbol to a given type of atoms.

fn go(symb: Symb<S>, ctx: &Ctx<Self, V>) -> Term<Self, V>

Convenience function to convert a symbol to a term.

impl<S: Eq> Eq for Symb<S>

impl<S> StructuralPartialEq for Symb<S>