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
↓ 2 callersMethodcrate_source
( self, db: &'db dyn crate::Db, crate_name: Identifier<'db>, )
components/dada-ir-ast/src/inputs.rs:20
↓ 2 callersMethodcurrent_segments
Returns the current heading segments (just the segment strings, in order).
components/dada-spec-common/src/lib.rs:154
↓ 2 callersFunctiond
(e)
components/dada-debug/assets/highlight.min.js:45
↓ 2 callersMethoddada_url
Create a URL for this path with a `.dada` extension # Panics Panics if this path already has a `.dada` extension
components/dada-compiler/src/vfs.rs:118
↓ 2 callersMethoddebug_tx
(&self)
components/dada-compiler/src/lib.rs:378
↓ 2 callersMethoddeclare_fn
Declares an instantiation of a function with a given set of arguments and returns its index. If the function is already declared, nothing happens. If
components/dada-codegen/src/cx/generate_fn.rs:19
↓ 2 callersMethoddeclare_fn_type
Declares an instantiation of a function with a given set of arguments and returns its index. If the function is already declared, nothing happens. If
components/dada-codegen/src/cx/wasm_fn_type.rs:17
↓ 2 callersMethoddefer_delimited
Returns a deferred parse of the next delimited token. If this returns `Err`, then nothing has been consumed.
components/dada-parser/src/lib.rs:409
↓ 2 callersMethoddirect_generic_parameters
(self, db: &'db dyn crate::Db)
components/dada-ir-sym/src/check/scope_tree.rs:94
↓ 2 callersMethoddisplay
(&'a self, env: &'a Env<'db>)
components/dada-ir-sym/src/check/to_red.rs:29
↓ 2 callersMethoddrain
Continues running tasks until no more are left.
components/dada-ir-sym/src/check/runtime.rs:198
↓ 2 callersMethodeat_errors
Eats any pending error tokens and adds them to the diagnostic list. Does not adjust `last_span`. This implements **eager error consumption** - error
components/dada-parser/src/lib.rs:241
↓ 2 callersMethodemit_unterminated_string
Emit tokens for an unterminated string literal: a literal token with whatever content was accumulated, plus an error token. No multiline dedenting is
components/dada-parser/src/tokenizer.rs:517
↓ 2 callersMethodend
(self)
components/dada-util/src/fixed_depth_json.rs:305
↓ 2 callersMethodescape_sequence
Process an escape sequence after consuming `\`. `backslash_offset` is the byte index of the `\` character.
components/dada-parser/src/tokenizer.rs:426
↓ 2 callersMethodexistential_substitution
Create a substitution for `binder` consisting of inference variables
components/dada-ir-sym/src/check/env.rs:194
↓ 2 callersMethodfind_match
(&self, actual_diagnostic: &Diagnostic, matched: &[bool])
components/dada-lang/src/main_lib/test/expected.rs:547
↓ 2 callersMethodfixme_ice
(&self)
components/dada-lang/src/main_lib/test/expected.rs:369
↓ 2 callersMethodfn_asts
(&self)
components/dada-lang/src/main_lib/test/expected.rs:357
↓ 2 callersFunctionformat_ast_statement
(db: &'db dyn crate::Db, stmt: &AstStatement<'db>, buf: &mut String)
components/dada-probe/src/lib.rs:503
↓ 2 callersMethodfresh_inference_var_term
A fresh term with an inference variable of the given kind.
components/dada-ir-sym/src/check/env.rs:307
↓ 2 callersMethodfresh_memory_slot
Create a fresh slot in memory storing a value of type `v`.
components/dada-codegen/src/cx/generate_expr/wasm_place_repr.rs:226
↓ 2 callersFunctiong
(e)
components/dada-debug/assets/highlightjs-line-numbers.min.js:1
↓ 2 callersMethodgetMatcher
(e)
components/dada-debug/assets/highlight.min.js:138
↓ 2 callersFunctionget_inline_css
💡 Returns inline CSS with blank lines stripped. Blank lines inside `<style>` tags cause mdbook's markdown processor to insert `<p>` tags, which breaks
components/dada-mdbook-preprocessor/src/main.rs:451
↓ 2 callersMethodget_or_create_source_file
Get or create a source-file at a given path.
components/dada-compiler/src/lib.rs:266
↓ 2 callersMethodget_previously_opened_source_file
Get the `SourceFile` for the given path. Errors if no source file was opened yet.
components/dada-compiler/src/lib.rs:101
↓ 2 callersMethodget_source_file
If there is a source file registered at `path`, return it. Else return `None`.
components/dada-compiler/src/lib.rs:261
↓ 2 callersMethodinherent_member
( self, db: &'db dyn crate::Db, id: Identifier<'db>, )
components/dada-ir-sym/src/ir/classes.rs:199
↓ 2 callersMethodinsert_variable
Introduce the variable `lv` into scope and create a place for it. This can allocate more stack space in WASM memory. You can find this place by invoki
components/dada-codegen/src/cx/generate_expr/wasm_place_repr.rs:41
↓ 2 callersMethodintern
Intern `SymPrimitive<'db>`
components/dada-ir-sym/src/ir/primitive.rs:75
↓ 2 callersMethodinto_opt_span
(self)
components/dada-ir-ast/src/span.rs:221
↓ 2 callersMethodinto_sym_ty
(self, db: &'db dyn crate::Db)
components/dada-ir-sym/src/check/red.rs:241
↓ 2 callersMethodinto_ty
(self, db: &'db dyn crate::Db)
components/dada-parser/src/types.rs:140
↓ 2 callersMethodis_copy
(&self, env: &Env<'db>)
components/dada-ir-sym/src/check/red.rs:180
↓ 2 callersFunctionis_dada_file
(input: &Path)
components/dada-lang/src/main_lib/test.rs:501
↓ 2 callersMethodis_dada_file
True if final component ends in `.dada`
components/dada-compiler/src/vfs.rs:61
↓ 2 callersMethodis_empty
(&self)
components/dada-compiler/src/vfs.rs:43
↓ 2 callersMethodis_live
(&self, env: &Env<'db>, place: SymPlace<'db>)
components/dada-ir-sym/src/check/live_places.rs:28
↓ 2 callersFunctionis_op_char
(ch: char)
components/dada-parser/src/tokenizer.rs:714
↓ 2 callersMethodis_prefix_of
True if `self` *covers* `other`. Neither place may contain inference variables. # Definition A place P *covers* another place Q if P includes all of
components/dada-ir-sym/src/ir/types.rs:722
↓ 2 callersMethodis_provably
(self, env: &Env<'db>, predicate: Predicate)
components/dada-ir-sym/src/check/red.rs:38
↓ 2 callersMethodlen_generics
Number of generic parameters
components/dada-ir-sym/src/ir/classes.rs:59
↓ 2 callersMethodlibdada_crate
Returns the [`Krate`][] for the `libdada` crate. The creator of the [`CompilationRoot`][] is responsible for ensuring that this crate is present.
components/dada-ir-ast/src/inputs.rs:43
↓ 2 callersFunctionline_column
(text: &str, offset: usize)
components/dada-debug/src/root.rs:119
↓ 2 callersMethodlocal_val_tys
Returns the types of the WASM local variables that would be used to store a value with this representation. Any data found inside of a class is stored
components/dada-codegen/src/cx/generate_expr/wasm_place_repr.rs:351
↓ 2 callersMethodloop_on_inference_var
( &self, infer: InferVarIndex, op: impl FnMut(&InferenceVarData<'db>) -> Option<T>,
components/dada-ir-sym/src/check/env/combinator.rs:289
↓ 2 callersMethodmod_scope
Name resolution scope for items in this module.
components/dada-ir-sym/src/ir/module.rs:59
↓ 2 callersMethodmutate_inference_var_data
( &self, infer: InferVarIndex, log: &LogHandle, op: impl FnOnce(&mut Inference
components/dada-ir-sym/src/check/runtime.rs:312
↓ 2 callersFunctionn
(e)
components/dada-debug/assets/highlightjs-line-numbers.min.js:1
↓ 2 callersMethodname
Name of the function.
components/dada-ir-sym/src/ir/functions.rs:99
↓ 2 callersFunctionname_resolution_to_sym_ty
( db: &'db dyn crate::Db, name_resolution: NameResolution<'db>, source: impl Spanned<'db>, gen
components/dada-ir-sym/src/check/types.rs:62
↓ 2 callersMethodnarrow
Skip one character at the start/end of the span. Used to skip past delimiters when computing absolute spans.
components/dada-ir-ast/src/span.rs:100
↓ 2 callersFunctionnext_bound
( env: &Env<'db>, infer: InferVarIndex, bound_op: impl Fn(&InferenceVarData<'db>, Direction) -> Op
components/dada-ir-sym/src/check/env/infer_bounds.rs:140
↓ 2 callersMethodopen_source_file
"Open" a source file with the given contents. This will find an existing `SourceFile` if one exists and update its content. If none exists, a new `Sou
components/dada-compiler/src/lib.rs:81
↓ 2 callersFunctionopt_parse_expr_with_precedence
( db: &'db dyn crate::Db, parser: &mut Parser<'_, 'db>, precedence: impl FnOnce( &'db dyn
components/dada-parser/src/expr.rs:47
↓ 2 callersFunctionp
(e)
components/dada-debug/assets/highlight.min.js:50
↓ 2 callersMethodparse_as_generics
( self, db: &'db dyn crate::Db, )
components/dada-parser/src/square_bracket_args.rs:8
↓ 2 callersFunctionpaths_to_sym_places
( env: &mut Env<'db>, paths: &[AstPath<'db>], )
components/dada-ir-sym/src/check/types.rs:343
↓ 2 callersMethodplace
The representation of the given Dada place.
components/dada-codegen/src/cx/generate_expr/wasm_place_repr.rs:53
↓ 2 callersMethodplace_for_local
The representation of the place represented by `local_variable`.
components/dada-codegen/src/cx/generate_expr/wasm_place_repr.rs:48
↓ 2 callersFunctionplace_is_provably_lent
( env: &mut Env<'db>, place: SymPlace<'db>, )
components/dada-ir-sym/src/check/predicates/is_provably_lent.rs:122
↓ 2 callersMethodpointer_val_type
The [`ValType`][] for a pointer value. For now, hardcoded to [`ValType::I32`][] but if/when 64-bit wasm exists this could change.
components/dada-codegen/src/cx/wasm_repr.rs:204
↓ 2 callersMethodpop_to_memory
Pop a value of type `val_type` and store it to the given memory slot.
components/dada-codegen/src/cx/generate_expr/wasm_place_repr.rs:296
↓ 2 callersMethodpopulate_signature_symbols
( &self, db: &'db dyn crate::Db, symbols: &mut crate::ir::functions::SignatureSymbols<
components/dada-ir-sym/src/ir/populate.rs:33
↓ 2 callersFunctionprelude_member
Returns the member of the `libdada` prelude with the given name, reporting an error if it is not found.
components/dada-ir-sym/src/well_known.rs:32
↓ 2 callersFunctionprelude_module
Returns the `libdada` prelude module. It must be present.
components/dada-ir-sym/src/well_known.rs:24
↓ 2 callersFunctionprelude_span
Returns the span of the `libdada` prelude. Used when a span is needed for diagnostics for something built-in, like a primitive.
components/dada-ir-sym/src/well_known.rs:19
↓ 2 callersFunctionprimitives
(db: &'db dyn crate::Db)
components/dada-ir-sym/src/ir/primitive.rs:8
↓ 2 callersFunctionprobe_expression_type
Probe for the type of an expression found in a given file at a given span. Returns the type of the smallest expression that contains the given span.
components/dada-probe/src/lib.rs:23
↓ 2 callersFunctionprocess_escape_sequences
Process escape sequences in raw source text, producing the final string content. This mirrors the escape processing in `Tokenizer::escape_sequence()`
components/dada-parser/src/tokenizer.rs:796
↓ 2 callersFunctionpropagate_inverse_bound
What each upper or lower (depending on `direction`) bound `B` that is added to `infer` and add a lower or upper (respectively) bound `B1` that is imp
components/dada-ir-sym/src/check/subtype/terms.rs:412
↓ 2 callersMethodpublish_diagnostics
(&mut self, params: PublishDiagnosticsParams)
components/dada-lsp-server/src/lsp/dispatch.rs:275
↓ 2 callersMethodpush_error
(&mut self, _reported: Reported)
components/dada-codegen/src/cx/generate_expr.rs:598
↓ 2 callersMethodpush_from_local
Push a value of type `val_type` found in `local`.
components/dada-codegen/src/cx/generate_expr/wasm_place_repr.rs:236
↓ 2 callersMethodpush_link
Extend this scope with another link in the name resolution chain
components/dada-ir-sym/src/check/scope.rs:101
↓ 2 callersMethodpush_pointer
Push a pointer itself onto the WASM stack (not the data it refers to).
components/dada-codegen/src/cx/generate_expr/wasm_place_repr.rs:283
↓ 2 callersFunctionr
(e={})
components/dada-debug/assets/highlight.min.js:26
↓ 2 callersMethodred_perm_bound
(&self, direction: Direction)
components/dada-ir-sym/src/check/inference.rs:78
↓ 2 callersMethodreferenced
Returns a version of this type shared from `place`.
components/dada-ir-sym/src/ir/types.rs:363
↓ 2 callersMethodremove_stale_file
(&self, path: &Path)
components/dada-lang/src/main_lib/test/expected.rs:491
↓ 2 callersMethodrender
(&self, db: &dyn crate::Db, opts: &RenderOptions)
components/dada-ir-ast/src/diagnostic.rs:148
↓ 2 callersMethodreplace_state
(&self, new_state: CheckTaskState<'static>)
components/dada-ir-sym/src/check/runtime.rs:505
↓ 2 callersFunctionreport_duplicate
( db: &'db dyn crate::Db, id: Identifier<'db>, value_span: Span<'db>, canonical_span: Span<'db
components/dada-ir-sym/src/ir/module.rs:223
↓ 2 callersFunctionreport_duplicate_keyword
( db: &'db dyn crate::Db, kw: &str, span: Span<'db>, prev_span: Span<'db>, )
components/dada-parser/src/functions.rs:156
↓ 2 callersFunctionreport_path_referencing_field
Reports an error if the user gave a path like `Foo.Bar` and `Foo` wound up being a class that doesn't have nested items.
components/dada-ir-sym/src/check/scope.rs:527
↓ 2 callersMethodrequire_all
(&mut self)
components/dada-ir-sym/src/check/env/combinator.rs:61
↓ 2 callersFunctionrequire_generics_are_owned
( env: &mut Env<'db>, perm: SymPerm<'db>, generics: &[SymGenericTerm<'db>], or_else: &dyn OrEl
components/dada-ir-sym/src/check/predicates/require_owned.rs:115
↓ 2 callersFunctionrequire_generics_are_shared
( env: &mut Env<'db>, perm: SymPerm<'db>, generics: &[SymGenericTerm<'db>], or_else: &dyn OrEl
components/dada-ir-sym/src/check/predicates/require_shared.rs:125
↓ 2 callersFunctionrequire_infer_bounded_by_perm
( env: &mut Env<'db>, live_after: LivePlaces, infer: InferVarIndex, direction: Direction,
components/dada-ir-sym/src/check/subtype/perms.rs:115
↓ 2 callersFunctionrequire_infer_has_bound
Return the upper or lower (depending on direction) red-ty-bound from `infer`. If `infer` does not yet have a suitable bound, create one by generalizin
components/dada-ir-sym/src/check/subtype/terms.rs:326
↓ 2 callersFunctionrequire_infer_sub_ty
Return the red-ty lower bound from `infer`, creating one if needed by generalizing `bound`. Does not relate the return value and `bound` in any other
components/dada-ir-sym/src/check/subtype/terms.rs:295
↓ 2 callersFunctionrequire_numeric_red_type
( env: &mut Env<'db>, red_ty: RedTy<'db>, or_else: &dyn OrElse<'db>, )
components/dada-ir-sym/src/check/subtype/is_numeric.rs:46
↓ 2 callersFunctionrequire_place_is_shared
( env: &mut Env<'db>, place: SymPlace<'db>, or_else: &dyn OrElse<'db>, )
components/dada-ir-sym/src/check/predicates/require_shared.rs:181
↓ 2 callersFunctionrequire_term_is
( env: &mut Env<'db>, term: impl Into<SymGenericTerm<'db>>, predicate: Predicate, or_else: &dy
components/dada-ir-sym/src/check/predicates.rs:49
↓ 2 callersFunctionrequire_term_is_lent
( env: &mut Env<'db>, term: SymGenericTerm<'db>, or_else: &dyn OrElse<'db>, )
components/dada-ir-sym/src/check/predicates/require_lent.rs:26
↓ 2 callersFunctionrequire_term_is_unique
( env: &mut Env<'db>, term: SymGenericTerm<'db>, or_else: &dyn OrElse<'db>, )
components/dada-ir-sym/src/check/predicates/require_unique.rs:23
↓ 2 callersFunctionrequire_ty_is_owned
( env: &mut Env<'db>, term: SymTy<'db>, or_else: &dyn OrElse<'db>, )
components/dada-ir-sym/src/check/predicates/require_owned.rs:63
↓ 2 callersFunctionrequire_ty_is_shared
( env: &mut Env<'db>, term: SymTy<'db>, or_else: &dyn OrElse<'db>, )
components/dada-ir-sym/src/check/predicates/require_shared.rs:66
↓ 2 callersFunctionrequire_ty_sub_infer
Relate `lower_term` (not)
components/dada-ir-sym/src/check/subtype/terms.rs:263
← previousnext →301–400 of 1,179, ranked by callers