Struct Unifier 

pub struct Unifier {

    pub types: *mut TypeArena,
    pub builtin_types: *mut BuiltinTypes,
    pub normalizer: *mut Normalizer,
    pub scope: *mut Scope,
    pub log: TxnLog,
    pub failure: bool,
    pub errors: ErrorVec,
    pub location: Location,
    pub variance: Variance,
    pub normalize: bool,
    pub check_inhabited: bool,
    pub ctx: CountMismatchContext,
    pub shared_state: *mut UnifierSharedState,
    pub blocked_types: Vec<TypeId>,
    pub blocked_type_packs: Vec<TypePackId>,
    pub first_pack_error_pos: Option<i32>,
}

Fields

types: *mut TypeArena

builtin_types: *mut BuiltinTypes

normalizer: *mut Normalizer

scope: *mut Scope

log: TxnLog

failure: bool

errors: ErrorVec

location: Location

variance: Variance

normalize: bool

check_inhabited: bool

ctx: CountMismatchContext

shared_state: *mut UnifierSharedState

blocked_types: Vec<TypeId>

blocked_type_packs: Vec<TypePackId>

first_pack_error_pos: Option<i32>

Implementations

impl Unifier

pub fn unifier_cache_result( &mut self, sub_ty: TypeId, super_ty: TypeId, prev_error_count: usize, )

impl Unifier

pub fn unifier_can_cache_result( &mut self, sub_ty: TypeId, super_ty: TypeId, ) -> bool

impl Unifier

pub fn can_unify_type_id_type_id( &mut self, sub_ty: TypeId, super_ty: TypeId, ) -> ErrorVec

impl Unifier

pub fn can_unify_type_pack_id_type_pack_id_bool( &mut self, sub_tp: TypePackId, super_tp: TypePackId, is_function_call: bool, ) -> ErrorVec

impl Unifier

pub fn check_child_unifier_type_mismatch_error_vec_type_id_type_id( &mut self, inner_errors: &ErrorVec, wanted_type: TypeId, given_type: TypeId, )

impl Unifier

pub fn check_child_unifier_type_mismatch_error_vec_string_type_id_type_id( &mut self, inner_errors: &ErrorVec, prop: &str, wanted_type: TypeId, given_type: TypeId, )

impl Unifier

pub fn unifier_combine_logs_into_union( &mut self, logs: Vec<TxnLog>, arena: *mut TypeArena, ) -> TxnLog

impl Unifier

pub fn unifier_deeply_optional( &mut self, ty: TypeId, seen: &mut HashMap<TypeId, TypeId>, ) -> TypeId

impl Unifier

pub fn unifier_find_table_property_respecting_meta( &mut self, lhs: TypeId, name: Name, ) -> Option<TypeId>

impl Unifier

pub fn ice_string_location(&mut self, message: &str, location: &Location)

impl Unifier

pub fn ice_string(&mut self, message: &str)

impl Unifier

pub fn unifier_make_child_unifier(&mut self) -> Box<Unifier>

impl Unifier

pub fn unifier_mismatch_context(&mut self) -> Context

impl Unifier

pub fn occurs_check_type_id_type_id_bool( &mut self, needle: TypeId, haystack: TypeId, reversed: bool, ) -> bool

bool Unifier::occursCheck(TypeId needle, TypeId haystack, bool reversed)

impl Unifier

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

bool Unifier::occursCheck(DenseHashSet<TypeId>& seen, TypeId needle, TypeId haystack)

impl Unifier

pub fn occurs_check_type_pack_id_type_pack_id_bool( &mut self, needle: TypePackId, haystack: TypePackId, _reversed: bool, ) -> bool

impl Unifier

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

impl Unifier

pub fn report_error_location_type_error_data( &mut self, location: Location, data: TypeErrorData, )

impl Unifier

pub fn report_error_type_error(&mut self, err: TypeError)

impl Unifier

pub fn unifier_try_apply_overloaded_function( &mut self, function: TypeId, overloads: &NormalizedFunctionType, args: TypePackId, ) -> TypePackId

TypePackId Unifier::tryApplyOverloadedFunction(TypeId function, const NormalizedFunctionType& overloads, TypePackId args)

impl Unifier

pub fn unifier_try_unify_functions( &mut self, sub_ty: TypeId, super_ty: TypeId, is_function_call: bool, )

impl Unifier

pub fn unifier_try_unify_intersection_with_type( &mut self, sub_ty: TypeId, uv: *const IntersectionType, super_ty: TypeId, cache_enabled: bool, is_function_call: bool, )

impl Unifier

