Module kailua_check::env
[−]
[src]
The type checker environment.
Structs
ClassFields |
A (extended) class definition. |
Context |
The global context, which also contains the type context. |
Env |
A per-file environment which depends to |
Frame |
A function frame. |
IdDisplay |
Displays a globally unique name reference in the human-readable form. |
Module |
The resolved information about the module loaded by |
NameDef |
A name definition. |
Output |
A report-free version of |
Scope |
A scope. |
TypeDef |
A named type definition. |
Enums
Id |
A globally unique name reference. |
NameSlot |
A slot type with the initialization status. |
Returns |
A return type, that may have been inferred. |
SlotSpec |
A slot type "specification". |