Crate kailua_check [−] [src]

Type checker for Kailua.

Type checking involves four types:

kailua_check::env::Context is a global context for all checked files. It also exposes an interface to the type environment, kailua_types::env::Types.
kaliua_check::env::Env is a per-file context. The checker will also build its own Env for newly loaded files, but the first Env should be given explicitly.
kailua_check::options::Options is a configurable portion of the type checker. Currently it allows you to configure the require path and the actual loading process.
kailua_check::Checker is the actual checker. Due to the internal architecture, it also holds some side information depending on the input chunk (and cannot be put to Env due to the lifetime mismatch).

After the type checking, Context can be extracted into the Output for later analysis.

Modules

env	The type checker environment.
options	The user-configurable portion of the type checker.

Checker	The actual type checker.
Preload	Options to populate the execution environment before checking.

check_from_chunk	An one-off function to check a chunk with given `Options`.
check_from_chunk_with_preloading	Same to `check_from_chunk` but with preloading.