euph 0.3.2

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

use derive_more::{
    Debug,
    Display,
    IsVariant,
};
use ecow::{
    EcoVec,
    eco_vec,
};
use hipstr::LocalHipStr;
use itertools::Itertools;

use crate::types::{
    EuBind,
    EuType,
};

#[derive(Debug, Display, PartialEq, Eq, PartialOrd, Ord, Hash, Clone, IsVariant)]
pub enum EuSyn<'eu> {
    #[debug("{_0:?}")]
    Raw(EuType<'eu>),
    #[debug("${_0}")]
    Var(LocalHipStr<'eu>),
    #[debug("\\{_0}")]
    Move(LocalHipStr<'eu>),
    #[debug(".{_0}")]
    Get(LocalHipStr<'eu>),
    #[debug("$Vec({})", _0.iter().map(|t| format!("{t:?}")).join(" "))]
    #[display("{}", _0.iter().join(" "))]
    Vec(EcoVec<Self>),
    #[debug("$Map({})", _0.iter().map(|t| format!("{t:?}")).join(" "))]
    #[display("{}", _0.iter().join(" "))]
    Map(EcoVec<Self>),
    #[debug("\\[{}]", _0.iter().map(|t| format!("{t:?}")).join(" "))]
    #[display("{}", _0.iter().join(" "))]
    Bind(EcoVec<EuBind<'eu>>),
}

impl<'eu> From<EuType<'eu>> for EuSyn<'eu> {
    fn from(value: EuType<'eu>) -> Self {
        Self::Raw(value)
    }
}

impl<'eu> From<EuBind<'eu>> for EuSyn<'eu> {
    fn from(value: EuBind<'eu>) -> Self {
        Self::Bind(eco_vec![value])
    }
}