package json-data-encoding
Type-safe encoding to and decoding from JSON
Install
Dune Dependency
Authors
Maintainers
Sources
json-data-encoding-0.10.tar.gz
md5=5e38f6cfb3dffe652e98b8d38905376f
sha512=50a7e8bd7036c1c48b4132ba34301df7e4011c619177fed28ec96bffce99acb228dc4fe6fc24bff313b9ae3ba5c6da424189e6a8220b87c918ea20d08e1caca2
doc/index.html
json-data-encoding
API
Library json-data-encoding
Json_encoding
JSON structure description using dependently typed combinators.Json_query
Json_repr
Representations of JSON documentsJson_schema
List_map
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page