- ➕ Added
CoRec(co-record) type constructed in the same style as the existing
Rectype for records. A
CoRecis an open sum type: a value of
CoRec [a,b,c]is either an
b, or a
c. In contrast a
Rec [a,b,c]includes an
b, and, a
➕ Added a concise
Ported the tutorial to haddocks (andrewthad)
➕ Added utilities for working with the
Vinyl 0.5 combines the generality of Vinyl 0.4 with the ease-of-use of previous 🔖 versions by eschewing the defunctionalized type families and just using plain 💅 type constructors; Vinyl 0.4-style records can be recovered in most cases in a modular manner without baking it into the fabric of Vinyl itself.
Also new in 0.5 is a unified lens-based approach to subtyping, coercion and projection.
v0.4.3July 19, 2014
v0.4.2June 19, 2014
Vinyl 0.4 is a big departure from previous versions, in that it introduces a universe encoding as a means to generalize the space of keys from strings to any arbitrary space. This means that you can have closed universes for your records.
👀 For details on how to use the new Vinyl, please see
tests/Intro.lhsor view Jon's talk at BayHac 2014, Programming in Vinyl.
v0.1.1.0April 07, 2013