Code
Hub
Workspaces
Following
Trending
Connect
MCP
copy
Create free account
hub
/
github.com/White-Green/kirl-lang
/ functions
Functions
136 in github.com/White-Green/kirl-lang
⨍
Functions
136
◇
Types & classes
82
↓ 26 callers
Function
get_candidate_paths
(path: Vec<String>, imports: &BTreeMap<String, HashSet<Vec<String>>>)
kirl_semantic_analyzer/src/syntax_tree_to_hir.rs:52
↓ 20 callers
Method
is_a
(&self, rhs: &Self)
kirl_common/src/typing.rs:71
↓ 20 callers
Function
push_variable
(variable: Variable<(Uuid, HIRType)>, result: &mut Vec<LIRStatement>)
kirl_vm/src/lir.rs:96
↓ 19 callers
Function
add_used_variable
(variable: &Variable<(Uuid, HIRType)>, result: &mut HashSet<Uuid>)
kirl_semantic_analyzer/src/type_checker.rs:662
↓ 16 callers
Function
into_one
(variable: Variable<ResolvedItems>)
kirl_semantic_analyzer/src/type_checker.rs:586
↓ 14 callers
Method
into_normalized
(mut self)
kirl_common/src/typing.rs:114
↓ 13 callers
Method
operand
(self)
kirl_vm/src/bytecode.rs:62
↓ 7 callers
Method
normalize
(&mut self)
kirl_common/src/typing.rs:89
↓ 7 callers
Function
push_expression
(Expression { expression, .. }: Expression, result: &mut Vec<HIRStatement<SearchPaths>>, variables: &mut BTree
kirl_semantic_analyzer/src/syntax_tree_to_hir.rs:448
↓ 6 callers
Function
convert_list
(statements: impl IntoIterator<Item = HIRStatement<(Uuid, HIRType)>>, result: &mut Vec<LIRStatement>, sequence
kirl_vm/src/lir.rs:94
↓ 6 callers
Function
decision_type_inner
(statements: &mut [HIRStatement<ResolvedItems>], types: &mut Vec<HIRType>, return_type: &HIRType)
kirl_semantic_analyzer/src/type_checker.rs:110
↓ 5 callers
Method
next
(self)
kirl_parser/src/lib.rs:31
↓ 5 callers
Method
parse
(&self, input: &str)
kirl_parser/src/lib.rs:106
↓ 5 callers
Method
try_map_collect
(self, mut map: impl FnMut(Self::Item) -> Result<T, E>)
kirl_parser/src/kirl_parser.rs:168
↓ 4 callers
Function
apply_generics_type_argument
(ty: HIRType, map: &HashMap<&str, usize>)
kirl_semantic_analyzer/src/syntax_tree_to_hir.rs:56
↓ 4 callers
Function
collect_top_level_item_with_imports
(top_level_statements: Vec<KirlTopLevelStatement>)
kirl_semantic_analyzer/src/lib.rs:33
↓ 4 callers
Function
push_deconstruct_pattern
(pattern: Pattern, begin: Variable<SearchPaths>, result: &mut Vec<HIRStatement<SearchPaths>>, variables: &mut
kirl_semantic_analyzer/src/syntax_tree_to_hir.rs:131
↓ 4 callers
Method
to_string
(&self)
kirl_common/src/typing.rs:273
↓ 3 callers
Function
analysis_statements
(code: Vec<Statement>)
kirl_semantic_analyzer/src/syntax_tree_to_hir.rs:94
↓ 3 callers
Method
apply_generics_type_argument
(&self, type_arguments: &[HIRType])
kirl_common/src/typing.rs:20
↓ 3 callers
Function
get_param_type
(ty: &Type)
kirl_common_macro/src/kirl_function.rs:313
↓ 3 callers
Method
member_type
(&self, member_name: &str)
kirl_common/src/typing.rs:119
↓ 3 callers
Method
next_line
(self)
kirl_parser/src/lib.rs:36
↓ 3 callers
Method
operand_signed
(self)
kirl_vm/src/bytecode.rs:67
↓ 3 callers
Method
tuple_item_type
(&self, n: usize)
kirl_common/src/typing.rs:134
↓ 2 callers
Function
add_parsed_function
(function_types: &mut HashMap<(PathBuf, String), Vec<(Uuid, HIRType)>>, parsed_functions: &mut HashMap<Uuid, V
kirl_engine/src/lib.rs:170
↓ 2 callers
Function
analysis
(code: Vec<Statement>, argument_patterns: Vec<Pattern>, import_paths: ImportPath, generics_argument_names: &Ha
kirl_semantic_analyzer/src/syntax_tree_to_hir.rs:98
↓ 2 callers
Function
collect_import_path
(path: ImportPath, mut base: Vec<String>)
kirl_semantic_analyzer/src/syntax_tree_to_hir.rs:175
↓ 2 callers
Method
combine
(&mut self, other: Self)
kirl_semantic_analyzer/src/lib.rs:176
↓ 2 callers
Function
hir_to_lir
(statements: Vec<HIRStatement<(Uuid, HIRType)>>, argument_count: usize)
kirl_vm/src/lir.rs:93
↓ 2 callers
Method
intersect_to
(&self, rhs: &HIRType)
kirl_common/src/typing.rs:167
↓ 2 callers
Function
is_a_with_generics
(lhs: &HIRType, rhs: &HIRType, generics_type_arguments: &mut Vec<HIRType>)
kirl_semantic_analyzer/src/type_checker.rs:77
↓ 2 callers
Function
push_statement
(Statement { statement, .. }: Statement, result: &mut Vec<HIRStatement<SearchPaths>>, variables: &mut BTreeMap
kirl_semantic_analyzer/src/syntax_tree_to_hir.rs:189
↓ 2 callers
Method
resolve_file_by_path
(&mut self, path: impl AsRef<Path>)
kirl/src/main.rs:14
↓ 2 callers
Function
resolve_ref
(map: &HashMap<String, Vec<FunctionOrChildren>>, full_path: &[String])
kirl_stdlib/src/lib.rs:75
↓ 2 callers
Method
try_map_collect
(self, mut map: impl FnMut(Self::Item) -> Result<T, E>)
kirl_semantic_analyzer/src/syntax_tree_to_hir.rs:437
↓ 2 callers
Function
unwrap_paren
(ty: &Type)
kirl_common_macro/src/kirl_function.rs:275
↓ 2 callers
Function
unwrap_type
(ty: &'a Type, path: &[&str])
kirl_common_macro/src/kirl_function.rs:314
↓ 1 callers
Method
all_reference
(&self)
kirl_semantic_analyzer/src/name_resolver.rs:126
↓ 1 callers
Function
analysis_function
(WithImport { import, item }: WithImport<Function>)
kirl_semantic_analyzer/src/syntax_tree_to_hir.rs:78
↓ 1 callers
Function
compile
(file_resolver: &mut F, entry_point: impl AsRef<Path>)
kirl_engine/src/lib.rs:179
↓ 1 callers
Function
convert
(statement: HIRStatement<(Uuid, HIRType)>, result: &mut Vec<LIRStatement>, sequence: &mut usize, loop_labels:
kirl_vm/src/lir.rs:95
↓ 1 callers
Function
decision_type
(mut statements: Vec<HIRStatement<ResolvedItems>>, argument_types: Vec<HIRType>, return_type: HIRType)
kirl_semantic_analyzer/src/type_checker.rs:104
↓ 1 callers
Function
decision_type_one
(stmt: &mut HIRStatement<ResolvedItems>, types: &mut Vec<HIRType>, return_type: &HIRType)
kirl_semantic_analyzer/src/type_checker.rs:111
↓ 1 callers
Function
downcast
(value: Arc<dyn KirlVMValueLock>)
kirl_common/src/interface.rs:64
↓ 1 callers
Function
exec
( KirlVMExecutable { bytecodes, entry_point, static_value_generators, rust
kirl_vm/src/vm.rs:11
↓ 1 callers
Method
expand_generics
(self)
kirl_common_macro/src/kirl_function.rs:20
↓ 1 callers
Method
functions
(&self)
kirl_stdlib/src/lib.rs:138
↓ 1 callers
Function
get_ordinal
(index: usize)
kirl_semantic_analyzer/src/lib.rs:187
↓ 1 callers
Function
get_stdlib
()
kirl_stdlib/src/lib.rs:398
↓ 1 callers
Method
get_type
(&self)
kirl_stdlib/src/lib.rs:445
↓ 1 callers
Method
has_member
(&self, member_name: &str)
kirl_common/src/typing.rs:149
↓ 1 callers
Method
has_tuple_item
(&self, n: usize)
kirl_common/src/typing.rs:158
↓ 1 callers
Method
infer_temporary
(&self)
kirl_common/src/typing.rs:256
↓ 1 callers
Function
inner
(statements: &[HIRStatement<(Uuid, HIRType)>], result: &mut HashSet<Uuid>)
kirl_semantic_analyzer/src/type_checker.rs:661
↓ 1 callers
Function
into_one_candidate
(statements: Vec<HIRStatement<ResolvedItems>>)
kirl_semantic_analyzer/src/type_checker.rs:585
↓ 1 callers
Function
is_a
(ty: &TypeParamBound, path: &[&str])
kirl_common_macro/src/kirl_function.rs:345
↓ 1 callers
Function
kirl_function_inner
(args: TokenStream, input: TokenStream)
kirl_common_macro/src/kirl_function.rs:371
↓ 1 callers
Function
lir_to_bytecode
(lir: impl IntoIterator<Item = LIRStatement>, member_name_map: &mut HashMap<String, u32>, type_map: &mut HashM
kirl_vm/src/bytecode.rs:125
↓ 1 callers
Method
opcode
(self)
kirl_vm/src/bytecode.rs:58
↓ 1 callers
Method
possibility_assignable_to
(&self, target: &HIRType)
kirl_common/src/typing.rs:242
↓ 1 callers
Function
quote_type
(ty: &HIRType)
kirl_common_macro/src/kirl_function.rs:231
↓ 1 callers
Function
resolve
( parser: &KirlParser, hir: Vec<HIRStatement<SearchPaths>>, hir_type: HIRType, hir_path: &impl
kirl_engine/src/lib.rs:109
↓ 1 callers
Method
resolve
(&mut self, full_path: &[String])
kirl_semantic_analyzer/src/name_resolver.rs:17
↓ 1 callers
Method
resolve
(&mut self, full_path: &[String])
kirl_stdlib/src/lib.rs:55
↓ 1 callers
Function
resolve_statements
(statements: Vec<HIRStatement<SearchPaths>>, resolver: &mut impl KirlNameResolver)
kirl_semantic_analyzer/src/name_resolver.rs:276
↓ 1 callers
Function
statement_references
(statements: &Vec<HIRStatement<SearchPaths>>)
kirl_semantic_analyzer/src/name_resolver.rs:280
↓ 1 callers
Method
static_values
(&self)
kirl_stdlib/src/lib.rs:142
↓ 1 callers
Method
to_string
(&self)
kirl_semantic_analyzer/src/lib.rs:140
↓ 1 callers
Function
unwrap
(ptr: Arc<RwLock<T>>)
kirl_vm/src/vm.rs:7
↓ 1 callers
Function
unwrap_result
(ty: &Type)
kirl_common_macro/src/kirl_function.rs:283
↓ 1 callers
Function
used_functions
(statements: &[HIRStatement<(Uuid, HIRType)>])
kirl_semantic_analyzer/src/type_checker.rs:659
Method
default
()
kirl_parser/src/lib.rs:96
Method
default
()
kirl_parser/src/kirl_parser.rs:37
Method
expand_generics_inner
(ty: HIRType, map: &HashMap<String, usize>)
kirl_common_macro/src/kirl_function.rs:28
Method
fmt
(&self, f: &mut Formatter<'_>)
kirl_vm/src/lir.rs:68
Method
fmt
(&self, f: &mut Formatter<'_>)
kirl_engine/src/lib.rs:60
Method
fmt
(&self, f: &mut Formatter<'_>)
kirl_common/src/typing.rs:414
Method
fmt
(&self, f: &mut Formatter<'_>)
kirl_semantic_analyzer/src/syntax_tree_to_hir.rs:30
Method
fmt
(&self, f: &mut Formatter<'_>)
kirl_semantic_analyzer/src/type_checker.rs:25
Method
fmt
(&self, f: &mut Formatter<'_>)
kirl_parser/src/lib.rs:43
Method
fmt
(&self, f: &mut Formatter<'_>)
kirl_parser/src/kirl_tokenizer.rs:182
Method
fmt
(&self, f: &mut Formatter<'_>)
kirl_parser/src/kirl_parser.rs:158
Method
fmt
(&self, f: &mut Formatter<'_>)
kirl_stdlib/src/lib.rs:26
Method
from
(value: Vec<LIRStatement>)
kirl_vm/src/lir.rs:15
Method
from
(e: KirlParseError)
kirl_engine/src/lib.rs:36
Method
from
(value: LIRType)
kirl_common/src/typing.rs:317
Method
from
(map: HashMap<&'static str, FileMap>)
kirl/tests/main.rs:16
Method
from
(value: Vec<HIRStatement<Reference>>)
kirl_semantic_analyzer/src/lib.rs:61
Method
from
(e: HIRTypeConvertError)
kirl_semantic_analyzer/src/syntax_tree_to_hir.rs:24
Method
from
(ty: TypeSyntax)
kirl_common_macro/src/kirl_function.rs:209
Method
from
(value: HashMap<String, Vec<FunctionOrChildren>>)
kirl_stdlib/src/lib.rs:46
Method
from_function
(f: F)
kirl_stdlib/src/lib.rs:36
Method
get_position
(&self)
kirl_parser/src/kirl_tokenizer.rs:118
Method
get_type
(&self)
kirl_common/src/interface.rs:115
Method
into_kirl_value
(self)
kirl_common/src/interface.rs:119
Function
kirl_function
(args: TokenStream, input: TokenStream)
kirl_common_macro/src/lib.rs:6
Function
main
()
kirl/src/main.rs:19
Method
new
(opcode: KirlByteCodeOpcode, operand: u32)
kirl_vm/src/bytecode.rs:42
Method
new
(line: usize, column: usize)
kirl_parser/src/lib.rs:27
next →
1–100 of 136, ranked by callers