ppx_poly_record

ppx for polymorphic records
Description

Polymorphic record in OCaml

This ppx adds an extension point [%poly_record <exp>] for polymorphic record.

In side [%poly_record <exp>], the record syntax { l = e; .. }, { e with l = e'; .. }, r.l and r.l <- e become for polymorphic records whose type is _ Ppx_poly_record.Poly_record.t. The field information is encoded into OCaml's object type. For example:

# [%poly_record { x = 1; y = 1.0 }];;
- : < x : int; y : float > Ppx_poly_record.Poly_record.t = <abstr>

Implementation of _ PPx_poly_record.Poly_record.t is not by OCaml objects: it has no method table inside therefore safely serializable between different programs if its fields have no functional value.

Install
Documentation bitbucket.org Edit opam file
Published
23 Jan 2018
Authors
Maintainers
Sources
ppx_poly_record-1.3.0.tar.gz
md5=3dff075d8caf67d771efa6afa8391a26
Dependencies
ppxx >= "2.3.0" & < "2.4.0"
jbuilder >= "1.0+beta7"
ocaml >= "4.03.0"
Reverse Dependencies