orec

dynamic open records
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.

Install
Published
30 Jan 2018
Sources
1.0.zip
md5=a80a5bae704e77d578a415a489c6c507
Dependencies
jbuilder
>= "1.0+beta7"
ocaml
>= "4.06.0"
Reverse Dependencies