Record subtyping and record utilities with generics-sop
|Latest on Hackage:||0.1.0.0|
This package is not currently in any snapshots. If you're interested in using it, we recommend adding it to Stackage Nightly. Doing so will make builds more reliable, and allow stackage.org to host generated Haddocks.
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.
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