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
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85

use super::*;
use itertools::Itertools;
use std::fmt;

#[derive(Debug, Clone)]
pub struct Product<D: TypeData> {
    identifier: D::Concrete,
    fields: TypesBuf<D>,
}

impl<D: TypeData> Product<D> {
    pub fn new(identifier: D::Concrete, fields: TypesBuf<D>) -> Self {
        Self { identifier, fields }
    }

    pub fn to_foreign(self, generics: Generics<D>) -> ForeignProduct<D> {
        // TODO: perform validation that we cannot use any non-existant generics
        ForeignProduct { generics, product: self }
    }
}

#[derive(Debug, Clone)]
pub struct ForeignProduct<D: TypeData> {
    pub generics: Generics<D>,
    pub product: Product<D>,
}

impl<D: TypeData> ForeignProduct<D> {
    pub fn instantiate(&self, tenv: &mut TEnv<D>) -> InstantiatedProduct<D> {
        let mapping = self.generics.to_mapping(tenv);
        InstantiatedProduct {
            mapping,
            product: &self.product,
        }
    }
}

pub struct InstantiatedProduct<'a, D: TypeData> {
    mapping: Mapping<D>,
    product: &'a Product<D>,
}

impl<'a, D: TypeData> InstantiatedProduct<'a, D> {
    pub fn field(&self, field: usize) -> Type<D> {
        self.mapping.apply_type(
            self.product
                .fields
                .get(field)
                .expect("field does not exist"),
        )
    }

    pub fn accessor(&self, ret_meta: D::Meta, field: usize) -> Function<D> {
        let params = vec![self.field(field)];
        let returns = self.to_type(ret_meta);
        Function::new(params, returns)
    }

    pub fn mapping_mut(&mut self) -> &mut Mapping<D> {
        &mut self.mapping
    }
}

impl_to_type!(InstantiatedProduct<'a, D>, product);

impl<D: TypeData> fmt::Display for ForeignProduct<D> {
    fn fmt(&self, f: &mut fmt::Formatter) -> fmt::Result {
        if self.generics.is_empty() {
            self.product.fmt(f)
        } else {
            write!(f, "∀{}. {}", &self.generics, &self.product)
        }
    }
}

impl<D: TypeData> fmt::Display for Product<D> {
    fn fmt(&self, f: &mut fmt::Formatter) -> fmt::Result {
        write!(
            f,
            "{{ {} . {} }}",
            self.identifier,
            self.fields.iter().format(", ")
        )
    }
}