Code
Hub
Workspaces
Following
Trending
Connect
MCP
copy
Create free account
hub
/
github.com/KeenS/webml
/ functions
Functions
684 in github.com/KeenS/webml
⨍
Functions
684
◇
Types & classes
114
↓ 211 callers
Method
push
(&mut self, op: Op)
src/mir/builder.rs:35
↓ 69 callers
Method
space0
(&self)
src/parser.rs:1075
↓ 62 callers
Method
boxed
(self)
src/ast/mod.rs:374
↓ 61 callers
Function
parse
(input: &str)
tests/tests/parser.rs:9
↓ 45 callers
Method
trans_ty
(&self, ty: &hir::HTy)
src/mir/hir2mir.rs:76
↓ 41 callers
Method
space1
(&self)
src/parser.rs:1084
↓ 40 callers
Method
insert
(&mut self, k: Symbol, v: NodeId)
src/ast/typing.rs:281
↓ 39 callers
Method
next
(&mut self)
src/id.rs:12
↓ 36 callers
Method
transform_expr
(&mut self, expr: Expr)
src/hir/util.rs:150
↓ 35 callers
Method
ty
(&mut self, ty: Typing)
src/ast/typing.rs:162
↓ 34 callers
Method
span
(&self)
src/ast/mod.rs:368
↓ 27 callers
Method
get
(&self, name: &Symbol)
src/ast/typing.rs:277
↓ 27 callers
Method
unify
(&mut self, span: Span, id1: NodeId, id2: NodeId)
src/ast/typing.rs:636
↓ 26 callers
Function
compile
(input: &str)
webml-test/src/lib.rs:68
↓ 25 callers
Method
test_output
(&mut self, module_data: &[u8], output: &str)
webml-test/src/lib.rs:62
↓ 21 callers
Method
expr
(&self)
src/parser.rs:358
↓ 21 callers
Method
transform_expr
(&mut self, expr: UntypedExpr)
src/ast/desugar.rs:175
↓ 20 callers
Method
rewrite_ty
(&self, ty: HTy)
src/hir/constructor2enum.rs:71
↓ 20 callers
Function
with_position
(inner_parser: F)
src/parser.rs:44
↓ 19 callers
Function
conv_ty
(ty: ast::Type)
src/hir/ast2hir.rs:48
↓ 18 callers
Method
traverse_expr
(&mut self, expr: &mut CoreExpr<Ty>)
src/ast/util.rs:55
↓ 15 callers
Function
nspaces
(n: usize)
src/util.rs:1
↓ 14 callers
Method
resolv_alias
(&mut self, sym: &mut Symbol)
src/mir/unalias.rs:100
↓ 13 callers
Function
current_location
(input: &Input)
src/parser.rs:37
↓ 13 callers
Method
traverse_expr
(&mut self, expr: &mut Expr)
src/hir/force_closure.rs:42
↓ 12 callers
Method
traverse_expr
(&mut self, expr: &mut Expr)
src/hir/util.rs:14
↓ 11 callers
Method
transform_expr
(&mut self, mut expr: CoreExpr<Ty>)
src/ast/util.rs:248
↓ 11 callers
Method
ty
(&self)
src/ast/mod.rs:380
↓ 9 callers
Method
ebbty_to_lty
(&self, ty: &mir::EbbTy)
src/lir/mir2lir.rs:31
↓ 9 callers
Method
flat_make_val
because self.make_val(self.flat_expr(expr)) doesn't pass borrow checker, we need this util
src/hir/flat_expr.rs:23
↓ 9 callers
Method
gensym
(&mut self, name: &str)
src/ast/case_simplify.rs:46
↓ 9 callers
Method
node_new
(&mut self, t: Typing)
src/ast/typing.rs:195
↓ 9 callers
Method
traverse_statement
(&mut self, decl: &mut CoreDeclaration<Ty>)
src/ast/util.rs:10
↓ 8 callers
Method
add_scope
(&mut self, symbol: Symbol)
src/hir/unnest_func.rs:59
↓ 8 callers
Method
call
(&mut self, var: Symbol, ty: EbbTy, fun: Symbol, args: Vec<Symbol>)
src/mir/builder.rs:381
↓ 8 callers
Method
gensym
(&mut self, name: &str)
src/mir/hir2mir.rs:48
↓ 8 callers
Method
make_val
(&mut self, expr: Expr)
src/hir/flat_expr.rs:28
↓ 7 callers
Method
binds
(&self)
src/ast/mod.rs:415
↓ 7 callers
Method
build
(self)
src/mir/builder.rs:19
↓ 7 callers
Method
take
(&mut self)
src/unification_pool.rs:15
↓ 7 callers
Method
traverse_pattern
(&mut self, pattern: &mut CorePattern<Ty>)
src/ast/util.rs:153
↓ 6 callers
Method
add_ebb
(&mut self, ebb: EBB)
src/mir/builder.rs:15
↓ 6 callers
Method
clear
(&mut self)
src/hir/simplify.rs:32
↓ 6 callers
Function
lty_to_valuetype_opt
(t: &lir::LTy)
src/backend/wasm.rs:19
↓ 6 callers
Method
span
(&self)
src/parser.rs:1329
↓ 6 callers
Method
transform_ast
(&mut self, ast: UntypedAst)
src/ast/desugar.rs:23
↓ 5 callers
Method
at_mut
(&mut self, node_id: NodeId)
src/unification_pool.rs:47
↓ 5 callers
Function
conv_ty
(pool: &UnificationPool<Typing>, ty: Typing)
src/ast/typing.rs:50
↓ 5 callers
Method
convert
(&mut self, ty: Type)
src/ast/typing.rs:304
↓ 5 callers
Method
decl
(&self)
src/parser.rs:139
↓ 5 callers
Method
give
(&mut self, span: Span, id1: NodeId, ty: Typing)
src/ast/typing.rs:653
↓ 5 callers
Method
match_compile
( &mut self, span: Span, cond: Stack<(Type, Symbol)>, ty: Type, clause
src/ast/case_simplify.rs:69
↓ 5 callers
Method
pattern
(&self)
src/parser.rs:1128
↓ 5 callers
Method
proj
(&mut self, var: Symbol, ty: EbbTy, index: u32, tuple: Symbol)
src/mir/builder.rs:391
↓ 5 callers
Method
transform_hir
(&mut self, mut hir: HIR)
src/hir/util.rs:136
↓ 5 callers
Method
transform_statement
(&mut self, decl: UntypedDeclaration)
src/ast/desugar.rs:31
↓ 5 callers
Method
transform_statement
(&mut self, decl: CoreDeclaration<Ty>)
src/ast/util.rs:190
↓ 5 callers
Method
ty
(&self)
src/hir/mod.rs:205
↓ 5 callers
Method
typename
(&self)
src/parser.rs:926
↓ 5 callers
Method
with_bound_name
(&mut self, bound_name: Option<Symbol>, f: F)
src/hir/force_closure.rs:161
↓ 4 callers
Method
branches
(&self)
src/lir/mod.rs:199
↓ 4 callers
Function
compile_strings
(inputs: Vec<String>, config: &Config)
src/lib.rs:27
↓ 4 callers
Function
force_symbol
(e: hir::Expr)
src/mir/hir2mir.rs:564
↓ 4 callers
Method
genlabel
(&mut self, name: &str)
src/mir/hir2mir.rs:41
↓ 4 callers
Method
get_datatype_of_constructor
(&self, name: &Symbol)
src/ast/mod.rs:595
↓ 4 callers
Method
get_type
(&self, name: &Symbol)
src/ast/mod.rs:591
↓ 4 callers
Method
new_scope
(&mut self)
src/ast/rename.rs:57
↓ 4 callers
Method
rename_constructor
(&mut self, symbol: &mut Symbol)
src/ast/rename.rs:126
↓ 4 callers
Function
resolve
(pool: &UnificationPool<Typing>, id: NodeId)
src/ast/typing.rs:46
↓ 4 callers
Method
string_literal
(&self)
src/parser.rs:664
↓ 4 callers
Method
symbol
(&self)
src/parser.rs:993
↓ 4 callers
Method
symbol_symbolic
(&self)
src/parser.rs:1060
↓ 4 callers
Method
trans_expr_block
( &mut self, fb: &mut FunctionBuilder, mut eb: EBBBuilder, ty_: hir::HTy,
src/mir/hir2mir.rs:523
↓ 4 callers
Method
transform_pattern
(&mut self, pattern: UntypedPattern)
src/ast/desugar.rs:555
↓ 4 callers
Method
transform_pattern
(&mut self, mut pattern: CorePattern<Ty>)
src/ast/util.rs:387
↓ 4 callers
Method
transform_val
(&mut self, mut val: Val)
src/hir/util.rs:145
↓ 4 callers
Method
try_unify_with
( &mut self, id1: NodeId, id2: NodeId, try_unify: impl FnOnce( &mu
src/ast/typing.rs:206
↓ 3 callers
Method
alias
(&mut self, var: Symbol, ty: EbbTy, sym: Symbol)
src/mir/builder.rs:44
↓ 3 callers
Method
binds
(&self)
src/hir/mod.rs:244
↓ 3 callers
Method
default_patterns
( &'a mut self, span: Span, c: Symbol, cond: Stack<(Type, Symbol)>, ty
src/ast/case_simplify.rs:667
↓ 3 callers
Method
expr_infix_and_app
treat all of the infix operators and applications, i.e. sequeces of expressions
src/parser.rs:548
↓ 3 callers
Method
function_index
(&self, fname: &Symbol)
src/backend/wasm.rs:201
↓ 3 callers
Method
gensym
(&mut self)
src/ast/desugar.rs:16
↓ 3 callers
Method
gensym
(&mut self, name: impl Into<String>)
src/ast/rename.rs:380
↓ 3 callers
Method
gensym
(&mut self)
src/hir/simplify.rs:27
↓ 3 callers
Method
infer_expr
(&mut self, expr: &CoreExpr<NodeId>)
src/ast/typing.rs:380
↓ 3 callers
Method
is_constructor
(&mut self, symbol: &Symbol)
src/ast/rename.rs:105
↓ 3 callers
Method
jump
(mut self, target: Symbol, forward: bool, args: Vec<Symbol>)
src/mir/builder.rs:441
↓ 3 callers
Method
lit
(&mut self, var: Symbol, ty: EbbTy, value: Literal)
src/mir/builder.rs:39
↓ 3 callers
Method
pattern_atmic
(&self)
src/parser.rs:1132
↓ 3 callers
Method
ret
(mut self, value: V, ty: EbbTy)
src/mir/builder.rs:450
↓ 3 callers
Method
size
(&self)
src/lir/mod.rs:22
↓ 3 callers
Method
symbol_alphanumeric
(&self)
src/parser.rs:1039
↓ 3 callers
Method
symbol_table
(&self)
src/ast/typing.rs:269
↓ 3 callers
Method
trans_val
( &mut self, funs: &mut Vec<Function>, fb: &mut FunctionBuilder, mut eb: EBBBu
src/mir/hir2mir.rs:177
↓ 3 callers
Method
transform_if
( &mut self, span: Span, cond: Box<UntypedExpr>, then: Box<UntypedExpr>,
src/ast/desugar.rs:287
↓ 3 callers
Method
ty_int
(&mut self)
src/ast/typing.rs:166
↓ 3 callers
Method
typename2
(&self)
src/parser.rs:938
↓ 3 callers
Method
tyvar
(&mut self)
src/ast/typing.rs:158
↓ 3 callers
Method
value_id
(&self, mut id: NodeId)
src/unification_pool.rs:51
next →
1–100 of 684, ranked by callers