kaiv 0.5.0

Reference implementation of the kaiv format (Levels 0-3): lexer, compiler, denormalizer, schema compiler, validator
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
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81

//! kaiv — reference implementation of the kaiv format, Levels 0–3
//! (Level 3 collation behind the default `collation-icu` feature).
//!
//! Pipeline (SPEC.md, ARCHITECTURE.md §7):
//!
//! ```text
//! .kaiv --[compiler]--> .raiv --[denorm]--> .daiv --[validator + .csaiv]--> pass/fail
//! .saiv --[schema]----> .csaiv
//! ```
//!
//! The executable definition of "correct" is the conformance tree in
//! the spec repo (`spec/kaiv/conformance/`); `tests/conformance.rs`
//! runs it. The Lexer implements the eager parsing model: the whole
//! text is validated before any token is emitted, and no tokens are
//! emitted on error.

pub mod anno;
#[cfg(feature = "asn1")]
pub mod asn1;
#[cfg(feature = "avro")]
pub mod avro;
pub mod builder;
#[cfg(feature = "cbor")]
pub mod cbor;
#[cfg(all(feature = "collation-icu", feature = "collation-colligo"))]
compile_error!(
    "`collation-icu` and `collation-colligo` are mutually exclusive \
     collation backends — enable at most one"
);
/// Level 3 collation backend: ICU4X (`collation-icu`, the default —
/// full CLDR fidelity) or colligo (`collation-colligo` — lightweight,
/// context-free exact tiers). With neither, only the default byte
/// order is available and `..lex[locale]` spans reject.
#[cfg(feature = "collation-icu")]
#[path = "collate_icu.rs"]
pub mod collate;
#[cfg(all(feature = "collation-colligo", not(feature = "collation-icu")))]
#[path = "collate_colligo.rs"]
pub mod collate;
pub mod compiler;
pub mod config;
pub mod denorm;
pub mod error;
pub mod faiv;
#[cfg(feature = "graphql")]
pub mod graphql;
pub mod infer;
#[cfg(feature = "json")]
pub mod json;
#[cfg(feature = "json")]
pub mod jsonschema;
pub mod lexer;
#[cfg(feature = "net")]
mod net;
#[cfg(feature = "proto")]
pub mod proto;
pub mod resolve;
pub mod rex;
pub mod schema;
pub mod table;
pub mod taiv;
#[cfg(feature = "toml")]
pub mod toml;
pub mod unit;
pub mod validator;
#[cfg(feature = "xml")]
pub mod xml;
#[cfg(feature = "xsd")]
pub mod xsd;
#[cfg(feature = "yaml")]
pub mod yaml;

pub use builder::{DaivBuilder, Provenance};
pub use compiler::{compile, compile_with};
pub use config::Config;
pub use denorm::{denormalize, denormalize_with};
pub use error::{AppError, AppErrorAt, LexError, LexErrorAt, PipelineError};
pub use lexer::{lex, FileKind};
pub use resolve::Resolver;
pub use schema::{check_type_lib, compile_schema, compile_schema_with};
pub use validator::{parse_csaiv, schema_for_daiv, validate, CompiledSchema, ProvenanceLevel};