Code
Hub
Workspaces
Following
Trending
Connect
MCP
copy
Create free account
hub
/
github.com/cout970/Elm-interpreter
/ functions
Functions
625 in github.com/cout970/Elm-interpreter
⨍
Functions
625
◇
Types & classes
79
↓ 3 callers
Function
unify_var
Attempts to create a Substitution for a variable
src/analyzer/definition_analyzer.rs:905
↓ 2 callers
Method
add_type_alias
(&mut self, alias: TypeAlias)
src/analyzer/mod.rs:37
↓ 2 callers
Method
analyze_module_imports
(&mut self, modules: &HashMap<String, AnalyzedModule>, imports: &Vec<Import>)
src/analyzer/import_analyzer.rs:82
↓ 2 callers
Method
analyze_statement
(&mut self, stm: &Statement)
src/analyzer/mod.rs:45
↓ 2 callers
Function
annotate_expr
(env: &mut Env, expr: &Expr)
src/analyzer/definition_analyzer.rs:418
↓ 2 callers
Method
application
(&mut self, fun_value: Value, input: Value)
src/interpreter/mod.rs:274
↓ 2 callers
Function
arg_count
(ty: &Type)
src/util/mod.rs:102
↓ 2 callers
Function
collect_expr_constraints
(res: &mut Vec<Constraint>, expr: &TypedExpr)
src/analyzer/definition_analyzer.rs:684
↓ 2 callers
Function
create_vec_inv
(start: &[T], last: T)
src/util/mod.rs:131
↓ 2 callers
Method
enter_block
(&mut self)
src/analyzer/env.rs:84
↓ 2 callers
Method
enter_level
(&self, level: u32)
src/parsers/input.rs:72
↓ 2 callers
Method
eval_const
(&mut self, value: Value)
src/interpreter/mod.rs:70
↓ 2 callers
Method
eval_definition
(&mut self, def: &TypedDefinition)
src/interpreter/mod.rs:137
↓ 2 callers
Method
eval_module
Evaluates a module, for example: ```elm module Util exposing(..) import Tuple toRecord : (a, b) -> { x: a, y: b } toRecord (a, b) = { x = a, y = b }
src/lib.rs:179
↓ 2 callers
Method
exec_fun
(&mut self, fun: &Function, args: Vec<Value>)
src/interpreter/mod.rs:306
↓ 2 callers
Method
exit_block
(&mut self)
src/analyzer/env.rs:88
↓ 2 callers
Method
exit_level
(&self, level: u32)
src/parsers/input.rs:82
↓ 2 callers
Function
expect_upper_chain
(input: Input)
src/parsers/util.rs:208
↓ 2 callers
Method
get_default_imports
(&mut self, modules: &HashMap<String, AnalyzedModule>)
src/analyzer/import_analyzer.rs:21
↓ 2 callers
Function
get_module_dependencies
(module: &Module)
src/loader/mod.rs:170
↓ 2 callers
Function
get_source_file
(inner_path: &str, abs_path: &str)
src/loader/mod.rs:208
↓ 2 callers
Method
import_declaration
(&mut self, decl: &Declaration, module_name: &str, alias: &str, result: &mut Vec<ModuleImport>)
src/analyzer/import_analyzer.rs:124
↓ 2 callers
Method
import_module
Import a module, previously loaded with include_file/include_files, into the current environment
src/lib.rs:218
↓ 2 callers
Method
load_analyzed_module
(&mut self, module_name: &str)
src/lib.rs:279
↓ 2 callers
Method
load_runtime_module
(&mut self, module_name: &str)
src/lib.rs:304
↓ 2 callers
Function
load_source_file
(file: &SourceFile)
src/loader/mod.rs:174
↓ 2 callers
Method
next_number_type
(&mut self)
src/analyzer/env.rs:63
↓ 2 callers
Function
parse_definition
(indent: u32, input: Input)
src/parsers/statement.rs:75
↓ 2 callers
Function
parse_expr_application
(input: Input)
src/parsers/expression.rs:22
↓ 2 callers
Function
parse_pattern_expr
(input: Input)
src/parsers/pattern.rs:11
↓ 2 callers
Function
parse_pattern_helper
(input: Input, adt: bool)
src/parsers/pattern.rs:46
↓ 2 callers
Function
parse_type_base
(input: Input, adt: bool)
src/parsers/types.rs:30
↓ 2 callers
Function
qualified_name
(path: &[String], name: &str)
src/util/mod.rs:181
↓ 2 callers
Method
read_forced
(&self)
src/parsers/input.rs:49
↓ 2 callers
Function
replace_expr_types
(sub: &Substitution, annotated: TypedExpr)
src/analyzer/definition_analyzer.rs:1075
↓ 2 callers
Function
span
(a: &Expr)
src/ast.rs:231
↓ 2 callers
Function
transmute_float_to_int
(x: f32)
src/util/mod.rs:207
↓ 2 callers
Function
type_from_id
(id: TypeId)
src/rust_interop/mod.rs:108
↓ 2 callers
Function
type_number
()
src/constructors.rs:35
↓ 2 callers
Function
unpack_types
(ty: &Type)
src/analyzer/mod.rs:153
↓ 2 callers
Function
vec_pair_map
(env: &mut ENV, vec: &Vec<(S, A)>, mut func: F)
src/analyzer/definition_analyzer.rs:1245
↓ 2 callers
Method
with
(&self, source: SourceCode)
src/analyzer/mod.rs:29
↓ 1 callers
Function
add_pattern_values
(env: &mut Interpreter, pattern: &TypedPattern, value: Value)
src/interpreter/mod.rs:413
↓ 1 callers
Function
adt_constructor
(adt: Arc<Adt>, variant: &AdtVariant)
src/builtin/mod.rs:117
↓ 1 callers
Method
analyze_definition
(&mut self, fun: &Definition)
src/analyzer/definition_analyzer.rs:75
↓ 1 callers
Function
analyze_expression
(analyzer: &mut Analyzer, expr: &Expr)
src/analyzer/definition_analyzer.rs:1326
↓ 1 callers
Method
analyze_module
(&mut self, modules: &HashMap<String, AnalyzedModule>, module: &LoadedModule)
src/analyzer/mod.rs:79
↓ 1 callers
Method
analyze_module_declarations
(&mut self, statements: &Vec<Statement>)
src/analyzer/import_analyzer.rs:182
↓ 1 callers
Method
analyze_statement_adt
(&mut self, name: &String, decl_vars: &Vec<String>, variants: &Vec<(Span, String, Vec<Type>)>)
src/analyzer/statement_analyzer.rs:74
↓ 1 callers
Method
analyze_statement_definition
(&mut self, def: &Definition)
src/analyzer/statement_analyzer.rs:149
↓ 1 callers
Method
analyze_statement_port
(&mut self, span: Span, name: &String, ty: &Type)
src/analyzer/statement_analyzer.rs:142
↓ 1 callers
Method
analyze_statement_typealias
(&mut self, name: &str, decl_vars: &Vec<String>, ty: &Type)
src/analyzer/statement_analyzer.rs:16
↓ 1 callers
Function
apply_substitution
(ty: &Type, var: &Type, replacement: &Type)
src/analyzer/definition_analyzer.rs:979
↓ 1 callers
Function
apply_substitution_constraint
(sub: &Substitution, cons: &Constraint)
src/analyzer/definition_analyzer.rs:965
↓ 1 callers
Function
apply_substitution_set
(sub: &Substitution, cons: &[Constraint])
src/analyzer/definition_analyzer.rs:961
↓ 1 callers
Method
as_pair
(&self)
src/analyzer/definition_analyzer.rs:38
↓ 1 callers
Function
builtin_adt_constructor
()
src/builtin/mod.rs:129
↓ 1 callers
Function
builtin_record_access
{ a = 0 } .a
src/builtin/mod.rs:91
↓ 1 callers
Function
call_function
(this: &WrapperFunc, i: &mut Interpreter, args: &Vec<Value>)
src/rust_interop/mod.rs:32
↓ 1 callers
Function
collect_type_definition_constraints
(res: &mut Vec<Constraint>, ty: &Type, patterns: &Vec<TypedPattern>, expr: &TypedExpr)
src/analyzer/definition_analyzer.rs:602
↓ 1 callers
Function
create_binop_chain
(first: Expr, rest: Vec<(String, Expr)>)
src/parsers/expression.rs:269
↓ 1 callers
Function
create_fun
(a: Type, b: Vec<Type>)
src/parsers/types.rs:154
↓ 1 callers
Function
create_tree
(mut tk: &[ETk], level: i32)
src/util/expression_fold.rs:56
↓ 1 callers
Function
declaration_type
(decl: &Declaration)
src/loader/mod.rs:158
↓ 1 callers
Function
declared_statement_name
(stm: &Statement)
src/analyzer/mod.rs:143
↓ 1 callers
Function
declared_statement_type
(stm: &Statement)
src/analyzer/mod.rs:127
↓ 1 callers
Method
enter_block
(&mut self)
src/interpreter/runtime_stack.rs:37
↓ 1 callers
Method
eval_adt_variant
(&mut self, adt: Arc<Adt>, variant: &AdtVariant)
src/interpreter/mod.rs:146
↓ 1 callers
Method
eval_constants
(&mut self, module: RuntimeModule)
src/interpreter/mod.rs:57
↓ 1 callers
Method
eval_declaration
(&mut self, decl: &Declaration)
src/interpreter/mod.rs:125
↓ 1 callers
Method
exit_block
(&mut self)
src/interpreter/runtime_stack.rs:41
↓ 1 callers
Function
expect_int
(input: Input)
src/parsers/util.rs:170
↓ 1 callers
Function
expr_tree_to_expr
(tree: ExprTree)
src/analyzer/definition_analyzer.rs:1213
↓ 1 callers
Function
expr_visitor_block
(state: &mut S, root: &Expr, enter: &F, exit: &G)
src/util/visitors.rs:42
↓ 1 callers
Method
find_value
(&mut self, name: &str)
src/interpreter/mod.rs:45
↓ 1 callers
Function
format_interop_error
(error: &InteropError)
src/errors/mod.rs:429
↓ 1 callers
Function
format_lexical_error
(code: &SourceCode, error: &LexicalError)
src/errors/mod.rs:172
↓ 1 callers
Function
format_loader_error
(error: &LoaderError)
src/errors/mod.rs:436
↓ 1 callers
Function
format_parse_error
(code: &SourceCode, error: &ParseError)
src/errors/mod.rs:191
↓ 1 callers
Function
format_runtime_error
(error: &InterpreterError)
src/errors/mod.rs:324
↓ 1 callers
Function
format_type_error
(code: &SourceCode, error: &TypeError)
src/errors/mod.rs:234
↓ 1 callers
Function
from_binop
(id: String)
src/tokenizer/token_parser.rs:164
↓ 1 callers
Function
get_all_source_files
(dst: &mut Vec<SourceFile>, inner_path: &str, path: &str)
src/loader/mod.rs:178
↓ 1 callers
Method
get_canonical_type
(&self, span: Span, ty: Type)
src/analyzer/definition_analyzer.rs:91
↓ 1 callers
Method
get_canonical_type_name
(&self, name: &str)
src/analyzer/env.rs:41
↓ 1 callers
Function
get_core_kernel_modules
Returns a list of the Elm Core kernel modules, adding the basic building blocks of the language The elm core needs to be loaded to expose and expand t
src/builtin/mod.rs:45
↓ 1 callers
Function
get_operator_priority
default priorities
src/util/expression_fold.rs:150
↓ 1 callers
Function
get_packed_module
(inner_path: &str, abs_path: &str)
src/loader/mod.rs:230
↓ 1 callers
Method
get_type
(&self)
src/typed_ast.rs:89
↓ 1 callers
Method
get_type_alias
(&self, name: &str)
src/analyzer/env.rs:33
↓ 1 callers
Method
import_exposed
(&mut self, module_name: &str, module: &AnalyzedModule, exposing: &ModuleExposing, result: &mut Vec<ModuleImpo
src/analyzer/import_analyzer.rs:107
↓ 1 callers
Method
import_module_as
Import a module, previously loaded with include_file/include_files, into the current environment with an alias
src/lib.rs:224
↓ 1 callers
Method
import_module_definitions
(&mut self, name: &str, alias: &str)
src/lib.rs:262
↓ 1 callers
Method
import_qualified
(&mut self, module_name: &str, alias: &str, module: &AnalyzedModule, result: &mut Vec<ModuleImport>)
src/analyzer/import_analyzer.rs:101
↓ 1 callers
Method
include_files
Loads all source files in the folder and checks for missing dependencies Note: it doesn't import the modules, you have to import them with [import_mod
src/lib.rs:200
↓ 1 callers
Method
include_packed_module
Loads a module packed as a binary blob and checks its dependencies Note: it doesn't import the module, you have to import it with [import_module]
src/lib.rs:212
↓ 1 callers
Function
infer_expression_type
(env: &mut Env, expr: &Expr)
src/analyzer/definition_analyzer.rs:178
↓ 1 callers
Function
matches_pattern
(pattern: &TypedPattern, value: &Value)
src/interpreter/mod.rs:340
↓ 1 callers
Method
merge
(self, b: Substitution)
src/analyzer/definition_analyzer.rs:54
↓ 1 callers
Method
next_appendable_type
(&mut self)
src/analyzer/env.rs:71
← previous
next →
101–200 of 625, ranked by callers