Enum TypeError 

pub enum TypeError {
    Unification(String, String),
    Occurs(TypeVarId, String),
    UnknownClass(Symbol),
    NoInstance(Symbol, String),
    UnknownTypeName(Symbol),
    ReservedTypeName(Symbol),
    DuplicateValue(Symbol),
    DuplicateClass(Symbol),
    InvalidClassArity {
        class: Symbol,
        got: usize,
    },
    DuplicateClassMethod(Symbol),
    UnknownInstanceMethod {
        class: Symbol,
        method: Symbol,
    },
    MissingInstanceMethod {
        class: Symbol,
        method: Symbol,
    },
    MissingInstanceConstraint {
        method: Symbol,
        class: Symbol,
        typ: String,
    },
    UnknownVar(Symbol),
    AmbiguousOverload(Symbol),
    AmbiguousTypeVars {
        vars: Vec<TypeVarId>,
        constraints: String,
    },
    KindMismatch {
        class: Symbol,
        expected: usize,
        got: usize,
        typ: String,
    },
    MissingConstraints {
        constraints: String,
    },
    UnsupportedExpr(&'static str),
    UnknownField {
        field: Symbol,
        typ: String,
    },
    FieldNotKnown {
        field: Symbol,
        typ: String,
    },
    NonExhaustiveMatch {
        typ: String,
        missing: Vec<Symbol>,
    },
    Spanned {
        span: Span,
        error: Box<TypeError>,
    },
    Internal(String),
    OutOfGas(OutOfGas),
}

Variants

Unification(String, String)

Occurs(TypeVarId, String)

UnknownClass(Symbol)

NoInstance(Symbol, String)

UnknownTypeName(Symbol)

ReservedTypeName(Symbol)

DuplicateValue(Symbol)

DuplicateClass(Symbol)

InvalidClassArity

Fields

class: Symbol

got: usize

DuplicateClassMethod(Symbol)

UnknownInstanceMethod

Fields

class: Symbol

method: Symbol

MissingInstanceMethod

Fields

class: Symbol

method: Symbol

MissingInstanceConstraint

Fields

method: Symbol

class: Symbol

typ: String

UnknownVar(Symbol)

AmbiguousOverload(Symbol)

AmbiguousTypeVars

Fields

vars: Vec<TypeVarId>

constraints: String

KindMismatch

Fields

class: Symbol

expected: usize

got: usize

typ: String

MissingConstraints

Fields

constraints: String

UnsupportedExpr(&'static str)

UnknownField

Fields

field: Symbol

typ: String

FieldNotKnown

Fields

field: Symbol

typ: String

NonExhaustiveMatch

Fields

typ: String

missing: Vec<Symbol>

Spanned

Fields

span: Span

error: Box<TypeError>

Internal(String)

OutOfGas(OutOfGas)

Trait Implementations

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

fn from(source: OutOfGas) -> Self

Converts to this type from the input type.

impl PartialEq for TypeError

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

impl StructuralPartialEq for TypeError