Struct TypeSystem 

pub struct TypeSystem { /* private fields */ }

Implementations

impl TypeSystem

pub fn new() -> Self

pub fn std(&self) -> StandardTypes

pub fn alloc(&mut self, ty: Type) -> TypeId

pub fn get_raw(&self, type_id: TypeId) -> &Type

pub fn get_raw_mut(&mut self, type_id: TypeId) -> &mut Type

pub fn get_recursive(&self, type_id: TypeId) -> &Type

pub fn get_unaliased(&self, type_id: TypeId) -> &Type

pub fn get(&self, type_id: TypeId) -> &Type

pub fn get_mut(&mut self, type_id: TypeId) -> &mut Type

pub fn get_pair(&self, type_id: TypeId) -> Option<(TypeId, TypeId)>

pub fn get_union(&self, type_id: TypeId) -> Option<&[TypeId]>

pub fn get_callable(&self, type_id: TypeId) -> Option<&Callable>

pub fn get_callable_recursive(&mut self, type_id: TypeId) -> Option<&Callable>

pub fn stringify_named( &self, type_id: TypeId, names: HashMap<TypeId, String>, ) -> String

pub fn stringify(&self, type_id: TypeId) -> String

pub fn debug(&self, type_id: TypeId) -> String

pub fn compare(&self, lhs: TypeId, rhs: TypeId) -> Comparison

pub fn compare_with_generics( &self, lhs: TypeId, rhs: TypeId, substitution_stack: &mut Vec<HashMap<TypeId, TypeId>>, infer_generics: bool, ) -> Comparison

pub fn substitute( &mut self, type_id: TypeId, substitutions: HashMap<TypeId, TypeId>, ) -> TypeId

pub fn check(&mut self, lhs: TypeId, rhs: TypeId) -> Result<Check, CheckError>

pub fn difference(&mut self, lhs: TypeId, rhs: TypeId) -> TypeId

pub fn replace( &mut self, type_id: TypeId, replace_type_id: TypeId, path: &[TypePath], ) -> TypeId

Trait Implementations

impl Clone for TypeSystem

fn clone(&self) -> TypeSystem

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for TypeSystem

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

Formats the value using the given formatter.

impl Default for TypeSystem

fn default() -> Self

Returns the “default value” for a type.