grabapl_syntax 0.0.4

Parsing support for grabapl.
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

pub mod example;
mod example_with_ref;

use crate::{MacroArgs, Span, Token};
use chumsky::error::Rich;
use chumsky::input::ValueInput;
use chumsky::{Parser, extra};
use grabapl::Semantics;
use std::fmt;
use std::fmt::Debug;

pub trait CustomSyntax: Clone + Debug + 'static {
    type AbstractNodeType: Clone + Debug + PartialEq;
    type AbstractEdgeType: Clone + Debug + PartialEq;

    fn get_node_type_parser<
        'src: 'tokens,
        'tokens,
        I: ValueInput<'tokens, Token = Token<'src>, Span = Span>,
    >()
    -> impl Parser<'tokens, I, Self::AbstractNodeType, extra::Err<Rich<'tokens, Token<'src>, Span>>>
    + Clone;
    fn get_edge_type_parser<
        'src: 'tokens,
        'tokens,
        I: ValueInput<'tokens, Token = Token<'src>, Span = Span>,
    >()
    -> impl Parser<'tokens, I, Self::AbstractEdgeType, extra::Err<Rich<'tokens, Token<'src>, Span>>>
    + Clone;
}

// TODO: figure out how to remove Debug constraint? or is it ok if not?
// TODO: actually, why does Builder::show_state need Debug? maybe lift that?
pub trait SemanticsWithCustomSyntax:
    Semantics<BuiltinOperation: Clone, BuiltinQuery: Clone, NodeAbstract: Debug, EdgeAbstract: Debug>
{
    type CS: CustomSyntax;

    fn find_builtin_op(name: &str, args: Option<MacroArgs>) -> Option<Self::BuiltinOperation>;

    fn find_builtin_query(name: &str, args: Option<MacroArgs>) -> Option<Self::BuiltinQuery>;

    /// Returns an option so a more general CustomSyntax can be reused for multiple semantics.
    fn convert_node_type(
        syn_typ: <<Self as SemanticsWithCustomSyntax>::CS as CustomSyntax>::AbstractNodeType,
    ) -> Option<Self::NodeAbstract>;
    /// Returns an option so a more general CustomSyntax can be reused for multiple semantics.
    fn convert_edge_type(
        syn_typ: <<Self as SemanticsWithCustomSyntax>::CS as CustomSyntax>::AbstractEdgeType,
    ) -> Option<Self::EdgeAbstract>;
}