Enum TypeErrorKind 

pub enum TypeErrorKind {
    TypeNotEqual((Type, Type)),
    InfiniteType(TypeUniVar, Type),
    RowsNotEqual((Row, Row)),
    CheckIntroducedExtraVariablesOrConstraints {
        extra_types: Vec<TypeVar>,
        extra_row: Vec<RowVar>,
        extra_evidence: Vec<Evidence>,
    },
}

Variants

TypeNotEqual((Type, Type))

InfiniteType(TypeUniVar, Type)

RowsNotEqual((Row, Row))

CheckIntroducedExtraVariablesOrConstraints

Fields

extra_types: Vec<TypeVar>

extra_row: Vec<RowVar>

extra_evidence: Vec<Evidence>

Trait Implementations

impl Debug for TypeErrorKind

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

Formats the value using the given formatter.

impl Display for TypeErrorKind

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

Formats the value using the given formatter.

impl Eq for TypeErrorKind

impl From<(ClosedRow, ClosedRow)> for TypeErrorKind

fn from((left, right): (ClosedRow, ClosedRow)) -> Self

Converts to this type from the input type.

impl PartialEq for TypeErrorKind

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