openinfer-dsl 0.1.3

Rust-embedded DSL for defining OpenInfer graphs with explicit control flow and memory semantics.
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

use syn::parse::{ParseStream, Result};
use syn::{Ident, LitInt, Token};

use crate::types::{Dim, DimAtom};

pub(crate) fn parse_dims(input: ParseStream) -> Result<Vec<Dim>> {
    let mut dims = Vec::new();
    if input.peek(syn::token::Bracket) {
        let content;
        syn::bracketed!(content in input);
        while !content.is_empty() {
            if content.peek(LitInt) {
                let lit: LitInt = content.parse()?;
                if content.peek(Token![*]) {
                    content.parse::<Token![*]>()?;
                    let right = parse_dim_atom(&content)?;
                    dims.push(Dim::Mul {
                        left: DimAtom::Lit(lit),
                        right,
                    });
                } else {
                    dims.push(Dim::Lit(lit));
                }
            } else {
                let ident: Ident = content.parse()?;
                if content.peek(Token![*]) {
                    content.parse::<Token![*]>()?;
                    let right = parse_dim_atom(&content)?;
                    dims.push(Dim::Mul {
                        left: DimAtom::Ident(ident),
                        right,
                    });
                } else {
                    dims.push(Dim::Ident(ident));
                }
            }
            if content.peek(Token![,]) {
                content.parse::<Token![,]>()?;
            }
        }
    }
    Ok(dims)
}

fn parse_dim_atom(input: ParseStream) -> Result<DimAtom> {
    if input.peek(LitInt) {
        Ok(DimAtom::Lit(input.parse()?))
    } else if input.peek(Ident) {
        Ok(DimAtom::Ident(input.parse()?))
    } else {
        Err(input.error("expected identifier or integer for dimension expression"))
    }
}