Enum LambdaError 

pub enum LambdaError {
    BadFreeVariableApp {
        free_var: LambdaType,
        arg: LambdaType,
    },
    BadFreeVariable {
        free_var: LambdaType,
        lambda: LambdaType,
    },
    BadBoundVariable {
        var: LambdaExprRef,
        depth: usize,
    },
    TypeError(TypeError),
    ReductionError(ReductionError),
}

Errors resulting from interacting with a lambda calculus expression.

Variants

BadFreeVariableApp

A function application which violates the type system

Fields

free_var: LambdaType

The type of the free variable involved

arg: LambdaType

The argument applied to a free variable.

BadFreeVariable

A free variable that violates the type sytem

Fields

free_var: LambdaType

The type of the free variable involved

lambda: LambdaType

The argument applied to a free variable.

BadBoundVariable

An internally caused error if DeBruijn indices are invalid.

Fields

var: LambdaExprRef

The DeBruijn index

depth: usize

The depth of the expression

TypeError(TypeError)

Any internal type error.

ReductionError(ReductionError)

An error caused by a failed reduction

Trait Implementations

impl Clone for LambdaError

fn clone(&self) -> LambdaError

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for LambdaError

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

Formats the value using the given formatter.

impl Display for LambdaError

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

Formats the value using the given formatter.

impl Error for LambdaError

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 From<ReductionError> for LambdaError

fn from(source: ReductionError) -> Self

Converts to this type from the input type.

impl From<TypeError> for LambdaError

fn from(source: TypeError) -> Self

Converts to this type from the input type.

impl PartialEq for LambdaError

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

impl StructuralPartialEq for LambdaError