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.
Downloads
- records-sop-0.1.1.1.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)
Maintainer's Corner
For package maintainers and hackage trustees
Candidates
| Versions [RSS] | 0.1.0.0, 0.1.0.1, 0.1.0.2, 0.1.0.3, 0.1.1.0, 0.1.1.1 |
|---|---|
| Change log | CHANGELOG.md |
| Dependencies | base (>=4.9 && <5.0), deepseq (>=1.3 && <1.5), generics-sop (>=0.3 && <0.6), ghc-prim (>=0.5 && <0.11) [details] |
| Tested with | ghc ==8.0.2, ghc ==8.2.2, ghc ==8.4.4, ghc ==8.6.5, ghc ==8.8.4, ghc ==8.10.7, ghc ==9.0.2, ghc ==9.2.8, ghc ==9.4.5, ghc ==9.6.2 |
| 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 2023-06-28T14:23:52Z |
| Distributions | NixOS:0.1.1.1 |
| Reverse Dependencies | 5 direct, 5 indirect [details] |
| Downloads | 3633 total (25 in the last 30 days) |
| Rating | (no votes yet) [estimated by Bayesian average] |
| Your Rating | |
| Status | Docs available [build log] Last success reported on 2023-06-28 [all 1 reports] |