tatara-eval 0.2.167

Optimized in-memory Lisp interpreter for tatara — evaluates Sexp to Value, produces typed Derivations, composes with tatara-nix realizers
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

//! tatara-eval — an optimized in-memory Lisp interpreter.
//!
//! Takes `Sexp` from `tatara-lisp`, evaluates to `Value`. Produces typed
//! `Derivation` values via the `derivation` builtin, which `tatara-nix::realize`
//! then builds into concrete store paths (either our own store or the live
//! `/nix/store` on disk).
//!
//! ```text
//! source  ──read──►  Sexp  ──eval──►  Value
//!                                      │
//!                                      ▼ (if Derivation)
//!                            tatara-nix::realize
//!                                      │
//!                                      ▼
//!                                 StorePath
//! ```
//!
//! The interpreter is Rust-bordered (you get a typed `Derivation` or a typed
//! error, never a partially-built thing), Lisp-authorable, and cheap to
//! clone thanks to `Arc`-backed `Value` cells. A future `&'arena` form can
//! replace the `Arc`s without changing the public API.

pub mod builtins;
pub mod env;
pub mod error;
pub mod interpreter;
pub mod system;
pub mod value;

pub use env::Env;
pub use error::{EvalError, Result};
pub use interpreter::Interpreter;
pub use system::system_builtin_table;
pub use value::{Arity, Builtin, Lambda, Thunk, ThunkState, Value};