Enum gluon_check::typecheck::TypeError

pub enum TypeError<I, T> {
    UndefinedVariable(I),
    NotAFunction(T),
    UndefinedType(I),
    UndefinedField(T, I),
    PatternError {
        constructor_type: T,
        pattern_args: usize,
    },
    Unification(T, T, Vec<Error<I, T>>),
    KindError(Error<I, T>),
    RecursionCheck(Error),
    DuplicateTypeDefinition(I),
    DuplicateField(I),
    InvalidProjection(T),
    UndefinedRecord {
        fields: Vec<I>,
    },
    EmptyCase,
    Message(String),
    UnableToResolveImplicit(Error<T>),
    TypeConstructorReturnsWrongType {
        expected: I,
        actual: T,
    },
}

Type representing a single error when checking a type

Variants

UndefinedVariable(I)

Variable has not been defined before it was used

NotAFunction(T)

Attempt to call a type which is not a function

UndefinedType(I)

Type has not been defined before it was used

UndefinedField(T, I)

Type were expected to have a certain field

PatternError

Fields

constructor_type: T

pattern_args: usize

Constructor type was found in a pattern but did not have the expected number of arguments

Unification(T, T, Vec<Error<I, T>>)

Errors found when trying to unify two types

KindError(Error<I, T>)

Error were found when trying to unify the kinds of two types

RecursionCheck(Error)

Error were found when checking value recursion

DuplicateTypeDefinition(I)

Multiple types were declared with the same name in the same expression

DuplicateField(I)

A field was defined more than once in a record constructor or pattern match

InvalidProjection(T)

Type is not a type which has any fields

UndefinedRecord

Fields

fields: Vec<I>

Expected to find a record with the following fields

EmptyCase

Found a case expression without any alternatives

Message(String)

UnableToResolveImplicit(Error<T>)

TypeConstructorReturnsWrongType

Fields

expected: I

actual: T

Implementations

impl<I, T> TypeError<I, T>

pub fn map_t<RET>(self, __f: &mut impl FnMut(T) -> RET) -> TypeError<I, RET>

where T: Clone,

Trait Implementations

impl<I, T> AsDiagnostic for TypeError<I, T>

where I: Display + AsRef<str> + Clone, T::SpannedId: Display + AsRef<str> + AsId<I> + Clone, T: TypeExt<Id = I> + Display + HasMetadata + HasSpan + for<'a> ToDoc<'a, Arena<'a, ()>, (), ()>,

fn as_diagnostic(&self, map: &CodeMap) -> Diagnostic<FileId>

impl<I: Clone, T: Clone> Clone for TypeError<I, T>

fn clone(&self) -> TypeError<I, T>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<I: Debug, T: Debug> Debug for TypeError<I, T>

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

Formats the value using the given formatter.

impl<I, T> Display for TypeError<I, T>

where I: Display + AsRef<str> + Clone, T::SpannedId: AsRef<str> + AsId<I>, T: TypeExt<Id = I> + Display + HasMetadata + HasSpan + for<'a> ToDoc<'a, Arena<'a, ()>, (), ()>,

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

Formats the value using the given formatter.

impl<I, T> From<Error<KindError<I, T>, ArcKind>> for TypeError<I, T>

fn from(e: KindCheckError<I, T>) -> Self

Converts to this type from the input type.

impl<I, T> From<Error<T>> for TypeError<I, T>

fn from(e: Error<T>) -> Self

Converts to this type from the input type.

impl<I: Hash, T: Hash> Hash for TypeError<I, T>

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl<I: PartialEq, T: PartialEq> PartialEq for TypeError<I, T>

fn eq(&self, other: &TypeError<I, T>) -> bool

This method tests for self and other values to be equal, and is used by ==.

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

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

impl<I: Eq, T: Eq> Eq for TypeError<I, T>

impl<I, T> StructuralEq for TypeError<I, T>

impl<I, T> StructuralPartialEq for TypeError<I, T>