Struct OperDef 

pub struct OperDef {
    pub fixity: Fixity,
    pub prec: i64,
    pub assoc: Assoc,
    pub args: Vec<OperArg>,
    pub rename_to: Option<Term>,
    pub embed_fixity: bool,
}

Defines a single operator, including its fixity, precedence, associativity, and optional additional parameters.

Each operator definition describes how the parser should treat a symbol syntactically, including its argument behavior and binding strength.

Field Rules

• prec must be 0 for Fixity::Fun.
• assoc must be:
  • Assoc::None for Fixity::Fun,
  • Assoc::Right for Fixity::Prefix,
  • Assoc::Left for Fixity::Postfix.

Fields

fixity: Fixity

Operator fixity (function, prefix, infix, or postfix).

prec: i64

Operator precedence (0–1200).

Higher numbers indicate tighter binding. Must be 0 for Fixity::Fun.

assoc: Assoc

Operator associativity (depends on fixity).

args: Vec<OperArg>

Optional extra arguments beyond the operator’s required operands.

rename_to: Option<Term>

Optional renaming target (atom term).

embed_fixity: bool

Whether this operator’s fixity should be embedded in generated term.

Implementations

impl OperDef

pub fn required_arity(fixity: Fixity) -> usize

Returns the number of required operands for a given Fixity.

• Fixity::Fun → 0
• Fixity::Prefix → 1
• Fixity::Infix → 2
• Fixity::Postfix → 1

Trait Implementations

impl Clone for OperDef

fn clone(&self) -> OperDef

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for OperDef

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

Formats the value using the given formatter.