Enum AssumptionSource 

pub enum AssumptionSource {
    UserSupplied,
    Checked,
    Unverified,
}

Where an assumption came from.

Variants

UserSupplied

Supplied by the caller and not verified by the engine.

Checked

Checked by the engine for the supplied data.

Unverified

Required by the method but not verifiable from the supplied inputs.

Trait Implementations

impl Clone for AssumptionSource

fn clone(&self) -> AssumptionSource

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for AssumptionSource

impl Debug for AssumptionSource

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for AssumptionSource

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Eq for AssumptionSource

impl PartialEq for AssumptionSource

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for AssumptionSource

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for AssumptionSource