Struct hashconsing::WHConsed
source · pub struct WHConsed<T> { /* private fields */ }
Expand description
Weak version of HConsed
.
Implementations§
source§impl<T> WHConsed<T>
impl<T> WHConsed<T>
sourcepub fn to_hconsed(&self) -> Option<HConsed<T>>
pub fn to_hconsed(&self) -> Option<HConsed<T>>
Turns a weak hashconsed thing in a hashconsed thing.
sourcepub fn as_weak_ref(&self) -> &Weak<T>
pub fn as_weak_ref(&self) -> &Weak<T>
A reference to the underlying weak reference.
Trait Implementations§
source§impl<T> Ord for WHConsed<T>
impl<T> Ord for WHConsed<T>
source§impl<T> PartialOrd<WHConsed<T>> for WHConsed<T>
impl<T> PartialOrd<WHConsed<T>> for WHConsed<T>
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<T> Eq for WHConsed<T>
Auto Trait Implementations§
impl<T> RefUnwindSafe for WHConsed<T>where T: RefUnwindSafe,
impl<T> Send for WHConsed<T>where T: Send + Sync,
impl<T> Sync for WHConsed<T>where T: Send + Sync,
impl<T> Unpin for WHConsed<T>
impl<T> UnwindSafe for WHConsed<T>where T: RefUnwindSafe,
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