panproto-expr 0.74.0

Pure functional expression language for panproto enriched theories
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

//! # panproto-expr
//!
//! A pure functional expression language for panproto enriched theories.
//!
//! This crate provides the computational substrate for schema transforms:
//! coercion functions, merge/split logic, default value computation,
//! and conflict resolution policies. Expressions are:
//!
//! - **Pure**: no IO, no mutable state, no randomness
//! - **Deterministic**: same inputs always produce the same output
//! - **Serializable**: the [`Expr`] enum derives `Serialize`/`Deserialize`
//! - **Platform-independent**: evaluates identically on native and WASM
//! - **Bounded**: step and depth limits prevent runaway computation
//!
//! The language is lambda calculus with pattern matching, records, lists,
//! and ~50 built-in operations on strings, numbers, and collections.

mod builtin;
mod env;
mod error;
mod eval;
mod expr;

/// The workspace's shared resource policy.
pub mod limits;
mod literal;
mod subst;
pub mod typecheck;

pub use builtin::apply_builtin;
pub use env::Env;
pub use error::ExprError;
pub use eval::{BuiltinResolver, EvalConfig, eval, eval_with_resolver};
pub use expr::{BuiltinOp, Expr, ExprType, Pattern};
pub use limits::{Budget, LimitExceeded, Resource, ResourceLimits};
pub use literal::Literal;
pub use subst::{free_vars, pattern_vars, substitute};