Expand description
Internal type representation used by the inferencer/checker.
We model types as either ground constructors (Int, List[T], …) or
unification variables. The unifier module handles solving.
Structs§
- Effect
Kind - Effect set with an optional row variable.
- Effect
Set - Scheme
- A polymorphic scheme: type with universally-quantified type variables and effect-row variables.
Enums§
- Effect
Arg - Mirror of
lex-ast::EffectArg. Type-level effects use this so the checker, lex-vcs ChangeEffectSig, and the runtime gate all reason about the same shape (#207). - Prim
- Ty