MCPcopy Create free account

hub / github.com/Storyyeller/polysubml-demo / functions

Functions280 in github.com/Storyyeller/polysubml-demo

⨍ Functions 280◇ Types & classes 105
↓ 2 callersMethodnew_var
(&mut self, ml_name: StringId)
compiler_lib/src/codegen.rs:51
↓ 2 callersMethodobj_use
(&mut self, fields: Vec<(StringId, (Use, Option<Value>, Span))>, span: Span)
compiler_lib/src/core.rs:617
↓ 2 callersMethodparse_func_sig
( &mut self, ty_params: &Option<Vec<TypeParam>>, arg_pat: &(ast::LetPattern, Span),
compiler_lib/src/parse_types.rs:714
↓ 2 callersMethodparse_let_pattern
(&mut self, pat: &ast::LetPattern, no_typed_var_allowed: bool)
compiler_lib/src/parse_types.rs:708
↓ 2 callersMethodparse_let_pattern_sub
( &mut self, pat: &ast::LetPattern, out: &mut ParsedBindings, no_typed_var_all
compiler_lib/src/parse_types.rs:631
↓ 2 callersMethodparse_type_or_hole_sub
(&mut self, tyexpr: Option<&ast::STypeExpr>, span_before_hole: Span)
compiler_lib/src/parse_types.rs:582
↓ 2 callersMethodparse_type_sub_contravariant
(&mut self, tyexpr: &ast::STypeExpr)
compiler_lib/src/parse_types.rs:443
↓ 2 callersFunctionpoisoned_poly_err
(span: Span)
compiler_lib/src/type_errors.rs:271
↓ 2 callersMethodprint_middle_context
(&self, out: &mut String, y1: usize, y2: usize)
compiler_lib/src/spans.rs:68
↓ 2 callersMethodprocess_let_pattern
(&mut self, pat: &ast::LetPattern, no_typed_var_allowed: bool)
compiler_lib/src/typeck.rs:95
↓ 2 callersMethodprocess_used_expr
Process an expression whose value is used - traverses backwards, marking variables as used
compiler_lib/src/js.rs:506
↓ 2 callersMethodremove_var_assign_if_unused
Replace "s.x = rhs" with just "rhs" if s.x is never read
compiler_lib/src/js.rs:491
↓ 2 callersFunctionscope_field
(scope_var: &str, name: &str)
compiler_lib/src/js.rs:44
↓ 2 callersMethodset_use
(&mut self, ph: Use, head: UTypeHead, span: Span, deps: Option<PolyDeps>)
compiler_lib/src/core.rs:642
↓ 2 callersMethodset_val
(&mut self, ph: Value, head: VTypeHead, span: Span, deps: Option<PolyDeps>)
compiler_lib/src/core.rs:633
↓ 2 callersMethodshould_inline
(&self)
compiler_lib/src/js.rs:109
↓ 2 callersMethodshow_text_diff
(&self, expected: &str, actual: &str)
cli_code/src/bin/regression.rs:331
↓ 2 callersFunctionternary
(cond: Expr, e1: Expr, e2: Expr)
compiler_lib/src/js.rs:50
↓ 2 callersMethodtruncate
(&mut self, i: TypeNodeInd)
compiler_lib/src/core.rs:390
↓ 2 callersMethodupdate
(&mut self, other: &Self)
compiler_lib/src/core.rs:432
↓ 2 callersMethoduse_placeholder
(&mut self)
compiler_lib/src/core.rs:630
↓ 2 callersMethodval_placeholder
(&mut self)
compiler_lib/src/core.rs:627
↓ 2 callersMethodvisitRoot
(e)
demo.js:151
↓ 2 callersMethodvisitRoot
(e)
cli_code/src/js_runtime.js:14
↓ 2 callersMethodwrap_in_parens
(&mut self)
compiler_lib/src/js.rs:337
↓ 1 callersMethod__destroy_into_raw
()
pkg/wasm.js:91
↓ 1 callersFunction__wbg_load
(module, imports)
pkg/wasm.js:148
↓ 1 callersMethod__wrap
(ptr)
pkg/wasm.js:83
↓ 1 callersMethodadd_abstract_type
(&mut self, name: StringId, span: Span, scopelvl: ScopeLvl)
compiler_lib/src/core.rs:471
↓ 1 callersMethodadd_edge
( &mut self, lhs: TypeNodeInd, rhs: TypeNodeInd, edge_val: ExtEdgeData,
compiler_lib/src/reachability.rs:115
↓ 1 callersMethodadd_hole_int
(&mut self, core: &TypeCheckerCore, strings: &mut lasso::Rodeo, pair: (Value, Use))
compiler_lib/src/type_errors.rs:58
↓ 1 callersMethodadd_parens
(&mut self)
compiler_lib/src/js.rs:352
↓ 1 callersMethodadd_pattern_bound
(&mut self, parsed: &ParsedLetPattern)
compiler_lib/src/parse_types.rs:329
↓ 1 callersMethodadd_source
(&mut self, source: String)
compiler_lib/src/spans.rs:90
↓ 1 callersFunctionbacktrack_hole_list_sub
( core: &TypeCheckerCore, seen: &mut HashSet<(Value, Use)>, holes_list: &mut Vec<InferenceVarData>
compiler_lib/src/type_errors.rs:280
↓ 1 callersFunctionbinop
(lhs: Expr, rhs: Expr, op: Op)
compiler_lib/src/js.rs:26
↓ 1 callersMethodcache_result
(&self, js_code: &str, result: &str)
cli_code/src/js_executor.rs:33
↓ 1 callersFunctioncheck_heads
( strings: &mut lasso::Rodeo, type_ctors: &[TypeCtor], lhs_ind: Value, lhs: &VTypeNode, rh
compiler_lib/src/core.rs:156
↓ 1 callersMethodcheck_let_def
(&mut self, strings: &mut lasso::Rodeo, lhs: &ast::LetPattern, expr: &ast::SExpr)
compiler_lib/src/typeck.rs:429
↓ 1 callersMethodcheck_let_rec_defs
(&mut self, strings: &mut lasso::Rodeo, defs: &Vec<ast::LetRecDefinition>)
compiler_lib/src/typeck.rs:463
↓ 1 callersMethodcheck_node_available
(&self)
cli_code/src/js_executor.rs:88
↓ 1 callersMethodcheck_script
(&mut self, strings: &mut lasso::Rodeo, parsed: &[ast::Statement])
compiler_lib/src/typeck.rs:550
↓ 1 callersFunctioncompile_let_pattern
(ctx: &mut Context<'_>, pat: &ast::LetPattern)
compiler_lib/src/codegen.rs:314
↓ 1 callersFunctioncompile_script
(ctx: &mut Context<'_>, parsed: &[ast::Statement])
compiler_lib/src/codegen.rs:367
↓ 1 callersFunctionconvert_parse_error
( mut sm: SpanMaker, e: ParseError<usize, T, (&'static str, spans::Span)>, )
compiler_lib/src/lib.rs:32
↓ 1 callersMethodcustom
(&mut self, ty: TypeCtorInd, span: Span)
compiler_lib/src/core.rs:652
↓ 1 callersMethoddiscover_tests
(&self)
cli_code/src/bin/regression.rs:133
↓ 1 callersFunctioneqop
(lhs: Expr, rhs: Expr)
compiler_lib/src/js.rs:38
↓ 1 callersMethodeval
(&self, deps: &PolyAndRecDeps)
compiler_lib/src/parse_types.rs:122
↓ 1 callersFunctionexecCode
(script)
demo.js:48
↓ 1 callersMethodfirst
(&self)
compiler_lib/src/js.rs:204
↓ 1 callersMethodfix_and_truncate
(&mut self, i: TypeNodeInd)
compiler_lib/src/reachability.rs:54
↓ 1 callersMethodflow
( &mut self, strings: &mut lasso::Rodeo, lhs: Value, rhs: Use, expl_sp
compiler_lib/src/core.rs:484
↓ 1 callersMethodflow_sub_mut
(&mut self, res: CheckHeadsResult, out: &mut Vec<(Value, Use, TypeEdge)>, scopelvl: ScopeLvl)
compiler_lib/src/core.rs:541
↓ 1 callersMethodfn_scope
(&mut self, cb: impl FnOnce(&mut Self) -> T)
compiler_lib/src/codegen.rs:90
↓ 1 callersMethodget_cached_result
(&self, js_code: &str)
cli_code/src/js_executor.rs:26
↓ 1 callersMethodget_edge
(&self, lhs: TypeNodeInd, rhs: TypeNodeInd)
compiler_lib/src/reachability.rs:88
↓ 1 callersMethodget_err
(&mut self)
wasm/src/wasm.rs:43
↓ 1 callersMethodget_lineno
(&self, off: usize)
compiler_lib/src/spans.rs:32
↓ 1 callersMethodget_output
(&mut self)
wasm/src/wasm.rs:40
↓ 1 callersFunctionimmutable_field_err
(lhs_span: Span, rhs_span: Span, name: &str)
compiler_lib/src/type_errors.rs:236
↓ 1 callersFunctioninitializeRepl
(root, compiler, Printer)
demo.js:27
↓ 1 callersMethodinsert_var
(&mut self, name: StringId, span: Span, ty: RcParsedType)
compiler_lib/src/parse_types.rs:354
↓ 1 callersFunctioninstantiate_uni
(expr: Box<SExpr>, types: Spanned<Vec<(StringId, STypeExpr)>>, source: InstantiateSourceKind)
compiler_lib/src/ast/expr.rs:214
↓ 1 callersMethodload_baseline
(&self, baseline_path: &Path)
cli_code/src/bin/regression.rs:294
↓ 1 callersMethodmaterialize_tree_sub
(&mut self, ty: &ParsedType)
compiler_lib/src/parse_types.rs:239
↓ 1 callersMethodmaterialize_tree_sub_into_ph
(&mut self, ty: &ParsedType, ph: (Value, Use))
compiler_lib/src/parse_types.rs:130
↓ 1 callersFunctionmissing_field_err
(lhs_span: Span, rhs_span: Span, name: &str)
compiler_lib/src/type_errors.rs:226
↓ 1 callersMethodnew
()
wasm/src/wasm.rs:18
↓ 1 callersMethodnew_param_name
(&mut self)
compiler_lib/src/codegen.rs:75
↓ 1 callersMethodnew_scope_name
(&mut self)
compiler_lib/src/codegen.rs:69
↓ 1 callersMethodnew_span
(&mut self, source_ind: usize, l: usize, r: usize)
compiler_lib/src/spans.rs:100
↓ 1 callersMethodnew_var_assign
(&mut self, ml_name: StringId, rhs: js::Expr, out: &mut Vec<js::Expr>)
compiler_lib/src/codegen.rs:58
↓ 1 callersMethodnew_var_name
(&mut self)
compiler_lib/src/codegen.rs:32
↓ 1 callersFunctionoptimize
(expr: &mut Expr, main_scope_name: String, bindings: &HashMap<crate::ast::StringId, Expr>)
compiler_lib/src/js.rs:627
↓ 1 callersMethodparse_type
///////////////////////////////////////////////////////////////////////////////////
compiler_lib/src/parse_types.rs:593
↓ 1 callersMethodparse_type_or_hole
(&mut self, tyexpr: Option<&ast::STypeExpr>, span_before_hole: Span)
compiler_lib/src/parse_types.rs:597
↓ 1 callersMethodparse_type_sub_invariant
(&mut self, tyexpr: &ast::STypeExpr)
compiler_lib/src/parse_types.rs:455
↓ 1 callersMethodparse_union_or_intersect_type
( &mut self, deps: &mut PolyAndRecDeps, kind: JoinKind, exprs: &[ast::STypeExp
compiler_lib/src/parse_types.rs:397
↓ 1 callersFunctionpassStringToWasm0
(arg, malloc, realloc)
pkg/wasm.js:38
↓ 1 callersMethodprecedence
(&self)
compiler_lib/src/js.rs:176
↓ 1 callersMethodprint
(&self, out: &mut String, span: Span)
compiler_lib/src/spans.rs:127
↓ 1 callersMethodprint_diff
(&self, result: &TestResult)
cli_code/src/bin/regression.rs:307
↓ 1 callersMethodprint_insertion
(&self, out: &mut String, before: &str, span: Span, after: &str)
compiler_lib/src/spans.rs:153
↓ 1 callersMethodprint_line_if_nonempty
(&self, out: &mut String, lineno: usize)
compiler_lib/src/spans.rs:55
↓ 1 callersMethodprint_summary
(&self, results: &[TestResult])
cli_code/src/bin/regression.rs:349
↓ 1 callersFunctionprintln
(exprs: Vec<Expr>)
compiler_lib/src/js.rs:81
↓ 1 callersMethodprintln
(...args)
cli_code/src/js_runtime.js:75
↓ 1 callersMethodpriority
(&self)
compiler_lib/src/type_errors.rs:29
↓ 1 callersMethodprocess
(&mut self, source: &str)
wasm/src/wasm.rs:26
↓ 1 callersFunctionprocessReplInput
(line)
demo.js:80
↓ 1 callersMethodprocess_sub
(&mut self, source: &str)
compiler_lib/src/lib.rs:99
↓ 1 callersMethodprocess_unused_expr
Process an expression whose value is discarded - only keeps side effects
compiler_lib/src/js.rs:580
↓ 1 callersFunctionrecord
(fields: Vec<KeyPair>)
compiler_lib/src/ast/expr.rs:230
↓ 1 callersMethodreset
(&mut self)
wasm/src/wasm.rs:47
↓ 1 callersMethodrevert
(&mut self)
compiler_lib/src/core.rs:663
↓ 1 callersMethodrun_all_tests
(&self)
cli_code/src/bin/regression.rs:155
↓ 1 callersMethodrun_single_test
(&self, test_path: &Path)
cli_code/src/bin/regression.rs:223
↓ 1 callersMethodsave
///////////////////////////////////////////////////////////////////////////
compiler_lib/src/core.rs:660
↓ 1 callersMethodsave_baseline
(&self, baseline_path: &Path, result: &CompilationResult)
cli_code/src/bin/regression.rs:288
← previousnext →101–200 of 280, ranked by callers