package json-data-encoding-browser
Type-safe encoding to and decoding from JSON (browser support)
Install
Dune Dependency
Authors
Maintainers
Sources
data-encoding-v1.0.1.tar.gz
md5=82d6e7783274595c82cff4562e2b06a2
sha512=df5d00dfef8afeada8a6aee2a97d491a2ce20cfe90aed203848f6098ba05ba60e2ee9d1afc0c6c07cf32dad3f8e34c0b55cf900ef1f2e7a72d704f07fd32e651
doc/json-data-encoding-browser/Json_repr_browser/index.html
Module Json_repr_browser
Source
An abstract type for native browser objects.
A view over the browser representation.
Pre-instanciated Json_encoding.Make
.
Pre-instanciated Json_encoding.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)"
>