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
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122

use crate::priv_prelude::*;

#[derive(Clone, Debug)]
pub enum Pattern {
    Wildcard {
        underscore_token: UnderscoreToken,
    },
    Var {
        mutable: Option<MutToken>,
        name: Ident,
    },
    Literal(Literal),
    Constant(PathExpr),
    Constructor {
        path: PathExpr,
        args: Parens<Punctuated<Pattern, CommaToken>>,
    },
    Struct {
        path: PathExpr,
        fields: Braces<Punctuated<PatternStructField, CommaToken>>,
    },
    Tuple(Parens<Punctuated<Pattern, CommaToken>>),
}

impl Spanned for Pattern {
    fn span(&self) -> Span {
        match self {
            Pattern::Wildcard { underscore_token } => underscore_token.span(),
            Pattern::Var { mutable, name } => match mutable {
                Some(mut_token) => Span::join(mut_token.span(), name.span().clone()),
                None => name.span().clone(),
            },
            Pattern::Literal(literal) => literal.span(),
            Pattern::Constant(path_expr) => path_expr.span(),
            Pattern::Constructor { path, args } => Span::join(path.span(), args.span()),
            Pattern::Struct { path, fields } => Span::join(path.span(), fields.span()),
            Pattern::Tuple(pat_tuple) => pat_tuple.span(),
        }
    }
}

impl Parse for Pattern {
    fn parse(parser: &mut Parser) -> ParseResult<Pattern> {
        if let Some(mut_token) = parser.take() {
            let mutable = Some(mut_token);
            let name = parser.parse()?;
            return Ok(Pattern::Var { mutable, name });
        }
        if parser.peek::<TrueToken>().is_some() {
            let ident = parser.parse::<Ident>()?;
            return Ok(Pattern::Literal(Literal::Bool(LitBool {
                span: ident.span().clone(),
                kind: LitBoolType::True,
            })));
        }
        if parser.peek::<FalseToken>().is_some() {
            let ident = parser.parse::<Ident>()?;
            return Ok(Pattern::Literal(Literal::Bool(LitBool {
                span: ident.span().clone(),
                kind: LitBoolType::False,
            })));
        }
        if let Some(literal) = parser.take() {
            return Ok(Pattern::Literal(literal));
        }
        if let Some(tuple) = Parens::try_parse(parser)? {
            return Ok(Pattern::Tuple(tuple));
        }
        if let Some(underscore_token) = parser.take() {
            return Ok(Pattern::Wildcard { underscore_token });
        }

        let path = parser.parse::<PathExpr>()?;
        if let Some(args) = Parens::try_parse(parser)? {
            return Ok(Pattern::Constructor { path, args });
        }
        if let Some(fields) = Braces::try_parse(parser)? {
            return Ok(Pattern::Struct { path, fields });
        }
        match path.try_into_ident() {
            Ok(name) => Ok(Pattern::Var {
                mutable: None,
                name,
            }),
            Err(path) => Ok(Pattern::Constant(path)),
        }
    }
}

#[derive(Clone, Debug)]
pub struct PatternStructField {
    pub field_name: Ident,
    pub pattern_opt: Option<(ColonToken, Box<Pattern>)>,
}

impl Spanned for PatternStructField {
    fn span(&self) -> Span {
        match &self.pattern_opt {
            Some((_colon_token, pattern)) => {
                Span::join(self.field_name.span().clone(), pattern.span())
            }
            None => self.field_name.span().clone(),
        }
    }
}

impl Parse for PatternStructField {
    fn parse(parser: &mut Parser) -> ParseResult<PatternStructField> {
        let field_name = parser.parse()?;
        let pattern_opt = match parser.take() {
            Some(colon_token) => {
                let pattern = parser.parse()?;
                Some((colon_token, pattern))
            }
            None => None,
        };
        Ok(PatternStructField {
            field_name,
            pattern_opt,
        })
    }
}