Struct TypeSet 

pub struct TypeSet {
    pub nodes: Vec<TNode>,
    pub subst: Vec<(usize, TypeRef)>,
    pub next_var: usize,
}

Fields

nodes: Vec<TNode>

subst: Vec<(usize, TypeRef)>

next_var: usize

Implementations

impl TypeSet

pub fn add_tp(&mut self, tp: &Type) -> RawTypeRef

pub fn empty() -> TypeSet

This is the usual way of creating a new Context. The context will be append-only meaning you can roll it back to a point by truncating

pub fn save_state(&self) -> (usize, usize)

pub fn load_state(&mut self, state: (usize, usize))

pub fn might_unify(&self, t1: &RawTypeRef, t2: &TypeRef) -> bool

a very quick non-allocating check that returns false if it’s obvious that these types won’t unify. This works even when a type hasnt been instantiated() to have new type variables. First this checks if t1 and t2 have the same constructors and if theres an obvious mismatch there it gives up. Then it goes and looks up the types in the ctx in case they were typevars, and then again checks if they have th same constructor. It uses apply_immut() to avoid mutating the context for this lookup. Note the apply_immut version of this was wrong bc thats only safe to do on the hole_tp side and apply_immut is already done to the hole before then anyways

pub fn unify(&mut self, t1: &TypeRef, t2: &TypeRef) -> UnifyResult

Normal unification. Does not do the amortizing step of the unionfind (but may mutate it still). See unify_cached() for amortized unionfind. Note that this is likely not slower than unify_cached() in most cases.

Trait Implementations

impl Clone for TypeSet

fn clone(&self) -> TypeSet

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for TypeSet

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

Formats the value using the given formatter.

impl PartialEq for TypeSet

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

impl StructuralPartialEq for TypeSet