Code
Hub
Workspaces
Following
Trending
Connect
MCP
copy
Create free account
hub
/
github.com/bea4dev/catla
/ functions
Functions
1,060 in github.com/bea4dev/catla
⨍
Functions
1,060
◇
Types & classes
358
↓ 5 callers
Method
unify
( &mut self, first_entity_id: Spanned<EntityID>, second_entity_id: Spanned<EntityID>,
catla_old_unused/src/transpiler/semantics/types/type_inference.rs:272
↓ 5 callers
Function
validate_syntax_program
( ast: Program, context: &TranspileModuleContext, user_type_environment_span: Option<Range<usize>>
catla_old_unused/src/transpiler/semantics/syntax_validation.rs:24
↓ 4 callers
Function
add_constraint_between_flows
(shorter: &ExprFlow, longer: &ExprFlow, state: &mut FunctionState)
src/catla_optimization/src/lifetime.rs:2025
↓ 4 callers
Method
add_function_call
(&mut self, function_call: FunctionCallLifetime)
catla_old_unused/src/transpiler/optimizer/lifetime_analyzer.rs:208
↓ 4 callers
Method
all_infos
(&self)
src/catla_type/src/types.rs:413
↓ 4 callers
Function
bind_variable_for_tuple
( ast: &VariableBinding, ty: &Type, type_span: &Range<usize>, type_environment: &mut TypeEnvir
catla_old_unused/src/transpiler/semantics/types/type_inference.rs:2871
↓ 4 callers
Function
codegen_for_generics_define
(ast: &GenericsDefine, current_crate_name: &str)
src/catla_codegen/src/codegen.rs:1643
↓ 4 callers
Function
codegen_for_object_type_without_class_wrapper
( ast: &TypeInfo, type_infer_results: &HashMap<EntityID, Spanned<Type>>, user_type_set: &GlobalUse
src/catla_codegen/src/codegen.rs:1919
↓ 4 callers
Method
collect_argument_tree_ref
( &self, lifetime_tree_ref: LifetimeTreeRef, argument_refs: &mut Vec<LifetimeTreeRef>,
catla_old_unused/src/transpiler/optimizer/lifetime_analyzer.rs:694
↓ 4 callers
Function
collect_import_module_generics
( ast: &Generics, import_element_map: &mut FxHashMap<EntityID, Spanned<String>>, name_resolved_map
catla_old_unused/src/transpiler/semantics/types/import_module_collector.rs:1138
↓ 4 callers
Function
collect_module_element_name
( name: &Literal, module_element_names: &mut HashMap<String, R
src/catla_name_resolver/src/resolve.rs:70
↓ 4 callers
Function
collect_parse_error_generics_define
( ast: &GenericsDefine, errors: &mut Vec<TranspileError>, warnings: &mut Vec<TranspileWarning>,
catla_old_unused/src/transpiler/parse_error.rs:364
↓ 4 callers
Function
collect_variable_binding
( binding: &VariableBinding, name_resolved_map: &HashMap<EntityID, ResolvedInfo>, lifetime_results
src/catla_print_debug/src/optimization.rs:162
↓ 4 callers
Method
contains_static_lifetime
( &self, lifetime_tree_ref: LifetimeTreeRef, loop_suppressor: &mut LoopSuppressor,
catla_old_unused/src/transpiler/optimizer/lifetime_analyzer.rs:620
↓ 4 callers
Method
create_instance
(&mut self, ty: &Type, user_type_set: &GlobalUserTypeSet)
src/catla_type/src/type_infer.rs:870
↓ 4 callers
Method
create_node
( &mut self, alloc_origin: Option<EntityID>, drop_order: Option<usize>, is_arg
src/catla_optimization/src/lifetime.rs:350
↓ 4 callers
Function
create_temp_var_with_name
( code_builder: &mut CodeBuilder<'allocator>, span: Range<usize>, entity_id: EntityID, name: &
catla_old_unused/src/transpiler/codegen/program.rs:41
↓ 4 callers
Function
function_symbol_from_type
(ty: &Type)
src/catla_optimization/src/lifetime.rs:837
↓ 4 callers
Method
get_entity_lifetime_tree_ref
(&self, entity_id: EntityID)
catla_old_unused/src/transpiler/optimizer/lifetime_analyzer.rs:184
↓ 4 callers
Function
get_expression_span
(expression: Expression)
catla_old_unused/src/transpiler/semantics/syntax_validation.rs:585
↓ 4 callers
Function
get_generic_type
( ast: &GenericsDefine, user_type_map: &FxHashMap<String, Type>, import_element_map: &FxHashMap<En
catla_old_unused/src/transpiler/semantics/types/user_type_element_collector.rs:2258
↓ 4 callers
Function
get_module_name_from_primary
( ast: &Primary, name_resolved_map: &FxHashMap<EntityID, FoundDefineInfo>, import_element_map: &Fx
catla_old_unused/src/transpiler/semantics/types/import_module_collector.rs:553
↓ 4 callers
Method
get_user_or_function_type_with_local_generic_id
( &mut self, ty: WithDefineInfo<Type>, current_scope_implements_info_set: &Option<Arc<
catla_old_unused/src/transpiler/semantics/types/type_inference.rs:132
↓ 4 callers
Method
infer_type_for_generic_bounds
( &self, original_bound: &Type, local_generic_replaced_bound: &Type, local_gen
catla_old_unused/src/transpiler/semantics/types/type_info.rs:1814
↓ 4 callers
Function
infer_type_for_new_object_expression
( ast: &NewObjectExpression, object_type: Spanned<Type>, type_
src/catla_type/src/type_infer.rs:3028
↓ 4 callers
Function
is_class_literal
( literal: &Spanned<&str>, type_infer_results: &HashMap<EntityID, Spanned<Type>>, name_resolved_ma
src/catla_codegen/src/codegen.rs:2076
↓ 4 callers
Function
is_class_type_info_or_inferred
( type_info: &TypeInfo, type_infer_results: &HashMap<EntityID, Spanned<Type>>, user_type_set: &Glo
src/catla_codegen/src/codegen.rs:2060
↓ 4 callers
Function
is_class_user_type
(user_type_info: GlobalUserTypeID, user_type_set: &GlobalUserTypeSet)
src/catla_optimization/src/lifetime.rs:2902
↓ 4 callers
Method
is_required_function_recursive_info
(&self)
catla_old_unused/src/transpiler/context.rs:158
↓ 4 callers
Method
is_satisfied
( &self, ty: &Type, bounds: &Vec<Arc<Bound>>, type_environment: &mut TypeEnvir
catla_old_unused/src/transpiler/semantics/types/type_info.rs:1604
↓ 4 callers
Function
mutex
(count_and_flags: usize)
src/catla_std/src/object.rs:26
↓ 4 callers
Function
name_resolve_generics
( ast: &'allocator Generics<'input, 'allocator>, environment_id: EntityID, name_environments: &mut
catla_old_unused/src/transpiler/name_resolver.rs:1591
↓ 4 callers
Function
name_resolve_generics_define
( ast: &'allocator GenericsDefine<'input, 'allocator>, environment_id: EntityID, name_environments
catla_old_unused/src/transpiler/name_resolver.rs:711
↓ 4 callers
Function
name_resolve_type_tag
( ast: &'allocator TypeTag<'input, 'allocator>, environment_id: EntityID, name_environments: &mut
catla_old_unused/src/transpiler/name_resolver.rs:1615
↓ 4 callers
Function
parse_as_literal
( cursor: &mut TokenCursor<'input, 'allocator>, )
catla_old_unused/catla_parser/src/parser.rs:975
↓ 4 callers
Function
parse_block
( cursor: &mut TokenCursor<'input, 'allocator>, )
catla_old_unused/catla_parser/src/parser/statement.rs:1195
↓ 4 callers
Function
parse_generics
( cursor: &mut TokenCursor<'input, 'allocator>, )
catla_old_unused/catla_parser/src/parser/types.rs:230
↓ 4 callers
Function
parse_generics_define
( cursor: &mut TokenCursor<'input, 'allocator>, )
catla_old_unused/catla_parser/src/parser/statement.rs:853
↓ 4 callers
Function
parse_generics_define
( lexer: &mut Lexer<'input>, errors: &mut std::vec::Vec<ParseError>, allocator: &'allocator Bump,
src/catla_parser/src/parser/types.rs:251
↓ 4 callers
Function
parse_generics_info
( lexer: &mut Lexer<'input>, errors: &mut std::vec::Vec<ParseError>, allocator: &'allocator Bump,
src/catla_parser/src/parser/types.rs:14
↓ 4 callers
Function
parse_type_info_result
( cursor: &mut TokenCursor<'input, 'allocator>, )
catla_old_unused/catla_parser/src/parser/types.rs:192
↓ 4 callers
Function
print_program
(ast: Program, info: &mut Vec<LifetimeInfo>, context: &TranspileModuleContext)
catla_old_unused/src/transpiler/optimizer/lifetime_analyzer/debug.rs:94
↓ 4 callers
Method
push_indent
(&mut self)
catla_old_unused/src/transpiler/codegen.rs:65
↓ 4 callers
Method
regenerate_local_generic
(&mut self, ty: &Type)
catla_old_unused/src/transpiler/semantics/types/type_inference.rs:1284
↓ 4 callers
Function
register_variable_binding
( ast: &VariableBinding<'input, 'allocator>, name_environment: &NameEnvironment<'input, 'allocator>,
catla_old_unused/src/transpiler/name_resolver.rs:926
↓ 4 callers
Method
resolve
( &self, env: NameEnvironmentID, name: &str, entity_id: EntityID, span
src/catla_name_resolver/src/lib.rs:126
↓ 4 callers
Method
resolve_entity_type_with_id
( &self, entity_id: EntityID, )
catla_old_unused/src/transpiler/semantics/types/type_inference.rs:1103
↓ 4 callers
Function
resolve_name_for_generics_define
( ast: &GenericsDefine<'input, '_>, environment: NameEnvironmentID, components: &mut NameEnvironme
src/catla_name_resolver/src/resolve.rs:599
↓ 4 callers
Function
resolve_name_for_variable_binding
( ast: &VariableBinding<'input, '_>, environment: NameEnvironmentID, components: &mut NameEnvironm
src/catla_name_resolver/src/resolve.rs:537
↓ 3 callers
Method
add_check_type_info_generics_define
( &mut self, generics_define: &Vec<Arc<GenericType>>, current_scope_implements_info_se
catla_old_unused/src/transpiler/semantics/types/type_inference.rs:1853
↓ 3 callers
Method
alloc_origin
(&self, node_ref: LifetimeTreeRef)
src/catla_optimization/src/lifetime.rs:412
↓ 3 callers
Method
borrow_type_variable_set
( &self, type_variable_id: TypeVariableID, )
src/catla_type/src/type_infer.rs:651
↓ 3 callers
Method
build
(self, context: &TranspileModuleContext)
catla_old_unused/src/transpiler/codegen.rs:90
↓ 3 callers
Function
codegen_block_as_expression
( block: &catla_parser::ast::Block, type_infer_results: &HashMap<EntityID, Spanned<Type>>, lifetim
src/catla_codegen/src/codegen.rs:3058
↓ 3 callers
Function
codegen_for_inferred_type
( ty: &Type, user_type_set: &GlobalUserTypeSet, _current_crate_name: &str, )
src/catla_codegen/src/codegen.rs:1974
↓ 3 callers
Function
codegen_function_call_arguments
( ast: &FunctionCall<'input, '_>, type_inference_result: &'ty TypeInferenceResultContainer, lifeti
catla_old_unused/src/transpiler/codegen/program.rs:1601
↓ 3 callers
Function
codegen_function_define
( statement: &StatementWithTagAndDocs, function_define: &FunctionDefine, public: bool, in_trai
src/catla_codegen/src/codegen.rs:1424
↓ 3 callers
Function
collect_import_element_for_generics
( ast: &GenericsInfo, import_elements: &mut HashMap<EntityID, Vec<ImportElement>>, package_resourc
src/catla_import/src/element.rs:635
↓ 3 callers
Function
collect_import_element_for_where_clause
( ast: &WhereClause, import_elements: &mut HashMap<EntityID, Vec<ImportElement>>, package_resource
src/catla_import/src/element.rs:297
↓ 3 callers
Function
collect_import_for_generics
( ast: &GenericsInfo, modules: &mut Vec<String>, package_resource_set: &PackageResourceSet, )
src/catla_import/src/import.rs:320
↓ 3 callers
Function
collect_import_for_where_clause
( ast: &WhereClause, modules: &mut Vec<String>, package_resource_set: &PackageResourceSet, )
src/catla_import/src/import.rs:168
↓ 3 callers
Method
collect_info
( &mut self, type_inference_results: &mut TypeInferenceResultContainer, global_impleme
catla_old_unused/src/transpiler/semantics/types/type_inference.rs:1416
↓ 3 callers
Function
collect_lifetime_and_expression
( ast: &'allocator AndExpression<'_, 'allocator>, force_be_expression: bool, as_assign_left: bool,
catla_old_unused/src/transpiler/optimizer/lifetime_analyzer/lifetime_collector.rs:832
↓ 3 callers
Function
collect_lifetime_function_call
( ast: &'allocator FunctionCall<'_, 'allocator>, call_target_entity_id: EntityID, this_lifetime_re
catla_old_unused/src/transpiler/optimizer/lifetime_analyzer/lifetime_collector.rs:2357
↓ 3 callers
Function
collect_lifetime_mapping_operator
( ast: &'allocator MappingOperator<'_, 'allocator>, prev_lifetime_tree_ref: LifetimeTreeRef, retur
catla_old_unused/src/transpiler/optimizer/lifetime_analyzer/lifetime_collector.rs:2059
↓ 3 callers
Function
collect_parse_error_block
( ast: &Block, errors: &mut Vec<TranspileError>, warnings: &mut Vec<TranspileWarning>, context
catla_old_unused/src/transpiler/parse_error.rs:425
↓ 3 callers
Function
collect_parse_error_type_tag
( ast: &TypeTag, errors: &mut Vec<TranspileError>, warnings: &mut Vec<TranspileWarning>, conte
catla_old_unused/src/transpiler/parse_error.rs:946
↓ 3 callers
Function
collect_parse_error_where_clause
( ast: &WhereClause, errors: &mut Vec<TranspileError>, warnings: &mut Vec<TranspileWarning>, c
catla_old_unused/src/transpiler/parse_error.rs:392
↓ 3 callers
Method
collect_reachable_alloc_origins
( &self, roots: &HashSet<LifetimeTreeRef>, )
src/catla_optimization/src/lifetime.rs:442
↓ 3 callers
Function
collect_stack_alloc_new_object_entities
( expression: &Expression, lifetime_analyze_results: Option<&LifetimeAnalyzeResults>, )
src/catla_codegen/src/codegen.rs:2310
↓ 3 callers
Function
collect_user_type_ids_in_type
( ty: &Type, user_type_set: &GlobalUserTypeSet, output: &mut HashSet<GlobalUserTypeID>, )
src/catla_optimization/src/lifetime.rs:2860
↓ 3 callers
Function
collect_variable_info_variable_binding
( ast: &VariableBinding, variable_move_info: &VariableUserInfo, info: &mut Vec<VariableInfo>, )
catla_old_unused/src/transpiler/optimizer/variable_users/debug.rs:131
↓ 3 callers
Function
collect_variable_info_variable_literal
( literal: &Spanned<&str>, variable_move_info: &VariableUserInfo, info: &mut Vec<VariableInfo>, )
catla_old_unused/src/transpiler/optimizer/variable_users/debug.rs:148
↓ 3 callers
Function
collect_where_clause
( ast: &WhereClause, this_type: &Option<Type>, generics: &mut HashMap<EntityID, Arc<GenericType>>,
src/catla_type/src/module_element_collector.rs:1201
↓ 3 callers
Method
compile
(&self)
src/catla_compiler/src/compiler.rs:80
↓ 3 callers
Method
complete
(&self, complete_value: Arc<T>)
src/catla_util/src/future.rs:42
↓ 3 callers
Method
contains_function_return_value
( &self, lifetime_tree_ref: LifetimeTreeRef, loop_suppressor: &mut LoopSuppressor,
catla_old_unused/src/transpiler/optimizer/lifetime_analyzer.rs:660
↓ 3 callers
Function
create_lifetime_tree_for_variable_binding
( lifetime_instance: &mut LifetimeInstance, binding: &VariableBinding, is_argument: bool, )
catla_old_unused/src/transpiler/optimizer/lifetime_analyzer/lifetime_collector.rs:454
↓ 3 callers
Function
create_test_compiler
(out_dir_name: &str)
src/catla_compiler/src/lib.rs:19
↓ 3 callers
Method
create_type_variable_id_without_set
(&mut self)
src/catla_type/src/type_infer.rs:109
↓ 3 callers
Method
create_variable_set
(&mut self, type_variable_id: TypeVariableID)
src/catla_type/src/type_infer.rs:134
↓ 3 callers
Method
export_arguments_static_tree
(&self)
catla_old_unused/src/transpiler/optimizer/lifetime_analyzer.rs:1147
↓ 3 callers
Method
export_contains_static_tree
(&self, from: LifetimeTreeRef)
catla_old_unused/src/transpiler/optimizer/lifetime_analyzer.rs:723
↓ 3 callers
Method
export_function_return_static_tree
(&self)
catla_old_unused/src/transpiler/optimizer/lifetime_analyzer.rs:1175
↓ 3 callers
Method
export_function_return_tree
(&self)
catla_old_unused/src/transpiler/optimizer/lifetime_analyzer.rs:1192
↓ 3 callers
Method
fix_numeric_literal_type
(&mut self, ty: &Type)
catla_old_unused/src/transpiler/semantics/types/type_inference.rs:1363
↓ 3 callers
Function
function_return_object_type_for_function_define
( ast: &FunctionDefine, type_infer_results: &HashMap<EntityID, Spanned<Type>>, module_entity_type_
src/catla_codegen/src/codegen.rs:2167
↓ 3 callers
Function
generics_define_register_and_bounds_check
( generics_ast: &Option<GenericsDefine>, where_clause_ast: &Option<WhereClause>, this_type: &Optio
src/catla_type/src/type_infer.rs:1657
↓ 3 callers
Function
get_and_check_where_bounds_implements_info
( where_bounds: &Vec<WhereBound>, current_scope_implements_info_set: &Option<Arc<ImplementsInfoSet>>,
catla_old_unused/src/transpiler/semantics/types/type_inference.rs:3024
↓ 3 callers
Method
get_generics_define_with_replaced_generic
( &self, )
catla_old_unused/src/transpiler/semantics/types/type_info.rs:581
↓ 3 callers
Method
get_numeric_compatible_optimal_type
(&self)
catla_old_unused/src/transpiler/semantics/types/type_info.rs:856
↓ 3 callers
Method
get_return_type_with_replaced_generic
(&self)
catla_old_unused/src/transpiler/semantics/types/type_info.rs:651
↓ 3 callers
Function
get_where_bounds
( ast: &Option<WhereClause>, user_type_map: &FxHashMap<String, Type>, import_element_map: &FxHashM
catla_old_unused/src/transpiler/semantics/types/user_type_element_collector.rs:997
↓ 3 callers
Method
has_static_lifetime
(&self, node_ref: LifetimeTreeRef)
src/catla_optimization/src/lifetime.rs:418
↓ 3 callers
Method
import_contains_static_tree
( &mut self, lifetime_tree_ref: LifetimeTreeRef, from: &ContainsStaticTree, ch
catla_old_unused/src/transpiler/optimizer/lifetime_analyzer.rs:744
↓ 3 callers
Function
infer_type_for_block_as_expression
( block: &catla_parser::ast::Block, as_expression: bool, type_environment: &mut TypeEnvironment,
src/catla_type/src/type_infer.rs:2491
↓ 3 callers
Function
infer_type_for_mul_or_div_expression
( ast: &MulOrDivExpression, as_expression: bool, type_environment: &mut TypeEnvironment, imple
src/catla_type/src/type_infer.rs:2405
↓ 3 callers
Function
infer_type_for_program
( ast: &Program, as_expression: bool, in_user_type_define: bool, type_environment: &mut TypeEn
src/catla_type/src/type_infer.rs:1216
↓ 3 callers
Function
infer_type_function_call
( ast: &FunctionCall<'input, 'allocator>, function: EntityID, is_method_call: bool, user_type_
catla_old_unused/src/transpiler/semantics/types/type_inference.rs:6490
↓ 3 callers
Function
infer_type_generics
( ast: &Generics, previous: EntityID, user_type_map: &FxHashMap<String, Type>, import_element_
catla_old_unused/src/transpiler/semantics/types/type_inference.rs:6405
← previous
next →
201–300 of 1,060, ranked by callers