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::{Show, ShowData, ShowVersion};
15pub use types::{
16    LemmaType, MeasureTrait, MeasureUnit, NamedBound, RatioUnit, RationalFactor, TypeDefiningSpec,
17    TypeExtends, TypeSpecification,
18};
19pub use value::{CalendarResult, LiteralValue, RangeResult, RuleResultValue, ValueKind};