Module msgpack_schema 

MessagePack Schema protocol definition and JSON parser/emitter. MessagePack Schema protocol definition.

MessagePack Schema uses a constrained multigraph + W-type theory (Group A): colimit(ThGraph, ThConstraint, ThMulti) + ThWType.

Vertex kinds: object, field, array, string, integer, boolean, float, binary, timestamp, extension, nil, union. Edge kinds: prop, items, variant.

Functions

emit_msgpack_schema

Emit a MessagePack Schema (JSON) from a Schema.

parse_msgpack_schema

Parse a MessagePack Schema (JSON) into a Schema.

protocol

Returns the MessagePack Schema protocol definition.

register_theories

Register the component GATs for MessagePack Schema with a theory registry.