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
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106

pub use link::LinkName;
use uuid::Uuid;

use crate::{
    span::Spanned,
    ty::{CommentPosition, Type},
};

#[derive(Clone, Debug, PartialEq)]
pub enum Literal {
    String(String),
    Int(i64),
    Rational(i64, i64),
    Float(f64),
}

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

#[derive(Clone, Debug, PartialEq)]
pub enum Expr {
    Literal(Literal),
    Let {
        ty: Spanned<Type>,
        definition: Box<Spanned<Self>>,
        body: Box<Spanned<Self>>,
    },
    Perform {
        input: Box<Spanned<Self>>,
        output: Spanned<Type>,
    },
    Continue {
        input: Box<Spanned<Self>>,
        output: Option<Spanned<Type>>,
    },
    Handle {
        expr: Box<Spanned<Self>>,
        handlers: Vec<Handler>,
    },
    Apply {
        function: Spanned<Type>,
        link_name: Option<LinkName>,
        arguments: Vec<Spanned<Self>>,
    },
    Product(Vec<Spanned<Self>>),
    Match {
        of: Box<Spanned<Self>>,
        cases: Vec<MatchCase>,
    },
    Typed {
        ty: Spanned<Type>,
        item: Box<Spanned<Self>>,
    },
    Hole,
    Function {
        parameters: Vec<Spanned<Type>>,
        body: Box<Spanned<Self>>,
    },
    Array(Vec<Spanned<Self>>),
    Set(Vec<Spanned<Self>>),
    Include(String),
    Import {
        ty: Spanned<Type>,
        uuid: Option<Uuid>,
    },
    Export {
        ty: Spanned<Type>,
    },
    Attribute {
        attr: Box<Spanned<Self>>,
        item: Box<Spanned<Self>>,
    },
    Brand {
        brands: Vec<String>,
        item: Box<Spanned<Self>>,
    },
    Label {
        label: String,
        item: Box<Spanned<Self>>,
    },
    NewType {
        ident: String,
        ty: Spanned<Type>,
        expr: Box<Spanned<Self>>,
    },
    Comment {
        position: CommentPosition,
        text: String,
        item: Box<Spanned<Self>>,
    },
    Card {
        uuid: Uuid,
        item: Box<Spanned<Self>>,
        next: Option<Box<Spanned<Self>>>,
    },
}

#[derive(Clone, Debug, PartialEq)]
pub struct MatchCase {
    pub ty: Spanned<Type>,
    pub expr: Spanned<Expr>,
}