Enum Constraint

pub enum Constraint {
    Eq(EqConstraint),
    ExplicitInstance {
        t: MonomorphicType,
        s: PolymorphicType,
    },
    ImplicitInstance {
        t1: MonomorphicType,
        ctx: HashSet<TVar>,
        t2: MonomorphicType,
    },
}

Types of constraints used in algorithm W

Variants

Eq(EqConstraint)

t1 should be unified with t2

ExplicitInstance

t should be an instance of s

Fields

t: MonomorphicType

s: PolymorphicType

ImplicitInstance

t1 should be an instance of generalize(t2, ctx)

Fields

t1: MonomorphicType

ctx: HashSet<TVar>

t2: MonomorphicType

Trait Implementations

impl Clone for Constraint

fn clone(&self) -> Constraint

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Constraint

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

Formats the value using the given formatter.

impl Display for Constraint

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

Formats the value using the given formatter.

impl PartialEq for Constraint

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