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

This is a package candidate release! Here you can preview how this package release will appear once published to the main package index (which can be accomplished via the 'maintain' link below). Please note that once a package has been published to the main package index it cannot be undone! Please consult the package uploading documentation for more information.

[maintain] [Publish]

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.

Properties

Versions 0.1.0.0, 0.1.0.1, 0.1.0.2, 0.1.0.3, 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.6) [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 2019-05-09T19:36:10Z

Modules

[Index] [Quick Jump]

Downloads

Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees