Struct polar_core::terms::Symbol
source · pub struct Symbol(pub String);
Tuple Fields§
§0: String
Implementations§
source§impl Symbol
impl Symbol
pub fn new(name: &str) -> Self
pub fn is_temporary_var(&self) -> bool
pub fn is_namespaced_var(&self) -> bool
pub fn is_this_var(&self) -> bool
Trait Implementations§
source§impl<'de> Deserialize<'de> for Symbol
impl<'de> Deserialize<'de> for Symbol
source§fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where
__D: Deserializer<'de>,
fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where
__D: Deserializer<'de>,
Deserialize this value from the given Serde deserializer. Read more
source§impl Ord for Symbol
impl Ord for Symbol
source§impl PartialEq for Symbol
impl PartialEq for Symbol
source§impl PartialOrd for Symbol
impl PartialOrd for Symbol
1.0.0 · source§fn le(&self, other: &Rhs) -> bool
fn le(&self, other: &Rhs) -> bool
This method tests less than or equal to (for
self
and other
) and is used by the <=
operator. Read moreimpl Eq for Symbol
impl StructuralEq for Symbol
impl StructuralPartialEq for Symbol
Auto Trait Implementations§
impl RefUnwindSafe for Symbol
impl Send for Symbol
impl Sync for Symbol
impl Unpin for Symbol
impl UnwindSafe for Symbol
Blanket Implementations§
source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more