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.

Structs

Checker

The actual type checker.

Preload

Options to populate the execution environment before checking.

Functions

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.