records-sop: Record subtyping and record utilities with generics-sop
This library provides utilities for working with labelled single-constructor record types via generics-sop.
It also provides functions to safely cast between record types if the target type has a subset of the fields (with the same names) of the source type.
| Versions | 0.1.0.0 |
|---|---|
| Change log | CHANGELOG.md |
| Dependencies | base (>=4.9 && <5.0), deepseq (>=1.3 && <1.5), generics-sop (==0.3.*), ghc-prim (==0.5.*) [details] |
| License | BSD-3-Clause |
| Author | Andres Löh <andres@well-typed.com> |
| Maintainer | andres@well-typed.com |
| Category | Generics |
| Source repo | head: git clone https://github.com/kosmikus/records-sop |
| Uploaded | by AndresLoeh at Mon May 1 10:06:02 UTC 2017 |
| Distributions | NixOS:0.1.0.0 |
| Downloads | 266 total (20 in the last 30 days) |
| Rating | (no votes yet) [estimated by rule of succession] |
| Your Rating | |
| Status | Docs available [build log] Last success reported on 2017-05-01 [all 1 reports] Hackage Matrix CI |
Downloads
- records-sop-0.1.0.0.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)