[−][src]Enum voile::check::monad::state::MetaSolution
Variants
Solved(Box<Val>)
Solved meta.
Boxed to make the variable smaller.
Unsolved
Not yet solved meta.
Inlined
This may probably be unused and we'll see. If so, it's gonna be deleted.
Methods
impl MetaSolution
[src]
Trait Implementations
impl Default for MetaSolution
[src]
impl Clone for MetaSolution
[src]
fn clone(&self) -> MetaSolution
[src]
fn clone_from(&mut self, source: &Self)
1.0.0[src]
Performs copy-assignment from source
. Read more
impl PartialEq<MetaSolution> for MetaSolution
[src]
fn eq(&self, other: &MetaSolution) -> bool
[src]
fn ne(&self, other: &MetaSolution) -> bool
[src]
impl Eq for MetaSolution
[src]
fn assert_receiver_is_total_eq(&self)
[src]
impl Debug for MetaSolution
[src]
Auto Trait Implementations
impl Sync for MetaSolution
impl Send for MetaSolution
impl Unpin for MetaSolution
impl UnwindSafe for MetaSolution
impl RefUnwindSafe for MetaSolution
Blanket Implementations
impl<T> From<T> for T
[src]
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> Into<U> for T where
U: From<T>,
[src]
U: From<T>,
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>,
type Error = <U as TryFrom<T>>::Error
The type returned in the event of a conversion error.
fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>
[src]
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> Any for T where
T: 'static + ?Sized,
[src]
T: 'static + ?Sized,