Expand description
KORE Type System - Rust-like with effect tracking
Structs§
- TypeEnv
- Type environment for checking
- Typed
Actor - Typed
Component - Typed
Comptime - Typed
Const - Typed
Enum - Typed
Function - Typed
Impl - Typed
Macro - Typed
Program - Type-checked AST node
- Typed
Shader - Typed
Struct - Typed
Test - Typed
Use
Enums§
- Float
Size - IntSize
- Resolved
Type - Fully resolved type
- Typed
Item
Functions§
- check
- Main type checking entry point
- resolve_
type