records-sop

Record subtyping and record utilities with generics-sop

Version on this page:	0.1.0.2@rev:1
LTS Haskell 19.33:	0.1.1.0
Stackage Nightly 2023-09-22:	0.1.1.1
Latest on Hackage:	0.1.1.1

See all snapshots records-sop appears in

BSD-3-Clause licensed by Andres Löh

Maintained by andres@well-typed.com

This version can be pinned in stack with:records-sop-0.1.0.2@sha256:4b763c60728ca2b5424335d9c5b631c3c54e19523b5724b034dbaedd6a234e20,1492

Module documentation for 0.1.0.2

Generics
- Generics.SOP
  - Generics.SOP.Record
    - Generics.SOP.Record.SubTyping

Depends on 4 packages(full list with versions):

base, deepseq, generics-sop, ghc-prim

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.

Changes

0.1.0.2 (2018-10-20)

Relax version bound on generics-sop and add an extra LANGUAGE pragma for compatibility.

0.1.0.1 (2018-09-01)

Relax version bound for hspec and fix a warning in the test suite.

0.1.0.0 (2017-05-01)

Initial release. Everything is still rather experimental. Feedback on any aspect of the library is welcome.

Currently, the general utilities are in Generics.SOP.Record, and the subtyping functionality is in Generics.SOP.Record.SubTyping.