[−][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
mismatch | |
update_gamma | Move version of |
update_gamma_borrow | Borrow version of |
update_gamma_by_pair | Some minor helper specialized from other functions. |
update_gamma_by_var | Some minor helper specialized from other functions. |
update_gamma_lazy | Lazy version of |
Type Definitions
Gamma | $\Gamma ::= () \ | \ \Gamma, x : t$,
|
GammaRaw | Since we have no place to document |
TCM |
|