Struct Unifier2 

pub struct Unifier2 { /* private fields */ }

Implementations

impl Unifier2

pub fn fresh_type( &mut self, scope: NonNull<Scope>, polarity: Polarity, ) -> TypeId

impl Unifier2

pub fn fresh_type_pack( &mut self, scope: NonNull<Scope>, polarity: Polarity, ) -> TypePackId

impl Unifier2

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

impl Unifier2

pub fn mk_intersection(&mut self, left: TypeId, right: TypeId) -> TypeId

impl Unifier2

pub fn mk_union(&mut self, left: TypeId, right: TypeId) -> TypeId

impl Unifier2

pub fn occurs_check( &mut self, seen: &mut DenseHashSet<TypeId>, needle: TypeId, haystack: TypeId, ) -> OccursCheckResult

impl Unifier2

pub fn occurs_check_deprecated( &mut self, seen: &mut DenseHashSet<TypePackId>, needle: TypePackId, haystack: TypePackId, ) -> OccursCheckResult

impl Unifier2

pub fn unifier_2_not_null_type_arena_not_null_builtin_types_not_null_scope_not_null_internal_error_reporter( arena: NonNull<TypeArena>, builtin_types: NonNull<BuiltinTypes>, scope: NonNull<Scope>, ice: NonNull<InternalErrorReporter>, ) -> Self

impl Unifier2

pub fn unifier_2_not_null_type_arena_not_null_builtin_types_not_null_scope_not_null_internal_error_reporter_dense_hash_set_void( _arena: NonNull<TypeArena>, _builtin_types: NonNull<BuiltinTypes>, _scope: NonNull<Scope>, _ice: NonNull<InternalErrorReporter>, _uninhabited_type_functions: *mut DenseHashSet<*const c_void>, ) -> Self

impl Unifier2

pub fn unify_free_with_type( &mut self, sub_ty: TypeId, super_ty: TypeId, ) -> UnifyResult

impl Unifier2

pub fn unify(&mut self, sub_ty: TypeId, super_ty: TypeId) -> UnifyResult

impl Unifier2

pub fn unify_pack( &mut self, sub_tp: TypePackId, super_tp: TypePackId, ) -> UnifyResult

impl Unifier2

pub fn unify_type_id_type_id( &mut self, sub_ty: TypeId, super_ty: TypeId, ) -> UnifyResult

impl Unifier2

pub fn unify_type_id_function_type( &mut self, sub_ty: TypeId, super_fn: &FunctionType, ) -> UnifyResult

impl Unifier2

pub fn unify_union_type_type_id( &mut self, sub_union: &UnionType, super_ty: TypeId, ) -> UnifyResult

impl Unifier2

pub fn unify_type_id_union_type( &mut self, sub_ty: TypeId, super_union: &UnionType, ) -> UnifyResult

impl Unifier2

pub fn unify_intersection_type_type_id( &mut self, sub_intersection: &IntersectionType, super_ty: TypeId, ) -> UnifyResult

impl Unifier2

pub fn unify_type_id_intersection_type( &mut self, sub_ty: TypeId, super_intersection: &IntersectionType, ) -> UnifyResult

impl Unifier2

pub fn unify_table_type_table_type( &mut self, sub_table: &mut TableType, super_table: &TableType, ) -> UnifyResult

impl Unifier2

pub fn unify_metatable_type_metatable_type( &mut self, sub_metatable: &MetatableType, super_metatable: &MetatableType, ) -> UnifyResult

impl Unifier2

pub fn unify_any_type_function_type( &mut self, _sub_any: &AnyType, super_fn: &FunctionType, ) -> UnifyResult

impl Unifier2

pub fn unify_function_type_any_type( &mut self, sub_fn: &FunctionType, _super_any: &AnyType, ) -> UnifyResult

impl Unifier2

pub fn unify_any_type_table_type( &mut self, _sub_any: &AnyType, super_table: &TableType, ) -> UnifyResult

impl Unifier2

pub fn unify_table_type_any_type( &mut self, sub_table: &TableType, _super_any: &AnyType, ) -> UnifyResult

impl Unifier2

pub fn unify_metatable_type_any_type( &mut self, sub_metatable: &MetatableType, _super_any: &AnyType, ) -> UnifyResult

impl Unifier2

pub fn unify_any_type_metatable_type( &mut self, _sub_any: &AnyType, super_metatable: &MetatableType, ) -> UnifyResult

impl Unifier2

pub fn unify_type_pack_id_type_pack_id( &mut self, sub_tp: TypePackId, super_tp: TypePackId, ) -> UnifyResult

Trait Implementations

impl Debug for Unifier2

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

Formats the value using the given formatter.