Enum TermView 

pub enum TermView<'a> {
    Constant(&'a str),
    Variable(&'a str),
    Function(&'a str, Vec<TermView<'a>>),
    Group(Vec<TermView<'a>>),
    Possessed {
        possessor: Box<TermView<'a>>,
        possessed: &'a str,
    },
    Sigma(&'a str),
    Intension(&'a str),
    Proposition(Box<ExprView<'a>>),
    Value {
        kind: NumberKindView<'a>,
        unit: Option<&'a str>,
        dimension: Option<Dimension>,
    },
}

View of a term with resolved symbol names.

Variants

Constant(&'a str)

Variable(&'a str)

Function(&'a str, Vec<TermView<'a>>)

Group(Vec<TermView<'a>>)

Possessed

Fields

possessor: Box<TermView<'a>>

possessed: &'a str

Sigma(&'a str)

Intension(&'a str)

Proposition(Box<ExprView<'a>>)

Value

Fields

kind: NumberKindView<'a>

unit: Option<&'a str>

dimension: Option<Dimension>

Trait Implementations

impl<'a> Clone for TermView<'a>

fn clone(&self) -> TermView<'a>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<'a> Debug for TermView<'a>

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

Formats the value using the given formatter.

impl<'a> PartialEq for TermView<'a>

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