This commit is contained in:
Hans Hoeglund 2020-04-16 19:29:07 +01:00
parent b3a7f9547e
commit c05cd593ac

View File

@ -1,3 +1,7 @@
[![CircleCI](https://circleci.com/gh/hanshoglund/iso-deriving.svg?style=svg)](https://circleci.com/gh/hanshoglund/iso-deriving)
# iso-deriving
The GHC extension `DerivingVia` allow derivation through a specific morphism:
coerce. This library helps generalizing DerivingVia to arbitrary morphisms.
This is particularly useful for prototypes and specifications of instances.