@hackage / records-sop

Record subtyping and record utilities with generics-sop

Latest0.1.1.1

About

Metadata

  • Last updated , by AndresLoeh
  • License BSD-3-Clause
  • Categories Generics

  • Maintained by: andres@well-typed.com

  • Lottery factor: 0

Links

Installation

Tested Compilers

  1. 9.6.2
  2. 9.4.5
  3. 9.2.8
  4. 9.0.2
  5. 8.10.7
  6. 8.8.4
  7. 8.6.5
  8. 8.4.4
  9. 8.2.2
  10. 8.0.2

Readme

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.