rue-types 0.10.0

A type system for the Rue programming language.
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
33
34
35
36
37

mod alias;
mod apply;
mod atom;
mod function;
mod generic;
mod pair;
mod structs;
mod unions;

pub use alias::*;
pub use apply::*;
pub use atom::*;
pub use function::*;
pub use generic::*;
pub use pair::*;
pub use structs::*;
pub use unions::*;

use id_arena::Id;

pub type TypeId = Id<Type>;

#[derive(Debug, Clone)]
pub enum Type {
    Unresolved,
    Generic(Generic),
    Any,
    Never,
    Ref(TypeId),
    Atom(Atom),
    Pair(Pair),
    Alias(Alias),
    Struct(Struct),
    Function(FunctionType),
    Apply(Apply),
    Union(Union),
}