1use serde::Serialize;
2
3use super::*;
4
5#[derive(Debug, Clone, Serialize)]
6pub enum Expression {
7 Literal(Literal),
8 Path(ExprPath),
9 Statement(Box<Statement>),
10 Fix {
11 initial: Box<Expression>,
12 prefixes: Vec<Prefix>,
13 postfixes: Vec<Postfix>,
14 },
15 Binary {
16 lhs: Box<Expression>,
17 op: String,
18 rhs: Box<Expression>,
19 },
20}
21
22#[derive(Debug, Clone, Serialize)]
23pub enum Literal {
24 String(String),
25 Int(i64),
26 Float(f64),
27 Bool(bool),
28 Tuple(Vec<Expression>),
29 Array(Vec<Expression>),
30 ArrayRepeat(Box<Expression>, Box<Expression>),
31}
32
33#[derive(Debug, Clone, Serialize)]
34pub enum Pattern {
35 NamedTuple(Path, Vec<Identifier>),
36 Struct(Path, Vec<Identifier>),
37 Tuple(Vec<Identifier>),
38 Literal(Literal),
39 Path(Path),
40 Id(Identifier),
41}
42
43#[derive(Debug, Clone, Serialize)]
44pub enum Postfix {
45 FieldAccess(Identifier, Option<Generics>),
46 Call(Vec<Expression>),
47 MacroCall(String),
48 StructCall(Vec<(Identifier, Expression)>),
49 Assign(String, Box<Expression>),
50 Index(Expression),
51 As(TypeExpr),
52 Increment,
53 Decrement,
54 Try,
55}
56
57#[derive(Debug, Clone, Serialize)]
58pub enum Prefix {
59 Ref,
60 RefMut,
61 Deref,
62 New(Option<Generics>),
63 Not,
64 Neg,
65}
66
67#[derive(Debug, Clone, Serialize)]
68pub struct ExprPathSegment {
69 pub ident: Identifier,
70 pub generics: Option<Generics>,
71}
72
73#[derive(Debug, Clone, Serialize)]
74pub struct ExprPath(pub Vec<ExprPathSegment>);
75
76#[derive(Debug, Clone, Serialize)]
77pub struct Generics(pub Vec<Generic>);
78
79#[derive(Debug, Clone, Serialize)]
80pub enum Generic {
81 Lifetime(Identifier),
82 Type(TypeExpr),
83}
84
85impl Expression {
86 pub fn is_block(&self) -> bool {
87 if let Expression::Statement(stmt) = self {
88 stmt.is_block()
89 } else {
90 false
91 }
92 }
93}