Struct InferenceContext 

pub struct InferenceContext { /* private fields */ }

Type inference context

Implementations

impl InferenceContext

pub fn new() -> Self

Create a new inference context

pub fn fresh_type_var(&mut self) -> Type

Create a fresh type variable

pub fn bind_variable(&mut self, name: String, typ: Type)

Add a variable binding

pub fn lookup_variable(&self, name: &str) -> Option<&Type>

Look up a variable’s type

pub fn unify(&mut self, t1: &Type, t2: &Type) -> Result<(), TypeError>

Unify two types

pub fn apply_substitutions(&self, typ: &Type) -> Type

Apply substitutions to a type

Trait Implementations

impl Default for InferenceContext

fn default() -> Self

Returns the “default value” for a type.