package json-data-encoding-browser
Type-safe encoding to and decoding from JSON (browser support)
Install
Dune Dependency
Authors
Maintainers
Sources
json-data-encoding-0.10.tar.gz
md5=5e38f6cfb3dffe652e98b8d38905376f
sha512=50a7e8bd7036c1c48b4132ba34301df7e4011c619177fed28ec96bffce99acb228dc4fe6fc24bff313b9ae3ba5c6da424189e6a8220b87c918ea20d08e1caca2
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)"
>