[−][src]Enum adapton::reflect::trace::ForceCase
When the program force
s a computation, either the cache is
either empty (CacheMiss
) or non-empty (CacheHit
). The cached
value may not be consistent without a cleaning. When the program
force
s a reference cell, it simply gets the current value.
Variants
The DCG has no cached value for this computation; no prior computation will be reused.
The DCG has a cached value for this computation; it may not be consistent without a cleaning first.
The forced node is a ref cell with a (mutable) value, and hence,
no computation was necessary. The force
simply gets the
current value.
Trait Implementations
Auto Trait Implementations
impl RefUnwindSafe for ForceCase
impl Send for ForceCase
impl Sync for ForceCase
impl Unpin for ForceCase
impl UnwindSafe for ForceCase
Blanket Implementations
impl<T> Any for T where
T: 'static + ?Sized,
[src]
T: 'static + ?Sized,
impl<T> Borrow<T> for T where
T: ?Sized,
[src]
T: ?Sized,
impl<T> BorrowMut<T> for T where
T: ?Sized,
[src]
T: ?Sized,
fn borrow_mut(&mut self) -> &mut T
[src]
impl<T> From<T> for T
[src]
impl<T, U> Into<U> for T where
U: From<T>,
[src]
U: From<T>,
impl<T> ToOwned for T where
T: Clone,
[src]
T: Clone,
type Owned = T
The resulting type after obtaining ownership.
fn to_owned(&self) -> T
[src]
fn clone_into(&self, target: &mut T)
[src]
impl<T, U> TryFrom<U> for T where
U: Into<T>,
[src]
U: Into<T>,
type Error = Infallible
The type returned in the event of a conversion error.
fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>
[src]
impl<T, U> TryInto<U> for T where
U: TryFrom<T>,
[src]
U: TryFrom<T>,