orecversion

dynamic open records

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.

AuthorFlorian Angeletti <octa@polychoron.fr>
LicenseLGPL-2.1-only
Published
Homepagehttps://github.com/Octachron/orec
Issue Trackerhttps://github.com/Octachron/orec/issues
MaintainerFlorian Angeletti <octa@polychoron.fr>
Dependencies
Source [http] https://github.com/Octachron/orec/archive/1.0.zip
sha256=927b7dd79cbb4316ebe2d1051623294ef25eedf7ec7cf711f714b71d0ae5791c
md5=a80a5bae704e77d578a415a489c6c507
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/orec/orec.1.0/opam
Required by