[−][src]Module minitt::check::tcm
Type-Checking Monad: context, state and error.
Typing context (Gamma
) and its updater, the type-checking error and its pretty-printer
Depends on module syntax
.
Structs
TCS | Type-Checking State |
Enums
TCE | Type-Checking Error. |
Functions
update_gamma | Move version of |
update_gamma_borrow | Borrow version of |
update_gamma_lazy | Lazy version of |
Type Definitions
Gamma |
|
GammaRaw | Type-Checking context. Name as key, type of the declaration as value. |
TCM |
|