ix-schema 0.1.0

A universal meta-interface for data structures: compile-time semantic manifests bridging memory layout and serialization, with enforced schema evolution.
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

//! Compile-time layout/wire compatibility: a new schema version that only
//! *appends* fields stays readable by old code; reordering breaks it, and the
//! breakage is caught at compile time.

use ix_schema::{Ix, assert_compatible};

#[derive(Ix)]
#[repr(C)]
struct EventV1 {
    id: u32,
    kind: u16,
}

#[derive(Ix)]
#[ix(version = 2, migrate_from = EventV1)]
#[repr(C)]
struct EventV2 {
    id: u32,
    kind: u16,
    #[ix(since = 2, default = 0)]
    flags: u16,
}

// Proven at compile time: EventV2 only appended `flags`, so it extends EventV1.
assert_compatible!(EventV2 : EventV1);

// A hypothetical broken redesign that reorders the carried fields.
#[derive(Ix)]
#[repr(C)]
struct BadEvent {
    kind: u16,
    id: u32,
}

#[test]
fn append_only_extension_is_compatible() {
    let ok = EventV2::MANIFEST.extends(&EventV1::MANIFEST);
    assert!(ok);
}

#[test]
fn reordering_breaks_compatibility() {
    // Detected at compile time and confirmed at runtime: `id`/`kind` moved.
    const { assert!(!BadEvent::MANIFEST.extends(&EventV1::MANIFEST)) };
    let broken = BadEvent::MANIFEST.extends(&EventV1::MANIFEST);
    assert!(!broken);
}