aethershell 0.3.1

The world's first multi-agent shell with typed functional pipelines and multi-modal AI
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

use aethershell::typecheck;

#[test]
fn infer_last_type_for_pipeline() {
    let ty = typecheck::infer_last_type(r#"[1,2,3] | map(fn(x)=> x*2) | reduce(fn(a,b)=> a+b, 0)"#)
        .unwrap();
    assert_eq!(ty.name(), "Int");
}

#[test]
fn env_has_binding_type() {
    let env = typecheck::typecheck_program(
        r#"
        let x = 1;
        x + 2
        "#,
    )
    .unwrap();
    let x_ty = env.get("x").expect("x in env");
    assert_eq!(x_ty.name(), "Int");
}

#[test]
fn compares_to_bool() {
    let ty = typecheck::infer_last_type(r#" 3 > 2 && 5 == 5 "#).unwrap();
    assert_eq!(ty.name(), "Bool");
}

#[test]
fn uri_literal_is_uri_type() {
    let ty = typecheck::infer_last_type(r#""https://example.com""#).unwrap();
    assert_eq!(ty.name(), "Uri");
}