euph 0.2.0

A functional stack-based programming language
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
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149

use ecow::EcoVec;
use winnow::{
    combinator::{
        cut_err,
        delimited,
        dispatch,
        fail,
        opt,
        peek,
        preceded,
        repeat,
        terminated,
    },
    error::StrContext,
    prelude::*,
    token::any,
};

use crate::{
    parser::{
        bind::bind,
        eu_char_inner,
        eu_num_inner,
        eu_str_inner,
        eu_str_raw_inner,
        eu_word_inner,
        float_suffix,
        int_suffix,
        ws,
    },
    types::{
        EuSyn,
        EuType,
    },
};

pub fn euphrates<'eu>(input: &mut &str) -> ModalResult<EcoVec<EuSyn<'eu>>> {
    terminated(
        repeat(0.., preceded(ws, syn)).fold(EcoVec::new, |mut ts, t| {
            ts.push(t);
            ts
        }),
        ws,
    )
    .parse_next(input)
}

fn syn<'eu>(input: &mut &str) -> ModalResult<EuSyn<'eu>> {
    dispatch!(peek(any);
        '`' => str_raw,
        '"' => str,
        '\'' => char,
        '(' => expr,
        ')' => fail,
        '[' => vec,
        ']' => fail,
        '{' => map,
        '}' => fail,
        '0'..='9' => eu_num,
        '$' => var,
        '\\' => preceded(
            '\\',
            dispatch!(peek(any);
                '[' => bind,
                _ => r#move,
            ),
        ),
        _ => word,
    )
    .parse_next(input)
}

fn str_raw<'eu>(input: &mut &str) -> ModalResult<EuSyn<'eu>> {
    eu_str_raw_inner
        .map(EuType::Str)
        .map(EuSyn::Raw)
        .parse_next(input)
}

fn str<'eu>(input: &mut &str) -> ModalResult<EuSyn<'eu>> {
    eu_str_inner
        .map(EuType::Str)
        .map(EuSyn::Raw)
        .parse_next(input)
}

fn char<'eu>(input: &mut &str) -> ModalResult<EuSyn<'eu>> {
    cut_err(
        eu_char_inner
            .verify_map(|x| x.map(EuType::Char).map(EuSyn::Raw))
            .context(StrContext::Label("char")),
    )
    .parse_next(input)
}

fn expr<'eu>(input: &mut &str) -> ModalResult<EuSyn<'eu>> {
    delimited('(', euphrates, opt(')'))
        .map(EuType::expr)
        .map(EuSyn::Raw)
        .context(StrContext::Label("expr"))
        .parse_next(input)
}

fn vec<'eu>(input: &mut &str) -> ModalResult<EuSyn<'eu>> {
    delimited('[', euphrates, opt(']'))
        .map(EuSyn::Vec)
        .parse_next(input)
}

fn map<'eu>(input: &mut &str) -> ModalResult<EuSyn<'eu>> {
    delimited('{', euphrates, opt('}'))
        .map(EuSyn::Map)
        .parse_next(input)
}

fn eu_num<'eu>(input: &mut &str) -> ModalResult<EuSyn<'eu>> {
    let (is_float, ns) = eu_num_inner.parse_next(input)?;
    if is_float {
        float_suffix(ns, EuType::F64)
            .map(EuSyn::Raw)
            .parse_next(input)
    } else {
        int_suffix(ns, EuType::I32, EuType::I64, EuType::IBig, EuType::F64)
            .map(EuSyn::Raw)
            .parse_next(input)
    }
}

fn var<'eu>(input: &mut &str) -> ModalResult<EuSyn<'eu>> {
    preceded('$', eu_word_inner)
        .map(EuSyn::Var)
        .context(StrContext::Label("var"))
        .parse_next(input)
}

fn r#move<'eu>(input: &mut &str) -> ModalResult<EuSyn<'eu>> {
    eu_word_inner
        .map(EuSyn::Move)
        .context(StrContext::Label("move"))
        .parse_next(input)
}

fn word<'eu>(input: &mut &str) -> ModalResult<EuSyn<'eu>> {
    eu_word_inner
        .map(EuType::Word)
        .map(EuSyn::Raw)
        .context(StrContext::Label("word"))
        .parse_next(input)
}