panproto-core
Core re-export facade for panproto.
This crate provides a single entry point for consumers by re-exporting the public APIs of all panproto sub-crates under short module names. Use this instead of depending on individual crates.
Re-exports
| Module | Crate | Description |
|---|---|---|
gat |
panproto-gat |
GAT types, theories, morphisms, colimits |
schema |
panproto-schema |
Schema graph, builder, validation, pushout |
inst |
panproto-inst |
W-type, functor, and graph instances; JSON round-trip; adjoint triple |
mig |
panproto-mig |
Migration compilation, lifting, composition, automatic discovery |
lens |
panproto-lens |
Protolenses, automatic lens generation, bidirectional lenses, law verification |
check |
panproto-check |
Breaking change detection, classification, reporting |
protocols |
panproto-protocols |
76 built-in protocol definitions and parsers |
io |
panproto-io |
Instance-level parse/emit for all protocols |
vcs |
panproto-vcs |
Schematic version control engine |
Example
use ;
let protocol = protocol;
let diff = diff;