luaur-analysis 0.1.3

Luau type checker and type inference (Rust).
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178

pub mod autocomplete_entry_map;
pub mod bindings;
pub mod block_id;
pub mod blocked_constraint_id;
pub mod bound_type;
pub mod bound_type_pack;
pub mod component;
pub mod const_iterator;
pub mod constraint_block_target;
pub mod constraint_map;
pub mod constraint_ptr;
pub mod constraint_v;
pub mod constraint_vertex;
pub mod def_id_control_flow_graph;
pub mod def_id_def;
pub mod def_id_refinement;
pub mod definition;
pub mod difference_type_set;
pub mod difference_type_type;
pub mod difference_type_type_pack;
pub mod documentation;
pub mod documentation_database;
pub mod documentation_symbol;
pub mod error_type;
pub mod error_type_pack;
pub mod error_vec;
pub mod r#impl;
pub mod incompatibility_reason;
pub mod instr_id;
pub mod instruction;
pub mod intersection_type_iterator;
pub mod iterator_category_constraint_graph;
pub mod iterator_category_set;
pub mod iterator_category_type;
pub mod iterator_category_type_pack;
pub mod iterator_set;
pub mod iterator_type_ids;
pub mod l_value;
pub mod literal_properties;
pub mod log_luau_proc;
pub mod lookup_result;
pub mod lua_state;
pub mod module_name_file_resolver;
pub mod module_name_type;
pub mod module_name_type_fwd;
pub mod module_ptr_module;
pub mod module_ptr_module_resolver;
pub mod module_ptr_normalize;
pub mod name_type;
pub mod name_type_function_runtime;
pub mod name_type_function_runtime_alt_c;
pub mod name_type_fwd;
pub mod name_type_infer;
pub mod name_unifiable;
pub mod node_list;
pub mod node_queue;
pub mod nominal_relation;
pub mod normalized_tyvars;
pub mod path;
pub mod pointer_constraint_graph;
pub mod pointer_set;
pub mod pointer_type;
pub mod pointer_type_pack;
pub mod predicate;
pub mod predicate_vec;
pub mod print_line_proc_type_checker_2;
pub mod print_line_proc_type_infer;
pub mod props_data_flow_graph;
pub mod props_type;
pub mod props_type_alt_c;
pub mod props_type_function_runtime;
pub mod props_type_function_runtime_alt_e;
pub mod reducer_function;
pub mod reference_constraint_graph;
pub mod reference_set;
pub mod reference_type;
pub mod reference_type_pack;
pub mod refinement_context;
pub mod refinement_control_flow_graph;
pub mod refinement_id_control_flow_graph;
pub mod refinement_id_refinement;
pub mod refinement_map;
pub mod refinement_refinement;
pub mod require_suggestions;
pub mod saved_iter_info;
pub mod scope_ptr_anyification;
pub mod scope_ptr_ast_query;
pub mod scope_ptr_constraint_generator;
pub mod scope_ptr_control_flow;
pub mod scope_ptr_linter;
pub mod scope_ptr_module;
pub mod scope_ptr_scope;
pub mod scope_ptr_type;
pub mod scope_ptr_type_infer;
pub mod scope_ptr_type_utils;
pub mod scope_stack;
pub mod seen_set_iterative_type_function_type_visitor;
pub mod seen_set_iterative_type_visitor;
pub mod seen_set_structural_type_equality;
pub mod seen_set_subtyping;
pub mod seen_table_prop_pairs;
pub mod seen_type_pack_set;
pub mod seen_type_packs_clone;
pub mod seen_type_packs_type_function_runtime;
pub mod seen_type_packs_type_function_runtime_builder;
pub mod seen_type_packs_type_function_runtime_builder_alt_d;
pub mod seen_types_clone;
pub mod seen_types_type_function_runtime;
pub mod seen_types_type_function_runtime_builder;
pub mod seen_types_type_function_runtime_builder_alt_d;
pub mod set;
pub mod set_hash_default;
pub mod simplifier_seen_set;
pub mod singleton_variant;
pub mod state_ref;
pub mod step_snapshot;
pub mod string_completion_callback;
pub mod subtyping_reasonings;
pub mod synthetic_names;
pub mod t_dcr_logger;
pub mod t_substitution;
pub mod t_to_dot;
pub mod t_to_string;
pub mod t_type_arena;
pub mod t_type_path;
pub mod t_type_path_alt_g;
pub mod tags;
pub mod type_error_data;
pub mod type_function_depth_counter;
pub mod type_function_error_data;
pub mod type_function_kind;
pub mod type_function_singleton_variant;
pub mod type_function_type_id;
pub mod type_function_type_pack_id;
pub mod type_function_type_pack_variant;
pub mod type_function_type_variant;
pub mod type_id;
pub mod type_id_predicate;
pub mod type_or_pack;
pub mod type_or_pack_id;
pub mod type_or_type_pack_id_set;
pub mod type_pack_id;
pub mod type_pack_ids;
pub mod type_pack_variant;
pub mod type_variant;
pub mod union_type_iterator;
pub mod upper_bounds;
pub mod v;
pub mod value_type_constraint_graph;
pub mod value_type_set;
pub mod value_type_type;
pub mod value_type_type_pack;
pub mod variant;

pub mod free_type_pack {
    pub use crate::records::free_type_pack::*;
}
pub mod type_pack_var {
    pub use crate::records::type_pack_var::*;
}
pub mod type_fun {
    pub use crate::records::type_fun::*;
}
pub mod symbol {
    pub use crate::records::symbol::*;
}
pub mod table_state {
    pub use crate::enums::table_state::*;
}
pub mod type_level {
    pub use crate::records::type_level::*;
}
pub mod lua_c_function {
    pub use luaur_vm::type_aliases::lua_c_function::*;
}
pub mod t_string {
    pub use luaur_vm::type_aliases::t_string::*;
}