Enum LeanMode 

pub enum LeanMode {
    Off,
    Emit,
    Check,
}

Variants

Off

Don’t do anything with lean

Emit

Emit the lean definitions and VCs for externally proven items

Check

(Emit and) Check the lean definitions and VCs for externally proven items

Implementations

impl LeanMode

pub(crate) const ERROR: &'static str = "expected one of `emit`, or `check`"

pub fn is_emit(self) -> bool

pub fn is_check(self) -> bool

Trait Implementations

impl Clone for LeanMode

fn clone(&self) -> LeanMode

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for LeanMode

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

Formats the value using the given formatter.

impl Default for LeanMode

fn default() -> LeanMode

Returns the “default value” for a type.

impl<'de> Deserialize<'de> for LeanMode

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Display for LeanMode

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

Formats the value using the given formatter.

impl FromStr for LeanMode

type Err = &'static str

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.

impl TryFrom<String> for LeanMode

type Error = &'static str

The type returned in the event of a conversion error.

fn try_from(value: String) -> Result<Self, Self::Error>

Performs the conversion.

impl Copy for LeanMode