MCPcopy Create free account

hub / github.com/dada-lang/dada / types & classes

Types & classes371 in github.com/dada-lang/dada

⨍ Functions 1,179◇ Types & classes 371
↓ 126 callersInterfaceErr
Create a value from a reported error.
components/dada-ir-ast/src/diagnostic.rs:169
↓ 19 callersClassOp
components/dada-parser/src/tokenizer.rs:160
↓ 8 callersClassOffset
components/dada-ir-ast/src/span.rs:233
↓ 7 callersClassInfer
components/dada-ir-sym/src/check/debug/export.rs:100
↓ 5 callersClassAbsoluteOffset
components/dada-ir-ast/src/span.rs:293
↓ 4 callersEnumExpected
components/dada-parser/src/lib.rs:681
↓ 4 callersClassLiteral
components/dada-ir-ast/src/ast/expr.rs:208
↓ 4 callersEnumPermissionOp
components/dada-ir-ast/src/ast/expr.rs:121
↓ 4 callersClassa
components/dada-debug/assets/highlight.min.js:27
↓ 3 callersClassIdentifier
components/dada-ir-ast/src/ast.rs:30
↓ 3 callersClassLive
components/dada-ir-sym/src/check/red.rs:116
↓ 2 callersClassMapBecause
components/dada-ir-sym/src/check/report.rs:139
↓ 2 callersClassSourceFile
components/dada-ir-ast/src/inputs.rs:62
↓ 2 callersClassTaskIndex
components/dada-ir-sym/src/check/debug.rs:477
↓ 2 callersEnumUnaryOp
components/dada-ir-ast/src/ast/expr.rs:185
↓ 2 callersClassUniverse
components/dada-ir-sym/src/check/universe.rs:14
↓ 1 callersClassAsyncItem
components/dada-util-procmacro/src/boxed_async_fn/parse.rs:7
↓ 1 callersClassDiagnostic
components/dada-ir-ast/src/diagnostic.rs:31
↓ 1 callersClassEventIndex
components/dada-ir-sym/src/check/debug.rs:491
↓ 1 callersClassFnIndex
components/dada-codegen/src/cx.rs:59
↓ 1 callersClassFnKey
components/dada-codegen/src/cx.rs:56
↓ 1 callersClassFnTypeIndex
components/dada-codegen/src/cx/wasm_fn_type.rs:5
↓ 1 callersClassInferVarIndex
components/dada-ir-sym/src/ir/indices.rs:8
↓ 1 callersClassOptions
components/dada-lang/src/lib.rs:13
↓ 1 callersClassReported
components/dada-ir-ast/src/diagnostic.rs:15
↓ 1 callersClassSymModule
components/dada-ir-sym/src/ir/module.rs:25
↓ 1 callersClassSymVariable
components/dada-ir-sym/src/ir/variables.rs:18
↓ 1 callersInterfaceSymbol
Return the symbol corresponding to the AST node. Implementations are memoized so that this can be called many times and will always yield the same sym
components/dada-ir-sym/src/lib.rs:20
↓ 1 callersClassTaskUndent
components/dada-util/src/log.rs:109
Class
components/dada-debug/assets/highlight.min.js:12
Class
components/dada-debug/assets/highlight.min.js:18
Class
components/dada-debug/assets/highlight.min.js:27
Class
components/dada-debug/assets/highlight.min.js:38
Class
components/dada-debug/assets/highlight.min.js:127
Class
components/dada-debug/assets/highlight.min.js:136
Class
components/dada-debug/assets/highlight.min.js:172
ClassAbsoluteSpan
components/dada-ir-ast/src/span.rs:91
EnumAnchor
components/dada-ir-ast/src/span.rs:13
InterfaceAnonymousPermSymbol
components/dada-ir-sym/src/ir/types.rs:812
InterfaceApplicable
components/dada-ir-sym/src/ir/types.rs:565
ClassArcOrElse
components/dada-ir-sym/src/check/report.rs:67
ClassArena
A really dumb arena implementation intended not for efficiency but rather to prolong lifetimes.
components/dada-util/src/arena.rs:5
InterfaceAssertKind
Assert that `self` has the appropriate kind to produce an `R` value. Implemented by e.g. [`SymGenericTerm`][] to permit downcasting to [`SymTy`](`crat
components/dada-ir-sym/src/ir/types.rs:85
ClassAssets
components/dada-debug/src/view.rs:38
ClassAssets
components/dada-debug/src/assets.rs:6
ClassAssets
components/dada-debug/src/hbs.rs:9
ClassAssumption
components/dada-ir-sym/src/ir/types.rs:872
EnumAssumptionKind
components/dada-ir-sym/src/ir/types.rs:878
ClassAstAggregate
components/dada-ir-ast/src/ast/class_item.rs:16
EnumAstAggregateKind
components/dada-ir-ast/src/ast/class_item.rs:52
ClassAstAggregatePrefix
components/dada-parser/src/classes.rs:83
EnumAstBinaryOp
components/dada-ir-ast/src/ast/expr.rs:144
ClassAstBlock
components/dada-ir-ast/src/ast/expr.rs:11
ClassAstConstructorField
components/dada-ir-ast/src/ast/expr.rs:201
ClassAstExpr
components/dada-ir-ast/src/ast/expr.rs:43
EnumAstExprKind
components/dada-ir-ast/src/ast/expr.rs:58
ClassAstFieldDecl
components/dada-ir-ast/src/ast/member.rs:31
ClassAstFunction
components/dada-ir-ast/src/ast/function.rs:14
ClassAstFunctionEffects
components/dada-ir-ast/src/ast/function.rs:66
EnumAstFunctionInput
components/dada-ir-ast/src/ast/function.rs:80
ClassAstFunctionPrefix
components/dada-parser/src/functions.rs:93
ClassAstGenericDecl
components/dada-ir-ast/src/ast/types.rs:116
EnumAstGenericKind
components/dada-ir-ast/src/ast/types.rs:98
EnumAstGenericTerm
components/dada-ir-ast/src/ast/types.rs:76
EnumAstItem
components/dada-ir-ast/src/ast.rs:88
ClassAstLetStatement
components/dada-ir-ast/src/ast/expr.rs:34
ClassAstMainFunction
components/dada-ir-ast/src/ast/function.rs:54
EnumAstMember
components/dada-ir-ast/src/ast/member.rs:15
ClassAstModule
components/dada-ir-ast/src/ast.rs:72
ClassAstParenExpr
components/dada-ir-ast/src/ast/expr.rs:222
ClassAstPath
components/dada-ir-ast/src/ast.rs:99
EnumAstPathKind
components/dada-ir-ast/src/ast.rs:105
ClassAstPerm
components/dada-ir-ast/src/ast/types.rs:36
EnumAstPermKind
components/dada-ir-ast/src/ast/types.rs:50
ClassAstSelfArg
components/dada-ir-ast/src/ast/function.rs:96
EnumAstStatement
components/dada-ir-ast/src/ast/expr.rs:17
ClassAstTy
components/dada-ir-ast/src/ast/types.rs:11
EnumAstTyKind
components/dada-ir-ast/src/ast/types.rs:23
ClassAstUse
components/dada-ir-ast/src/ast/use_item.rs:10
ClassAstVisibility
components/dada-ir-ast/src/ast.rs:183
ClassAstWhereClause
components/dada-ir-ast/src/ast/types.rs:146
EnumAstWhereClauseKind
components/dada-ir-ast/src/ast/types.rs:154
ClassAstWhereClauses
components/dada-ir-ast/src/ast/types.rs:134
ClassAwaitNonFuture
components/dada-ir-sym/src/check/report.rs:625
ClassBadSubtermError
components/dada-ir-sym/src/check/report.rs:340
EnumBecause
Reason that a low-level typing operation failed.
components/dada-ir-sym/src/check/report.rs:164
ClassBinder
components/dada-ir-sym/src/ir/binder.rs:15
EnumBless
components/dada-lang/src/main_lib/test/expected.rs:91
ClassBooleanTypeRequired
components/dada-ir-sym/src/check/report.rs:685
InterfaceBoundTerm
A value that can appear in a binder
components/dada-ir-sym/src/ir/binder.rs:137
ClassBuild
components/xtask/src/build.rs:5
ClassCapturedPanic
components/dada-lang/src/main_lib/test/panic_hook.rs:7
InterfaceCheck
The main "check" routine. This defines what it means for a dada program to successfully compile.
components/dada-check/src/lib.rs:31
InterfaceCheckExprInEnv
components/dada-ir-sym/src/check.rs:47
ClassCheckTask
# Safety notes This `Check` type is actually valid for some (existential) `'db`. We erase this from the type system and simply use `'static` in the f
components/dada-ir-sym/src/check/runtime.rs:460
EnumCheckTaskState
components/dada-ir-sym/src/check/runtime.rs:473
InterfaceCheckTyInEnv
Check an expression in a full environment. This is an async operation -- it may block if insufficient inference data is available.
components/dada-ir-sym/src/check.rs:41
InterfaceCheckUseItems
components/dada-ir-sym/src/lib.rs:26
InterfaceCheckedBody
components/dada-ir-sym/src/lib.rs:30
InterfaceCheckedFieldTy
components/dada-ir-sym/src/lib.rs:42
next →1–100 of 371, ranked by callers