@hackage / generic-records

Magic record operations using generics

Latest0.2.0.0

About

Metadata

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

  • Maintained by: kiss.csongor.kiss@gmail.com

  • Lottery factor: 0

Links

Installation

Readme

This package uses the GHC8 Generic representation of records to derive magic classes (a la OverloadedRecordLabels), and prove structural subtyping relationship between records. The latter can be used to upcast the "sub-record" to the more general "interface".