mago_type_syntax/ast/
array.rs

1use serde::Serialize;
2
3use mago_span::HasSpan;
4use mago_span::Span;
5
6use crate::ast::generics::GenericParameters;
7use crate::ast::keyword::Keyword;
8
9#[derive(Debug, Clone, Eq, PartialEq, Hash, Serialize, PartialOrd, Ord)]
10#[repr(C)]
11pub struct ArrayType<'input> {
12    pub keyword: Keyword<'input>,
13    pub parameters: Option<GenericParameters<'input>>,
14}
15
16#[derive(Debug, Clone, Eq, PartialEq, Hash, Serialize, PartialOrd, Ord)]
17#[repr(C)]
18pub struct NonEmptyArrayType<'input> {
19    pub keyword: Keyword<'input>,
20    pub parameters: Option<GenericParameters<'input>>,
21}
22
23#[derive(Debug, Clone, Eq, PartialEq, Hash, Serialize, PartialOrd, Ord)]
24#[repr(C)]
25pub struct AssociativeArrayType<'input> {
26    pub keyword: Keyword<'input>,
27    pub parameters: Option<GenericParameters<'input>>,
28}
29
30#[derive(Debug, Clone, Eq, PartialEq, Hash, Serialize, PartialOrd, Ord)]
31#[repr(C)]
32pub struct ListType<'input> {
33    pub keyword: Keyword<'input>,
34    pub parameters: Option<GenericParameters<'input>>,
35}
36
37#[derive(Debug, Clone, Eq, PartialEq, Hash, Serialize, PartialOrd, Ord)]
38#[repr(C)]
39pub struct NonEmptyListType<'input> {
40    pub keyword: Keyword<'input>,
41    pub parameters: Option<GenericParameters<'input>>,
42}
43
44impl HasSpan for ArrayType<'_> {
45    fn span(&self) -> Span {
46        match &self.parameters {
47            Some(parameters) => self.keyword.span.join(parameters.span()),
48            None => self.keyword.span,
49        }
50    }
51}
52
53impl HasSpan for NonEmptyArrayType<'_> {
54    fn span(&self) -> Span {
55        match &self.parameters {
56            Some(parameters) => self.keyword.span.join(parameters.span()),
57            None => self.keyword.span,
58        }
59    }
60}
61
62impl HasSpan for AssociativeArrayType<'_> {
63    fn span(&self) -> Span {
64        match &self.parameters {
65            Some(parameters) => self.keyword.span.join(parameters.span()),
66            None => self.keyword.span,
67        }
68    }
69}
70
71impl HasSpan for ListType<'_> {
72    fn span(&self) -> Span {
73        match &self.parameters {
74            Some(parameters) => self.keyword.span.join(parameters.span()),
75            None => self.keyword.span,
76        }
77    }
78}
79
80impl HasSpan for NonEmptyListType<'_> {
81    fn span(&self) -> Span {
82        match &self.parameters {
83            Some(parameters) => self.keyword.span.join(parameters.span()),
84            None => self.keyword.span,
85        }
86    }
87}