Enum CheckError 

pub enum CheckError {
    MissingPremise(u32),
    WrongPremiseCount {
        expected: usize,
        got: usize,
    },
    WrongArgumentCount {
        expected: usize,
        got: usize,
    },
    RuleNotApplicable(String),
    InvalidConclusion(String),
    CyclicDependency,
    EmptyProof,
    MalformedTerm(String),
    UnknownRule(String),
    Custom(String),
}

Types of proof checking errors

Variants

MissingPremise(u32)

A referenced premise doesn’t exist

WrongPremiseCount

Wrong number of premises for the rule

Fields

expected: usize

got: usize

WrongArgumentCount

Wrong number of arguments for the rule

Fields

expected: usize

got: usize

RuleNotApplicable(String)

Rule is not applicable

InvalidConclusion(String)

Conclusion doesn’t follow from premises

CyclicDependency

Cyclic dependency in proof

EmptyProof

Empty proof

MalformedTerm(String)

Malformed term in proof

UnknownRule(String)

Unknown rule

Custom(String)

Custom error

Implementations

impl CheckError

pub fn suggestion(&self) -> Option<&str>

Get a suggestion for fixing this error

pub fn severity(&self) -> ErrorSeverity

Get the severity level of this error

Trait Implementations

impl Clone for CheckError

fn clone(&self) -> CheckError

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for CheckError

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

Formats the value using the given formatter.

impl Display for CheckError

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

Formats the value using the given formatter.

impl Error for CheckError

fn source(&self) -> Option<&(dyn Error + 'static)>

Returns the lower-level source of this error, if any.

fn description(&self) -> &str

👎Deprecated since 1.42.0:

use the Display impl or to_string()

fn cause(&self) -> Option<&dyn Error>

👎Deprecated since 1.33.0:

replaced by Error::source, which can support downcasting

fn provide<'a>(&'a self, request: &mut Request<'a>)

🔬This is a nightly-only experimental API. (error_generic_member_access)

Provides type-based access to context intended for error reports.

impl PartialEq for CheckError

fn eq(&self, other: &CheckError) -> 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 Eq for CheckError

impl StructuralPartialEq for CheckError