microcad-lang-parse 0.5.0

µcad language syntax lexer and parser
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

// Copyright © 2026 The µcad authors <info@microcad.xyz>
// SPDX-License-Identifier: AGPL-3.0-or-later

use crate::ast;

use microcad_lang_base::{Id, Span};

/// The possible types
#[derive(Debug, PartialEq)]
#[allow(missing_docs)]
pub enum Type {
    Single(SingleType),
    Array(ArrayType),
    Tuple(TupleType),
}

impl Type {
    /// Get the span of the type
    pub fn span(&self) -> Span {
        match self {
            Type::Single(ty) => ty.span.clone(),
            Type::Array(ty) => ty.span.clone(),
            Type::Tuple(ty) => ty.span.clone(),
        }
    }
}

impl ast::Dummy for Type {
    fn dummy(span: Span) -> Self {
        Type::Single(SingleType {
            span,
            name: Id::default(),
        })
    }
}

/// A type for a single numeric value
#[derive(Debug, PartialEq)]
#[allow(missing_docs)]
pub struct SingleType {
    pub span: Span,
    pub name: Id,
}

/// An array type
#[derive(Debug, PartialEq)]
#[allow(missing_docs)]
pub struct ArrayType {
    pub span: Span,
    pub inner: Box<Type>,
}

/// A tuple type
#[derive(Debug, PartialEq)]
#[allow(missing_docs)]
pub struct TupleType {
    pub span: Span,
    pub inner: Vec<(Option<ast::Identifier>, Type)>,
}

/// A µcad unit: mm, m³, %.
#[derive(Debug, PartialEq, Hash, Eq)]
#[allow(missing_docs)]
pub struct Unit {
    pub span: Span,
    pub name: Id,
}