pub enum ExactRef<'a, V> {
Algebraic(&'a Algebraic),
Real(&'a ExactReal),
Hyper(&'a HyperValue),
Natural(&'a NaturalValue),
Ordinal(&'a Ordinal),
Depends(&'a DependsValue<V>),
Converging(&'a Converging<V>),
}Expand description
A value of a value model seen as one of the types this module governs.
Variants§
Algebraic(&'a Algebraic)
Real(&'a ExactReal)
Hyper(&'a HyperValue)
Natural(&'a NaturalValue)
Ordinal(&'a Ordinal)
Depends(&'a DependsValue<V>)
Converging(&'a Converging<V>)
Auto Trait Implementations§
impl<'a, V> Freeze for ExactRef<'a, V>
impl<'a, V> !RefUnwindSafe for ExactRef<'a, V>
impl<'a, V> Send for ExactRef<'a, V>where
V: Sync,
impl<'a, V> Sync for ExactRef<'a, V>where
V: Sync,
impl<'a, V> Unpin for ExactRef<'a, V>
impl<'a, V> UnsafeUnpin for ExactRef<'a, V>
impl<'a, V> !UnwindSafe for ExactRef<'a, V>
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