Module kailua_types::diag
[−]
[src]
Type-level diagnostics.
Unlike normal reports, type operations can issue recursive reports with nested causes. A separate reporting system is provided to process such recursive reports. Ideally the resulting "type report" should form a tree; currently only a linear data structure is implemented, which is reasonable for now.
Structs
TypeReport |
Type-level report. |
Enums
Origin |
The originating position of type operation failures. |
TypeReportHint |
A hint about the context where given type operation occurred. Used to give better messages for the topmost errors. |
Traits
TypeReportMore |
An extension to |
Type Definitions
TypeResult |
The result type for any procedure that can generate type reports. |