[−][src]Module mod_language::ctx
Contextual types used by the semantic analysis system
Structs
| Context | The main layer of contextual information derived from a semantic analysis session |
| Function | Any Function known by a semantic analyzer |
| Global | Any Global known by a semantic analyzer |
| GlobalKey | A key referring to a top-level item in a semantic analyzer |
| LocalContext | A function or global initializer expression's contextual information |
| LocalItem | A local item known by a semantic analyzer |
| LocalKey | A SlotMap Key representing a LocalItem |
| Module | The basic unit of source for a semantic analyzer, serves as a container for types, values, and other modules |
| Namespace | A layer of semantic distinction for identifiers in a compilation context |
| NamespaceIter | An immutable key/value/sourceregion iterator over the entry pairs and bind locations in a namespace |
| NamespaceIterMut | A mutable key/value/sourceregion iterator over the entry pairs and bind locations in a namespace |
| Type | Any Type known by a semantic analyzer |
| TypeDisplay | A wrapper structure for printing types for the user |
Enums
| CoercibleType | Data representation of a type which is a placeholder for another type |
| GlobalItem | A top-level item known by a semantic analyzer |
| MultiKey | A Key to either a local variable or a global item |
| MultiMut | A mutable reference to either a GlobalItem or a LocalItem |
| MultiRef | A reference to either a GlobalItem or a LocalItem |
| NamespaceKind | The kind of a top-level item known by a semantic analyzer |
| PrimitiveType | Data representation of the simplest kind of type, built in primitives such as numbers |
| TypeData | Unique data for a Type in a semantic analyzer |
Type Definitions
| GlobalNamespace | A variant of namespace using GlobalKey as its K type |
| LocalNamespace | A variant of namespace using MultiKey as its K type |