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
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51

use crate::*;

mod function;
mod product;
mod sum;
mod r#trait;

pub use function::{ForeignFunction, Function};
pub use product::{ForeignProduct, InstantiatedProduct, Product};
pub use r#trait::{ForeignTrait, InstantiatedTrait};
pub use sum::{ForeignSum, InstantiatedSum, Sum};

#[macro_export]
macro_rules! impl_to_type {
    ($inst:ty, $data:ident) => {
        impl<'a, D: TypeData> $inst {
            /// Returns the instantiated form of this type
            pub fn to_type(&self, meta: D::Meta) -> Type<D> {
                Type::concrete(
                    meta.clone(),
                    self.$data.identifier.clone(),
                    self.mapping.to_types(meta),
                )
            }
        }
    };
}

#[macro_export]
macro_rules! define_key {
    ($name:ident) => {
        define_key!($name, "");
    };
    ($name:ident, $comment:literal) => {
        #[derive(Clone, Copy, PartialEq, Eq, Hash, Debug)]
        #[doc=$comment]
        pub struct $name(usize);

        impl From<usize> for $name {
            fn from(i: usize) -> $name {
                $name(i)
            }
        }

        impl $name {
            pub fn index(self) -> usize {
                self.0
            }
        }
    };
}