lyte 0.1.0

Rust-like typesystem created for the Lumina project
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32

mod forall;
pub use forall::{Constraint, Generics};

mod r#type;
pub use r#type::{Key, Type, TypeData, TypeKind};

pub type TypesBuf<D> = Vec<Type<D>>;
pub type Types<D> = [Type<D>];

mod infer;
pub use infer::RefID;
pub use infer::TEnv;

mod check;
pub use check::{Error, ErrorHandler, TypeContext};

mod query;
pub use query::{Impl, TraitIndex};

mod mapping;
pub use mapping::Mapping;

pub mod frontend;

mod visitor;
pub use visitor::TypeVisitor;

#[cfg(test)]
mod tests;

#[derive(Debug, PartialEq, Eq, Hash)]
pub struct ImplID(usize);