panproto_protocols/lib.rs
1//! # panproto-protocols
2//!
3//! Built-in protocol definitions for panproto.
4//!
5//! Each protocol is defined by a schema theory GAT and an instance theory GAT,
6//! composed via colimit from reusable building-block theories.
7//!
8//! Supported protocols:
9//! - **`ATProto`**: Constrained multigraph schemas with W-type instances
10//! - **SQL**: Hypergraph schemas with set-valued functor instances
11//! - **Protobuf**: Simple graph schemas with flat instances
12//! - **GraphQL**: Typed graph schemas with W-type instances
13//! - **JSON Schema**: Constrained multigraph schemas with W-type instances
14
15/// ATProto protocol definition and lexicon parser.
16pub mod atproto;
17/// Error types for protocol operations.
18pub mod error;
19/// GraphQL protocol definition and SDL parser.
20pub mod graphql;
21/// JSON Schema protocol definition and parser.
22pub mod json_schema;
23/// Protobuf protocol definition and `.proto` parser.
24pub mod protobuf;
25/// SQL protocol definition and DDL parser.
26pub mod sql;
27/// Shared component theory definitions (building-block GATs).
28pub mod theories;
29
30pub use error::ProtocolError;