Struct NotationRule 

pub struct NotationRule {
    pub pattern: String,
    pub expansion: String,
    pub prec: PrecLevel,
    pub namespace: Option<String>,
}

A user-defined notation rule.

Fields

pattern: String

The notation pattern (e.g. “_ + _”)

expansion: String

The expansion template

prec: PrecLevel

The precedence level

namespace: Option<String>

The namespace this rule belongs to

Implementations

impl NotationRule

pub fn new(pattern: &str, expansion: &str, prec: PrecLevel) -> Self

Create a new notation rule.

pub fn in_namespace(self, ns: &str) -> Self

Set the namespace.

Trait Implementations

impl Clone for NotationRule

fn clone(&self) -> NotationRule

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for NotationRule

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

Formats the value using the given formatter.