package orec
dynamic open records
Install
Dune Dependency
Authors
Maintainers
Sources
1.0.1.zip
sha256=f9b636ad578986d26fa45b437f1c825b4c04aa8da620a3df885145109d293326
Description
Orec's open records make it possible to dynamically create, access, update, and assign fields of an "open record" value with a syntax somewhat similar to the normal record syntax.
The underlying implementation relies on heterogeneous maps for storing the field data and a liberal use of GADTs and extended indexing operators to expose a higher-level interface on the top of those hetereogeneous maps.
Published: 31 Mar 2020
Dev Dependencies
None
Used by (1)
Conflicts
None
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page