pub struct Id(_);
Trait Implementations§
source§impl<'de> Deserialize<'de> for Id
impl<'de> Deserialize<'de> for Id
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<L: Language, N: Analysis<L>> Index<Id> for EGraph<L, N>
impl<L: Language, N: Analysis<L>> Index<Id> for EGraph<L, N>
Given an Id
using the egraph[id]
syntax, retrieve the e-class.
source§impl<L: Language, N: Analysis<L>> IndexMut<Id> for EGraph<L, N>
impl<L: Language, N: Analysis<L>> IndexMut<Id> for EGraph<L, N>
Given an Id
using the &mut egraph[id]
syntax, retrieve a mutable
reference to the e-class.
source§impl LanguageChildren for Id
impl LanguageChildren for Id
source§fn can_be_length(n: usize) -> bool
fn can_be_length(n: usize) -> bool
Checks if n is an acceptable number of children for this type.
source§fn from_vec(v: Vec<Id>) -> Self
fn from_vec(v: Vec<Id>) -> Self
Create an instance of this type from a
Vec<Id>
,
with the guarantee that can_be_length is already true on the Vec
.source§fn as_mut_slice(&mut self) -> &mut [Id]
fn as_mut_slice(&mut self) -> &mut [Id]
Returns a mutable slice of the children
Id
s.source§impl Ord for Id
impl Ord for Id
source§impl PartialOrd<Id> for Id
impl PartialOrd<Id> for Id
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 Copy for Id
impl Eq for Id
impl StructuralEq for Id
impl StructuralPartialEq for Id
Auto Trait Implementations§
impl RefUnwindSafe for Id
impl Send for Id
impl Sync for Id
impl Unpin for Id
impl UnwindSafe for Id
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<Q, K> Equivalent<K> for Qwhere
Q: Eq + ?Sized,
K: Borrow<Q> + ?Sized,
impl<Q, K> Equivalent<K> for Qwhere Q: Eq + ?Sized, K: Borrow<Q> + ?Sized,
source§fn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
Compare self to
key
and return true
if they are equal.