Skip to main content

lemma/api/
mod.rs

1//! JSON API types for Engine boundary documents.
2//!
3//! Types reachable from [`crate::Engine`] carry no JSON-shaping serde attributes
4//! and no custom serde except exact scalar codecs (rationals, date/time strings,
5//! decimal strings). JSON shape for `show` / `run` / SDK documents lives only in
6//! `lemma::api`.
7
8mod response;
9mod show;
10mod types;
11mod value;
12
13pub use response::{Response, RuleResult};
14pub use show::{
15    PathSegment, Show, ShowBranch, ShowConversionTarget, ShowData, ShowExpression, ShowRule,
16    ShowVersion,
17};
18pub use types::{
19    LemmaType, MeasureTrait, MeasureUnit, NamedBound, RatioUnit, RationalFactor, TypeDefiningSpec,
20    TypeExtends, TypeSpecification,
21};
22pub use value::{CalendarResult, LiteralValue, RangeResult, RuleResultValue, ValueKind};