Enum ProofStateType

pub enum ProofStateType {
    Clean,
    Dirty,
}

Variants

Clean

Dirty

Trait Implementations

impl Clone for ProofStateType

fn clone(&self) -> ProofStateType

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for ProofStateType

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

Formats the value using the given formatter.

impl Default for ProofStateType

fn default() -> ProofStateType

Returns the “default value” for a type.

impl Display for ProofStateType

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

Formats the value using the given formatter.

impl FromStr for ProofStateType

type Err = String

The associated error which can be returned from parsing.

fn from_str(s: &str) -> Result<Self, Self::Err>

Parses a string s to return a value of this type.