json-data-encoding

API

Library json-data-encoding

• Json_encoding JSON structure description using dependently typed combinators.
• Json_query
• Json_repr Representations of JSON documents
• Json_schema
• List_map