pub struct Var(_);
Expand description
Implementations
sourceimpl Var
impl Var
sourcepub fn from_u32(num: u32) -> Self
pub fn from_u32(num: u32) -> Self
Create a new variable from a u32.
You can also use special syntax ?#3
, ?#42
to denote a numeric variable.
These avoid some symbol interning, and can also be created manually from
using this function or the From
impl.
assert_eq!(Var::from(12), "?#12".parse().unwrap());
assert_eq!(Var::from_u32(12), "?#12".parse().unwrap());
Trait Implementations
sourceimpl Ord for Var
impl Ord for Var
sourceimpl PartialOrd<Var> for Var
impl PartialOrd<Var> for Var
sourcefn partial_cmp(&self, other: &Var) -> Option<Ordering>
fn partial_cmp(&self, other: &Var) -> Option<Ordering>
This method returns an ordering between self
and other
values if one exists. Read more
1.0.0 · sourcefn lt(&self, other: &Rhs) -> bool
fn lt(&self, other: &Rhs) -> bool
This method tests less than (for self
and other
) and is used by the <
operator. Read more
1.0.0 · sourcefn 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 more
impl Copy for Var
impl Eq for Var
impl StructuralEq for Var
impl StructuralPartialEq for Var
Auto Trait Implementations
impl RefUnwindSafe for Var
impl Send for Var
impl Sync for Var
impl Unpin for Var
impl UnwindSafe for Var
Blanket Implementations
sourceimpl<T> BorrowMut<T> for T where
T: ?Sized,
impl<T> BorrowMut<T> for T where
T: ?Sized,
const: unstable · sourcepub fn borrow_mut(&mut self) -> &mut T
pub fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
sourceimpl<Q, K> Equivalent<K> for Q where
Q: Eq + ?Sized,
K: Borrow<Q> + ?Sized,
impl<Q, K> Equivalent<K> for Q where
Q: Eq + ?Sized,
K: Borrow<Q> + ?Sized,
sourcepub fn equivalent(&self, key: &K) -> bool
pub fn equivalent(&self, key: &K) -> bool
Compare self to key
and return true
if they are equal.
sourceimpl<T> ToOwned for T where
T: Clone,
impl<T> ToOwned for T where
T: Clone,
type Owned = T
type Owned = T
The resulting type after obtaining ownership.
sourcepub fn to_owned(&self) -> T
pub fn to_owned(&self) -> T
Creates owned data from borrowed data, usually by cloning. Read more
sourcepub fn clone_into(&self, target: &mut T)
pub fn clone_into(&self, target: &mut T)
toowned_clone_into
)Uses borrowed data to replace owned data, usually by cloning. Read more