Docs.rs
luaur-analysis-0.1.1
Platform
x86_64-unknown-linux-gnu
Feature flags
docs.rs
About docs.rs
Badges
Builds
Metadata
Shorthand URLs
Download
Rustdoc JSON
Build queue
Privacy policy
Rust
Rust website
The Book
Standard Library API Reference
Rust by Example
The Cargo Guide
Clippy Documentation
luaur-analysis 0.1.1
Luau type checker and type inference (Rust).
Crate
Source
Builds
Feature flags
Documentation
..
ambiguous_function_call.rs
and_predicate.rs
annotation_types_at_location.rs
any_type.rs
anyification.rs
anything.rs
apply_mapped_generics.rs
apply_type_function.rs
arc_collector.rs
arcs.rs
are_equal_state.rs
array_emitter.rs
assign.rs
assign_index_constraint.rs
assign_prop_constraint.rs
ast_array_predicate.rs
ast_expr_table_finder.rs
ast_json_encoder.rs
autocomplete_entry.rs
autocomplete_node_finder.rs
autocomplete_result.rs
basic_documentation.rs
bidirectional_type_pusher.rs
binding.rs
binding_snapshot.rs
block.rs
block_scope.rs
blocked_type.rs
blocked_type_finder.rs
blocked_type_in_literal_visitor.rs
blocked_type_pack.rs
boolean_singleton.rs
bound.rs
boundary_snapshot.rs
build_queue_item.rs
build_queue_work_state.rs
built_in_type_function_error.rs
builtin_type_functions.rs
builtin_types.rs
cannot_assign_to_never.rs
cannot_call_non_function.rs
cannot_check_dynamic_string_format_calls.rs
cannot_compare_unrelated_types.rs
cannot_extend_table.rs
cannot_infer_binary_operation.rs
cell.rs
cfg_allocator.rs
cfg_builder.rs
check_result.rs
checked_function_call_error.rs
checked_function_incorrect_args.rs
checkpoint.rs
class_decl_record.rs
class_user_data.rs
clone_public_interface.rs
clone_state.rs
code_too_complex.rs
collect_union_type_options.rs
config_resolver.rs
conjunction_control_flow_graph.rs
conjunction_refinement.rs
const_iterator.rs
constraint.rs
constraint_block.rs
constraint_generation_log.rs
constraint_generator.rs
constraint_graph.rs
constraint_list.rs
constraint_set.rs
constraint_snapshot.rs
constraint_solver.rs
constraint_solving_incomplete_error.rs
constraint_step_snapshot.rs
contains_any_generic_deprecated.rs
contains_function_call.rs
contains_generics.rs
contains_refinable_type.rs
control_flow_graph.rs
count_mismatch.rs
counter_state.rs
data_flow_graph.rs
data_flow_graph_builder.rs
data_flow_result.rs
dcr_logger.rs
declare.rs
def.rs
def_arena.rs
demoter.rs
deprecated_api_used.rs
dfg_scope.rs
disjunction_control_flow_graph.rs
disjunction_refinement.rs
duplicate_generic_parameter.rs
duplicate_type_definition.rs
dynamic_property_lookup_on_extern_types_unsafe.rs
element_result.rs
eq_predicate.rs
equality_constraint.rs
equivalence.rs
error.rs
error_converter.rs
error_snapshot.rs
error_suppression.rs
expected_type_visitor.rs
explicit_function_annotation_recommended.rs
expr_or_local.rs
expr_printer.rs
expr_types_at_location.rs
extern_type.rs
extra_information.rs
failed_to_compile.rs
field.rs
file_resolver.rs
find_all_union_members.rs
find_cyclic_types.rs
find_expr_or_local.rs
find_full_ancestry.rs
find_function_type_in.rs
find_node.rs
find_refinement_blockers.rs
find_simplification_blockers.rs
find_user_type_function_blockers.rs
fragment_autocomplete_ancestry_result.rs
fragment_autocomplete_result.rs
fragment_autocomplete_status_result.rs
fragment_autocomplete_type_cloner.rs
fragment_context.rs
fragment_parse_result.rs
fragment_region.rs
fragment_type_check_result.rs
free_type.rs
free_type_pack.rs
free_type_searcher.rs
freeze_type_function_types.rs
frontend.rs
frontend_cancellation_token.rs
frontend_module_resolver.rs
frontend_options.rs
fuel_initializer.rs
function_argument.rs
function_call_constraint.rs
function_capture.rs
function_check_constraint.rs
function_definition.rs
function_documentation.rs
function_does_not_take_self.rs
function_exits_without_returning.rs
function_graph_reduction_result.rs
function_info.rs
function_parameter_documentation.rs
function_requires_self.rs
function_signature.rs
function_type.rs
generalization_constraint.rs
generalization_params.rs
generalization_result.rs
generalize_step_snapshot.rs
generic_bounds.rs
generic_bounds_mismatch.rs
generic_counter.rs
generic_error.rs
generic_pack_mapping.rs
generic_type.rs
generic_type_count_mismatch.rs
generic_type_definition.rs
generic_type_definitions.rs
generic_type_finder.rs
generic_type_pack.rs
generic_type_pack_count_mismatch.rs
generic_type_pack_definition.rs
generic_type_visitor.rs
global_linter.rs
global_linter_alt_b.rs
global_linter_alt_c.rs
global_linter_alt_d.rs
global_name_collector.rs
global_prepopulator.rs
global_types.rs
has_free_type.rs
has_indexer_constraint.rs
has_prop_constraint.rs
hash_blocked_constraint_id.rs
hash_bool_name_pair.rs
hash_instantiation_signature.rs
hash_luau_symbol.rs
hash_subtype_constraint_record.rs
hold_conditional_execution.rs
i_fragment_autocomplete_reporter.rs
identifier.rs
identifier_hash.rs
illegal_require.rs
in_conditional_context.rs
incomplete_inference.rs
incorrect_generic_parameter_count.rs
index.rs
index_collector.rs
indexer_index_collector.rs
inference.rs
inference_pack.rs
inferred_binding.rs
infinite_type_finder.rs
inplace_demoter.rs
instance_collector.rs
instance_collector_2.rs
instantiate_generics_on_non_function.rs
instantiation.rs
instantiation_2.rs
instantiation_queuer.rs
instantiation_queuer_deprecated.rs
instantiation_signature.rs
interior_free_types.rs
internal_compiler_error.rs
internal_error.rs
internal_error_reporter.rs
internal_type_finder.rs
internal_type_function_finder.rs
intersection_builder.rs
intersection_type.rs
intersection_type_iterator.rs
invalid_name_checker.rs
is_a_predicate.rs
iterable_constraint.rs
iterative_type_function_type_visitor.rs
iterative_type_visitor.rs
iterator.rs
join.rs
json_emitter.rs
klass.rs
l_value_hasher.rs
lazy_type.rs
lint_comparison_precedence.rs
lint_context.rs
lint_deprecated_api.rs
lint_duplicate_condition.rs
lint_duplicate_function.rs
lint_duplicate_local.rs
lint_for_range.rs
lint_format_string.rs
lint_global_local.rs
lint_implicit_return.rs
lint_integer_parsing.rs
lint_local_hygiene.rs
lint_misleading_and_or.rs
lint_multi_line_statement.rs
lint_redundant_native_attribute.rs
lint_result.rs
lint_same_line_statement.rs
lint_table_literal.rs
lint_table_operations.rs
lint_unbalanced_assignment.rs
lint_uninitialized_local.rs
lint_unknown_type.rs
lint_unreachable_code.rs
lint_unused_function.rs
load_definition_file_result.rs
local_linter.rs
local_linter_alt_b.rs
luau_temp_thread_popper.rs
magic_assert.rs
magic_clone.rs
magic_find.rs
magic_format.rs
magic_freeze.rs
magic_function.rs
magic_function_call_context.rs
magic_function_type_check_context.rs
magic_gmatch.rs
magic_match.rs
magic_pack.rs
magic_pcall.rs
magic_refinement_context.rs
magic_require.rs
magic_select.rs
magic_set_metatable.rs
mapped_generic_environment.rs
mapped_generic_frame.rs
metatable_type.rs
missing_properties.rs
missing_union_property.rs
mod.rs
module.rs
module_has_cyclic_dependency.rs
module_info.rs
module_resolver.rs
multiple_nonviable_overloads.rs
name_constraint.rs
native_stack_guard.rs
nearest_likely_block_finder.rs
nearest_statement_finder.rs
negation_control_flow_graph.rs
negation_refinement.rs
negation_type.rs
negation_type_finder.rs
never_type.rs
no_refine_type.rs
node.rs
non_exceptional_recursion_limiter.rs
non_strict_context.rs
non_strict_function_definition_error.rs
non_strict_type_checker.rs
normalization_too_complex.rs
normalized_extern_type.rs
normalized_function_type.rs
normalized_string_type.rs
normalized_type.rs
normalizer.rs
normalizer_hit_limits.rs
not_a_table.rs
not_bindable.rs
not_null.rs
not_predicate.rs
nothing.rs
null_file_resolver.rs
null_module_resolver.rs
obj.rs
object_emitter.rs
occurs_check_failed.rs
only_tables_can_have_methods.rs
optional_value_access.rs
or_predicate.rs
ordered_map.rs
overload_error_entry.rs
overload_resolution.rs
overload_resolver.rs
overloaded_function_documentation.rs
pack_slice.rs
pack_subtype_constraint.rs
pack_where_clause_needed.rs
path.rs
path_builder.rs
path_hash.rs
pending_expansion_type.rs
pending_type.rs
pending_type_pack.rs
phi.rs
primitive_type.rs
primitive_type_constraint.rs
promote_type_levels.rs
property_access_violation.rs
property_type.rs
property_type_path.rs
property_types.rs
proposition_control_flow_graph.rs
proposition_refinement.rs
push_function_type_constraint.rs
push_scope.rs
push_type_constraint.rs
push_type_result.rs
quantifier.rs
reasonings.rs
rec.rs
recursion_counter.rs
recursion_limit_exception.rs
recursion_limiter.rs
recursive_restraint_violation.rs
reduce_constraint.rs
reduce_pack_constraint.rs
reduction.rs
reference_count_initializer.rs
refine.rs
refine_type_scrubber.rs
refinement_arena_control_flow_graph.rs
refinement_arena_refinement.rs
refinement_key.rs
refinement_key_arena.rs
refinement_partition.rs
replace_generics.rs
replacer.rs
replacer_deprecated.rs
require_alias.rs
require_cycle.rs
require_node.rs
require_suggester.rs
require_suggestion.rs
require_trace_result.rs
require_tracer.rs
reserved_identifier.rs
resetter.rs
result.rs
runtime_error.rs
scope.rs
scope_snapshot.rs
scoped_assign.rs
scoped_exit.rs
selected_overload.rs
serialized_function_scope.rs
serialized_generic.rs
set.rs
simplify_constraint.rs
simplify_result.rs
singleton_type.rs
skip_cache_for_type.rs
source_code.rs
source_module.rs
source_node.rs
stack_pusher_non_strict_type_checker.rs
stack_pusher_type_checker_2.rs
state_dot.rs
statement.rs
stats.rs
std_equal_to_const_luau_type_ids.rs
std_equal_to_luau_type_ids.rs
std_hash_const_luau_type_ids.rs
std_hash_luau_type_ids.rs
string_singleton.rs
stringifier_state.rs
substitution.rs
subtype_constraint.rs
subtype_constraint_record.rs
subtyping.rs
subtyping_environment.rs
subtyping_reasoning.rs
subtyping_reasoning_hash.rs
subtyping_result.rs
subtyping_unifier.rs
swapped_generic_type_parameter.rs
sym_def.rs
symbol.rs
syntax_error.rs
table_documentation.rs
table_indexer.rs
table_prop_lookup_result.rs
table_type.rs
tarjan.rs
tarjan_node.rs
tarjan_worklist_vertex.rs
time_limit_error.rs
to_dot_options.rs
to_string_name_map.rs
to_string_options.rs
to_string_result.rs
to_string_span.rs
traversal_state.rs
truthy_predicate.rs
try_pair.rs
txn_log.rs
type.rs
type_alias_expansion_constraint.rs
type_arena.rs
type_attacher.rs
type_binding_snapshot.rs
type_cacher.rs
type_check_limits.rs
type_check_log.rs
type_checker.rs
type_checker_2.rs
type_cloner.rs
type_error.rs
type_error_summary.rs
type_error_to_string_options.rs
type_fun.rs
type_function.rs
type_function_any_type.rs
type_function_boolean_singleton.rs
type_function_cloner.rs
type_function_context.rs
type_function_deserializer.rs
type_function_error.rs
type_function_error_converter.rs
type_function_extern_type.rs
type_function_finder.rs
type_function_function_type.rs
type_function_generic_type.rs
type_function_generic_type_pack.rs
type_function_inference_result.rs
type_function_instance_type.rs
type_function_instance_type_pack.rs
type_function_intersection_type.rs
type_function_missing.rs
type_function_negation_type.rs
type_function_never_type.rs
type_function_primitive_type.rs
type_function_property.rs
type_function_reducer.rs
type_function_reduction_guess_result.rs
type_function_reduction_guesser.rs
type_function_reduction_result.rs
type_function_runtime.rs
type_function_runtime_builder_state.rs
type_function_serializer.rs
type_function_singleton_type.rs
type_function_string_singleton.rs
type_function_table_indexer.rs
type_function_table_type.rs
type_function_type.rs
type_function_type_pack.rs
type_function_type_pack_var.rs
type_function_union_type.rs
type_function_unknown_type.rs
type_function_variadic_type_pack.rs
type_guard.rs
type_guard_predicate.rs
type_id_pair_hash.rs
type_ids.rs
type_instantiation_constraint.rs
type_instantiation_count_mismatch.rs
type_iterator.rs
type_level.rs
type_mismatch.rs
type_once_visitor.rs
type_pack.rs
type_pack_function.rs
type_pack_iterator.rs
type_pack_mismatch.rs
type_pack_rehydration_visitor.rs
type_pack_stringifier.rs
type_pack_var.rs
type_pair_hash.rs
type_reduction_reentrancy_guard.rs
type_rehydration_options.rs
type_rehydration_visitor.rs
type_remover.rs
type_searcher.rs
type_simplifier.rs
type_solve_log.rs
type_stringifier.rs
type_visitor.rs
typed_allocator.rs
types_are_unrelated.rs
unapplied_type_function.rs
unblocked_types.rs
unexpected_array_like_table_item.rs
unexpected_type_in_subtyping.rs
unexpected_type_pack_in_subtyping.rs
unifiable.rs
unification_too_complex.rs
unifier.rs
unifier_2.rs
unifier_counters.rs
unifier_options.rs
unifier_shared_state.rs
uninhabited_type_function.rs
uninhabited_type_pack_function.rs
union_builder.rs
union_type.rs
union_type_iterator.rs
unknown_prop_but_found_like_prop.rs
unknown_property.rs
unknown_require.rs
unknown_symbol.rs
unknown_type.rs
unmapped.rs
unpack_constraint.rs
unscoped_generic_finder.rs
unsupported_type.rs
unsupported_type_pack.rs
usage_finder.rs
user_cancel_error.rs
user_defined_function_data.rs
user_defined_type_function_error.rs
variadic.rs
variadic_type_pack.rs
variant.rs
visitor.rs
warning_comparator.rs
weird_iter.rs
where_clause_needed.rs
widen.rs
with_predicate.rs
work_item_iterative_type_function_type_visitor.rs
work_item_iterative_type_visitor.rs