spade-ast 0.20.0

Helper crate for https://spade-lang.org/
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

use crate::{TraitSpec, TypeExpression, TypeSpec};
use spade_common::{
    location_info::{Loc, WithLocation},
    name::{Identifier, Path},
};

pub fn ast_ident(name: &str) -> Loc<Identifier> {
    Identifier::intern(name).nowhere()
}

pub fn ast_path(name: &str) -> Loc<Path> {
    Path::ident_with_loc(ast_ident(name))
}

pub fn ast_type_spec(name: &str) -> Loc<TypeSpec> {
    TypeSpec::Named(ast_path(name), None).nowhere()
}

pub fn ast_trait_spec(
    name: &str,
    type_params: Option<Vec<TypeExpression>>,
    paren_syntax: bool,
) -> Loc<TraitSpec> {
    TraitSpec {
        path: ast_path(name),
        type_params: type_params.map(|p| {
            p.into_iter()
                .map(|t| t.nowhere())
                .collect::<Vec<Loc<TypeExpression>>>()
                .nowhere()
        }),
        paren_syntax,
    }
    .nowhere()
}

pub fn ast_type_expr(name: &str) -> TypeExpression {
    TypeExpression::TypeSpec(Box::new(ast_type_spec(name)))
}

#[macro_export]
/// A type specification with a specified path and optional generic arguments
macro_rules! tspec {
    ( $( $base:expr ),* ) => {
        ast::TypeSpec::Named(
            Path(vec![ $( ast_ident($base) ),* ]).nowhere(),
            None,
        ).nowhere()
    };
    ( $( $base:expr ),*$(; $( $arg:expr ),* )? ) => {
        ast::TypeSpec::Named(
            Path(vec![ $( ast_ident($base) ),* ]).nowhere(),
            Some(vec![ $( $( $arg ),* )?].nowhere()),
        ).nowhere()
    };
}

#[macro_export]
macro_rules! aparams {
    ( $( ( $name:expr, $type:expr ) ),* $(,)? ) => {
        ast::ParameterList::without_self(
            vec![ $(( ast_ident($name), $type )),* ]
        ).nowhere()
    };
    ( $(self $(,)?)? $( ( $name:expr, $type:expr ) ),* $(,)? ) => {
        ast::ParameterList::with_self(
            ().nowhere(),
            vec![ $(( ast_ident($name), $type )),* ]
        ).nowhere()
    };
}