aver-lang 0.17.2

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

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

/// Extract single argument from args list.
pub fn oneArg(args: &aver_rt::AverList<Val>) -> Result<Val, AverStr> {
    crate::cancel_checkpoint();
    {
        let __list_subject = args.clone();
        if let Some((a, rest)) = aver_rt::list_uncons_cloned(&__list_subject) {
            {
                let __list_subject = rest;
                if __list_subject.is_empty() {
                    Ok(a)
                } else {
                    Err(AverStr::from("expected 1 argument"))
                }
            }
        } else {
            Err(AverStr::from("expected 1 argument"))
        }
    }
}

/// Extract two arguments from args list.
pub fn twoArgs(args: &aver_rt::AverList<Val>) -> Result<(Val, Val), AverStr> {
    crate::cancel_checkpoint();
    {
        let __list_subject = args.clone();
        if let Some((a, rest)) = aver_rt::list_uncons_cloned(&__list_subject) {
            {
                let __list_subject = rest;
                if let Some((b, rest2)) = aver_rt::list_uncons_cloned(&__list_subject) {
                    {
                        let __list_subject = rest2;
                        if __list_subject.is_empty() {
                            Ok((a, b))
                        } else {
                            Err(AverStr::from("expected 2 arguments"))
                        }
                    }
                } else {
                    Err(AverStr::from("expected 2 arguments"))
                }
            }
        } else {
            Err(AverStr::from("expected 2 arguments"))
        }
    }
}

/// Extract list from Val or error.
pub fn expectList(v: &Val) -> Result<aver_rt::AverList<Val>, AverStr> {
    crate::cancel_checkpoint();
    match v.clone() {
        Val::ValList(items) => Ok(items),
        _ => Err(AverStr::from("expected list argument")),
    }
}

/// Extract int from Val or error.
pub fn expectInt(v: &Val) -> Result<i64, AverStr> {
    crate::cancel_checkpoint();
    match v.clone() {
        Val::ValInt(n) => Ok(n),
        _ => Err(AverStr::from("expected int argument")),
    }
}

/// Extract string from Val or error.
pub fn expectStr(v: &Val) -> Result<AverStr, AverStr> {
    crate::cancel_checkpoint();
    match v.clone() {
        Val::ValStr(s) => Ok(s),
        _ => Err(AverStr::from("expected string argument")),
    }
}