package json-data-encoding
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page
Type-safe encoding to and decoding from JSON
Install
dune-project
Dependency
Authors
Maintainers
Sources
1.1.1.tar.gz
md5=3267ccdc67847cedeeb95f0bd6fe3845
sha512=27c3972f279e45db58d56beb10d28fdc2ed230373d338c2cdd2abe22e73deb9641db101c44384845255a0bd05156612def12ea6ea98d162aee5f5f5bff907022
doc/index.html
json-data-encoding
API
Library json-data-encoding
Json_encodingJSON structure description using dependently typed combinators.Json_queryJson_reprRepresentations of JSON documentsJson_schema
Library json-data-encoding.stdlib
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page