Struct kontroli::Rule

pub struct Rule<V, L, R> {
    pub ctx: Vec<V>,
    pub lhs: L,
    pub rhs: R,
}

Rewrite rule.

Fields

ctx: Vec<V>

context (bound variables)

lhs: L

left-hand side (pattern to match with)

rhs: R

right-hand side (term to replace with)

Implementations

impl Rule<Arg<String, Option<Box<Term>>>, Term, Term>

pub fn scope<'s>(self, syms: &Symbols<'s>) -> Result<Rule<'s>, Error>

impl<'s> Rule<String, Application<Symbol<'s>, Pattern<Symbol<'s>>>, RTerm<'s>>

pub fn parse(i: &str, syms: &Symbols<'s>) -> Result<Self, KoError>

Parse a rule and scope it. Used for testing.

Trait Implementations

impl<V: Clone, L: Clone, R: Clone> Clone for Rule<V, L, R>

fn clone(&self) -> Rule<V, L, R>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<V: Debug, L: Debug, R: Debug> Debug for Rule<V, L, R>

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

Formats the value using the given formatter.

impl<V, L: Display, R: Display> Display for Rule<V, L, R>

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

Formats the value using the given formatter.

impl<'s> From<Rule<String, Application<Symbol<'s>, Pattern<Symbol<'s>>>, RTerm<'s>>> for Rule<'s>

fn from(rule: SRule<'s>) -> Self

Performs the conversion.

impl<'s> From<Rule<String, Application<Symbol<'s>, Pattern<Symbol<'s>>>, RTerm<'s>>> for Rule<'s>

fn from(rule: SRule<'s>) -> Self

Performs the conversion.