lex-types 0.7.1

Type system + effect inference for Lex.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15

//! M3: type system, effect system. See spec §6, §7.

#![allow(clippy::result_large_err)]

pub mod types;
pub mod unifier;
pub mod env;
pub mod error;
pub mod builtins;
pub mod checker;
pub mod discharge;

pub use checker::{check_and_rewrite_program, check_program, ProgramTypes};
pub use error::TypeError;
pub use types::{EffectSet, Prim, Scheme, Ty, TyVarId};