Module voile::check::monad

Type-checking monad is a Result<State, Error>. $$ \newcommand{\xx}[0]{\texttt{x}} \Gamma \quad \Gamma(\xx)=o $$

Modules

error	Control.Monad.Except, as type-checking error.
state	Control.Monad.State, as type-checking state.

Structs

TCS	Type-checking state.

Enums

MetaSolution
TCE	Type-Checking Error.

Type Definitions

Gamma	Typing context.
TCM	Type-Checking Monad.
ValTCM	Val-Producing Type-Checking Monad.