lex_types/
lib.rs

1//! M3: type system, effect system. See spec §6, §7.
2
3#![allow(clippy::result_large_err)]
4
5pub mod types;
6pub mod unifier;
7pub mod env;
8pub mod error;
9pub mod position;
10pub mod rules;
11pub mod builtins;
12pub mod stdlib_spec;
13pub mod checker;
14pub mod discharge;
15pub mod trust;
16pub mod authority;
17
18pub use checker::{
19    check_and_rewrite_program, check_and_rewrite_program_with_modules,
20    check_and_rewrite_program_with_module_ifaces, check_program, check_program_with_modules,
21    check_program_with_module_ifaces, check_program_with_positions, module_record_from_fields,
22    rewrite_parse_calls, ParseSite, ProgramTypes,
23};
24pub use error::{PositionedError, TypeError};
25pub use position::{byte_to_line_col, Position};
26pub use rules::{all_rules, suggested_transform_for, RuleInfo};
27pub use trust::{Dimension, Grant, GrantId, Level, TrustError};
28pub use types::{EffectSet, Prim, Scheme, Ty, TyVarId};
lex_types/lib.rs

lex_types/
lib.rs
