Struct NotationEntry 

pub struct NotationEntry {
    pub symbol: String,
    pub decl_name: String,
    pub fixity: Fixity,
    pub prec: Prec,
    pub deprecated: bool,
}

A registered notation (operator or mixfix).

Fields

symbol: String

The notation symbol string (e.g., +).

decl_name: String

Associated declaration name.

fixity: Fixity

Fixity and associativity.

prec: Prec

Binding precedence.

deprecated: bool

Whether the notation is deprecated.

Implementations

impl NotationEntry

pub fn new(symbol: &str, decl_name: &str, fixity: Fixity, prec: Prec) -> Self

Create a new notation entry.

pub fn deprecated(self) -> Self

Mark this notation as deprecated.

pub fn is_infix(&self) -> bool

Whether this is an infix notation.

Trait Implementations

impl Clone for NotationEntry

fn clone(&self) -> NotationEntry

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for NotationEntry

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

Formats the value using the given formatter.

impl Display for NotationEntry

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

Formats the value using the given formatter.