MCPcopy Create free account

hub / github.com/dada-lang/dada / functions

Functions1,179 in github.com/dada-lang/dada

⨍ Functions 1,179◇ Types & classes 371
↓ 7 callersMethodwasm_repr_of_type
Returns the [`WasmRepr`][] that describes how `of_type` will be represented in WASM.
components/dada-codegen/src/cx/wasm_repr.rs:63
↓ 7 callersMethodwith_inference_var_data
Read the current data for the given inference variable. A lock is held while the read occurs; deadlock will occur if there is an attempt to mutate in
components/dada-ir-sym/src/check/runtime.rs:293
↓ 7 callersMethodwith_link
Extend this scope with another link in the name resolution chain
components/dada-ir-sym/src/check/scope.rs:52
↓ 6 callersFunctionG
(e,t)
components/dada-debug/assets/highlight.min.js:107
↓ 6 callersFunctionO
(e)
components/dada-debug/assets/highlight.min.js:278
↓ 6 callersMethodanonymous_perm_symbol
(self, db: &'db dyn crate::Db)
components/dada-ir-sym/src/ir/types.rs:823
↓ 6 callersMethodas_usize
(self)
components/dada-ir-sym/src/ir/indices.rs:16
↓ 6 callersMethodast
(lv: SymVariable<'db>, decl: VariableDecl<'db>)
components/dada-ir-sym/src/check/env.rs:696
↓ 6 callersFunctionb
(e)
components/dada-debug/assets/highlight.min.js:180
↓ 6 callersMethodcontents
(&self, url: &Url)
components/dada-compiler/src/realfs.rs:34
↓ 6 callersMethodeither
( &mut self, a: impl AsyncFnOnce(&mut Env<'db>) -> Errors<bool>, b: impl AsyncFnOnce(&
components/dada-ir-sym/src/check/env/combinator.rs:121
↓ 6 callersFunctionenabled
()
components/dada-util/src/log.rs:63
↓ 6 callersMethoderror
(db: &'db dyn crate::Db, span: Span<'db>, message: impl Display)
components/dada-ir-ast/src/diagnostic.rs:78
↓ 6 callersFunctionexpand_ebnf_in_directive
Expands `...` placeholders in EBNF code blocks using the sub-paragraph names from the same spec directive. When a ` ```ebnf ``` ` block contains `...
components/dada-spec-common/src/lib.rs:302
↓ 6 callersFunctionformat_identifier
(db: &dyn crate::Db, id: &SpannedIdentifier<'_>, buf: &mut String)
components/dada-probe/src/lib.rs:520
↓ 6 callersFunctiong
(e)
components/dada-debug/assets/highlight.min.js:44
↓ 6 callersMethodidentity
(&self)
components/dada-ir-sym/src/ir/subst.rs:142
↓ 6 callersMethodinto_diagnostic
(self, db: &dyn crate::Db)
components/dada-parser/src/lib.rs:692
↓ 6 callersMethodmembers
(self, db: &'db dyn crate::Db)
components/dada-ir-sym/src/ir/classes.rs:158
↓ 6 callersMethodnext_token_on_same_line
Returns true if the next token is on the same line as the most recently consumed token. Some parts of our grammar are newline sensitive.
components/dada-parser/src/lib.rs:444
↓ 6 callersMethodor_else
(&self, env: &mut Env<'db>, because: Because<'db>)
components/dada-ir-sym/src/check/report.rs:81
↓ 6 callersMethodpush_event
( &self, compiler_location: &'static Location<'static>, message: &'static str,
components/dada-ir-sym/src/check/debug.rs:156
↓ 6 callersFunctionrender_tag_badges
Renders a list of spec tags (e.g., `rfc0001`, `unimpl`, `!rfc0001`) as HTML badge spans. Returns an empty string if tags is empty, otherwise returns
components/dada-spec-common/src/lib.rs:169
↓ 6 callersMethodrequire_expr_has_bool_ty
(&mut self, live_after: LivePlaces, expr: SymExpr<'db>)
components/dada-ir-sym/src/check/env.rs:492
↓ 6 callersFunctionrequire_var_is
( env: &mut Env<'db>, var: SymVariable<'db>, predicate: Predicate, or_else: &dyn OrElse<'db>,
components/dada-ir-sym/src/check/predicates/var_infer.rs:28
↓ 6 callersFunctionroot
basic handler that responds with a static string
components/dada-debug/src/root.rs:37
↓ 6 callersMethodserialize_field
(&mut self, value: &T)
components/dada-util/src/fixed_depth_json.rs:355
↓ 6 callersFunctionterm_is_provably_lent
( env: &mut Env<'db>, term: impl Into<SymGenericTerm<'db>>, )
components/dada-ir-sym/src/check/predicates/is_provably_lent.rs:20
↓ 6 callersFunctionterm_is_provably_unique
( env: &mut Env<'db>, term: SymGenericTerm<'db>, )
components/dada-ir-sym/src/check/predicates/is_provably_unique.rs:20
↓ 5 callersMethodadd
(e)
components/dada-debug/assets/highlight.min.js:29
↓ 5 callersMethodboth
( &mut self, a: impl AsyncFnOnce(&mut Env<'db>) -> Errors<bool>, b: impl AsyncFnOnce(&
components/dada-ir-sym/src/check/env/combinator.rs:226
↓ 5 callersMethodchild
(mut self, child: Diagnostic)
components/dada-ir-ast/src/diagnostic.rs:143
↓ 5 callersFunctiondebug_cold
( log_kind: &LogKind, message_kind: MessageKind, message_text: &'static str, args: &[LogArgume
components/dada-util/src/log.rs:188
↓ 5 callersFunctione
(t)
components/dada-debug/assets/highlight.min.js:6
↓ 5 callersFunctioneat_expr_with_precedence
( db: &'db dyn crate::Db, parser: &mut Parser<'_, 'db>, precedence: impl FnOnce( &'db dyn
components/dada-parser/src/expr.rs:33
↓ 5 callersFunctionevent_argument
(values: &[&dyn erased_serde::Serialize])
components/dada-ir-sym/src/check/debug.rs:462
↓ 5 callersMethodfirst_id
(self, db: &'db dyn crate::Db)
components/dada-ir-ast/src/ast.rs:131
↓ 5 callersMethodfresh_inference_var
(&mut self, kind: SymGenericKind, span: Span<'db>)
components/dada-ir-sym/src/check/env.rs:272
↓ 5 callersMethodinfer_var_span
Span for code that prompted creation of inference variable `v`.
components/dada-ir-sym/src/check/env.rs:510
↓ 5 callersMethodinto_iter
(self)
components/dada-util/src/vecset.rs:103
↓ 5 callersMethodinto_span
Convert into a span anchored at the source file.
components/dada-ir-ast/src/span.rs:108
↓ 5 callersFunctionm
(e,{joinWith:t})
components/dada-debug/assets/highlight.min.js:52
↓ 5 callersMethodname
Name of the class.
components/dada-ir-sym/src/ir/classes.rs:36
↓ 5 callersMethodnext
(&mut self, env: &Env<'db>)
components/dada-ir-sym/src/check/env/infer_bounds.rs:50
↓ 5 callersFunctionp
(e,t)
components/dada-debug/assets/highlightjs-line-numbers.min.js:1
↓ 5 callersMethodperm
Returns a new [`SymTyKind::Perm`][].
components/dada-ir-sym/src/ir/types.rs:358
↓ 5 callersFunctionperm_is_provably_owned
( env: &mut Env<'db>, perm: SymPerm<'db>, )
components/dada-ir-sym/src/check/predicates/is_provably_owned.rs:73
↓ 5 callersFunctionreport_missing_call_to_method
( db: &'db dyn crate::Db, owner_span: Span<'db>, method: SymFunction<'db>, )
components/dada-ir-sym/src/check/exprs.rs:1498
↓ 5 callersMethodrequire_for_all
( &mut self, items: impl IntoIterator<Item = T>, f: impl AsyncFn(&mut Env<'db>, T) ->
components/dada-ir-sym/src/check/env/combinator.rs:41
↓ 5 callersFunctionrequire_perm_is_lent
( env: &mut Env<'db>, perm: SymPerm<'db>, or_else: &dyn OrElse<'db>, )
components/dada-ir-sym/src/check/predicates/require_lent.rs:127
↓ 5 callersFunctionrequire_perm_is_owned
( env: &mut Env<'db>, perm: SymPerm<'db>, or_else: &dyn OrElse<'db>, )
components/dada-ir-sym/src/check/predicates/require_owned.rs:129
↓ 5 callersFunctionrequire_perm_is_unique
( env: &mut Env<'db>, perm: SymPerm<'db>, or_else: &dyn OrElse<'db>, )
components/dada-ir-sym/src/check/predicates/require_unique.rs:101
↓ 5 callersFunctionrequire_sub_perms
( env: &mut Env<'db>, live_after: LivePlaces, lower_perm: SymPerm<'db>, upper_perm: SymPerm<'d
components/dada-ir-sym/src/check/subtype/perms.rs:35
↓ 5 callersFunctionrequire_sub_red_terms
( env: &mut Env<'db>, live_after: LivePlaces, (lower_red_ty, lower_perm): (RedTy<'db>, SymPerm<'db
components/dada-ir-sym/src/check/subtype/terms.rs:52
↓ 5 callersFunctionrequire_term_is_owned
( env: &mut Env<'db>, term: SymGenericTerm<'db>, or_else: &dyn OrElse<'db>, )
components/dada-ir-sym/src/check/predicates/require_owned.rs:24
↓ 5 callersFunctionrequire_term_is_shared
( env: &mut Env<'db>, term: SymGenericTerm<'db>, or_else: &dyn OrElse<'db>, )
components/dada-ir-sym/src/check/predicates/require_shared.rs:24
↓ 5 callersMethodresolve_in
(self, env: &mut Env<'db>)
components/dada-ir-sym/src/check/scope.rs:556
↓ 5 callersMethodspan
(&self, db: &'db dyn crate::Db)
components/dada-ir-ast/src/span.rs:20
↓ 5 callersFunctionwalk_ast_statement
( db: &'db dyn crate::Db, stmt: &AstStatement<'db>, target: AbsoluteSpan, best: &mut Option<As
components/dada-probe/src/lib.rs:242
↓ 4 callersMethodassumed
(&self, var: SymVariable<'db>, kind: impl Fn(AssumptionKind) -> bool)
components/dada-ir-sym/src/check/env.rs:167
↓ 4 callersMethodat_end
Span pointing at the end of `self`
components/dada-ir-ast/src/span.rs:169
↓ 4 callersMethodbody_block
(self, db: &'db dyn crate::Db)
components/dada-parser/src/functions.rs:227
↓ 4 callersMethodcheck_all
(&self, editor: &mut dyn Editor<Server>, source_file: SourceFile)
components/dada-lsp-server/src/main.rs:218
↓ 4 callersMethodchecked_field_ty
(self, db: &'db dyn crate::Db)
components/dada-ir-sym/src/lib.rs:50
↓ 4 callersMethodchecked_signature
(self, db: &'db dyn crate::Db)
components/dada-ir-sym/src/lib.rs:64
↓ 4 callersFunctionf
(...e)
components/dada-debug/assets/highlight.min.js:46
↓ 4 callersMethodfresh_ty_inference_var
Create a fresh type inference variable.
components/dada-ir-sym/src/check/env.rs:326
↓ 4 callersMethodgenerate_test_report
(&self, db: &dyn crate::Db)
components/dada-lang/src/main_lib/test.rs:873
↓ 4 callersMethodhas_generics_of_kind
(&self, db: &'db dyn crate::Db, kinds: &[SymGenericKind])
components/dada-ir-sym/src/ir/functions.rs:248
↓ 4 callersMethodhas_kind
(&self, _db: &'db dyn crate::Db, kind: SymGenericKind)
components/dada-ir-sym/src/ir/types.rs:118
↓ 4 callersMethodinfer_var_kind
Kind of this inference variable.
components/dada-ir-sym/src/check/env.rs:515
↓ 4 callersFunctioninsert
( db: &'db dyn crate::Db, map: &mut Map<Identifier<'db>, V>, id: Identifier<'db>, value: V, )
components/dada-ir-sym/src/ir/module.rs:194
↓ 4 callersMethodinto_scope
(self)
components/dada-ir-sym/src/check/env.rs:99
↓ 4 callersMethodinto_sym_place
(self, db: &'db dyn crate::Db)
components/dada-ir-sym/src/ir/exprs.rs:281
↓ 4 callersMethodline_starts
(self, db: &dyn crate::Db)
components/dada-ir-ast/src/inputs.rs:134
↓ 4 callersFunctionmain
(port: u32, debug_rx: Receiver<DebugEvent>)
components/dada-debug/src/server.rs:13
↓ 4 callersMethodmap
()
components/dada-parser/src/tokenizer.rs:145
↓ 4 callersMethodopenNode
(e)
components/dada-debug/assets/highlight.min.js:20
↓ 4 callersMethodparse
(self, db: &dyn crate::Db)
components/dada-parser/src/lib.rs:33
↓ 4 callersMethodperm
(&self)
components/dada-ir-sym/src/check/inference.rs:91
↓ 4 callersFunctionperm_is_provably_shared
( env: &mut Env<'db>, perm: SymPerm<'db>, )
components/dada-ir-sym/src/check/predicates/is_provably_shared.rs:67
↓ 4 callersFunctionplace_is_provably_unique
( env: &mut Env<'db>, place: SymPlace<'db>, )
components/dada-ir-sym/src/check/predicates/is_provably_unique.rs:103
↓ 4 callersMethodpush_expr
Generate code to execute the expression, leaving the result on the top of the wasm stack.
components/dada-codegen/src/cx/generate_expr.rs:81
↓ 4 callersMethodresolve_relative_id
Like [`NameResolutionSym::resolve_relative_id`] but also threads the generic arguments through.
components/dada-ir-sym/src/check/scope.rs:281
↓ 4 callersFunctionrespond_ok_or_500
(body: anyhow::Result<B>)
components/dada-debug/src/server.rs:58
↓ 4 callersFunctions
components/dada-debug/assets/highlight.min.js:17
↓ 4 callersMethodshould_truncate
(&self)
components/dada-util/src/fixed_depth_json.rs:43
↓ 4 callersMethodsource_span
(&self, db: &'db dyn dada_ir_ast::Db)
components/dada-ir-sym/src/ir/exprs.rs:100
↓ 4 callersMethodspawn_require_numeric_type
(&mut self, ty: SymTy<'db>, or_else: &dyn OrElse<'db>)
components/dada-ir-sym/src/check/env.rs:420
↓ 4 callersMethodstyle
Aggregate style (struct, etc)
components/dada-ir-sym/src/ir/types.rs:479
↓ 4 callersMethodsubst_with
( &'subst self, _db: &'db dyn crate::Db, _bound_vars: &mut Vec<SymVariable<'db>>,
components/dada-ir-sym/src/ir/subst.rs:146
↓ 4 callersMethodsymbol
(self, db: &'db dyn crate::Db)
components/dada-ir-sym/src/ir/module.rs:109
↓ 4 callersFunctionterm_is_provably_owned
( env: &mut Env<'db>, term: SymGenericTerm<'db>, )
components/dada-ir-sym/src/check/predicates/is_provably_owned.rs:20
↓ 4 callersFunctionu
(e)
components/dada-debug/assets/highlight.min.js:45
↓ 4 callersMethodwake
Implement of the "Waker::wake" method. Invoked when an inference variable we were blocked on has changed or something like that. Adds this task to the
components/dada-ir-sym/src/check/runtime.rs:556
↓ 3 callersFunctionE
(e,n,s,o)
components/dada-debug/assets/highlight.min.js:187
↓ 3 callersFunction_
()
components/dada-debug/assets/highlight.min.js:276
↓ 3 callersFunction_jsVal
(value)
components/dada-debug/assets/jsontree.js:58
↓ 3 callersMethodaccumulate_skipped
(&mut self, skipped: Skipped)
components/dada-parser/src/tokenizer.rs:317
↓ 3 callersMethodaddRule
(e,t)
components/dada-debug/assets/highlight.min.js:142
← previousnext →101–200 of 1,179, ranked by callers