Enum TypeError

pub enum TypeError {
    Arity {
        expr: Expr,
        expected: usize,
    },
    Mismatch {
        expr: Expr,
        expected: ArcSort,
        actual: ArcSort,
    },
    Unbound(String, Span),
    Ungrounded(String, Span),
    UndefinedSort(String, Span),
    DisallowedSort(String, String, Span),
    UnboundFunction(String, Span),
    FunctionAlreadyBound(String, Span),
    SortAlreadyBound(String, Span),
    PrimitiveAlreadyBound(String, Span),
    FunctionTypeMismatch(ArcSort, Vec<ArcSort>, ArcSort, Vec<ArcSort>),
    PresortNotFound(String, Span),
    InferenceFailure(Expr),
    AlreadyDefined(String, Span),
    ConstructorOutputNotSort(String, Span),
    LookupInRuleDisallowed(String, Span),
    AllAlternativeFailed(Vec<TypeError>),
    NonEqsortUnion(ArcSort, Span),
}

Variants

Arity

Fields

expr: Expr

expected: usize

Mismatch

Fields

expr: Expr

expected: ArcSort

actual: ArcSort

Unbound(String, Span)

Ungrounded(String, Span)

UndefinedSort(String, Span)

DisallowedSort(String, String, Span)

UnboundFunction(String, Span)

FunctionAlreadyBound(String, Span)

SortAlreadyBound(String, Span)

PrimitiveAlreadyBound(String, Span)

FunctionTypeMismatch(ArcSort, Vec<ArcSort>, ArcSort, Vec<ArcSort>)

PresortNotFound(String, Span)

InferenceFailure(Expr)

AlreadyDefined(String, Span)

ConstructorOutputNotSort(String, Span)

LookupInRuleDisallowed(String, Span)

AllAlternativeFailed(Vec<TypeError>)

NonEqsortUnion(ArcSort, Span)

Trait Implementations

impl Clone for TypeError

fn clone(&self) -> TypeError

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for TypeError

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

Formats the value using the given formatter.

impl Display for TypeError

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

Formats the value using the given formatter.

impl Error for TypeError

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<TypeError> for Error

fn from(source: TypeError) -> Self

Converts to this type from the input type.