wasp-core 0.0.0

Core compiling logic of wasp
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

use wasmly::DataType;

#[derive(Debug)]
pub struct App {
    pub children: Vec<TopLevelOperation>,
}

#[derive(Debug, Clone)]
pub enum TopLevelOperation {
    Comment(String),
    DefineGlobal(Global),
    DefineFunction(FunctionDefinition),
    ExternalFunction(ExternalFunction),
}

#[derive(Debug, Clone)]
pub struct Global {
    pub name: String,
    pub value: GlobalValue,
}

#[derive(Debug, Clone)]
pub enum GlobalValue {
    Symbol(String),
    Number(f64),
    Text(String),
    Data(Vec<GlobalValue>),
    Identifier(String),
    Struct(StructDefinition),
}

#[derive(Debug, Clone)]
pub struct ExternalFunction {
    pub name: String,
    pub params: Vec<String>,
}

#[derive(Debug, Clone)]
pub struct FunctionDefinition {
    pub name: String,
    pub exported: bool,
    pub params: Vec<String>,
    pub output: Option<String>,
    pub children: Vec<Expression>,
}

#[derive(Debug, Clone)]
pub struct StructMember {
    pub name: String,
}

#[derive(Debug, Clone)]
pub struct StructDefinition {
    pub members: Vec<StructMember>,
}

#[derive(Debug, Clone)]
pub struct OperationFunctionCall {
    pub function_name: String,
    pub params: Vec<Expression>,
}

#[derive(Debug, Clone)]
pub struct OperationRecur {}

#[derive(Debug, Clone)]
pub struct OperationAssignment {
    pub id: String,
    pub value: Box<Expression>,
}

#[derive(Debug, Clone)]
pub struct OperationIfStatement {
    pub condition: Box<Expression>,
    pub if_true: Vec<Expression>,
    pub if_false: Option<Vec<Expression>>,
}

#[derive(Debug, Clone)]
pub struct OperationLoop {
    pub expressions: Vec<Expression>,
}

#[derive(Debug, Clone)]
pub struct OperationFnSig {
    pub inputs: Vec<DataType>,
    pub output: Option<DataType>,
}

#[derive(Debug, Clone)]
pub enum Expression {
    IfStatement(OperationIfStatement),
    Assignment(OperationAssignment),
    TextLiteral(String),
    SymbolLiteral(String),
    Identifier(String),
    FunctionCall(OperationFunctionCall),
    Number(f64),
    Recur(OperationRecur),
    Loop(OperationLoop),
    FnSig(OperationFnSig),
}