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 | 3626 total (20 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] |