Enum voile::check::monad::MetaSolution

pub enum MetaSolution {
    Solved(Box<Val>),
    Unsolved,
    Inlined,
}

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

pub fn solved(val: Val) -> Self

Trait Implementations

impl Default for MetaSolution

fn default() -> Self

Returns the "default value" for a type.

impl Clone for MetaSolution

fn clone(&self) -> MetaSolution

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl PartialEq<MetaSolution> for MetaSolution

fn eq(&self, other: &MetaSolution) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &MetaSolution) -> bool

This method tests for !=.

impl Eq for MetaSolution

fn assert_receiver_is_total_eq(&self)

impl Debug for MetaSolution

fn fmt(&self, f: &mut Formatter) -> Result

Formats the value using the given formatter.