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
↓ 1 callersMethodcodegen_fn
(&mut self, FnKey(function, generics): FnKey<'db>)
components/dada-codegen/src/cx/generate_fn.rs:73
↓ 1 callersFunctioncodegen_main_fn
(db: &'db dyn Db, source_file: SourceFile)
components/dada-codegen/src/lib.rs:11
↓ 1 callersMethodcomment
(&mut self, index: usize)
components/dada-parser/src/tokenizer.rs:355
↓ 1 callersFunctioncompact_ast_format
Format an AstExpr as a compact single-line string. # Example outputs - `Literal(String, "hello\nworld")` - `ParenthesisOp(Id(print), [Literal(String,
components/dada-probe/src/lib.rs:348
↓ 1 callersMethodcompare
(self, compiler: &mut Compiler)
components/dada-lang/src/main_lib/test/expected.rs:377
↓ 1 callersMethodcompare_auxiliary
( &self, compiler: &mut Compiler, ext: &str, enabled: bool, generate_f
components/dada-lang/src/main_lib/test/expected.rs:453
↓ 1 callersMethodcompare_diagnostics
(self, mut actual_diagnostics: Vec<&Diagnostic>)
components/dada-lang/src/main_lib/test/expected.rs:506
↓ 1 callersMethodcompile
()
components/dada-debug/assets/highlight.min.js:131
↓ 1 callersMethodcompiler_location
(&self)
components/dada-ir-sym/src/check/report.rs:89
↓ 1 callersFunctionconcat_linkvecvecs
( env: &mut Env<'db>, lhs: &[Vec<RedLink<'db>>], rhs: &[Vec<RedLink<'db>>], )
components/dada-ir-sym/src/check/to_red.rs:449
↓ 1 callersMethodconfiguration
( &mut self, db: &dyn crate::Db, line_index: usize, mut line: &str, )
components/dada-lang/src/main_lib/test/expected.rs:314
↓ 1 callersMethodconfirm_member
( &mut self, owner: ExprResult<'db>, owner_perm: SymPerm<'db>, member: SearchR
components/dada-ir-sym/src/check/member_lookup.rs:54
↓ 1 callersFunctionconvert_to_porcelain_test
(detailed_result: &DetailedTestResult)
components/dada-lang/src/main_lib/test.rs:449
↓ 1 callersFunctioncopy_dir_recursive
(src: &PathBuf, dst: &PathBuf)
components/xtask/src/deploy.rs:144
↓ 1 callersMethodcopy_template_files
( &self, rfcs_dir: &Path, rfc_dir: &Path, rfc_number: u32, name: &str,
components/xtask/src/rfc.rs:77
↓ 1 callersMethodcreate_new_rfc
(&self, name: &str)
components/xtask/src/rfc.rs:26
↓ 1 callersFunctioncreate_rfc_chapter
( src_dir: &Path, dir_name: &str, dir_path: &Path, all_rfcs_chapter: &Chapter, rfc_index:
components/dada-mdbook-preprocessor/src/main.rs:833
↓ 1 callersFunctiond
(e,n)
components/dada-debug/assets/highlightjs-line-numbers.min.js:1
↓ 1 callersFunctiondedent_multiline
Apply multiline string dedenting to raw source content. Given raw content that starts with a newline (multiline string detected by caller), this func
components/dada-parser/src/tokenizer.rs:753
↓ 1 callersMethoddeferred
( db: &'db dyn crate::Db, anchor: impl Into<Anchor<'db>>, deferred_parse: &'db Deferre
components/dada-parser/src/lib.rs:94
↓ 1 callersFunctiondelete_test_report
(path: &Path)
components/dada-lang/src/main_lib/test.rs:879
↓ 1 callersMethoddid_change
(&self)
components/dada-ir-sym/src/check/inference.rs:255
↓ 1 callersMethoddiff_lines
(&self, expected: &str, actual: &str)
components/dada-lang/src/main_lib/test/expected.rs:577
↓ 1 callersMethoddirect_super_scope
(self, db: &'db dyn crate::Db)
components/dada-ir-sym/src/check/scope_tree.rs:85
↓ 1 callersMethoddump
(&self, span: Span<'db>)
components/dada-ir-sym/src/check/debug.rs:183
↓ 1 callersMethodduplicate_root_handle
Duplicate this log handle. We assert that it is the root handle. This is because there is no *good* reason to duplicate any other handle; when new tas
components/dada-ir-sym/src/check/debug.rs:93
↓ 1 callersMethodeat
(self, _db: &'db dyn crate::Db, parser: &mut Parser<'_, 'db>)
components/dada-parser/src/lib.rs:659
↓ 1 callersMethodeffects
(self, db: &'db dyn crate::Db)
components/dada-ir-sym/src/ir/functions.rs:46
↓ 1 callersMethodemplace_local
Returns the representation of a "local" storing a value of type `repr`. A "local" place is one that uses WASM local variables as much as possible.
components/dada-codegen/src/cx/generate_expr/wasm_place_repr.rs:182
↓ 1 callersMethodemplace_memory
The representation for a Dada place found in WASM memory that stores values with representation `repr`.
components/dada-codegen/src/cx/generate_expr/wasm_place_repr.rs:198
↓ 1 callersMethodendScope
()
components/dada-debug/assets/highlight.min.js:39
↓ 1 callersFunctionensure_mdbook_installed
Ensures mdbook is installed at the expected version. 💡 Netlify (and other CI-like environments) don't have mdbook pre-installed, unlike GitHub Action
components/xtask/src/deploy.rs:100
↓ 1 callersFunctionenter_task
Enter a task during type-checking and other async bits of the code. # Parameters `id`, the task ID. `log_state`, the log state of the task when it w
components/dada-util/src/log.rs:96
↓ 1 callersFunctionescape_string_into
(s: &str, buf: &mut String)
components/dada-probe/src/lib.rs:541
↓ 1 callersMethodexecute
( db: &'db dyn crate::Db, span: Span<'db>, message: &'static str, values: &[&d
components/dada-ir-sym/src/check/runtime.rs:101
↓ 1 callersMethodexecute_binary_op
Push the correct instructions to execute `binary_op` on operands of type `lhs_ty` and `rhs_ty`
components/dada-codegen/src/cx/generate_expr.rs:226
↓ 1 callersMethodexecute_binary_op_on_primitives
Push the correct instructions to execute `binary_op` on operands of type `prim_kind`
components/dada-codegen/src/cx/generate_expr.rs:247
↓ 1 callersMethodexists
(&self, url: &Url)
components/dada-compiler/src/realfs.rs:39
↓ 1 callersFunctionexpand_tail
( env: &mut Env<'db>, live_after: LivePlaces, direction: Direction, mut unexpanded_linkvecs: V
components/dada-ir-sym/src/check/to_red.rs:201
↓ 1 callersMethodexpected_generic_parameters
(&self, db: &'db dyn crate::Db)
components/dada-ir-sym/src/check/scope.rs:458
↓ 1 callersMethodexport
(&self)
components/dada-ir-sym/src/check/debug.rs:256
↓ 1 callersMethodexport_child_nested_events
( &self, task_events: &mut &[usize], events_by_task: &[Vec<usize>], )
components/dada-ir-sym/src/check/debug.rs:411
↓ 1 callersMethodexport_infers
(&self)
components/dada-ir-sym/src/check/debug.rs:372
↓ 1 callersMethodexport_nested_event_for_task
( &self, task: TaskIndex, events_by_task: &[Vec<usize>], )
components/dada-ir-sym/src/check/debug.rs:394
↓ 1 callersMethodexport_task
(&self, task: &Task<'db>, task_index: usize)
components/dada-ir-sym/src/check/debug.rs:356
↓ 1 callersFunctionextract_annotations
(expectations: &expected::TestExpectations)
components/dada-lang/src/main_lib/test.rs:424
↓ 1 callersFunctionextract_rfc_info
(dir_path: &Path, dir_name: &str)
components/dada-mdbook-preprocessor/src/main.rs:933
↓ 1 callersFunctionextract_section
(content: &str, heading: &str)
components/dada-mdbook-preprocessor/src/main.rs:1017
↓ 1 callersFunctionextract_span
( url: &Url, start: AbsoluteOffset, end: AbsoluteOffset, )
components/dada-debug/src/root.rs:86
↓ 1 callersMethodextract_spec_ids_from_file
Extracts spec IDs from MyST directive syntax, resolving relative IDs using the file path and heading context. 💡 Uses the same resolution logic as the
components/dada-lang/src/main_lib/test/spec_validation.rs:61
↓ 1 callersMethodfallback
Returns the fallback bound for a permission (`my`)
components/dada-ir-sym/src/check/red.rs:34
↓ 1 callersFunctionfield_err_ty
( db: &'db dyn crate::Db, field: SymField<'db>, reported: Reported, )
components/dada-ir-sym/src/check/fields.rs:59
↓ 1 callersMethodfield_place
Representation for the place storing a given field found in an owner of type `owner_ty` that is stored in `owner_place`.
components/dada-codegen/src/cx/generate_expr/wasm_place_repr.rs:134
↓ 1 callersFunctionfield_ty
( env: &mut Env<'db>, owner_place: SymPlace<'db>, owner_perm: SymPerm<'db>, owner_red_ty: RedT
components/dada-ir-sym/src/check/places.rs:38
↓ 1 callersFunctionfile_path_to_prefix
Converts a file path (relative to the spec book's `src/` directory) into the dot-separated prefix for spec paragraph IDs. # Examples - `syntax/string
components/dada-spec-common/src/lib.rs:13
↓ 1 callersMethodfinal_module_name
True if final component ends in `.dada`
components/dada-compiler/src/vfs.rs:70
↓ 1 callersMethodfinalize
()
components/dada-debug/assets/highlight.min.js:42
↓ 1 callersFunctionfind_func
Find the fn or method containing `span`
components/dada-probe/src/lib.rs:100
↓ 1 callersFunctionfind_item
Find the module item containing `span`
components/dada-probe/src/lib.rs:92
↓ 1 callersMethodfind_next_rfc_number
(&self, rfcs_dir: &PathBuf)
components/xtask/src/rfc.rs:56
↓ 1 callersFunctionfind_smallest_containing_ast_expr
Find the smallest AstExpr containing the target span by walking the parsed AST. 💡 This walks the parser AST directly rather than the type-checked Sym
components/dada-probe/src/lib.rs:202
↓ 1 callersFunctionfind_smallest_containing_expr
Helper function to find the smallest expression that contains the given span
components/dada-probe/src/lib.rs:32
↓ 1 callersMethodfinish
(self)
components/dada-ir-sym/src/check/runtime.rs:636
↓ 1 callersMethodfixme
(&self)
components/dada-lang/src/main_lib/test/expected.rs:365
↓ 1 callersMethodfork
(&mut self)
components/dada-lsp-server/src/main.rs:70
↓ 1 callersMethodfork
Forks this parser into a split parser at the same point with a fresh set of diagnostics. Used for speculation.
components/dada-parser/src/lib.rs:222
↓ 1 callersFunctionformat_ast_path
(db: &dyn crate::Db, path: &dada_ir_ast::ast::AstPath<'_>, buf: &mut String)
components/dada-probe/src/lib.rs:524
↓ 1 callersMethodformat_results
( &self, results: Vec<DetailedTestResult>, _total_duration_ms: u64, )
components/dada-lang/src/main_lib/test.rs:164
↓ 1 callersFunctionformat_status
( status: &str, tracking_issue: &Option<String>, implemented_version: &Option<String>, )
components/dada-mdbook-preprocessor/src/main.rs:1040
↓ 1 callersMethodfresh_local_index
Create a fresh local index storing a value of type `v`.
components/dada-codegen/src/cx/generate_expr/wasm_place_repr.rs:219
↓ 1 callersMethodfunction_named
Returns the function named `name` in this module, if any.
components/dada-ir-sym/src/ir/module.rs:73
↓ 1 callersFunctiongenerate_all_rfcs_html
(rfcs_by_status: &HashMap<String, Vec<RfcInfo>>)
components/dada-mdbook-preprocessor/src/main.rs:1094
↓ 1 callersMethodgenerate_from_fn
Generates all code reachable from the given fn instantiated with the given arguments.
components/dada-codegen/src/cx.rs:34
↓ 1 callersFunctiongenerate_rfc_table_html
(rfcs: &[RfcInfo])
components/dada-mdbook-preprocessor/src/main.rs:1158
↓ 1 callersMethodgeneric_kinds
Kinds of generic parameters
components/dada-ir-sym/src/ir/classes.rs:75
↓ 1 callersMethodgeneric_span
Span where the `index`th generics are is (possibly the name span, if there are no generics) # Panics If `index` is not a valid generic index
components/dada-ir-sym/src/ir/classes.rs:106
↓ 1 callersMethodgenerics_span
Span where generics are declared (possibly the name span, if there are no generics)
components/dada-ir-sym/src/ir/classes.rs:93
↓ 1 callersFunctiongetServerOptions
(context: vscode.ExtensionContext, serverPath: string)
components/vscode/src/utils/serverUtils.ts:69
↓ 1 callersFunctiongetServerPath
(context: vscode.ExtensionContext)
components/vscode/src/utils/serverUtils.ts:8
↓ 1 callersMethodgive
(self, db: &'db dyn crate::Db)
components/dada-ir-sym/src/ir/exprs.rs:272
↓ 1 callersFunctionglb_perms
The **greatest lower bound** (GLB) of two permissions `(perm1, perm2)`, if it exists. The GLB `perm3` is a permission such that `perm3 <: perm1` and `
components/dada-ir-sym/src/check/red/lattice.rs:70
↓ 1 callersFunctionhandle_preprocessing
(pre: &dyn Preprocessor)
components/dada-mdbook-preprocessor/src/main.rs:48
↓ 1 callersFunctionhandle_supports
(pre: &dyn Preprocessor, sub_args: &ArgMatches)
components/dada-mdbook-preprocessor/src/main.rs:35
↓ 1 callersMethodhas_name
True if this class member has the given name.
components/dada-ir-sym/src/ir/classes.rs:297
↓ 1 callersFunctionheading_to_segment
Converts a heading text into a spec ID segment. Lowercases, replaces spaces/underscores with hyphens, strips non-alphanumeric characters (except hyph
components/dada-spec-common/src/lib.rs:38
↓ 1 callersMethodidentifier
(&mut self, start: usize, ch: char)
components/dada-parser/src/tokenizer.rs:366
↓ 1 callersMethodidentity
(&self)
components/dada-ir-sym/src/check/subst_impls.rs:21
↓ 1 callersFunctionif_chain
( db: &'db dyn crate::Db, parser: &mut Parser<'_, 'db>, _if_span: dada_ir_ast::span::Span<'db>, )
components/dada-parser/src/expr.rs:301
↓ 1 callersMethodincrement_universe
Modify this environment to put it in a new universe.
components/dada-ir-sym/src/check/env.rs:207
↓ 1 callersMethodindent_with_compiler_location
( &mut self, compiler_location: &'static Location<'static>, message: &'static str,
components/dada-ir-sym/src/check/env.rs:559
↓ 1 callersFunctionindirect
(op: impl AsyncFnOnce() -> T)
components/dada-util/src/lib.rs:35
↓ 1 callersMethodinherent_member_str
Returns the member with the given name, if it exists.
components/dada-ir-sym/src/ir/classes.rs:211
↓ 1 callersMethodinitialize
(&mut self, db: &dyn crate::Db)
components/dada-lang/src/main_lib/test/expected.rs:141
↓ 1 callersMethodinsert_sub_infer_var_pair
( &mut self, lower: InferVarIndex, upper: InferVarIndex, )
components/dada-ir-sym/src/check/env.rs:598
↓ 1 callersMethodinteger
(&mut self, start: usize, ch: char)
components/dada-parser/src/tokenizer.rs:399
↓ 1 callersMethodinto_function
(self)
components/dada-codegen/src/cx/generate_expr.rs:55
↓ 1 callersMethodinto_generic_term
( self, db: &'db dyn crate::Db, scope: &Scope<'_, 'db>, )
components/dada-ir-sym/src/ir/variables.rs:30
↓ 1 callersMethodinto_scope
(self, db: &'db dyn crate::Db)
components/dada-ir-sym/src/ir/classes.rs:252
↓ 1 callersMethodinto_scope
(self, db: &'db dyn crate::Db)
components/dada-ir-sym/src/ir/functions.rs:55
↓ 1 callersMethodinto_temporary
Create a temporary to store the result of this expression. Returns a reference to the temporary as a place expression.
components/dada-ir-sym/src/check/temporaries.rs:43
← previousnext →501–600 of 1,179, ranked by callers