Struct TyVarRef 

pub struct TyVarRef(/* private fields */);

A reference-counted handle to a type variable’s union-find cell. Cloning a TyVarRef shares the same cell (this is the union-find “pointer”); identity (not structure) is what unify and generalize compare.

Implementations

impl TyVarRef

pub fn same(&self, other: &TyVarRef) -> bool

Identity comparison — the only correct notion of “same variable” once links can be mutated in place.

pub fn id(&self) -> Option<u64>

None if this variable has already been bound.

pub fn level(&self) -> Option<u32>

pub fn set_level(&self, new_level: u32)

No-op if this variable has already been bound.

pub fn kind(&self) -> Kind

Kind::Universal if this variable has already been bound (asking a bound variable for its kind is meaningless; callers should resolve first).

pub fn set_kind(&self, new_kind: Kind)

pub fn bind(&self, ty: MonoType)

Link this variable to a concrete type. Callers (unify::bind_var) are responsible for the occurs check; this just performs the store.

pub fn is_free(&self) -> bool

Trait Implementations

impl Clone for TyVarRef

fn clone(&self) -> TyVarRef

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for TyVarRef

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

Formats the value using the given formatter.

impl Eq for TyVarRef

impl PartialEq for TyVarRef

fn eq(&self, other: &Self) -> bool

Equality operator ==.

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

Inequality operator !=.