The latest version of records-sop is 0.1.1.1-0.

records-sop

Version 0.1.0.2 revision 1 uploaded by AndresLoeh.

Package meta

Synopsis
Record subtyping and record utilities with generics-sop
Description

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.

Author
Andres Löh <andres@well-typed.com>
Bug reports
n/a
Category
Generics
Copyright
n/a
Homepage
n/a
Maintainer
andres@well-typed.com
Package URL
n/a
Stability
n/a

Components