airlang_bin 0.3.0

The Air 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

use airlang::{
    initial_ctx,
    CtxForMutableFn,
    FuncVal,
    Mode,
    MutableCtx,
    Transform,
    Val,
};

use crate::{
    init_ctx,
    prelude::{
        named_mutable_fn,
        Named,
        Prelude,
    },
};

pub(crate) struct EvalPrelude {
    pub(crate) reset: Named<FuncVal>,
}

impl Default for EvalPrelude {
    fn default() -> Self {
        Self { reset: reset() }
    }
}

impl Prelude for EvalPrelude {
    fn put(&self, mut ctx: MutableCtx) {
        self.reset.put(ctx.reborrow());
    }
}

fn reset() -> Named<FuncVal> {
    let input_mode = Mode::Predefined(Transform::Id);
    let output_mode = Mode::Predefined(Transform::Id);
    named_mutable_fn("repl.reset", input_mode, output_mode, fn_reset)
}

fn fn_reset(ctx: CtxForMutableFn, _input: Val) -> Val {
    let CtxForMutableFn::Mutable(mut ctx) = ctx else {
        eprintln!("Unable to reset context, context is immutable.");
        return Val::default();
    };
    let mut initial_ctx = initial_ctx();
    init_ctx(MutableCtx::new(&mut initial_ctx));
    ctx.set(initial_ctx);
    Val::default()
}