package json-data-encoding-browser
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
Type-safe encoding to and decoding from JSON (browser support)
Install
dune-project
Dependency
Authors
Maintainers
Sources
1.1.1.tar.gz
md5=3267ccdc67847cedeeb95f0bd6fe3845
sha512=27c3972f279e45db58d56beb10d28fdc2ed230373d338c2cdd2abe22e73deb9641db101c44384845255a0bd05156612def12ea6ea98d162aee5f5f5bff907022
doc/json-data-encoding-browser/Json_repr_browser/index.html
Module Json_repr_browserSource
An abstract type for native browser objects.
A view over the browser representation.
Pre-instanciated Json_encoding.Make.
Pre-instanciated Json_query.Make.
Produce a JSON string using the native browser printer.
If indent is not present, everything is printed on a single line. Otherwise, it is the number (up to 10) of spaces inserted at beginning of lines for each indentation level.
Same as parse with native browser strings.
Same as stringify with native browser strings.
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>