Struct OperDefs 

pub struct OperDefs { /* private fields */ }

Implementations

impl OperDefs

pub fn new() -> Self

pub fn try_from_ops(arena: &Arena, ops: Term) -> Result<Self>

pub fn len(&self) -> usize

pub fn lookup(&self, name: &str) -> Option<usize>

pub fn get(&self, index: Option<usize>) -> &OperDefTab

pub fn define_oper(&mut self, arena: &Arena, op: Term) -> Result<()>

Accepts Term ‘op’( oper: atom | func(arg: atom | ‘=’(name: atom, default: term)),…), type: ‘fun’ | ‘prefix’ | ‘infix’ | ‘postfix’, prec: 0(min)..1200(max), % must be 0 for fixity = ‘none’ assoc: ‘none’ | ‘left’ | ‘right’, rename_to: ‘none’ | some( new_name: atom ), embed_type = ‘false’ | ‘true’, )

pub fn define_opers(&mut self, arena: &Arena, term: Term) -> Result<()>

Trait Implementations

impl Clone for OperDefs

fn clone(&self) -> OperDefs

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for OperDefs

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

Formats the value using the given formatter.

impl Default for OperDefs

fn default() -> OperDefs

Returns the “default value” for a type.