Struct Rule

pub struct Rule {
    pub name: &'static str,
    pub overloads: Vec<Box<dyn RuleOverload>>,
    pub aliases: Vec<&'static str>,
}

A rule operator.

Fields

name: &'static str

Rule’s name

overloads: Vec<Box<dyn RuleOverload>>

Rule’s overloads.

aliases: Vec<&'static str>

Aliases this rule has.

Implementations

impl Rule

pub fn new(name: &'static str) -> Self

Create a new rule with no overloads. The name must be ascii and all lowercase.

pub fn alias(self, name: &'static str) -> Self

Create an alias for this rule

pub fn overload<M>(self, f: impl IntoRuleOverload<M>) -> Self

Add an overload to this rule

pub fn get_overload( &self, lhs: &AnyExpr, rhs: &AnyExpr, ) -> Option<&dyn RuleOverload>

Tries to find an overload for the given param types.

Trait Implementations

impl Addable for Rule

fn add_to(self, library: &mut Library)