Skip to main content Module functions Copy item path Source accumulate_errors add_all_as_dependencies @interface-stub add_all_as_dependencies_and_chain_returns @interface-stub add_all_as_reverse_dependencies @interface-stub add_global_binding_builtin_definitions add_global_binding_builtin_definitions_alt_b add_global_binding_builtin_definitions_alt_c add_global_binding_builtin_definitions_alt_d add_intersection add_refinement add_type_function add_union alloc_type_user_data allocate_string_type_attach allocate_string_type_attach_alt_b allocate_type_function_type allocate_type_function_type_pack allows_no_return_values already_has_parens and_type_function apply_internal_limit_scaling apply_visit_type apply_visit_type_alt_b are_compatible are_eq_comparable are_equal_structural_type_equality are_equal_structural_type_equality_alt_b are_equal_structural_type_equality_alt_c are_equal_structural_type_equality_alt_d are_equal_structural_type_equality_alt_e are_equal_type_function_runtime are_equal_type_function_runtime_alt_g are_equal_type_function_runtime_alt_h are_equal_type_function_runtime_alt_i are_equal_type_function_runtime_alt_j are_equal_type_function_runtime_alt_k are_equal_type_function_runtime_alt_l are_equal_type_function_runtime_alt_m are_equal_type_function_runtime_alt_n are_equal_type_function_runtime_alt_o are_equal_type_function_runtime_alt_p Node: cxx:Function:Luau.Analysis:Analysis/src/TypeFunctionRuntime.cpp:2456:are_equal
Source: Analysis/src/TypeFunctionRuntime.cpp:2456-2486 (hand-fixed from a
handoff batch: the model invented a ::new().get_if::<T>() API and a
nonexistent generic-pack overload — C++ inlines the generic comparison) are_equivalent are_normalized_extern_types are_normalized_functions are_normalized_tables are_seen are_unsatisfied_arguments_optional Source: Analysis/src/OverloadResolver.cpp:147-173 (hand-ported) as_mutable_constraint as_mutable_type as_mutable_type_id as_mutable_type_pack as_mutable_type_pack_alt_d as_mutable_type_pack_id assert_invariant assert_reasoning_valid_deprecated assert_reasoning_valid_subtyping assert_reasoning_valid_subtyping_alt_b assign_cycle_names Node: cxx:Function:Luau.Analysis:Analysis/src/ToString.cpp:1397:assign_cycle_names
Source: Analysis/src/ToString.cpp:1397-1440 (hand-ported) assign_prop_documentation_symbols attach_magic_function attach_require_magic attach_tag_type attach_tag_type_alt_b attach_type_data autocomplete_autocomplete Generated skeleton item.
Node: cxx:Function:Luau.Analysis:Analysis/src/Autocomplete.cpp:17:autocomplete
Source: Analysis/src/Autocomplete.cpp autocomplete_autocomplete_core autocomplete_expression_autocomplete_core autocomplete_expression_autocomplete_core_alt_b autocomplete_if_else_expression autocomplete_keywords autocomplete_module_types autocomplete_props_autocomplete_core autocomplete_props_autocomplete_core_alt_b autocomplete_props_autocomplete_core_alt_c autocomplete_statement autocomplete_string_params autocomplete_string_singleton autocomplete_type_names autocomplete_while_loop_keywords baseof begin_type begin_type_alt_b begin_type_pack begin_type_pack_alt_d bind_free_type @interface-stub block_diff_start block_kind_name borrow_constraints can_mutate_constraint_graph can_mutate_constraint_graph_alt_b can_mutate_constraint_solver can_mutate_constraint_solver_alt_d can_suggest_inferred_type_autocomplete_core can_suggest_inferred_type_autocomplete_core_alt_b can_use_type_name_in_scope case_linter case_linter_alt_b case_linter_alt_c case_linter_alt_d check_frontend check_non_strict C++ free function Luau::checkNonStrict(...)
(Analysis/src/NonStrictTypeChecker.cpp:1287-1320). check_overloaded_documentation_symbol check_require_path check_require_path_dcr check_result_for_error check_result_for_error_deprecated check_tag check_type_checker_2 C++ free function Luau::check(NotNull<BuiltinTypes>, NotNull<TypeFunctionRuntime>, NotNull<UnifierSharedState>, NotNull<TypeCheckLimits>, DcrLogger*, const SourceModule&, Module*)
(Analysis/src/TypeChecker2.cpp:286-305). check_type_correct_kind check_type_match checkpoint clone_clone clone_clone_alt_b clone_clone_alt_c clone_clone_alt_d clone_incremental_clone Source: Analysis/src/Clone.cpp:643-658
TypePackId cloneIncremental(TypePackId tp, TypeArena& dest, CloneState& cloneState, Scope* freshScopeForFreeTypes). clone_incremental_clone_alt_b Source: Analysis/src/Clone.cpp:660-675
TypeId cloneIncremental(TypeId typeId, TypeArena& dest, CloneState& cloneState, Scope* freshScopeForFreeTypes). clone_incremental_clone_alt_c Source: Analysis/src/Clone.cpp:677-710
TypeFun cloneIncremental(const TypeFun& typeFun, TypeArena& dest, CloneState& cloneState, Scope* freshScopeForFreeTypes). clone_incremental_clone_alt_d Source: Analysis/src/Clone.cpp:712-732
Binding cloneIncremental(const Binding& binding, TypeArena& dest, CloneState& cloneState, Scope* freshScopeForFreeTypes). clone_types_from_fragment C++ void cloneTypesFromFragment(...) (FragmentAutocomplete.cpp:671-795). collect_operands comparison_type_function compute_keys_of concat_type_function contains contains_function_call contains_function_call_or_return contains_generic_type_utils contains_generic_type_utils_alt_b contains_never Node: cxx:Function:Luau.Analysis:Analysis/src/TypePack.cpp:440:containsNever
Source: Analysis/src/TypePack.cpp (TypePack.cpp:440-459, hand-ported) contains_parse_error_name contains_subscripted_definition contains_toposortable_node convert_require_suggestions_to_autocomplete_entry_map copy_error Faithful port of copyError (Analysis/src/Error.cpp:1463-1705). copy_errors create_any create_boolean create_buffer create_function create_generic create_intersection create_negation create_never create_number create_optional create_singleton create_string create_table create_thread create_union create_unknown dealloc_type_user_data deep_clone deep_copy default_log_luau default_luau_print_line deserialize_type_function_runtime_builder deserialize_type_function_runtime_builder_alt_b div_type_function does_call_error dot_escape drain Faithful port of Luau::detail::drain
(Analysis/src/TopoSortStatements.cpp:404-497). drop_while dummy_state_close dump_bindings dump_block dump_cfg dump_cfg_json dump_constraint_graph dump_constraint_solver static void dump(ConstraintSolver* cs, ToStringOptions& opts)
(Analysis/src/ConstraintSolver.cpp:4315-4335, hand-ported faithfully).dump_def dump_dot_to_dot dump_dot_to_dot_alt_b dump_expr dump_instruction dump_options dump_refinement dump_to_string Node: cxx:Function:Luau.Analysis:Analysis/src/ToString.cpp:1840:dump
Source: Analysis/src/ToString.cpp:1840-1845 (hand-ported) dump_to_string_alt_d Node: cxx:Function:Luau.Analysis:Analysis/src/ToString.cpp:1847:dump
Source: Analysis/src/ToString.cpp:1847-1854 (hand-ported) dump_to_string_alt_e Node: cxx:Function:Luau.Analysis:Analysis/src/ToString.cpp:1856:dump
Source: Analysis/src/ToString.cpp:1856-1861 (hand-ported) dump_to_string_alt_f Node: cxx:Function:Luau.Analysis:Analysis/src/ToString.cpp:1863:dump
Source: Analysis/src/ToString.cpp:1863-1870 (hand-ported) dump_to_string_alt_g Node: cxx:Function:Luau.Analysis:Analysis/src/ToString.cpp:1872:dump
Source: Analysis/src/ToString.cpp:1872-1875 (hand-ported) dump_to_string_alt_h Node: cxx:Function:Luau.Analysis:Analysis/src/ToString.cpp:1877:dump
Source: Analysis/src/ToString.cpp:1877-1880 (hand-ported) dump_to_string_alt_i Node: cxx:Function:Luau.Analysis:Analysis/src/ToString.cpp:1882:dump
Source: Analysis/src/ToString.cpp:1882-1894 (hand-ported) dump_to_string_alt_j Node: cxx:Function:Luau.Analysis:Analysis/src/ToString.cpp:1896:dump
Source: Analysis/src/ToString.cpp:1896-1908 (hand-ported) dump_to_string_alt_k Node: cxx:Function:Luau.Analysis:Analysis/src/ToString.cpp:1910:dump
Source: Analysis/src/ToString.cpp:1910-1923 (hand-ported) dump_to_string_alt_l Node: cxx:Function:Luau.Analysis:Analysis/src/ToString.cpp:2065:dump
Source: Analysis/src/ToString.cpp:2065-2073 (hand-ported) dump_to_string_alt_m Node: cxx:Function:Luau.Analysis:Analysis/src/ToString.cpp:2151:dump
Source: Analysis/src/ToString.cpp:2151-2159 (hand-ported) dump_txn_log Node: cxx:Function:Luau.Analysis:Analysis/src/TxnLog.cpp:25:dump
Source: Analysis/src/TxnLog.cpp:25-39 (hand-ported) dump_txn_log_alt_o Node: cxx:Function:Luau.Analysis:Analysis/src/TxnLog.cpp:49:dump
Source: Analysis/src/TxnLog.cpp:49-63 (hand-ported) embedded_builtin_raw_const emit_warning emplace_type emplace_type_pack end_type end_type_alt_b end_type_pack eq_type_function error_to_string evaluate_type_alias_call Node: cxx:Function:Luau.Analysis:Analysis/src/UserDefinedTypeFunction.cpp:99:evaluateTypeAliasCall
Source: Analysis/src/UserDefinedTypeFunction.cpp:99-217 extend_type_pack extract_l_value_symbol extract_matching_table_type extract_matching_table_type_deprecated extract_stat fast_is_subtype Node: cxx:Function:Luau.Analysis:Analysis/src/TypeUtils.cpp:561:fast_is_subtype
Source: Analysis/src/TypeUtils.cpp (TypeUtils.cpp:561-565) fill_builtin_globals filter_lint_options filter_map finalize_global_bindings find_ancestry_at_position_for_autocomplete_ast_query find_ancestry_at_position_for_autocomplete_ast_query_alt_b find_ancestry_for_fragment_parse find_ancestry_for_fragment_parse_deprecated find_ast_ancestry_of_position_ast_query find_ast_ancestry_of_position_ast_query_alt_b find_binding_at_position find_binding_local_statement find_blocked_arg_types_in find_closest_scope find_closest_scope_deprecated find_cyclic_types Node: cxx:Function:Luau.Analysis:Analysis/src/ToString.cpp:126:find_cyclic_types
Source: Analysis/src/ToString.cpp:126-136 (hand-ported) find_expected_type_at find_expected_type_at_position find_expr_at_position find_expr_or_local_at_position find_metatable_entry find_node_at_position_ast_query find_node_at_position_ast_query_alt_b find_rhs_expr_dump_cfg find_rhs_expr_dump_cfg_alt_b find_scope_at_position find_table_property_respecting_meta_type_utils find_table_property_respecting_meta_type_utils_alt_b find_type_at_position Node: cxx:Function:Luau.Analysis:Analysis/src/AstQuery.cpp:307:find_type_at_position
Source: Analysis/src/AstQuery.cpp:307-316 (hand-ported) find_type_element_at_autocomplete_core find_type_element_at_autocomplete_core_alt_b find_type_element_at_autocomplete_core_alt_c find_unique_types_ast_utils Node: cxx:Function:Luau.Analysis:Analysis/src/AstUtils.cpp:70:find_unique_types
Source: Analysis/src/AstUtils.cpp find_unique_types_ast_utils_alt_b Node: cxx:Function:Luau.Analysis:Analysis/src/AstUtils.cpp:76:find_unique_types
Source: Analysis/src/AstUtils.cpp find_unique_types_ast_utils_alt_c Node: cxx:Function:Luau.Analysis:Analysis/src/AstUtils.cpp:94:find_unique_types
Source: Analysis/src/AstUtils.cpp find_unique_types_ast_utils_alt_d Node: cxx:Function:Luau.Analysis:Analysis/src/AstUtils.cpp:103:find_unique_types
Source: Analysis/src/AstUtils.cpp finite Node: cxx:Function:Luau.Analysis:Analysis/src/TypePack.cpp:317:finite
Source: Analysis/src/TypePack.cpp:317-328 (hand-ported) first flatten_intersection Node: cxx:Function:Luau.Analysis:Analysis/src/Type.cpp:134:flatten_intersection
Source: Analysis/src/Type.cpp:134-164 (hand-ported) flatten_pack_with_path Source: Analysis/src/TypePath.cpp:1107-1141 (hand-ported) flatten_type_pack flatten_type_pack_alt_b flip follow_once follow_type Node: cxx:Function:Luau.Analysis:Analysis/src/Type.cpp:56:follow
Source: Analysis/src/Type.cpp (Type.cpp:56-59, hand-ported) follow_type_alt_c Node: cxx:Function:Luau.Analysis:Analysis/src/Type.cpp:61:follow
Source: Analysis/src/Type.cpp (Type.cpp:61-72, hand-ported) follow_type_alt_d Node: cxx:Function:Luau.Analysis:Analysis/src/Type.cpp:74:follow
Source: Analysis/src/Type.cpp (Type.cpp:74-77, hand-ported) follow_type_alt_e Node: cxx:Function:Luau.Analysis:Analysis/src/Type.cpp:79:follow
Source: Analysis/src/Type.cpp (Type.cpp:79-141, hand-ported; the principal overload) follow_type_id follow_type_or_pack Node: cxx:Function:Luau.Analysis:Analysis/src/TypeOrPack.cpp:19:follow
Source: Analysis/src/TypeOrPack.cpp:19-27 (hand-ported) follow_type_pack Node: cxx:Function:Luau.Analysis:Analysis/src/TypePack.cpp:245:follow
Source: Analysis/src/TypePack.cpp (TypePack.cpp:245-255, hand-ported) follow_type_pack_alt_h Node: cxx:Function:Luau.Analysis:Analysis/src/TypePack.cpp:257:follow
Source: Analysis/src/TypePack.cpp (TypePack.cpp:257-312, hand-ported; principal overload) follow_type_utils Node: cxx:Function:Luau.Analysis:Analysis/include/Luau/TypeUtils.h:248:follow
Source: Analysis/include/Luau/TypeUtils.h:247-254 (hand-ported) for_each_constraint fragment_autocomplete C++ FragmentAutocompleteResult fragmentAutocomplete(...)
(FragmentAutocomplete.cpp:1373-1413). freeze freeze_table fresh_index fresh_type function_is_expected_at fuzz_format_string fuzzy_match generalize generalize_type generalize_type_pack generate_documentation_symbols generate_name get_2 Node: cxx:Function:Luau.Analysis:Analysis/include/Luau/TypeUtils.h:217:get_2
Source: Analysis/include/Luau/TypeUtils.h:217-228 (hand-ported) get_approximate_return_type_for_function_call_type_utils get_approximate_return_type_for_function_call_type_utils_alt_b get_argument_index Source: Analysis/src/OverloadResolver.cpp:226-287 (hand-ported) get_ast_stat_for_extents get_base_symbol get_builtin_definition_source get_components get_constraint Source: Analysis/include/Luau/Constraint.h:374-382 (hand-ported) get_control_flow_graph Source: Analysis/include/Luau/ControlFlowGraph.h:79-84 (hand-ported) get_def Source: Analysis/include/Luau/Def.h:73-77 (hand-ported) get_definition_module_name get_deprecated_globals get_document_offsets get_documentation_symbol_at_position get_end_location get_error Source: Analysis/include/Luau/Error.h:712-716 (hand-ported) get_error_alt_e Source: Analysis/include/Luau/Error.h:718-722 (hand-ported) get_fallthrough get_fragment_location get_fragment_region get_fragment_region_with_block_diff get_function_declaration_extents get_function_generics get_function_name_as_string get_function_parameters get_function_returns get_generic_is_pack get_generic_name get_generics Faithful port of
static std::tuple<std::vector<TypeFunctionTypeId>, std::vector<TypeFunctionTypePackId>> getGenerics(lua_State* L, int idx, const char* fname)
(Analysis/src/TypeFunctionRuntime.cpp:1125-1177). get_global_binding Node: cxx:Function:Luau.Analysis:Analysis/src/BuiltinDefinitions.cpp:308:get_global_binding
Source: Analysis/src/BuiltinDefinitions.cpp:308-313 (hand-ported) get_identifier_of_base_var_type_checker_2 get_identifier_of_base_var_type_infer get_indexer get_l_value Source: Analysis/include/Luau/LValue.h:40-44 (hand-ported) get_level_type get_level_type_alt_b get_local_name get_local_type_in_scope_at Node: cxx:Function:Luau.Analysis:Analysis/src/AutocompleteCore.cpp:791:get_local_type_in_scope_at
Source: Analysis/src/AutocompleteCore.cpp:791-803 (hand-ported) get_metatable_documentation get_metatable_type get_metatable_type_function_runtime get_method_containing_extern_type get_module_resolver get_mutable_constraint Node: cxx:Function:Luau.Analysis:Analysis/include/Luau/Constraint.h:372:get_mutable
Source: Analysis/include/Luau/Constraint.h:372-377 (hand-ported) get_mutable_level get_mutable_table_type get_mutable_txn_log Node: cxx:Function:Luau.Analysis:Analysis/include/Luau/TxnLog.h:51:get_mutable
Source: Analysis/include/Luau/TxnLog.h:51-56 (hand-ported) get_mutable_txn_log_alt_c Node: cxx:Function:Luau.Analysis:Analysis/include/Luau/TxnLog.h:58:get_mutable
Source: Analysis/include/Luau/TxnLog.h:58-63 (hand-ported) get_mutable_type Node: cxx:Function:Luau.Analysis:Analysis/include/Luau/Type.h:1101:get_mutable
Source: Analysis/include/Luau/Type.h (Type.h:1101-1110, hand-ported) get_mutable_type_function_runtime Node: cxx:Function:Luau.Analysis:Analysis/include/Luau/TypeFunctionRuntime.h:88:get_mutable
Source: Analysis/include/Luau/TypeFunctionRuntime.h:88-94 (hand-ported) get_mutable_type_function_runtime_alt_f Node: cxx:Function:Luau.Analysis:Analysis/include/Luau/TypeFunctionRuntime.h:175:get_mutable
Source: Analysis/include/Luau/TypeFunctionRuntime.h:175-181 (hand-ported) get_mutable_type_function_runtime_alt_g Node: cxx:Function:Luau.Analysis:Analysis/include/Luau/TypeFunctionRuntime.h:283:get_mutable
Source: Analysis/include/Luau/TypeFunctionRuntime.h:283-289 (hand-ported) get_mutable_type_pack Node: cxx:Function:Luau.Analysis:Analysis/include/Luau/TypePack.h:215:get_mutable
Source: Analysis/include/Luau/TypePack.h (TypePack.h:215-224, hand-ported) get_mutable_type_utils Node: cxx:Function:Luau.Analysis:Analysis/include/Luau/TypeUtils.h:239:get_mutable
Source: Analysis/include/Luau/TypeUtils.h:238-245 (hand-ported) get_name_type get_name_type_attach get_name_type_attach_alt_c get_nearest_if_to_cursor get_negated_value get_parameter_extents get_paren_recommendation get_paren_recommendation_for_func get_paren_recommendation_for_intersect get_predicate Source: Analysis/include/Luau/Predicate.h:87-91 (hand-ported) get_props get_read_indexer get_read_parent get_refinement Source: Analysis/include/Luau/Refinement.h:59-63 (hand-ported) get_require_cycles get_singleton_type Source: Analysis/include/Luau/Type.h:252-259 (hand-ported) get_singleton_value get_stack_address_space_size_native_stack_guard get_stack_address_space_size_native_stack_guard_alt_b get_stack_address_space_size_native_stack_guard_alt_c get_string_contents get_table_match_tag get_table_type get_tag get_tags get_tail Node: cxx:Function:Luau.Analysis:Analysis/src/TypePack.cpp:225:getTail
Source: Analysis/src/TypePack.cpp (TypePack.cpp:225-243, hand-ported) get_timestamp get_type Node: cxx:Function:Luau.Analysis:Analysis/include/Luau/Type.h:252:get
Source: Analysis/include/Luau/Type.h:252-259 (hand-ported) get_type_alt_j Node: cxx:Function:Luau.Analysis:Analysis/include/Luau/Type.h:1089:get
Source: Analysis/include/Luau/Type.h (Type.h:1089-1098, hand-ported) get_type_function_definition_source get_type_function_error Source: Analysis/include/Luau/TypeFunctionError.h:82-86 (hand-ported) get_type_function_error_alt_l Source: Analysis/include/Luau/TypeFunctionError.h:88-92 (hand-ported) get_type_function_runtime get_type_function_runtime_alt_n Source: Analysis/include/Luau/TypeFunctionRuntime.h:167-173 (hand-ported) get_type_function_runtime_alt_o Source: Analysis/include/Luau/TypeFunctionRuntime.h:275-281 (hand-ported) get_type_function_runtime_builder Source: Analysis/include/Luau/TypeFunctionRuntimeBuilder.h:14-18 (hand-ported) get_type_id get_type_or_pack Source: Analysis/include/Luau/TypeOrPack.h:15-19 (hand-ported) get_type_or_pack_alt_r Source: Analysis/include/Luau/TypeOrPack.h:21-28 (hand-ported) get_type_or_pack_alt_s Source: Analysis/include/Luau/TypeOrPack.h:30-37 (hand-ported) get_type_pack Node: cxx:Function:Luau.Analysis:Analysis/include/Luau/TypePack.h:204:get
Source: Analysis/include/Luau/TypePack.h (TypePack.h:204-213, hand-ported) get_type_pack_id get_type_user_data get_type_utils Node: cxx:Function:Luau.Analysis:Analysis/include/Luau/TypeUtils.h:230:get
Source: Analysis/include/Luau/TypeUtils.h:229-236 (hand-ported) get_types_type get_types_type_alt_b get_write_indexer get_write_parent getmetatable_helper getmetatable_type_function has_break has_count_mismatch has_free_type has_length has_native_comment_directive has_primitive_type_in_intersection has_seen_visit_type Node: cxx:Function:Luau.Analysis:Analysis/include/Luau/VisitType.h:36:has_seen
Source: Analysis/include/Luau/VisitType.h:36-40 (hand-ported) has_seen_visit_type_alt_b has_tag_type has_tag_type_alt_b has_tag_type_alt_c has_type_in_intersection Source: Analysis/include/Luau/Type.h:1266-1276 (hand-ported) has_unification_too_complex idiv_type_function ignore_reasoning_for_return_type in_conditional index_function_impl C++ TypeFunctionReductionResult<TypeId> indexFunctionImpl( const std::vector<TypeId>& typeParams, const std::vector<TypePackId>& packParams, NotNull<TypeFunctionContext> ctx, bool isRaw)
(BuiltinTypeFunctions.cpp:2077-2209). Shared implementation behind index
and rawget. index_of_block index_type_function instantiate Node: cxx:Function:Luau.Analysis:Analysis/src/Instantiation.cpp:197:instantiate
Source: Analysis/src/Instantiation.cpp (Instantiation.cpp:197-257, hand-ported) instantiate_2_instantiation_2 instantiate_2_instantiation_2_alt_b intersect_one_with_intersection intersect_type_function intersect_with_simple_discriminant invert_polarity invert_simplify is Source: Analysis/include/Luau/Type.h:1077-1087 (hand-ported) is_approximately_falsy_type is_approximately_truthy_type is_being_defined is_binding_legal_at_current_position is_block_terminator is_blocked_or_unsolved_type is_blocked_type_utils is_blocked_unifier is_blocked_unifier_alt_c is_boolean is_buffer is_cacheable_normalize Source: Analysis/src/Normalize.cpp:875-894 (hand-ported) is_cacheable_normalize_alt_b Source: Analysis/src/Normalize.cpp:875-923 (hand-ported) is_cacheable_normalize_alt_c is_comparison_op is_empty Node: cxx:Function:Luau.Analysis:Analysis/src/TypePack.cpp:369:is_empty
Source: Analysis/src/TypePack.cpp:369-378 (hand-ported) is_equal_to_type is_falsy_type_deprecated is_function is_generic is_identifier is_in_local_names is_integer is_irresolvable_unifier_2 is_irresolvable_unifier_2_alt_b is_known is_literal is_metamethod_constraint_generator is_metamethod_type_infer is_negative is_nil is_normalized_boolean is_normalized_buffer is_normalized_error is_normalized_integer is_normalized_nil is_normalized_number is_normalized_string is_normalized_thread is_normalized_top is_normalized_tyvar is_number is_ok_to_compare is_optional is_optional_or_free is_optional_type is_overloaded_function Node: cxx:Function:Luau.Analysis:Analysis/src/Type.cpp:271:is_overloaded_function
Source: Analysis/src/Type.cpp:271-283 (hand-ported) is_path_on_argument_list is_pending is_plain_tyvar is_positive is_prim is_record is_reference_counted_type is_shallow_inhabited is_simple_discriminant_simplify is_simple_discriminant_simplify_alt_b is_simple_interpolated_string is_string is_subclass_normalize is_subclass_type is_subset is_subtype_normalize is_subtype_normalize_alt_b Source: Analysis/src/Normalize.cpp:3749-3762 (hand-ported) is_subtype_normalized_string is_subtype_of is_table_intersection is_table_union is_thread is_top is_toposortable_node is_truthy_or_falsy_type is_truthy_type_deprecated is_type_user_data is_type_variable is_undecidable is_valid_break_continue_context is_valid_class_metamethod is_variadic_tail is_variadic_type_pack is_variadic_type_pack_alt_b is_within_comment_module is_within_comment_module_alt_b is_within_comment_module_alt_c is_within_hot_comment_module is_within_hot_comment_module_alt_b is_within_hot_comment_module_alt_c json_escape keyof_function_impl keyof_type_function le_type_function len_type_function lint C++ free function lint (Analysis/src/Linter.cpp:3517). lint_comments lookup_extern_type_prop lt_type_function make_anonymous make_anonymous_autofilled make_function_builtin_definitions make_function_builtin_definitions_alt_b make_function_builtin_definitions_alt_c make_function_builtin_definitions_alt_d make_intersection make_option make_property make_string_metatable make_suggestions_for_first_component make_suggestions_from_aliases make_suggestions_from_node make_table_shared_normalize make_table_shared_normalize_alt_b make_type_check_limits make_union match_assert match_is_instance_guard match_require match_set_metatable match_table_freeze match_type_guard match_type_of matches matches_prefix max_scope max_unifiable Source: Analysis/include/Luau/Unifiable.h:62-68 (hand-ported) maybe_generic maybe_singleton maybe_string merge merge_reasonings min mk_name_topo_sort_statements mk_name_topo_sort_statements_alt_b mk_name_topo_sort_statements_alt_c mk_name_topo_sort_statements_alt_d mk_name_topo_sort_statements_alt_e mk_name_topo_sort_statements_alt_f mk_name_topo_sort_statements_alt_g mk_name_topo_sort_statements_alt_h mk_name_topo_sort_statements_alt_i mk_name_topo_sort_statements_alt_j mk_name_topo_sort_statements_alt_k mk_name_topo_sort_statements_alt_l mk_name_topo_sort_statements_alt_m mod_type_function mul_type_function must_defer_intersection not_type_function numeric_binop_type_function objectof_type_function occurs_builtin_type_functions occurs_builtin_type_functions_alt_b C++ bool occurs(TypeId haystack, TypeId needle)
(BuiltinTypeFunctions.cpp:1199-1203): seeds an empty seen-set and delegates
to the three-arg recursive occurs. occurs_check_type_utils occurs_check_type_utils_alt_b occurs_txn_log Node: cxx:Function:Luau.Analysis:Analysis/src/TxnLog.cpp:187:occurs
Source: Analysis/src/TxnLog.cpp:187-217 (hand-ported) op_to_meta_table_entry operator_bitand_assign_polarity operator_bitand_assign_unifier_2 operator_bitand_control_flow operator_bitand_polarity operator_bitand_unifier_2 operator_bitor_assign operator_bitor_control_flow operator_bitor_polarity operator_eq operator_lt_iostream_helpers operator_lt_iostream_helpers_alt_b operator_lt_iostream_helpers_alt_c operator_lt_iostream_helpers_alt_d operator_lt_iostream_helpers_alt_e operator_lt_iostream_helpers_alt_f operator_lt_iostream_helpers_alt_g operator_lt_iostream_helpers_alt_h operator_lt_iostream_helpers_alt_i operator_lt_iostream_helpers_alt_j operator_lt_iostream_helpers_alt_k operator_lt_iostream_helpers_alt_l operator_lt_iostream_helpers_alt_m optional_type_user_data or_type_function page_align paged_allocate paged_deallocate paged_freeze paged_unfreeze parse_format_string parse_fragment parse_fragment_deprecated Source: Analysis/src/FragmentAutocomplete.cpp:1000 (hand-ported) parse_mode parse_pattern_string parse_source_for_module persist_checked_types persist_type persist_type_alt_b polarity_of_access pow_type_function print process_require_suggestions promote_type_levels_unifier promote_type_levels_unifier_alt_b propagate_deprecated_attribute_to_constraint Node: cxx:Function:Luau.Analysis:Analysis/src/ConstraintGenerator.cpp:1720:propagate_deprecated_attribute_to_constraint
Source: Analysis/src/ConstraintGenerator.cpp (ConstraintGenerator.cpp:1720-1731, hand-ported) prune Faithful port of Luau::detail::prune
(Analysis/src/TopoSortStatements.cpp:386-401). prune_unnecessary_generics ptr Node: cxx:Function:Luau.Analysis:Analysis/src/TypeOrPack.cpp:9:ptr
Source: Analysis/src/TypeOrPack.cpp:9-17 (hand-ported) push_type push_type_into push_type_pack quantify queue_type_pack rawget_type_function rawkeyof_type_function read_table_prop reasoning_is_return_types reduce_functions_internal reduceFunctionsInternal (TypeFunction.cpp:657-693).reduce_type_functions_type_function reduceTypeFunctions(TypeId entrypoint, ...) (TypeFunction.cpp:695-720).reduce_type_functions_type_function_alt_b reduceTypeFunctions(TypePackId entrypoint, ...) (TypeFunction.cpp:722-747).reduce_union refine_type_function C++ TypeFunctionReductionResult<TypeId> refineTypeFunction(TypeId instance, const std::vector<TypeId>& typeParams, const std::vector<TypePackId>& packParams, NotNull<TypeFunctionContext> ctx)
(BuiltinTypeFunctions.cpp:1207-1432). The refine reducer. register_builtin_globals register_type_user_data Faithful port of void registerTypeUserData(lua_State* L)
(Analysis/src/TypeFunctionRuntime.cpp:1932-2064). register_types_library Faithful port of void registerTypesLibrary(lua_State* L)
(Analysis/src/TypeFunctionRuntime.cpp:1876-1914). rehydrate_annotation relate_simplify relate_simplify_alt_b relate_table_to_extern_type relate_table_to_prop relate_tables remove_type report_available_overloads report_fragment_string report_waypoint reset_log_luau_proc reset_print_line reset_to_top reset_type_function_state return_first_nonnull_option_of_type saturate_arguments std::pair<std::vector<TypeId>, std::vector<TypePackId>> saturateArguments(...)
(Analysis/src/ConstraintSolver.cpp:113-255, hand-ported faithfully).seal_table search_props_and_indexer C++ bool searchPropsAndIndexer(TypeId ty, TableType::Props tblProps, std::optional<TableIndexer> tblIndexer, DenseHashSet<TypeId>& result, NotNull<TypeFunctionContext> ctx) (BuiltinTypeFunctions.cpp:1913). The 2nd
parameter is Props (a BTreeMap<Name, Property>), shared by both
TableType and ExternType callers — NOT a whole TableType. seen_set_contains serialize_type_function_runtime_builder Source: Analysis/src/TypeFunctionRuntimeBuilder.cpp:1106-1109 serialize_type_function_runtime_builder_alt_b Source: Analysis/src/TypeFunctionRuntimeBuilder.cpp:1111-1114 set_function_generics set_function_parameters set_function_returns set_log_luau set_print_line set_read_table_prop set_table_indexer set_table_metatable set_table_prop set_table_read_indexer set_table_write_indexer set_type_function_environment Faithful port of void setTypeFunctionEnvironment(lua_State* L)
(Analysis/src/TypeFunctionRuntime.cpp:2098-2138). set_write_table_prop setmetatable_type_function shallow_clone_clone shallow_clone_clone_alt_b shallow_clone_substitution should_early_exit should_suppress_errors_type_utils should_suppress_errors_type_utils_alt_b should_suppress_errors_type_utils_alt_c should_suppress_errors_type_utils_alt_d should_typestate_for_first_argument similar simplify_intersection_simplify simplify_intersection_simplify_alt_b simplify_union singleton_type_function size_type_pack Node: cxx:Function:Luau.Analysis:Analysis/src/TypePack.cpp:308:size
Source: Analysis/src/TypePack.cpp:308-315 (hand-ported) size_type_pack_alt_b Node: cxx:Function:Luau.Analysis:Analysis/src/TypePack.cpp:330:size
Source: Analysis/src/TypePack.cpp:330-340 (hand-ported) slice_type_pack snapshot_scope snapshot_type_strings solve_function_call C++ static std::optional<TypePackId> solveFunctionCall(NotNull<TypeFunctionContext> ctx, const Location& location, TypeId fnTy, TypePackId argsPack)
(BuiltinTypeFunctions.cpp:121-192). Resolves a (meta)method overload, unifies a
prospective function shape against it, and returns the resulting return pack
(instantiating generic substitutions where the overload was generic). stat_is_before_pos string_part_of_interp_string strip_nil sub_type_function subsumes_scope subsumes_strict subsumes_unifier synthesize_export_return void synthesizeExportReturn(NotNull<BuiltinTypes> builtinTypes, NotNull<Module> module).
Reference: Module.cpp:361-467.table_type_to_string_detailed Node: cxx:Function:Luau.Analysis:Analysis/src/ToString.cpp:1448:table_type_to_string_detailed
Source: Analysis/src/ToString.cpp:1448-1481 (hand-ported) tbl_index_into_builtin_type_functions C++ recursive bool tblIndexInto(TypeId indexer, TypeId indexee, DenseHashSet<TypeId>& result, DenseHashSet<TypeId>& seenSet, NotNull<TypeFunctionContext> ctx, bool isRaw)
(BuiltinTypeFunctions.cpp:1988-2066). Collects the types reachable by indexing
indexee with indexer into result. tbl_index_into_builtin_type_functions_alt_b to_dot_to_dot to_dot_to_dot_alt_b to_dot_to_dot_alt_c to_dot_to_dot_alt_d to_human_readable_index to_json_ast_json_encoder Source: Analysis/src/AstJsonEncoder.cpp:1555-1560 (hand-ported) to_json_ast_json_encoder_alt_b Source: Analysis/src/AstJsonEncoder.cpp:1562-1570 (hand-ported) to_pointer_id_dcr_logger to_pointer_id_dcr_logger_alt_b to_string_constraint_graph Node: cxx:Function:Luau.Analysis:Analysis/src/ConstraintGraph.cpp:469:to_string
Source: Analysis/src/ConstraintGraph.cpp:469-487 (hand-ported) to_string_detailed_to_string Node: cxx:Function:Luau.Analysis:Analysis/src/ToString.cpp:1483:to_string_detailed
Source: Analysis/src/ToString.cpp:1483-1615 (hand-ported) to_string_detailed_to_string_alt_b Node: cxx:Function:Luau.Analysis:Analysis/src/ToString.cpp:1617:to_string_detailed
Source: Analysis/src/ToString.cpp:1617-1720 (hand-ported) to_string_error Node: cxx:Function:Luau.Analysis:Analysis/src/Error.cpp:1447:to_string
Source: Analysis/src/Error.cpp:1447-1450 (hand-ported) to_string_error_alt_k to_string_human Source: Analysis/src/TypePath.cpp:742-967 (hand-ported) to_string_named_function_to_string Node: cxx:Function:Luau.Analysis:Analysis/include/Luau/ToString.h:135:to_string_named_function
Source: Analysis/include/Luau/ToString.h:135-139 (hand-ported) to_string_named_function_to_string_alt_b Node: cxx:Function:Luau.Analysis:Analysis/src/ToString.cpp:1742:to_string_named_function
Source: Analysis/src/ToString.cpp:1742-1824 (hand-ported) to_string_symbol Node: cxx:Function:Luau.Analysis:Analysis/src/Symbol.cpp:21:to_string
Source: Analysis/src/Symbol.cpp:21-28 (hand-ported) to_string_to_string Node: cxx:Function:Luau.Analysis:Analysis/include/Luau/ToString.h:87:to_string
Source: Analysis/include/Luau/ToString.h:87-91 (hand-ported) to_string_to_string_alt_b Node: cxx:Function:Luau.Analysis:Analysis/include/Luau/ToString.h:92:to_string
Source: Analysis/include/Luau/ToString.h:92-96 (hand-ported) to_string_to_string_alt_c Node: cxx:Function:Luau.Analysis:Analysis/include/Luau/ToString.h:100:to_string
Source: Analysis/include/Luau/ToString.h:100-103 (hand-ported) to_string_to_string_alt_d Node: cxx:Function:Luau.Analysis:Analysis/include/Luau/ToString.h:104:to_string
Source: Analysis/include/Luau/ToString.h:104-107 (hand-ported) to_string_to_string_alt_e Node: cxx:Function:Luau.Analysis:Analysis/include/Luau/ToString.h:111:to_string
Source: Analysis/include/Luau/ToString.h:111-114 (hand-ported) to_string_to_string_alt_f Node: cxx:Function:Luau.Analysis:Analysis/include/Luau/ToString.h:121:to_string
Source: Analysis/include/Luau/ToString.h:121-125 (hand-ported) to_string_to_string_alt_g Node: cxx:Function:Luau.Analysis:Analysis/include/Luau/ToString.h:127:to_string
Source: Analysis/include/Luau/ToString.h:127-131 (hand-ported) to_string_to_string_alt_h Node: cxx:Function:Luau.Analysis:Analysis/include/Luau/ToString.h:169:to_string
Source: Analysis/include/Luau/ToString.h:169-173 (hand-ported) to_string_to_string_alt_m Node: cxx:Function:Luau.Analysis:Analysis/src/ToString.cpp:1722:to_string
Source: Analysis/src/ToString.cpp:1722-1725 (hand-ported) to_string_to_string_alt_n Node: cxx:Function:Luau.Analysis:Analysis/src/ToString.cpp:1727:to_string
Source: Analysis/src/ToString.cpp:1727-1730 (hand-ported) to_string_to_string_alt_o Node: cxx:Function:Luau.Analysis:Analysis/src/ToString.cpp:1732:to_string
Source: Analysis/src/ToString.cpp:1732-1735 (hand-ported) to_string_to_string_alt_p Node: cxx:Function:Luau.Analysis:Analysis/src/ToString.cpp:1737:to_string
Source: Analysis/src/ToString.cpp:1737-1740 (hand-ported) to_string_to_string_alt_q Node: cxx:Function:Luau.Analysis:Analysis/src/ToString.cpp:1958:to_string
Source: Analysis/src/ToString.cpp:1958-2058 (hand-ported) to_string_to_string_alt_r Node: cxx:Function:Luau.Analysis:Analysis/src/ToString.cpp:2060:to_string
Source: Analysis/src/ToString.cpp:2060-2063 (hand-ported) to_string_to_string_alt_s Node: cxx:Function:Luau.Analysis:Analysis/src/ToString.cpp:2130:to_string
Source: Analysis/src/ToString.cpp:2130-2133 (hand-ported) to_string_to_string_alt_t Node: cxx:Function:Luau.Analysis:Analysis/src/ToString.cpp:2135:to_string
Source: Analysis/src/ToString.cpp:2135-2139 (hand-ported) to_string_to_string_alt_u Node: cxx:Function:Luau.Analysis:Analysis/src/ToString.cpp:2141:to_string
Source: Analysis/src/ToString.cpp:2141-2149 (hand-ported) to_string_txn_log Node: cxx:Function:Luau.Analysis:Analysis/src/TxnLog.cpp:17:to_string
Source: Analysis/src/TxnLog.cpp:15-23 (hand-ported) to_string_txn_log_alt_w Node: cxx:Function:Luau.Analysis:Analysis/src/TxnLog.cpp:41:to_string
Source: Analysis/src/TxnLog.cpp:41-47 (hand-ported) to_string_type_function_error to_string_type_path Source: Analysis/src/TypePath.cpp:642-740 (hand-ported) to_string_vector_to_string Node: cxx:Function:Luau.Analysis:Analysis/src/ToString.cpp:1934:to_string_vector
Source: Analysis/src/ToString.cpp:1934-1944 (hand-ported) to_string_vector_to_string_alt_b Node: cxx:Function:Luau.Analysis:Analysis/src/ToString.cpp:1946:to_string_vector
Source: Analysis/src/ToString.cpp:1946-1956 (hand-ported) toposort Faithful port of Luau::toposort
(Analysis/src/TopoSortStatements.cpp:520-583). trace_requires track_interior_free_type track_interior_free_type_pack traverse_for_flattened_pack Source: Analysis/src/TypePath.cpp:1143-1180 (hand-ported) traverse_for_index traverse_for_pack_type_path traverse_for_pack_type_path_alt_b traverse_for_type_type_path traverse_for_type_type_path_alt_b traverse_type_path Source: Analysis/src/TypePath.cpp:969-984 (hand-ported) traverse_type_path_alt_b traverse_type_path_alt_c Source: Analysis/src/TypePath.cpp:999-1006 (hand-ported) try_add_type_correct_suggestion try_distribute_type_function_app try_fragment_autocomplete C++ FragmentAutocompleteStatusResult tryFragmentAutocomplete(...)
(FragmentAutocomplete.cpp:1337-1371). try_get_global_binding try_get_global_binding_ref try_get_l_value try_get_type_guard_predicate try_get_type_name_in_scope_autocomplete_core try_get_type_name_in_scope_autocomplete_core_alt_b try_get_type_pack_type_at try_strip_union_from_nil try_to_string_detailed try_unify_with_any type_could_have_metatable type_function_alloc type_userdata_index typecheck_fragment_fragment_autocomplete C++ FragmentTypeCheckResult typecheckFragment_(...) (FragmentAutocomplete.cpp:1119-1289). typecheck_fragment_fragment_autocomplete_alt_b C++ std::pair<FragmentTypeCheckStatus, FragmentTypeCheckResult> typecheckFragment(...)
(FragmentAutocomplete.cpp:1291-1335). tyvar_index unfreeze union_type_function unm_type_function unsee_visit_type unsee_visit_type_alt_b unsupported_function unwrap_group unwrap_lazy Node: cxx:Function:Luau.Analysis:Analysis/src/Type.cpp:37:unwrap_lazy
Source: Analysis/src/Type.cpp (Type.cpp:37-55, hand-ported) user_defined_type_function Node: cxx:Function:Luau.Analysis:Analysis/src/UserDefinedTypeFunction.cpp:219:userDefinedTypeFunction
Source: Analysis/src/UserDefinedTypeFunction.cpp:219-494 weakoptional_type_func write_dcr_logger write_dcr_logger_alt_e write_dcr_logger_alt_f write_dcr_logger_alt_g write_dcr_logger_alt_h write_dcr_logger_alt_i write_dcr_logger_alt_j Source: Analysis/src/DcrLogger.cpp (lines 72-79, faithful port) write_dcr_logger_alt_k write_dcr_logger_alt_l write_dcr_logger_alt_m write_dcr_logger_alt_n write_dcr_logger_alt_o write_dcr_logger_alt_p write_dcr_logger_alt_q write_dcr_logger_alt_r write_dcr_logger_alt_s write_dcr_logger_alt_t write_dcr_logger_alt_u write_dcr_logger_alt_v write_json_emitter Source: Analysis/include/Luau/JsonEmitter.h (lines 212-221, hand-ported) write_json_emitter_alt_aa write_json_emitter_alt_ab write_json_emitter_alt_ac write_json_emitter_alt_ad write_json_emitter_alt_ae write_json_emitter_alt_af Node: cxx:Function:Luau.Analysis:Analysis/src/JsonEmitter.cpp:173:write
Source: Analysis/src/JsonEmitter.cpp (JsonEmitter.cpp:173-176) write_json_emitter_alt_ag write_json_emitter_alt_ah write_json_emitter_alt_ai write_json_emitter_alt_aj write_json_emitter_alt_b Source: Analysis/include/Luau/JsonEmitter.h (lines 227-234, hand-ported) write_json_emitter_alt_c Source: Analysis/include/Luau/JsonEmitter.h (lines 236-245, hand-ported) write_json_emitter_alt_w write_json_emitter_alt_x write_json_emitter_alt_y write_json_emitter_alt_z write_table_prop wrong_number_of_args_string