noether-core 0.7.0

Noether core: type system, effects, content-addressed stage schema, Ed25519 signing, stdlib
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

use crate::effects::{Effect, EffectSet};
use crate::stage::property::Property;
use crate::stage::{Stage, StageBuilder};
use crate::types::NType;
use ed25519_dalek::SigningKey;
use serde_json::json;

pub fn stages(key: &SigningKey) -> Vec<Stage> {
    vec![
        StageBuilder::new("to_text")
            .input(NType::Any)
            .output(NType::Text)
            .pure()
            .description("Convert any value to its text representation")
            .example(json!(42), json!("42"))
            .example(json!(true), json!("true"))
            .example(json!(null), json!("null"))
            .example(json!("hello"), json!("hello"))
            .example(json!([1, 2, 3]), json!("[1,2,3]"))
            .tag("scalar")
            .tag("conversion")
            .tag("pure")
            .alias("stringify")
            .alias("to_string")
            .alias("num_to_str")
            .build_stdlib(key)
            .unwrap(),
        StageBuilder::new("to_number")
            .input(NType::union(vec![NType::Text, NType::Number, NType::Bool]))
            .output(NType::Number)
            .effects(EffectSet::new([Effect::Pure, Effect::Fallible]))
            .description("Parse a value as a number; fails on non-numeric text")
            .example(json!("42"), json!(42))
            .example(json!("9.81"), json!(9.81))
            .example(json!(true), json!(1))
            .example(json!(false), json!(0))
            .example(json!(100), json!(100))
            .tag("scalar")
            .tag("conversion")
            .tag("pure")
            .alias("parse_float")
            .alias("parse_int")
            .alias("atof")
            .alias("str_to_num")
            .build_stdlib(key)
            .unwrap(),
        StageBuilder::new("to_bool")
            .input(NType::union(vec![
                NType::Text,
                NType::Number,
                NType::Bool,
                NType::Null,
            ]))
            .output(NType::Bool)
            .pure()
            .description("Convert a value to boolean using truthiness rules")
            .example(json!(true), json!(true))
            .example(json!(false), json!(false))
            .example(json!(0), json!(false))
            .example(json!(1), json!(true))
            .example(json!(null), json!(false))
            .tag("scalar")
            .tag("conversion")
            .tag("pure")
            .alias("parse_bool")
            .alias("truthy")
            .alias("coerce_bool")
            .property(Property::SetMember {
                field: "output".into(),
                set: vec![json!(true), json!(false)],
            })
            .build_stdlib(key)
            .unwrap(),
        StageBuilder::new("parse_json")
            .input(NType::Text)
            .output(NType::Any)
            .effects(EffectSet::new([Effect::Pure, Effect::Fallible]))
            .description("Parse a JSON string into a structured value")
            .example(json!("42"), json!(42))
            .example(json!(r#"{"a":1}"#), json!({"a": 1}))
            .example(json!("[1,2,3]"), json!([1, 2, 3]))
            .example(json!("true"), json!(true))
            .example(json!("null"), json!(null))
            .tag("scalar")
            .tag("json")
            .tag("conversion")
            .tag("pure")
            .alias("json_decode")
            .alias("json_parse")
            .build_stdlib(key)
            .unwrap(),
        StageBuilder::new("to_json")
            .input(NType::Any)
            .output(NType::Text)
            .pure()
            .description("Serialize any value to a JSON string")
            .example(json!(42), json!("42"))
            .example(json!({"a": 1}), json!(r#"{"a":1}"#))
            .example(json!([1, 2, 3]), json!("[1,2,3]"))
            .example(json!(true), json!("true"))
            .example(json!(null), json!("null"))
            .tag("scalar")
            .tag("json")
            .tag("conversion")
            .tag("pure")
            .alias("json_encode")
            .alias("json_stringify")
            .alias("serialize")
            .build_stdlib(key)
            .unwrap(),
    ]
}