row-types
row-types copied to clipboard
A Haskell library for open records and variants using closed type families and type literals
To all concerned, this repository is no longer being actively maintained at this site. The new source of truth for `row-types` can be found at [https://github.com/dwincort/row-types](https://github.com/dwincort/row-types). Please post issues and...
…, along with a supporting data type (Constrained) and type class (Known) to Data.Row.Records. This is an awkward place for it, but it doesn't seem like there's anywhere else where...
Optional
This PR adds an `Optional` type class that allows one to have an optional element in the row-types. It also adds a convenience function for records that allows one to...
With row-types it's possible to pass some named parameters to function. But what about partial application? Would it make sense to implement `.->` type indexed by parameter name? `"Int .->...
I've been reading the Example.hs file, and want to share some quick thoughts. This is a low priority ticket on my part, feel free to only respond to this days...
For example, does compile time suffer exponentially, having ~ 1+ minute builds past 8-10 fields similar to https://github.com/turingjump/bookkeeper/issues/13 and https://github.com/agrafix/superrecord/issues/12? Or has `row-types` managed to avoid that particular issue? If...
This repository will be archived in 30 days in accordance with Target's internal retention policy. Archived projects become read-only and will remain accessible to the public. If you have questions...