euph 0.1.1

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

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

pub const TRUE: EuDef = |env| {
    env.push(EuType::Bool(true));
    Ok(())
};

pub const FALSE: EuDef = |env| {
    env.push(EuType::Bool(false));
    Ok(())
};

pub const TO_BOOL: EuDef = |env| {
    let a0 = env.pop()?;
    env.push(EuType::Bool(a0.into()));
    Ok(())
};

pub const NOT: EuDef = |env| {
    let a0: bool = env.pop()?.into();
    env.push(EuType::Bool(!a0));
    Ok(())
};