package json-data-encoding
Type-safe encoding to and decoding from JSON
Install
Dune Dependency
Authors
Maintainers
Sources
json-data-encoding-0.9.tar.gz
md5=92b5bab2e34932632dba7e96267a3159
sha512=3778952db138d6279e9f0163d91a016a2f7151adc3ed57a4631e5aec85c3d9253bb9ef57ccfe70c09aa95da22529ab8ff21adad001bd92e2506991b334bdff66
doc/index.html
json-data-encoding
API
Library json-data-encoding
Json_encoding
JSON structure description using dependently typed combinators.Json_query
Queries in JSON documentsJson_repr
Representations of JSON documentsJson_schema
Abstract representation of JSON schemas as of versionhttp://json-schema.org/draft-04/schema#
.
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page