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
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132

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

/// Dispatch Result.* and Option.* builtins.
#[inline(always)]
pub fn call(name: AverStr, args: &aver_rt::AverList<Val>) -> Result<Val, AverStr> {
    crate::cancel_checkpoint();
    {
        let __dispatch_subject = name.clone();
        if &*__dispatch_subject == "Result.Ok" {
            crate::aver_generated::domain::builtins::wrappers::builtinResultOk(args)
        } else {
            if &*__dispatch_subject == "Result.Err" {
                crate::aver_generated::domain::builtins::wrappers::builtinResultErr(args)
            } else {
                if &*__dispatch_subject == "Result.withDefault" {
                    crate::aver_generated::domain::builtins::wrappers::builtinResultWithDefault(
                        args,
                    )
                } else {
                    if &*__dispatch_subject == "Option.Some" {
                        crate::aver_generated::domain::builtins::wrappers::builtinOptionSome(args)
                    } else {
                        if &*__dispatch_subject == "Option.withDefault" {
                            crate::aver_generated::domain::builtins::wrappers::builtinOptionWithDefault(args)
                        } else {
                            Err(aver_rt::AverStr::from({
                                let mut __b = {
                                    let mut __b = aver_rt::Buffer::with_capacity(
                                        (aver_rt::AverInt::from_i64(41)).to_usize().unwrap_or(0),
                                    );
                                    __b.push_str(&AverStr::from("unknown wrapper builtin: "));
                                    __b
                                };
                                __b.push_str(&aver_rt::AverStr::from(aver_rt::aver_display(
                                    &(name),
                                )));
                                __b
                            }))
                        }
                    }
                }
            }
        }
    }
}

/// Result.Ok(value) -> wrapped Ok value.
pub fn builtinResultOk(args: &aver_rt::AverList<Val>) -> Result<Val, AverStr> {
    crate::cancel_checkpoint();
    let v = crate::aver_generated::domain::builtins::helpers::oneArg(args)?;
    Ok(crate::aver_generated::domain::value::Val::ValOk(
        std::sync::Arc::new(v),
    ))
}

/// Result.Err(value) -> wrapped Err value.
pub fn builtinResultErr(args: &aver_rt::AverList<Val>) -> Result<Val, AverStr> {
    crate::cancel_checkpoint();
    let v = crate::aver_generated::domain::builtins::helpers::oneArg(args)?;
    Ok(crate::aver_generated::domain::value::Val::ValErr(
        std::sync::Arc::new(v),
    ))
}

/// Result.withDefault(result, default) -> unwrap Ok or return default.
pub fn builtinResultWithDefault(args: &aver_rt::AverList<Val>) -> Result<Val, AverStr> {
    crate::cancel_checkpoint();
    let pair = crate::aver_generated::domain::builtins::helpers::twoArgs(args)?;
    {
        let (resV, defV) = pair;
        match resV {
            crate::aver_generated::domain::value::Val::ValOk(inner) => {
                let inner = (*inner).clone();
                Ok(inner)
            }
            crate::aver_generated::domain::value::Val::ValErr(_) => Ok(defV),
            _ => Err(AverStr::from("Result.withDefault requires Result value")),
        }
    }
}

/// Option.Some(value) -> wrapped Some value.
pub fn builtinOptionSome(args: &aver_rt::AverList<Val>) -> Result<Val, AverStr> {
    crate::cancel_checkpoint();
    let v = crate::aver_generated::domain::builtins::helpers::oneArg(args)?;
    Ok(crate::aver_generated::domain::value::Val::ValSome(
        std::sync::Arc::new(v),
    ))
}

/// Option.withDefault(option, default) -> unwrap Some or return default.
pub fn builtinOptionWithDefault(args: &aver_rt::AverList<Val>) -> Result<Val, AverStr> {
    crate::cancel_checkpoint();
    let pair = crate::aver_generated::domain::builtins::helpers::twoArgs(args)?;
    {
        let (optV, defV) = pair;
        match optV {
            crate::aver_generated::domain::value::Val::ValSome(inner) => {
                let inner = (*inner).clone();
                Ok(inner)
            }
            crate::aver_generated::domain::value::Val::ValNone => Ok(defV),
            _ => Err(AverStr::from("Option.withDefault requires Option value")),
        }
    }
}

/// Option.toResult(option, errMsg) -> Result.
pub fn callOptionToResult(args: &aver_rt::AverList<Val>) -> Result<Val, AverStr> {
    crate::cancel_checkpoint();
    let pair = crate::aver_generated::domain::builtins::helpers::twoArgs(args)?;
    {
        let (optV, errV) = pair;
        match optV {
            crate::aver_generated::domain::value::Val::ValSome(inner) => {
                let inner = (*inner).clone();
                Ok(crate::aver_generated::domain::value::Val::ValOk(
                    std::sync::Arc::new(inner),
                ))
            }
            crate::aver_generated::domain::value::Val::ValNone => Ok(
                crate::aver_generated::domain::value::Val::ValErr(std::sync::Arc::new(errV)),
            ),
            _ => Err(AverStr::from("Option.toResult requires Option value")),
        }
    }
}