pub fn unifier_try_unify_negations(&mut self, sub_ty: TypeId, super_ty: TypeId)

impl Unifier

pub fn unifier_try_unify_normalized_types( &mut self, sub_ty: TypeId, super_ty: TypeId, sub_norm: &NormalizedType, super_norm: &NormalizedType, reason: String, error: Option<TypeError>, )

void Unifier::tryUnifyNormalizedTypes(TypeId subTy, TypeId superTy, const NormalizedType& subNorm, const NormalizedType& superNorm, std::string reason, std::optional<TypeError> error)

impl Unifier

pub fn unifier_try_unify_primitives(&mut self, sub_ty: TypeId, super_ty: TypeId)

impl Unifier

pub fn unifier_try_unify_scalar_shape( &mut self, sub_ty: TypeId, super_ty: TypeId, reversed: bool, )

void Unifier::tryUnifyScalarShape(TypeId subTy, TypeId superTy, bool reversed)

impl Unifier

pub fn unifier_try_unify_singletons(&mut self, sub_ty: TypeId, super_ty: TypeId)

impl Unifier

pub fn unifier_try_unify_tables( &mut self, sub_ty: TypeId, super_ty: TypeId, is_intersection: bool, literal_properties: *const LiteralProperties, )

void Unifier::tryUnifyTables(TypeId subTy, TypeId superTy, bool isIntersection, const LiteralProperties* literalProperties)

impl Unifier

pub fn unifier_try_unify_type_with_intersection( &mut self, sub_ty: TypeId, super_ty: TypeId, uv: *const IntersectionType, )

impl Unifier

pub fn unifier_try_unify_type_with_union( &mut self, sub_ty: TypeId, super_ty: TypeId, uv: *const UnionType, cache_enabled: bool, is_function_call: bool, )

impl Unifier

pub fn try_unify_type_id_type_id_bool_bool_literal_properties_entry( &mut self, sub_ty: TypeId, super_ty: TypeId, is_function_call: bool, is_intersection: bool, literal_properties: Option<&LiteralProperties>, )

void Unifier::tryUnify(TypeId subTy, TypeId superTy, bool isFunctionCall, bool isIntersection, const LiteralProperties* literalProperties)

impl Unifier

pub fn try_unify_type_id_type_id_bool_bool_literal_properties( &mut self, sub_ty: TypeId, super_ty: TypeId, is_function_call: bool, is_intersection: bool, literal_properties: Option<&LiteralProperties>, )

void Unifier::tryUnify_(TypeId subTy, TypeId superTy, bool isFunctionCall, bool isIntersection, const LiteralProperties* literalProperties)

impl Unifier

pub fn try_unify_type_pack_id_type_pack_id_bool_entry( &mut self, sub_tp: TypePackId, super_tp: TypePackId, is_function_call: bool, )

void Unifier::tryUnify(TypePackId subTp, TypePackId superTp, bool isFunctionCall)

impl Unifier

pub fn try_unify_type_pack_id_type_pack_id_bool( &mut self, sub_tp: TypePackId, super_tp: TypePackId, is_function_call: bool, )

void Unifier::tryUnify_(TypePackId subTp, TypePackId superTp, bool isFunctionCall)

impl Unifier

pub fn unifier_try_unify_union_with_type( &mut self, sub_ty: TypeId, sub_union: *const UnionType, super_ty: TypeId, )

void Unifier::tryUnifyUnionWithType(TypeId subTy, const UnionType* subUnion, TypeId superTy)

impl Unifier

pub fn unifier_try_unify_variadics( &mut self, sub_tp: TypePackId, super_tp: TypePackId, reversed: bool, sub_offset: i32, )

void Unifier::tryUnifyVariadics(TypePackId subTp, TypePackId superTp, bool reversed, int subOffset)

impl Unifier

pub fn try_unify_with_any_type_id_type_id( &mut self, sub_ty: TypeId, any_ty: TypeId, )

impl Unifier

pub fn try_unify_with_any_type_pack_id_type_pack_id( &mut self, sub_ty: TypePackId, any_tp: TypePackId, )

impl Unifier

pub fn unifier_try_unify_with_extern_type( &mut self, sub_ty: TypeId, super_ty: TypeId, reversed: bool, )

impl Unifier

pub fn unifier_try_unify_with_metatable( &mut self, sub_ty: TypeId, super_ty: TypeId, reversed: bool, )

impl Unifier

pub fn unifier_unifier( _normalizer: *mut Normalizer, _scope: *mut Scope, _location: &Location, _variance: Variance, _parent_log: *mut TxnLog, )

Trait Implementations

impl Debug for Unifier

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

Formats the value using the given formatter.