Struct Term 

pub struct Term {
    pub kind: TermKind,
    pub line: u32,
    pub column: u32,
}

A term: the pattern a rule matches, the replacement it produces, and the two clauses that constrain it are all one shape.

Fields

kind: TermKind

Which of the three kinds this is.

line: u32

The line it starts on, counted from one.

column: u32

The column it starts at, counted from one.

Implementations

impl Term

pub fn walk<'t>(&'t self, visit: &mut impl FnMut(&'t Term))

Walk this term and everything under it, outermost first.

The lifetime is written out so that what the visitor is handed lives as long as the term does, which is what lets a caller collect the places it found rather than only count them.

Trait Implementations

impl Clone for Term

fn clone(&self) -> Term

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Term

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

Formats the value using the given formatter.

impl Display for Term

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

Formats the value using the given formatter.

impl Eq for Term

impl PartialEq for Term

fn eq(&self, other: &Term) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl StructuralPartialEq for Term