Struct arithmetic_typing::arith::Substitutions

pub struct Substitutions<Prim: PrimitiveType> { /* private fields */ }

Set of equations and constraints on type variables.

Implementations

impl<Prim: PrimitiveType> Substitutions<Prim>

pub fn insert_constraint<C>( &mut self, var_idx: usize, constraint: &C, errors: OpErrors<'_, Prim>, )

where C: Constraint<Prim> + Clone,

Inserts constraints for a type var with the specified index and all vars it is equivalent to.

pub fn apply_static_len(&mut self, len: TupleLen) -> Result<(), ErrorKind<Prim>>

Marks len as static, i.e., not containing UnknownLen::Dynamic components.

pub fn fast_resolve<'a>(&'a self, ty: &'a Type<Prim>) -> &'a Type<Prim>

Resolves the type by following established equality links between type variables.

pub fn resolver(&self) -> impl VisitMut<Prim> + '_

Returns a visitor that resolves the type using equality relations in these Substitutions.

pub fn new_type_var(&mut self) -> Type<Prim>

Creates and returns a new type variable.

pub fn unify( &mut self, lhs: &Type<Prim>, rhs: &Type<Prim>, errors: OpErrors<'_, Prim>, )

Unifies types in lhs and rhs.

• LHS corresponds to the lvalue in assignments and to called function signature in fn calls.
• RHS corresponds to the rvalue in assignments and to the type of the called function.

If unification is impossible, the corresponding error(s) will be put into errors.

Trait Implementations

impl<Prim: Clone + PrimitiveType> Clone for Substitutions<Prim>

fn clone(&self) -> Substitutions<Prim>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<Prim: Debug + PrimitiveType> Debug for Substitutions<Prim>

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

Formats the value using the given formatter.

impl<Prim: PrimitiveType> Default for Substitutions<Prim>

fn default() -> Self

Returns the “default value” for a type.