Code
Hub
Workspaces
Following
Trending
Connect
MCP
copy
Create free account
hub
/
github.com/Storyyeller/polysubml-demo
/ functions
Functions
280 in github.com/Storyyeller/polysubml-demo
⨍
Functions
280
◇
Types & classes
105
↓ 77 callers
Method
push
(&mut self, msg: String, span: Span)
compiler_lib/src/type_errors.rs:47
↓ 49 callers
Method
insert
(&mut self, k: K, v: V)
compiler_lib/src/unwindmap.rs:29
↓ 31 callers
Method
len
(&self)
compiler_lib/src/reachability.rs:78
↓ 25 callers
Method
push
(s)
cli_code/src/js_runtime.js:9
↓ 24 callers
Method
push
(s)
demo.js:146
↓ 23 callers
Method
get
(&self, k: &K)
compiler_lib/src/unwindmap.rs:25
↓ 18 callers
Method
into
(self)
compiler_lib/src/type_errors.rs:54
↓ 16 callers
Method
add
(&mut self, child: RcParsedType)
compiler_lib/src/parse_types.rs:75
↓ 14 callers
Method
ensure
Ensure that this expression has at most the given precedence. If it has lower precedence, wrap it in parentheses.
compiler_lib/src/js.rs:346
↓ 12 callers
Method
check_expr
(&mut self, strings: &mut lasso::Rodeo, expr: &ast::SExpr, bound: Use)
compiler_lib/src/typeck.rs:101
↓ 12 callers
Method
materialize_tree
(&mut self, ty: &ParsedType)
compiler_lib/src/parse_types.rs:258
↓ 12 callers
Method
remove
(&mut self, key: SourceLoc)
compiler_lib/src/parse_types.rs:64
↓ 9 callers
Method
new_val
(&mut self, val_type: VTypeHead, span: Span, deps: Option<PolyDeps>)
compiler_lib/src/core.rs:585
↓ 9 callers
Method
retain
(&mut self, f: impl Fn(&K) -> bool)
compiler_lib/src/reachability.rs:28
↓ 8 callers
Function
be_a
(s: &str)
compiler_lib/src/type_errors.rs:135
↓ 8 callers
Method
new_use
(&mut self, constraint: UTypeHead, span: Span, deps: Option<PolyDeps>)
compiler_lib/src/core.rs:590
↓ 8 callers
Method
push_str
(&mut self, s: impl Into<String>)
compiler_lib/src/spans.rs:227
↓ 8 callers
Method
unwind_point
(&mut self)
compiler_lib/src/typeck.rs:35
↓ 8 callers
Method
with
(&'a mut self, core: &'a mut TypeCheckerCore)
compiler_lib/src/parse_types.rs:105
↓ 7 callers
Function
comma_list
(exprs: Vec<Expr>)
compiler_lib/src/js.rs:57
↓ 7 callers
Method
get
(&self, key: SourceLoc)
compiler_lib/src/parse_types.rs:60
↓ 7 callers
Method
mutate
(&mut self, f: impl FnOnce(&mut BoundPairsSetSub))
compiler_lib/src/bound_pairs_set.rs:47
↓ 7 callers
Method
print_nonempty_lines
(&self, out: &mut String, y1: usize, y2: usize)
compiler_lib/src/spans.rs:62
↓ 7 callers
Method
top_use
(&self)
compiler_lib/src/core.rs:606
↓ 7 callers
Method
unwind
(&mut self, n: BindingsUnwindPoint)
compiler_lib/src/typeck.rs:39
↓ 6 callers
Function
field
(lhs: Expr, rhs: String)
compiler_lib/src/js.rs:41
↓ 6 callers
Method
get_mut
(&mut self, i: TypeNodeInd)
compiler_lib/src/reachability.rs:85
↓ 6 callers
Method
parse_type_sub
(&mut self, tyexpr: &ast::STypeExpr)
compiler_lib/src/parse_types.rs:463
↓ 6 callers
Method
push_span
(&mut self, span: Span)
compiler_lib/src/spans.rs:231
↓ 5 callers
Method
add_node
(&mut self, data: ExtNodeData)
compiler_lib/src/reachability.rs:92
↓ 5 callers
Method
get_new
(&self, id: StringId)
compiler_lib/src/codegen.rs:108
↓ 5 callers
Method
new_temp_var_assign
(&mut self, rhs: js::Expr, out: &mut Vec<js::Expr>)
compiler_lib/src/codegen.rs:38
↓ 5 callers
Method
simple_use
(&mut self, ty: TypeCtorInd, span: Span)
compiler_lib/src/core.rs:613
↓ 5 callers
Method
unwind
(&mut self, n: UnwindPoint)
compiler_lib/src/unwindmap.rs:38
↓ 5 callers
Method
unwind_point
(&mut self)
compiler_lib/src/unwindmap.rs:34
↓ 4 callers
Method
add_builtin_type
(&mut self, name: StringId)
compiler_lib/src/core.rs:468
↓ 4 callers
Method
as_ptr
(&self)
compiler_lib/src/bound_pairs_set.rs:39
↓ 4 callers
Function
assign
////////////////////////////////////////////////////////////////////////////////////////
compiler_lib/src/js.rs:23
↓ 4 callers
Function
compile
(ctx: &mut Context<'_>, expr: &ast::SExpr)
compiler_lib/src/codegen.rs:125
↓ 4 callers
Method
extend
(&mut self, other: &Self)
compiler_lib/src/parse_types.rs:56
↓ 4 callers
Function
getUint8ArrayMemory0
()
pkg/wasm.js:9
↓ 4 callers
Method
get_line
(&self, lineno: usize)
compiler_lib/src/spans.rs:45
↓ 4 callers
Method
get_pos
(&self, off: usize)
compiler_lib/src/spans.rs:39
↓ 4 callers
Method
infer_expr
(&mut self, strings: &mut lasso::Rodeo, expr: &ast::SExpr)
compiler_lib/src/typeck.rs:248
↓ 4 callers
Method
instantiate_use
(&mut self, old: Use)
compiler_lib/src/instantiate.rs:109
↓ 4 callers
Method
instantiate_val
(&mut self, old: Value)
compiler_lib/src/instantiate.rs:36
↓ 4 callers
Function
lit
(code: String)
compiler_lib/src/js.rs:47
↓ 4 callers
Method
ml_scope
(&mut self, cb: impl FnOnce(&mut Self) -> T)
compiler_lib/src/codegen.rs:83
↓ 4 callers
Function
obj
(fields: Vec<(String, Expr)>)
compiler_lib/src/js.rs:89
↓ 4 callers
Method
parse_type_signature
(&mut self, tyexpr: &ast::STypeExpr)
compiler_lib/src/typeck.rs:89
↓ 4 callers
Method
push_insert
(&mut self, before: impl Into<String>, span: Span, after: impl Into<String>)
compiler_lib/src/spans.rs:235
↓ 4 callers
Method
span
(&mut self, l: usize, r: usize)
compiler_lib/src/spans.rs:200
↓ 4 callers
Function
var
(s: String)
compiler_lib/src/js.rs:53
↓ 3 callers
Method
bot
(&self)
compiler_lib/src/core.rs:603
↓ 3 callers
Function
call
(lhs: Expr, rhs: Expr)
compiler_lib/src/js.rs:29
↓ 3 callers
Method
check_statement
( &mut self, strings: &mut lasso::Rodeo, def: &ast::Statement, allow_useless_e
compiler_lib/src/typeck.rs:507
↓ 3 callers
Method
clear
(&mut self)
compiler_lib/src/bound_pairs_set.rs:43
↓ 3 callers
Function
compile_let_pattern_flat
(ctx: &mut Context<'_>, out: &mut Vec<js::Expr>, pat: &ast::LetPattern, rhs: js::Expr)
compiler_lib/src/codegen.rs:287
↓ 3 callers
Method
disjoint_union_vars_have_match
Return true if there's any (loc, loc2) in self such that (loc, name) is in lhs and (loc2, name) is in rhs
compiler_lib/src/bound_pairs_set.rs:118
↓ 3 callers
Function
enumerate_tuple_fields
( vals: impl IntoIterator<Item = (T, Span)>, strings: &mut lasso::Rodeo, mut make_field: impl FnMu
compiler_lib/src/ast.rs:115
↓ 3 callers
Method
execute_js
(&self, compiled_code: &str)
cli_code/src/js_executor.rs:44
↓ 3 callers
Method
get
(&self, loc1: SourceLoc, loc2: SourceLoc)
compiler_lib/src/bound_pairs_set.rs:31
↓ 3 callers
Function
getStringFromWasm0
(ptr, len)
pkg/wasm.js:16
↓ 3 callers
Method
highlight_line
/////////////////////////////////////////////////////////////////////////////////////// Printing functions
compiler_lib/src/spans.rs:108
↓ 3 callers
Method
make_permanent
(&mut self, n: BindingsUnwindPoint)
compiler_lib/src/typeck.rs:45
↓ 3 callers
Method
process
(&mut self, source: &str)
compiler_lib/src/lib.rs:117
↓ 3 callers
Function
processCode
(script)
demo.js:71
↓ 3 callers
Method
set_binding
(&mut self, k: StringId, v: js::Expr)
compiler_lib/src/codegen.rs:28
↓ 3 callers
Method
simple_val
(&mut self, ty: TypeCtorInd, span: Span)
compiler_lib/src/core.rs:610
↓ 3 callers
Function
type_mismatch_err
( strings: &mut lasso::Rodeo, type_ctors: &[TypeCtor], lhs: &VTypeNode, rhs: &UTypeNode, )
compiler_lib/src/type_errors.rs:139
↓ 3 callers
Method
var
(&mut self, src: HoleSrc, scopelvl: ScopeLvl)
compiler_lib/src/core.rs:595
↓ 3 callers
Method
write
(&self, out: &mut String)
compiler_lib/src/js.rs:226
↓ 2 callers
Function
__wbg_finalize_init
(instance, module)
pkg/wasm.js:203
↓ 2 callers
Function
__wbg_get_imports
()
pkg/wasm.js:179
↓ 2 callers
Function
__wbg_init_memory
(imports, memory)
pkg/wasm.js:199
↓ 2 callers
Function
addOutput
(line, cls)
demo.js:34
↓ 2 callers
Method
add_func_sig
(&mut self, parsed: ParsedFuncSig, bindings: &mut Bindings)
compiler_lib/src/parse_types.rs:342
↓ 2 callers
Method
add_func_type
(&mut self, parsed: &ParsedFuncSig)
compiler_lib/src/parse_types.rs:338
↓ 2 callers
Method
add_pattern
(&mut self, parsed: ParsedLetPattern, bindings: &mut Bindings)
compiler_lib/src/parse_types.rs:333
↓ 2 callers
Method
add_type
(&mut self, parsed: ParsedTypeSig)
compiler_lib/src/parse_types.rs:269
↓ 2 callers
Method
add_type_ctor
(&mut self, ty: TypeCtor)
compiler_lib/src/core.rs:463
↓ 2 callers
Method
add_type_params
( &mut self, loc: SourceLoc, ty_params: &[TypeParam], kind: ast::PolyKind,
compiler_lib/src/parse_types.rs:601
↓ 2 callers
Method
add_var
(&mut self, scope: &str, name: String)
compiler_lib/src/js.rs:486
↓ 2 callers
Method
case_use
(&mut self, cases: Vec<(StringId, Use)>, wildcard: Option<Use>, span: Span)
compiler_lib/src/core.rs:622
↓ 2 callers
Function
comma_list_sub
(flattened: Vec<Expr2>)
compiler_lib/src/js.rs:73
↓ 2 callers
Function
compile_statement
(ctx: &mut Context<'_>, exprs: &mut Vec<js::Expr>, stmt: &ast::Statement)
compiler_lib/src/codegen.rs:334
↓ 2 callers
Method
compile_test
(&self, test_path: &Path)
cli_code/src/bin/regression.rs:200
↓ 2 callers
Method
expand
(mut self, hole: &TypeNode, ind: TypeNodeInd)
compiler_lib/src/core.rs:426
↓ 2 callers
Method
filter_left
(&mut self, mut f: impl FnMut(SourceLoc) -> bool)
compiler_lib/src/bound_pairs_set.rs:11
↓ 2 callers
Method
filter_right
(&mut self, mut f: impl FnMut(SourceLoc) -> bool)
compiler_lib/src/bound_pairs_set.rs:15
↓ 2 callers
Function
flip
(k: &JoinKind)
compiler_lib/src/parse_types.rs:368
↓ 2 callers
Method
flip
(&self)
compiler_lib/src/core.rs:419
↓ 2 callers
Function
func
(arg: Expr, scope: String, body: Expr)
compiler_lib/src/js.rs:85
↓ 2 callers
Method
get
(&self, id: StringId)
compiler_lib/src/codegen.rs:104
↓ 2 callers
Method
get
(&self, i: TypeNodeInd)
compiler_lib/src/reachability.rs:82
↓ 2 callers
Method
hash_js_code
(&self, js_code: &str)
cli_code/src/js_executor.rs:20
↓ 2 callers
Method
insert
(&mut self, k: K, v: V)
compiler_lib/src/reachability.rs:16
↓ 2 callers
Method
iter_keys
(&self)
compiler_lib/src/reachability.rs:24
↓ 2 callers
Method
materialize_and_instantiate_bindings
( &mut self, parsed: ParsedBindings, ret_type: RcParsedType, should_instantiat
compiler_lib/src/parse_types.rs:273
↓ 2 callers
Method
new_edge_context
(&self, reason: FlowReason, scopelvl: ScopeLvl)
compiler_lib/src/core.rs:476
next →
1–100 of 280, ranked by callers