Expand description
Defines Context.
Context is used for type inference and type checking.
Modules§
- compare
- provides type-comparison
- eval
- generalize
- hint
- initialize
- defines type information for builtin objects (in
Context) - inquire
- instantiate
- instantiate_
spec - register
- test
- test module for
Context - unify
- provides type variable related operations
Structs§
- Context
- Represents the context of the current scope
- Method
Context - Method
Pair - Module
Context - Param
Spec - Trait
Impl - Type
Context
Enums§
- Class
DefType - Context
Kind - Control
Kind - Default
Info - Registration
Mode - Indicates the mode registered in the Context Preregister: subroutine or constant expression, can be forward referenced Normal: Cannot be forward referenced 環境に登録されているモードを表す Preregister: サブルーチンまたは定数式、前方参照できる Normal: 前方参照できない
- Variance
Traits§
- Context
Provider - For implementing LSP or other IDE features