Enum UnifyResult 

pub enum UnifyResult {
    Ok,
    TypeMismatch {
        expected: InferType,
        found: InferType,
    },
    IntLiteralNonInteger {
        found: Type,
    },
    OccursCheck {
        var: TypeVarId,
        ty: InferType,
    },
    NotSigned {
        ty: Type,
    },
    NotInteger {
        ty: Type,
    },
    NotUnsigned {
        ty: Type,
    },
    NotNumeric {
        ty: Type,
    },
    ArrayLengthMismatch {
        expected: u64,
        found: u64,
    },
}

Result of unifying two types.

Variants

Ok

Unification succeeded.

TypeMismatch

Types are incompatible.

Fields

expected: InferType

found: InferType

IntLiteralNonInteger

Integer literal cannot unify with non-integer type.

Fields

found: Type

OccursCheck

Occurs check failed (would create infinite type).

Fields

var: TypeVarId

ty: InferType

NotSigned

Type must be signed but is unsigned.

Fields

ty: Type

NotInteger

Type must be an integer but is not.

Fields

ty: Type

NotUnsigned

Type must be unsigned but is signed.

Fields

ty: Type

NotNumeric

Type must be numeric (integer or float) but is not.

Fields

ty: Type

ArrayLengthMismatch

Array lengths don’t match.

Fields

expected: u64

found: u64

Implementations

impl UnifyResult

pub fn is_ok(&self) -> bool

Check if unification succeeded.

Trait Implementations

impl Clone for UnifyResult

fn clone(&self) -> UnifyResult

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for UnifyResult

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

Formats the value using the given formatter.

impl PartialEq for UnifyResult

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

impl StructuralPartialEq for UnifyResult