@hackage records-sop0.1.1.1

Record subtyping and record utilities with generics-sop

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.