deskc-ast 0.0.0

The application platform for your cyberpunk desk
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

use crate::{expr::Expr, span::Spanned};

#[derive(Clone, Debug, PartialEq)]
pub struct Effect {
    pub input: Spanned<Type>,
    pub output: Spanned<Type>,
}

#[derive(Clone, Debug, PartialEq)]
pub enum Type {
    Brand {
        brand: String,
        item: Box<Spanned<Type>>,
    },
    Number,
    String,
    Trait(Vec<Spanned<Self>>),
    Effectful {
        ty: Box<Spanned<Self>>,
        effects: Spanned<EffectExpr>,
    },
    Infer,
    This,
    Alias(String),
    Product(Vec<Spanned<Self>>),
    Sum(Vec<Spanned<Self>>),
    Function {
        parameters: Vec<Spanned<Self>>,
        body: Box<Spanned<Self>>,
    },
    Array(Box<Spanned<Self>>),
    Set(Box<Spanned<Self>>),
    Let {
        variable: String,
        body: Box<Spanned<Self>>,
    },
    Variable(String),
    BoundedVariable {
        bound: Box<Spanned<Self>>,
        identifier: String,
    },
    Attribute {
        attr: Box<Spanned<Expr>>,
        ty: Box<Spanned<Self>>,
    },
    Comment {
        position: CommentPosition,
        text: String,
        item: Box<Spanned<Self>>,
    },
}

#[derive(Clone, Debug, PartialEq)]
pub enum CommentPosition {
    Prefix,
    Suffix,
}

#[derive(Clone, Debug, PartialEq)]
pub enum EffectExpr {
    Effects(Vec<Spanned<Effect>>),
    Add(Vec<Spanned<EffectExpr>>),
    Sub {
        minuend: Box<Spanned<EffectExpr>>,
        subtrahend: Box<Spanned<EffectExpr>>,
    },
    Apply {
        function: Box<Spanned<Type>>,
        arguments: Vec<Spanned<Type>>,
    },
}