Crate panproto_protocols 

panproto-protocols

Built-in protocol definitions for panproto.

Each protocol is defined by a schema theory GAT and an instance theory GAT, composed via colimit from reusable building-block theories.

Supported protocols:

• ATProto: Constrained multigraph schemas with W-type instances
• SQL: Hypergraph schemas with set-valued functor instances
• Protobuf: Simple graph schemas with flat instances
• GraphQL: Typed graph schemas with W-type instances
• JSON Schema: Constrained multigraph schemas with W-type instances

Re-exports

pub use error::ProtocolError;

Modules

atproto

ATProto protocol definition and lexicon parser. ATProto protocol definition.

error

Error types for protocol operations. Error types for protocol operations.

graphql

GraphQL protocol definition and SDL parser. GraphQL protocol definition.

json_schema

JSON Schema protocol definition and parser. JSON Schema protocol definition and parser.

protobuf

Protobuf protocol definition and .proto parser. Protobuf protocol definition.

sql

SQL protocol definition and DDL parser. SQL protocol definition.

theories

Shared component theory definitions (building-block GATs). Shared component theory definitions.