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
↓ 231 callersMethodpush
Append a component.
components/dada-compiler/src/vfs.rs:55
↓ 142 callersMethoditer
Walks the chain, starting with the innermost links.
components/dada-ir-sym/src/check/scope.rs:604
↓ 135 callersMethodclone
(&self)
components/dada-util/src/fixed_depth_json.rs:557
↓ 114 callersMethoddb
Get the database
components/dada-ir-sym/src/check/env.rs:109
↓ 105 callersMethodmap
Maps the bound contents to something else using the contents of argument term `arg`. `arg` will automatically have any bound variables shifted by 1 t
components/dada-ir-sym/src/ir/binder.rs:94
↓ 75 callersMethodspan
(&self)
components/dada-ir-sym/src/check/scope.rs:64
↓ 72 callersMethodlabel
( mut self, db: &dyn crate::Db, level: Level, span: Span, message: imp
components/dada-ir-ast/src/diagnostic.rs:126
↓ 64 callersMethodreport
(&self, diagnostic: Diagnostic)
components/dada-ir-sym/src/check/env.rs:535
↓ 61 callersMethodjoin
( &mut self, a: impl AsyncFnOnce(&mut Self) -> A, b: impl AsyncFnOnce(&mut Self) -> B,
components/dada-ir-sym/src/check/env/combinator.rs:96
↓ 59 callersFunctionerror
(e: anyhow::Error)
components/dada-debug/src/error.rs:1
↓ 53 callersMethodlen
(self, db: &'db dyn crate::Db)
components/dada-ir-ast/src/ast.rs:123
↓ 50 callersMethodkind
Returns the kind of term (or `Err` if it is an error).
components/dada-ir-sym/src/ir/types.rs:210
↓ 47 callersMethodlog
(&self, message: &'static str, values: &[&dyn erased_serde::Serialize])
components/dada-ir-sym/src/check/env.rs:541
↓ 40 callersMethodeat_keyword
(&mut self, kw: Keyword)
components/dada-parser/src/lib.rs:326
↓ 39 callersMethodinsert
(&self, value: T)
components/dada-util/src/arena.rs:31
↓ 37 callersMethodname
(self, db: &'db dyn crate::Db)
components/dada-ir-sym/src/ir/module.rs:54
↓ 36 callersMethodkind
Returns the kind of the inference variable.
components/dada-ir-sym/src/check/inference.rs:65
↓ 33 callersMethodto
(self, db: &'db dyn crate::Db, end: impl IntoOptionSpan<'db>)
components/dada-ir-ast/src/span.rs:123
↓ 30 callersMethodlen
(&self)
components/dada-ir-sym/src/ir/binder.rs:21
↓ 30 callersMethodty
Computes the type of this, treating it as an expression. Reports an error if this names something that cannot be made into an expression.
components/dada-ir-sym/src/check/exprs.rs:1387
↓ 28 callersMethodty
Convert to a future that blocks until the red-ty future is set
components/dada-ir-sym/src/check/env.rs:654
↓ 27 callersMethodnext
Create a universe one larger than the current universe.
components/dada-ir-sym/src/check/universe.rs:22
↓ 26 callersMethodcheck_in_env
(&self, env: &mut Env<'db>, live_after: LivePlaces)
components/dada-ir-sym/src/check/exprs.rs:85
↓ 26 callersMethodget
Get the current log state.
components/dada-util/src/log.rs:18
↓ 26 callersMethodis_empty
Check if the set is empty.
components/dada-util/src/vecset.rs:71
↓ 21 callersMethodlast_span
Span of the last consumed token.
components/dada-parser/src/lib.rs:286
↓ 20 callersMethodpeek
Peek at the next token, returning None if there is none. Implicitly advances past error tokens. Does not consume the token returned.
components/dada-parser/src/lib.rs:271
↓ 20 callersMethodspawn
( &mut self, task_description: TaskDescription<'db>, op: impl AsyncFnOnce(&mut Self) -
components/dada-ir-sym/src/check/env.rs:481
↓ 19 callersMethodapply_to
Apply this permission to the given term (if `self` is not `my`).
components/dada-ir-sym/src/ir/types.rs:554
↓ 19 callersMethodname_span
Span of the class name, typically used in diagnostics. Also returned by the [`Spanned`][] impl.
components/dada-ir-sym/src/ir/classes.rs:88
↓ 18 callersMethodcontains
True if `self` contains all of `other`
components/dada-ir-ast/src/span.rs:117
↓ 17 callersMethodas_usize
(&self)
components/dada-ir-ast/src/span.rs:262
↓ 17 callersMethodinto_expr
( self, env: &mut Env<'db>, temporaries: &mut Vec<Temporary<'db>>, )
components/dada-ir-sym/src/check/exprs.rs:1435
↓ 16 callersMethodto_red_ty
(&self, env: &mut Env<'db>)
components/dada-ir-sym/src/check/to_red.rs:64
↓ 15 callersMethodabsolute_span
Convert this span into an absolute span for reporting errors.
components/dada-ir-ast/src/span.rs:178
↓ 15 callersMethodchars
(self)
components/dada-parser/src/tokenizer.rs:226
↓ 15 callersMethodindent
( &mut self, message: &'static str, values: &[&dyn erased_serde::Serialize], o
components/dada-ir-sym/src/check/env.rs:546
↓ 15 callersMethodserialize
(&self, serializer: S)
components/dada-util/src/log.rs:168
↓ 15 callersMethodsymbol
(self, db: &'db dyn crate::Db)
components/dada-ir-sym/src/ir/types.rs:790
↓ 14 callersMethodexists
( &mut self, items: impl IntoIterator<Item = T>, test_fn: impl AsyncFn(&mut Env<'db>,
components/dada-ir-sym/src/check/env/combinator.rs:192
↓ 14 callersMethodvar_is_declared_to_be
True if the given variable is declared to meet the given predicate.
components/dada-ir-sym/src/check/env.rs:134
↓ 13 callersMethodcheck_in_env
(&self, env: &mut Env<'db>)
components/dada-ir-sym/src/check/types.rs:29
↓ 13 callersMethodeat_id
(&mut self)
components/dada-parser/src/lib.rs:340
↓ 13 callersMethodextend
Extend the set with the items from `other`.
components/dada-util/src/vecset.rs:54
↓ 13 callersMethodflatten
Primitive WASM values needed for a value with this representation stored on the WASM stack or in memory.
components/dada-codegen/src/cx/generate_expr/wasm_place_repr.rs:333
↓ 13 callersMethodillformed
Create a parse error because the next token is not what we expected.
components/dada-parser/src/lib.rs:301
↓ 13 callersMethodurl
Convert this path back into a URL
components/dada-compiler/src/vfs.rs:130
↓ 12 callersMethodfork
Create a new environment from this environment. The log will be adjusted per the `log` function.
components/dada-ir-sym/src/check/env.rs:120
↓ 12 callersMethodget
(&self, env: &mut Env<'db>)
components/dada-ir-sym/src/check/env.rs:703
↓ 12 callersMethodpeek_span
Span of the next token in the input (or the end of the final token, if there are no more tokens)
components/dada-parser/src/lib.rs:291
↓ 12 callersMethodrequire_both
( &mut self, a: impl AsyncFnOnce(&mut Self) -> Errors<()>, b: impl AsyncFnOnce(&mut Se
components/dada-ir-sym/src/check/env/combinator.rs:69
↓ 12 callersMethodrun
(mut self, command: Command)
components/dada-lang/src/main_lib.rs:19
↓ 12 callersMethodspan
(&self, db: &'db dyn crate::Db)
components/dada-parser/src/types.rs:68
↓ 12 callersMethodspan
(&self, start: usize, end: usize)
components/dada-parser/src/tokenizer.rs:346
↓ 12 callersMethodspan
(&self, db: &'db dyn dada_ir_ast::Db)
components/dada-ir-sym/src/ir/module.rs:41
↓ 11 callersMethodannotate_diagnostic
(self, env: &mut Env<'db>, diagnostic: Diagnostic)
components/dada-ir-sym/src/check/report.rs:206
↓ 11 callersMethodpop
Removes the final component (if any). Result will never be a dada file.
components/dada-compiler/src/vfs.rs:49
↓ 11 callersMethodsymbols
(self, db: &'db dyn crate::Db)
components/dada-ir-sym/src/ir/classes.rs:118
↓ 10 callersMethodconsume
(&mut self, env: &mut Env<'db>, arg: A)
components/dada-ir-sym/src/check/stream.rs:22
↓ 10 callersMethodeat_op
(&mut self, op: Op)
components/dada-parser/src/lib.rs:353
↓ 10 callersMethodinto_iter
(self)
components/dada-ir-ast/src/ast/util.rs:31
↓ 10 callersMethodred_bound
(&self, infer: InferVarIndex, direction: Direction)
components/dada-ir-sym/src/check/env.rs:611
↓ 10 callersMethodrequire
( &mut self, a: impl AsyncFnOnce(&mut Env<'db>) -> Errors<bool>, because: impl FnOnce(
components/dada-ir-sym/src/check/env/combinator.rs:26
↓ 10 callersMethodstyle
If this symbol references an aggregate (class, struct, etc) returns the aggregate style. Else returns `None`.
components/dada-ir-sym/src/check/scope.rs:480
↓ 10 callersMethodsubstitute
Open the binder by replacing each variable with the corresponding term from `substitution`. # Panics If `substitution` does not have the correct len
components/dada-ir-sym/src/ir/binder.rs:71
↓ 10 callersMethodto_arc
(&self)
components/dada-ir-sym/src/check/report.rs:85
↓ 9 callersFunction_element
(content, attrs)
components/dada-debug/assets/jsontree.js:189
↓ 9 callersMethodcontents_if_ok
Returns the contents of this file or an empty string if it couldn't be read.
components/dada-ir-ast/src/inputs.rs:101
↓ 9 callersMethodeat_next_token
Advance by one token, returning `Err` if there is no current token. After advancing, also eagerly eats any error tokens.
components/dada-parser/src/lib.rs:254
↓ 9 callersMethodexec
(e)
components/dada-debug/assets/highlight.min.js:133
↓ 9 callersMethodinputs
(self, db: &'db dyn crate::Db)
components/dada-ir-sym/src/ir/functions.rs:179
↓ 9 callersFunctionparse_spec_tokens
Parses the tokens after `:::{spec}` into an optional local name and a list of tags. If the first token looks like a tag (starts with `rfc`, `!`, or i
components/dada-spec-common/src/lib.rs:85
↓ 9 callersMethodresolve
Return a version of `term` in which all inference variables are (deeply) removed.
components/dada-ir-sym/src/check/resolve.rs:64
↓ 8 callersMethodassert_type
(self, db: &'db dyn crate::Db)
components/dada-ir-sym/src/ir/types.rs:183
↓ 8 callersMethodfinish
(self)
components/dada-ir-sym/src/check/env/combinator.rs:353
↓ 8 callersFunctionh
(...e)
components/dada-debug/assets/highlight.min.js:46
↓ 8 callersFunctioninfer_is_provably
( env: &mut Env<'db>, perm: SymPerm<'db>, infer: InferVarIndex, predicate: Predicate, )
components/dada-ir-sym/src/check/predicates/var_infer.rs:132
↓ 8 callersMethodis_empty
(&self)
components/dada-ir-sym/src/ir/binder.rs:25
↓ 8 callersMethodlog_result
(&mut self, compiler_location: &'static Location<'static>, value: T)
components/dada-ir-sym/src/check/env.rs:576
↓ 8 callersMethodpush_diagnostic
Record a diagnostic, indicating that parsing recovered from an error.
components/dada-parser/src/lib.rs:194
↓ 8 callersFunctionrequire_infer_is
Requires the inference variable (appearing under the given context) to meet the given predicate (possibly reporting an error if that is contradictory)
components/dada-ir-sym/src/check/predicates/var_infer.rs:46
↓ 8 callersMethodset
Set the current log state back to what it was.
components/dada-util/src/log.rs:25
↓ 8 callersFunctiontest_var_is_provably
( env: &mut Env<'db>, var: SymVariable<'db>, predicate: Predicate, )
components/dada-ir-sym/src/check/predicates/var_infer.rs:20
↓ 7 callersFunctionN
(e,t,n={})
components/dada-debug/assets/highlight.min.js:60
↓ 7 callersFunctionW
components/dada-debug/assets/highlight.min.js:106
↓ 7 callersMethodaddText
(e)
components/dada-debug/assets/highlight.min.js:19
↓ 7 callersMethodclear_accumulated
Clears various accumulated state in prep for a new token being issued (or the final token). Returns the [`Skipped`][] value that should be used for th
components/dada-parser/src/tokenizer.rs:324
↓ 7 callersMethodfield
(self, db: &'db dyn crate::Db, field: SymField<'db>)
components/dada-ir-sym/src/ir/types.rs:698
↓ 7 callersMethodfor_all
( &mut self, items: impl IntoIterator<Item = T>, test_fn: impl AsyncFn(&mut Env<'db>,
components/dada-ir-sym/src/check/env/combinator.rs:156
↓ 7 callersFunctioni
(e,...t)
components/dada-debug/assets/highlight.min.js:16
↓ 7 callersMethodinfer
Log a message with argument(s).
components/dada-ir-sym/src/check/debug.rs:140
↓ 7 callersMethoditems
Returns a list of all top-level items in the module
components/dada-ir-sym/src/ir/module.rs:64
↓ 7 callersFunctionl
(e)
components/dada-debug/assets/highlight.min.js:43
↓ 7 callersMethodplace_ty
(&self, env: &mut Env<'db>)
components/dada-ir-sym/src/check/places.rs:21
↓ 7 callersMethodprocess_line
Processes a line of markdown. If it's a heading (level >= 2), updates the heading stack by popping entries at the same or deeper level, then pushing t
components/dada-spec-common/src/lib.rs:119
↓ 7 callersFunctionreport_unexpected
( db: &'db dyn crate::Db, spanned: impl Spanned<'db>, name: &str, problem: &str, )
components/dada-ir-sym/src/well_known.rs:122
↓ 7 callersFunctionrequire_sub_terms
( env: &mut Env<'db>, live_after: LivePlaces, lower: SymGenericTerm<'db>, upper: SymGenericTer
components/dada-ir-sym/src/check/subtype/terms.rs:38
↓ 7 callersMethodspawn_require_assignable_type
( &mut self, live_after: LivePlaces, value_ty: SymTy<'db>, place_ty: SymTy<'db
components/dada-ir-sym/src/check/env.rs:335
↓ 7 callersFunctiont
(t,n)
components/dada-debug/assets/highlight.min.js:125
↓ 7 callersFunctionterm_is_provably_shared
( env: &mut Env<'db>, term: SymGenericTerm<'db>, )
components/dada-ir-sym/src/check/predicates/is_provably_shared.rs:20
next →1–100 of 1,179, ranked by callers