row-types: Open Records and Variants
This package uses closed type families and type literals to implement open records and variants. The core is based off of the CTRex package, but it additionally includes polymorphic variants and a number of additional functions. That said, it is not a proper superset of CTRex as it specifically forbids records from having more than one element of the same label.
[Skip to Readme]
Modules
[Index] [Quick Jump]
Downloads
- row-types-0.3.1.0.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)
| Versions [RSS] | 0.2.0.0, 0.2.1.0, 0.2.2.0, 0.2.3.0, 0.3.0.0, 0.3.1.0, 0.4.0.0, 1.0.0.0, 1.0.1.0, 1.0.1.1, 1.0.1.2 |
|---|---|
| Change log | CHANGELOG.md |
| Dependencies | base (>=2 && <5), constraints, deepseq (>=1.4), generic-lens (>=1.0.0.0), hashable (>=1.2), profunctors (>=5.0), text, unordered-containers (>=0.2) [details] |
| License | MIT |
| Author | Daniel Winograd-Cort, Matthew Farkas-Dyck |
| Maintainer | daniel.winograd-cort@target.com, matthew.farkas-dyck@target.com |
| Category | Data, Data Structures |
| Source repo | head: git clone https://github.com/target/row-types/ |
| Uploaded | by dwincort at 2020-01-29T17:10:31Z |
| Distributions | LTSHaskell:1.0.1.2, NixOS:1.0.1.2, Stackage:1.0.1.2 |
| Reverse Dependencies | 15 direct, 46 indirect [details] |
| Downloads | 12433 total (139 in the last 30 days) |
| Rating | (no votes yet) [estimated by Bayesian average] |
| Your Rating | |
| Status | Docs available [build log] Last success reported on 2020-01-29 [all 1 reports] |
Readme for row-types-0.3.1.0
[back to package description]Row-Types
Row-types is a library of open records and variants for Haskell using closed type families and type literals (among other things...). See examples/Examples.lhs for a literate Haskell file that functions as an overview of how this library can be used, and check out the website for further examples.
Available on Hackage.
This work is a branch from CTRex [1,2] with other inspiration from data-diverse [3]. My thanks to the authors and contributors of those libraries!
[1] https://wiki.haskell.org/CTRex
[2] https://hackage.haskell.org/package/CTRex/docs/Data-OpenRecords.html
[3] https://hackage.haskell.org/package/data-diverse