pub struct Var(pub(crate) Rc<str>);
Tuple Fields§
§0: Rc<str>
Trait Implementations§
source§impl<'de> Deserialize<'de> for Var
impl<'de> Deserialize<'de> for Var
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 Var
impl Ord for Var
source§impl PartialOrd for Var
impl PartialOrd for Var
source§impl SymbolicExpr for Var
impl SymbolicExpr for Var
source§fn reduce(&self) -> Expr
fn reduce(&self) -> Expr
basic simplification that can be applied regardless of context Read more
fn is_atom(&self) -> bool
fn n_args(&self) -> usize
fn args(&self) -> &[Expr]
fn args_mut(&mut self) -> &mut [Expr]
fn iter_args(&self) -> impl Iterator<Item = &Expr>
fn map_args(self, map_fn: impl Fn(&mut Expr)) -> Self
impl Eq for Var
impl StructuralPartialEq for Var
Auto Trait Implementations§
impl Freeze for Var
impl RefUnwindSafe for Var
impl !Send for Var
impl !Sync for Var
impl Unpin for Var
impl UnwindSafe for Var
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
source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
source§unsafe fn clone_to_uninit(&self, dst: *mut T)
unsafe fn clone_to_uninit(&self, dst: *mut T)
🔬This is a nightly-only experimental API. (
clone_to_uninit
)