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.4), ghc-prim (>=0.5 && <0.6) [details]
Tested with ghc ==8.0.2, ghc ==8.2.1, ghc ==8.4.3, ghc ==8.6.1
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 2018-09-01T10:54:12Z
Distributions LTSHaskell:0.1.1.1, NixOS:0.1.1.1
Reverse Dependencies 5 direct, 5 indirect [details]
Downloads 3607 total (45 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs available [build log]
Last success reported on 2018-09-01 [all 1 reports]