Record subtyping and record utilities with generics-sop

Version on this page:
LTS Haskell 13.4:
Stackage Nightly 2019-01-24:
Latest on Hackage:

See all snapshots records-sop appears in

BSD-3-Clause licensed by Andres Löh
Maintained by

Module documentation for

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 (2018-10-20)

  • Relax version bound on generics-sop and add an extra LANGUAGE pragma for compatibility. (2018-09-01)

  • Relax version bound for hspec and fix a warning in the test suite. (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.

Depends on 4 packages:
Used by 1 package:
comments powered byDisqus