records-sop

Record subtyping and record utilities with generics-sop

LTS Haskell 22.12:0.1.1.1
Stackage Nightly 2023-12-26:0.1.1.1
Latest on Hackage:0.1.1.1

See all snapshots records-sop appears in

BSD-3-Clause licensed by Andres Löh
Maintained by [email protected]
This version can be pinned in stack with:records-sop-0.1.1.1@sha256:e123c708d8410273325da56846c81e2b1c8a4a68b55d8fbb5c506c1c3cf04693,1506

Module documentation for 0.1.1.1

Used by 1 package in nightly-2023-12-11(full list with versions):

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.

Changes

0.1.1.0 (2020-04-09)

  • Export get and add getField.

0.1.0.3 (2019-05-09)

  • Compatibility with generics-sop-0.5.

0.1.0.2 (2018-10-20)

  • Relax version bound on generics-sop and add an extra LANGUAGE pragma for compatibility.

0.1.0.1 (2018-09-01)

  • Relax version bound for hspec and fix a warning in the test suite.

0.1.0.0 (2017-05-01)

  • 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 Generics.SOP.Record.SubTyping.