harn-kernel 0.10.52

Portable compiler, program artifact, and deterministic execution kernel for Harn
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

//! Closed builtin vocabulary implemented by Portable Kernel v1.
//!
//! Artifact verification and execution both resolve through this enum. Adding
//! a portable builtin is therefore one semantic decision, not two string
//! tables that can drift.

macro_rules! define_portable_builtins {
    ($($variant:ident => ($name:literal, $bytes:literal)),+ $(,)?) => {
        #[derive(Debug, Clone, Copy, PartialEq, Eq)]
        pub(crate) enum PortableBuiltin { $($variant),+ }

        impl PortableBuiltin {
            pub(crate) const ALL: &'static [(&'static str, Self)] = &[
                $(($name, Self::$variant)),+
            ];

            pub(crate) const fn from_name(name: &str) -> Option<Self> {
                match name.as_bytes() {
                    $($bytes => Some(Self::$variant),)+
                    _ => None,
                }
            }
        }
    };
}

define_portable_builtins! {
    Len => ("len", b"len"),
    Count => ("count", b"count"),
    String => ("string", b"string"),
    MakeStruct => ("__make_struct", b"__make_struct"),
    AssertList => ("__assert_list", b"__assert_list"),
}