panproto-protocols 0.6.0

Built-in protocol definitions for panproto
Documentation

panproto-protocols

crates.io docs.rs

Built-in protocol definitions for panproto.

Each of the 76 protocols is defined by a schema theory GAT and an instance theory GAT, composed via colimit from 27 reusable building-block theories organized in six groups. This crate includes parsers for each protocol's native schema format.

Protocols

Protocol Schema type Instance type Parser
ATProto Constrained multigraph W-type Lexicon JSON
SQL Hypergraph Set-valued functor DDL
Protobuf Simple graph Flat .proto files
GraphQL Typed graph W-type SDL
JSON Schema Constrained multigraph W-type JSON Schema
...and 71 more

See the protocol catalog for the full list.

Building-Block Theories (27)

Protocols compose their schema and instance theories from reusable building blocks via colimit:

Group Theories
A: Core graphs ThGraph, ThSimpleGraph, ThHypergraph, ThConstraint, ThMulti, ThInterface
B: Instance shapes ThWType, ThMeta, ThFunctor, ThFlat
C: Structure ThOrder, ThCoproduct, ThRecursion, ThSpan, ThCospan, ThPartial, ThLinear, ThNominal
D: Symmetry ThReflexiveGraph, ThSymmetricGraph
E: Process ThPetriNet, ThCausal
F: Composition ThGraphInstance, ThAnnotation, ThOperad, ThTracedMonoidal, ThSimplicial

API

Item Description
atproto / sql / protobuf / graphql / json_schema Core protocol modules with definitions, parsers, and theory registration
theories All 27 building-block theory definitions
ProtocolError Error type

Example

use panproto_protocols::atproto;

let protocol = atproto::protocol();
let schema = atproto::parse_lexicon(&lexicon_json)?;

License

MIT