Struct BuiltinSymbols

Source

pub struct BuiltinSymbols {Show 19 fields
    pub e: SymbolId,
    pub pi: SymbolId,
    pub i: SymbolId,
    pub tau: SymbolId,
    pub inf: SymbolId,
    pub gamma: SymbolId,
    pub phi: SymbolId,
    pub sqrt: SymbolId,
    pub exp: SymbolId,
    pub log: SymbolId,
    pub ln: SymbolId,
    pub sin: SymbolId,
    pub cos: SymbolId,
    pub tan: SymbolId,
    pub sigma: SymbolId,
    pub prod: SymbolId,
    pub int: SymbolId,
    pub partial: SymbolId,
    pub abs: SymbolId,
}

Expand description

Built-in symbol set (spec §7.1–7.2): each math constant and operator holds a pre-resolved SymbolId, letting the simplification engine compare symbols in O(1). Physical constants (spec §7.3) are registered in a later release.

Fields§

§e: SymbolId§pi: SymbolId§i: SymbolId§tau: SymbolId§inf: SymbolId§gamma: SymbolId§phi: SymbolId§sqrt: SymbolId§exp: SymbolId§log: SymbolId§ln: SymbolId§sin: SymbolId§cos: SymbolId§tan: SymbolId§sigma: SymbolId§prod: SymbolId§int: SymbolId§partial: SymbolId§abs: SymbolId

BuiltinSymbols

Struct BuiltinSymbols Copy item path

Fields§

Implementations§

impl BuiltinSymbols

pub fn global() -> &'static BuiltinSymbols

Auto Trait Implementations§

impl Freeze for BuiltinSymbols

impl RefUnwindSafe for BuiltinSymbols

impl Send for BuiltinSymbols

impl Sync for BuiltinSymbols

impl Unpin for BuiltinSymbols

impl UnsafeUnpin for BuiltinSymbols

impl UnwindSafe for BuiltinSymbols

Blanket Implementations§

impl<T> Any for Twhere T: 'static + ?Sized,

fn type_id(&self) -> TypeId

impl<T> Borrow<T> for Twhere T: ?Sized,

fn borrow(&self) -> &T

impl<T> BorrowMut<T> for Twhere T: ?Sized,

fn borrow_mut(&mut self) -> &mut T

impl<T> From<T> for T

fn from(t: T) -> T

impl<T, U> Into<U> for Twhere U: From<T>,

fn into(self) -> U

impl<T, U> TryFrom<U> for Twhere U: Into<T>,

type Error = !

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

impl<T, U> TryInto<U> for Twhere U: TryFrom<T>,

type Error = <U as TryFrom<T>>::Error

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Struct BuiltinSymbols

impl<T> Any for T
where T: 'static + ?Sized,

impl<T> Borrow<T> for T
where T: ?Sized,

impl<T> BorrowMut<T> for T
where T: ?Sized,

impl<T, U> Into<U> for T
where U: From<T>,

impl<T, U> TryFrom<U> for T
where U: Into<T>,

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,