aver-lang 0.26.0

VM and transpiler for Aver, a statically-typed language designed for AI-assisted development
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
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

#[allow(unused_imports)]
use crate::aver_generated::domain::value::*;
#[allow(unused_imports)]
use crate::*;

/// Create slot env: Vector<Val> of slotCount, args at 0..n-1.
#[inline(always)]
pub fn buildSlotEnv(
    args: &aver_rt::AverList<Val>,
    slotCount: aver_rt::AverInt,
) -> aver_rt::AverVector<Val> {
    crate::cancel_checkpoint();
    crate::aver_generated::domain::eval::slots::buildSlotEnvLoop(
        args.clone(),
        aver_rt::AverVector::new(
            (slotCount)
                .to_usize()
                .expect("Vector.new: size must be a non-negative, machine-sized Int"),
            crate::aver_generated::domain::value::Val::ValUnit,
        ),
        aver_rt::AverInt::from_i64(0),
    )
}

/// Fill slot env from arg list.
#[inline(always)]
pub fn buildSlotEnvLoop(
    mut args: aver_rt::AverList<Val>,
    mut acc: aver_rt::AverVector<Val>,
    mut idx: aver_rt::AverInt,
) -> aver_rt::AverVector<Val> {
    loop {
        crate::cancel_checkpoint();
        aver_list_match!(args, [] => { return acc; }, [a, rest] => { {
            let __tco0 = rest;
            let __tco1 = { let __vec = acc.clone(); match (idx).to_usize() { Some(__idx) if __idx < __vec.len() => __vec.set_unchecked(__idx, a), _ => __vec } };
            let __tco2 = idx.add(&aver_rt::AverInt::from_i64(1));
            args = __tco0;
            acc = __tco1;
            idx = __tco2;
            continue;
        } })
    }
}

/// Look up a variable by slot index. O(1).
#[inline(always)]
pub fn lookupSlot(env: &aver_rt::AverVector<Val>, slot: aver_rt::AverInt) -> Result<Val, AverStr> {
    crate::cancel_checkpoint();
    match (slot).to_usize().and_then(|__i| env.get(__i).cloned()) {
        Some(v) => Ok(v),
        None => Err(aver_rt::AverStr::from({
            let mut __b = {
                let mut __b = aver_rt::Buffer::with_capacity(
                    (aver_rt::AverInt::from_i64(36)).to_usize().unwrap_or(0),
                );
                __b.push_str(&AverStr::from("slot out of bounds: "));
                __b
            };
            __b.push_str(&aver_rt::AverStr::from(aver_rt::aver_display(
                &((slot.to_string()).into_aver()),
            )));
            __b
        })),
    }
}

/// Set slot value. O(1).
#[inline(always)]
pub fn setSlot(
    env: &aver_rt::AverVector<Val>,
    slot: aver_rt::AverInt,
    v: &Val,
) -> aver_rt::AverVector<Val> {
    crate::cancel_checkpoint();
    {
        let __vec = env.clone();
        match (slot).to_usize() {
            Some(__idx) if __idx < __vec.len() => __vec.set_unchecked(__idx, v.clone()),
            _ => __vec,
        }
    }
}