lemma/serialization/mod.rs
1//! Serialization: Lemma values ↔ JSON.
2//!
3//! **Input:** [`from_json`] / [`data_values_from_map`] produce `serde_json::Value` maps for
4//! [`ExecutionPlan::set_data_values`]. Convenience strings, JSON numbers, and serialized objects
5//! are accepted on input. Use [`data_values_from_strings`] for CLI-style string maps. Output
6//! keeps numbers as JSON strings.
7//!
8//! **Output:** [`ValueKind`] serialization (in `planning::semantics`) is used everywhere, including
9//! evaluation responses.
10
11mod json;
12
13pub use json::{
14 data_values_from_map, data_values_from_strings, deserialize_resolved_data_value_map, from_json,
15 serialize_resolved_data_value_map,
16};