Enum UngroundedReason 

pub enum UngroundedReason {
    NotFound,
    Contradicted,
    Ambiguous,
    OutOfScope,
}

Why a claim couldn’t be grounded.

Variants

NotFound

No matching code found.

Contradicted

Code found but doesn’t support claim.

Ambiguous

Ambiguous (multiple interpretations).

OutOfScope

Outside indexed scope.

Trait Implementations

impl Clone for UngroundedReason

fn clone(&self) -> UngroundedReason

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for UngroundedReason

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for UngroundedReason

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl PartialEq for UngroundedReason

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

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Serialize for UngroundedReason

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

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl Copy for UngroundedReason

impl Eq for UngroundedReason

impl StructuralPartialEq for UngroundedReason