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.
- Compatibility with
- Relax version bound on generics-sop and add an extra LANGUAGE pragma for compatibility.
- Relax version bound for hspec and fix a warning in the test suite.
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