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
50
51
52

use crate::{
    env::EuEnv,
    fns::EuDef,
    types::EuType,
};

pub const NONE: EuDef = |env| {
    env.push(EuType::Opt(None));
    Ok(())
};

pub const SOME: EuDef = |env| {
    let a0 = env.arg("a0")?;
    env.push(EuType::opt(Some(a0)));
    Ok(())
};

pub const OK: EuDef = |env| {
    let a0 = env.arg("a0")?;
    env.push(EuType::res(Ok(a0)));
    Ok(())
};

pub const ERR: EuDef = |env| {
    let a0 = env.arg("a0")?;
    env.push(EuType::res(Err(a0)));
    Ok(())
};

pub const EVAL_RES: EuDef = |env| {
    let a0 = env.arg("a0 (eval)")?.to_expr()?;
    env.push(EuType::res_str(EuEnv::apply_n_1(
        a0,
        &env.stack,
        env.scope.clone(),
        env.ctx,
    )));
    Ok(())
};

pub const COALESCE: EuDef = |env| {
    let a0 = match env.arg("a0")? {
        t @ (EuType::Opt(None) | EuType::Res(Err(_))) => {
            env.clear_queue();
            t
        }
        EuType::Opt(Some(t)) | EuType::Res(Ok(t)) => *t,
        t => t,
    };
    env.push(a0);
    Ok(())
};