records-sop

Record subtyping and record utilities with generics-sop

Version on this page:0.1.0.2
Stackage Nightly 2018-12-12:0.1.0.2
Latest on Hackage:0.1.0.2

See all snapshots records-sop appears in

BSD3 licensed by Andres Löh
Maintained by andres@well-typed.com

Module documentation for 0.1.0.2

There are no documented modules for this package.

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.

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