records-sop: Record subtyping and record utilities with generics-sop

[ bsd3, generics, library ] [ Propose Tags ] [ Report a vulnerability ]

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

Maintainer's Corner

Package maintainers

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 3640 total (30 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]