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 callersFunctionrequire_application_is_lent
Requires that `(lhs rhs)` satisfies the given predicate. The semantics of `(lhs rhs)` is: `rhs` if `rhs is copy` or `lhs union rhs` otherwise.
components/dada-ir-sym/src/check/predicates/require_lent.rs:41
↓ 1 callersFunctionrequire_assignable_type
( env: &mut Env<'db>, live_after: LivePlaces, value_ty: SymTy<'db>, place_ty: SymTy<'db>,
components/dada-ir-sym/src/check/subtype/terms.rs:23
↓ 1 callersFunctionrequire_both_are_owned
Requires that `(lhs rhs)` satisfies the given predicate. The semantics of `(lhs rhs)` is: `rhs` if `rhs is copy` or `lhs union rhs` otherwise.
components/dada-ir-sym/src/check/predicates/require_owned.rs:39
↓ 1 callersFunctionrequire_either_is_shared
Requires that `(lhs rhs)` satisfies the given predicate. The semantics of `(lhs rhs)` is: `rhs` if `rhs is copy` or `lhs union rhs` otherwise.
components/dada-ir-sym/src/check/predicates/require_shared.rs:39
↓ 1 callersFunctionrequire_future_red_type
( env: &mut Env<'db>, live_after: LivePlaces, red_ty: RedTy<'db>, awaited_ty: SymTy<'db>,
components/dada-ir-sym/src/check/subtype/is_future.rs:32
↓ 1 callersFunctionrequire_future_type
Requires that `ty` resolves to a future type that awaits a value of type `awaited_ty`.
components/dada-ir-sym/src/check/subtype/is_future.rs:20
↓ 1 callersFunctionrequire_infer_sub_infer
Require that `lower <: upper`, where both are type inference variables. This will insert record `upper` as an upper bound of `lower`. If `upper` is a
components/dada-ir-sym/src/check/subtype/terms.rs:202
↓ 1 callersFunctionrequire_my_numeric_type
( env: &mut Env<'db>, live_after: LivePlaces, ty: SymTy<'db>, or_else: &dyn OrElse<'db>, )
components/dada-ir-sym/src/check/subtype/is_numeric.rs:21
↓ 1 callersFunctionrequire_numeric_type
( env: &mut Env<'db>, ty: SymTy<'db>, or_else: &dyn OrElse<'db>, )
components/dada-ir-sym/src/check/subtype/is_numeric.rs:36
↓ 1 callersFunctionrequire_perm_sub_perm
( env: &mut Env<'db>, live_after: LivePlaces, lower_perm: SymPerm<'db>, upper_perm: SymPerm<'d
components/dada-ir-sym/src/check/subtype/perms.rs:171
↓ 1 callersFunctionrequire_place_is_owned
( env: &mut Env<'db>, place: SymPlace<'db>, or_else: &dyn OrElse<'db>, )
components/dada-ir-sym/src/check/predicates/require_owned.rs:178
↓ 1 callersFunctionrequire_red_perm_sub_red_perm
( env: &mut Env<'db>, lower_perm: RedPerm<'db>, upper_perm: RedPerm<'db>, or_else: &dyn OrElse
components/dada-ir-sym/src/check/subtype/perms.rs:204
↓ 1 callersFunctionrequire_some_generic_is_unique
( env: &mut Env<'db>, perm: SymPerm<'db>, generics: &[SymGenericTerm<'db>], or_else: &dyn OrEl
components/dada-ir-sym/src/check/predicates/require_unique.rs:80
↓ 1 callersFunctionrequire_ty_is_lent
( env: &mut Env<'db>, term: SymTy<'db>, or_else: &dyn OrElse<'db>, )
components/dada-ir-sym/src/check/predicates/require_lent.rs:68
↓ 1 callersFunctionrequire_ty_is_unique
( env: &mut Env<'db>, term: SymTy<'db>, or_else: &dyn OrElse<'db>, )
components/dada-ir-sym/src/check/predicates/require_unique.rs:37
↓ 1 callersFunctionrequire_where_clause
( env: &mut Env<'db>, where_clause: SymWhereClause<'db>, or_else: &dyn OrElse<'db>, )
components/dada-ir-sym/src/check/predicates/require_where_clause.rs:13
↓ 1 callersMethodresolve_against
( self, _db: &'db dyn crate::Db, _op: impl FnOnce(SpannedIdentifier<'db>) -> Errors<Na
components/dada-ir-sym/src/check/scope.rs:784
↓ 1 callersFunctionresolve_ast_use
( db: &'db dyn crate::Db, ast_use: AstUse<'db>, )
components/dada-ir-sym/src/check/scope.rs:730
↓ 1 callersMethodresolve_name_against_uses
( self, db: &'db dyn crate::Db, id: Identifier<'db>, )
components/dada-ir-sym/src/check/scope.rs:719
↓ 1 callersMethodresolve_to_sym
( self, db: &'db dyn crate::Db, scope: &Scope<'_, 'db>, )
components/dada-ir-sym/src/check/scope.rs:504
↓ 1 callersMethodresolve_ty_var
(&mut self, infer: InferVarIndex)
components/dada-ir-sym/src/check/resolve.rs:88
↓ 1 callersMethodresumingScanAtSamePosition
()
components/dada-debug/assets/highlight.min.js:141
↓ 1 callersMethodroot
Access the [`CompilationRoot`], from which all crates and sources can be reached.
components/dada-compiler/src/lib.rs:205
↓ 1 callersFunctionroot_data
(state: &State)
components/dada-debug/src/root.rs:42
↓ 1 callersMethodroot_log
Get a duplicate of the root log handle.
components/dada-ir-sym/src/check/runtime.rs:177
↓ 1 callersMethodrun
(&self, ctx: &PreprocessorContext, book: Book)
components/dada-mdbook-preprocessor/src/main.rs:104
↓ 1 callersMethodrun_command
(&mut self, run_options: &RunOptions)
components/dada-lang/src/main_lib/run.rs:11
↓ 1 callersMethodrun_test
Run a single test found at the given path. # Returns `Err(e)` for some failure in the test harness itself. `Ok(result)` with the detailed test resul
components/dada-lang/src/main_lib/test.rs:355
↓ 1 callersMethodscan_directory
Recursively scans a directory for markdown files and extracts spec IDs
components/dada-lang/src/main_lib/test/spec_validation.rs:40
↓ 1 callersFunctionscan_items
(items: &[BookItem], heading_re: &Regex, map: &mut HashMap<String, String>)
components/dada-mdbook-preprocessor/src/main.rs:173
↓ 1 callersMethodsearch_aggr_for_member
( &mut self, owner: SymAggregate<'db>, generics: &[SymGenericTerm<'db>], id: I
components/dada-ir-sym/src/check/member_lookup.rs:169
↓ 1 callersMethodsearch_lower_bound_for_member
( &mut self, lower_bound: RedTy<'db>, id: Identifier<'db>, )
components/dada-ir-sym/src/check/member_lookup.rs:141
↓ 1 callersMethodself_sym
(self, db: &'db dyn crate::Db)
components/dada-ir-sym/src/ir/classes.rs:345
↓ 1 callersMethodserialize_map
(self, len: Option<usize>)
components/dada-util/src/fixed_depth_json.rs:226
↓ 1 callersMethodserver_capabilities
(&mut self)
components/dada-lsp-server/src/main.rs:49
↓ 1 callersMethodserver_info
(&mut self)
components/dada-lsp-server/src/main.rs:66
↓ 1 callersMethodset_red_perm_bound
Insert a red perm as a (lower|upper) bound. Returns `Some(or_else.to_arc())` if this is a new (lower|upper) bound.
components/dada-ir-sym/src/check/inference.rs:116
↓ 1 callersMethodset_red_ty_bound
Overwrite the lower or upper bounding red ty, depending on `direction`. Returns the [to_arc'd](`OrElse::to_arc`) version of `or_else`.
components/dada-ir-sym/src/check/inference.rs:137
↓ 1 callersMethodset_return_ty
Set the return type of the current function.
components/dada-ir-sym/src/check/env.rs:247
↓ 1 callersMethodset_ty
(self, red_ty: RedTy<'db>, or_else: &dyn OrElse<'db>)
components/dada-ir-sym/src/check/env.rs:645
↓ 1 callersMethodset_variable_ast_ty
Sets the AST type for a parameter that is in scope already. This AST type will be lazily symbolified when requested.
components/dada-ir-sym/src/check/env.rs:228
↓ 1 callersFunctionset_variable_ty_from_input
(env: &mut Env<'db>, input: &AstFunctionInput<'db>)
components/dada-ir-sym/src/check/signature.rs:135
↓ 1 callersMethodshared
Returns a version of this type mutable from `place`.
components/dada-ir-sym/src/ir/types.rs:376
↓ 1 callersMethodshow_progress
(&self, path: &Path, result: &DetailedTestResult, verbose: bool)
components/dada-lang/src/main_lib/test.rs:140
↓ 1 callersMethodspan
(e)
components/dada-debug/assets/highlight.min.js:25
↓ 1 callersMethodspawn_require_future_type
( &self, live_after: LivePlaces, ty: SymTy<'db>, awaited_ty: SymTy<'db>,
components/dada-ir-sym/src/check/env.rs:430
↓ 1 callersMethodspawn_require_my_numeric_type
( &mut self, live_after: LivePlaces, ty: SymTy<'db>, or_else: &dyn OrElse<'db>
components/dada-ir-sym/src/check/env.rs:404
↓ 1 callersMethodspawn_require_where_clause
( &self, where_clause: SymWhereClause<'db>, or_else: &dyn OrElse<'db>, )
components/dada-ir-sym/src/check/env.rs:446
↓ 1 callersFunctionspec_name_to_grammar_symbol
Converts a spec sub-paragraph name to its EBNF grammar symbol. 💡 Names ending in `-nt` are nonterminals: strip the suffix and PascalCase the rest. Al
components/dada-spec-common/src/lib.rs:284
↓ 1 callersMethodspec_refs
(&self)
components/dada-lang/src/main_lib/test/expected.rs:373
↓ 1 callersMethodstartScope
(e)
components/dada-debug/assets/highlight.min.js:39
↓ 1 callersMethodstart_from
(self, start: impl IntoOptionSpan<'db>)
components/dada-ir-ast/src/span.rs:145
↓ 1 callersMethodstring_literal
(&mut self, start: usize)
components/dada-parser/src/tokenizer.rs:538
↓ 1 callersFunctionstring_literal_fn
(db: &'db dyn crate::Db)
components/dada-ir-sym/src/well_known.rs:62
↓ 1 callersMethodsubst_vars
Returns a version of `self` where universal free variables have been replaced by the corresponding entry in `terms`. If a variable is not present in `
components/dada-ir-sym/src/ir/subst.rs:48
↓ 1 callersMethodsupports_renderer
(&self, renderer: &str)
components/dada-mdbook-preprocessor/src/main.rs:158
↓ 1 callersFunctionsymbolify_ast_where_clause
( env: &mut Env<'db>, ast_where_clause: AstWhereClause<'db>, output: &mut Vec<SymWhereClause<'db>>
components/dada-ir-sym/src/check/generics.rs:7
↓ 1 callersMethodtake_diagnostics
Take all diagnostics from another parser (e.g., one parsing a delimited set of tokens).
components/dada-parser/src/lib.rs:199
↓ 1 callersMethodtake_state
(&self, from_check: &Runtime<'db>)
components/dada-ir-sym/src/check/runtime.rs:509
↓ 1 callersFunctionterm_is_provably
( env: &mut Env<'db>, term: impl Into<SymGenericTerm<'db>>, predicate: Predicate, )
components/dada-ir-sym/src/check/predicates.rs:64
↓ 1 callersMethodtoHTML
()
components/dada-debug/assets/highlight.min.js:41
↓ 1 callersMethodto_annotation
(&self, env: &mut Env<'db>, span: Span<'db>)
components/dada-ir-sym/src/check/report.rs:216
↓ 1 callersFunctionto_message
( db: &'a dyn crate::Db, diagnostic: &'a Diagnostic, arena: &'a Arena, )
components/dada-ir-ast/src/diagnostic/render.rs:31
↓ 1 callersMethodto_red_chain_vec
( &self, env: &mut Env<'db>, live_after: LivePlaces, direction: Direction,
components/dada-ir-sym/src/check/to_red.rs:176
↓ 1 callersFunctionto_red_ty_with_runtime
Convert `ty` to a red-ty given a runtime. See [`ToRedTy`][].
components/dada-ir-sym/src/check/to_red.rs:86
↓ 1 callersMethodto_server
Create a debug server from the options
components/dada-debug/src/lib.rs:24
↓ 1 callersFunctionto_snippet
( db: &'a dyn crate::Db, diagnostic: &'a Diagnostic, arena: &'a Arena, )
components/dada-ir-ast/src/diagnostic/render.rs:42
↓ 1 callersMethodtokenize
(mut self)
components/dada-parser/src/tokenizer.rs:268
↓ 1 callersMethodtransitive_generic_parameters
Compute the set of transitive generic parameters. The returned vector begins with the parameters from the outermost vector.
components/dada-ir-sym/src/check/scope_tree.rs:49
↓ 1 callersMethodtriple_quoted_string_literal
Lex a triple-quoted string literal. Called after the opening `"""` has been consumed. Scans until the closing `"""` is found.
components/dada-parser/src/tokenizer.rs:611
↓ 1 callersFunctiontry_asset
(path: &str)
components/dada-debug/src/assets.rs:10
↓ 1 callersFunctiontry_event_data
( headers: &axum::http::header::HeaderMap, event_index: usize, state: &State, )
components/dada-debug/src/events.rs:26
↓ 1 callersFunctiontry_source
(path: &str, line: u32, _column: u32)
components/dada-debug/src/source.rs:3
↓ 1 callersFunctiontry_view
(event_index: usize, state: &State)
components/dada-debug/src/view.rs:7
↓ 1 callersFunctiontry_view_data
(event_index: usize, state: &State)
components/dada-debug/src/view.rs:21
↓ 1 callersMethodtxt_path
(&self, db: &dyn crate::Db, ext: &str)
components/dada-lang/src/main_lib/test/expected.rs:572
↓ 1 callersFunctionu
(e)
components/dada-debug/assets/highlightjs-line-numbers.min.js:1
↓ 1 callersMethodundent
Remove one layer of indent
components/dada-ir-sym/src/check/debug.rs:118
↓ 1 callersMethodupdate_summary
( &self, rfcs_dir: &Path, rfc_number: u32, name: &str, rfc_dir_name: &
components/xtask/src/rfc.rs:123
↓ 1 callersMethodurl_display
(self, db: &dyn crate::Db)
components/dada-ir-ast/src/inputs.rs:126
↓ 1 callersMethodurl_display
(&self, url: &Url)
components/dada-compiler/src/lib.rs:323
↓ 1 callersFunctionv
(e,{languageName:t})
components/dada-debug/assets/highlight.min.js:279
↓ 1 callersFunctionv
(e)
components/dada-debug/assets/highlightjs-line-numbers.min.js:1
↓ 1 callersFunctionval_type_size_in_bytes
(v: ValType)
components/dada-codegen/src/cx/generate_expr/wasm_place_repr.rs:361
↓ 1 callersMethodvalidate_spec_refs
Validates all spec references in this test file
components/dada-lang/src/main_lib/test/expected.rs:590
↓ 1 callersMethodvalidate_spec_refs
Validates a list of spec references, returning any that are invalid
components/dada-lang/src/main_lib/test/spec_validation.rs:118
↓ 1 callersMethodvar
(db: &'db dyn crate::Db, var: SymVariable<'db>)
components/dada-ir-sym/src/ir/types.rs:162
↓ 1 callersMethodvariances
(&self, n: SymTyName<'db>)
components/dada-ir-sym/src/check/env.rs:519
↓ 1 callersFunctionw
(e)
components/dada-debug/assets/highlight.min.js:258
↓ 1 callersMethodwake_tasks_monitoring_inference_var
(&self, infer: InferVarIndex)
components/dada-ir-sym/src/check/runtime.rs:358
↓ 1 callersMethodwalk
(e)
components/dada-debug/assets/highlight.min.js:34
↓ 1 callersFunctionwalk_expr_and_visit
( db: &'db dyn crate::Db, expr: SymExpr<'db>, span: AbsoluteSpan, op: &mut dyn FnMut(SymExpr<'
components/dada-probe/src/lib.rs:122
↓ 1 callersMethodwasm_pointer
The WASM representation for a pointer value.
components/dada-codegen/src/cx/wasm_repr.rs:198
↓ 1 callersMethodwasm_repr_of_named_type
Returns the [`WasmRepr`][] for a Dada named type.
components/dada-codegen/src/cx/wasm_repr.rs:111
↓ 1 callersMethodwasm_repr_of_perm_type
(&mut self, sym_perm: SymPerm<'db>, sym_ty: SymTy<'db>)
components/dada-codegen/src/cx/wasm_repr.rs:85
↓ 1 callersMethodwasm_repr_of_variable
(&mut self, sym_variable: SymVariable<'db>)
components/dada-codegen/src/cx/wasm_repr.rs:76
↓ 1 callersMethodwasm_valtype_for_primitive_kind
The WASM [`ValType`][] for a Dada primtive. Note that small Dada values like `i16` or whatever are just promoted up to `I32` because we are lazy.
components/dada-codegen/src/cx/wasm_repr.rs:150
↓ 1 callersMethodwith_prelude
Extend this scope with the prelude from a crate. Crates can define a module named `prelude`.
components/dada-ir-sym/src/check/scope.rs:70
FunctionA
(e,t)
components/dada-debug/assets/highlight.min.js:84
FunctionB
(e,t)
components/dada-debug/assets/highlight.min.js:90
← previousnext →701–800 of 1,179, ranked by callers