Changelog for generic-data-functions-0.3.0
0.3.0 (2024-04-03)
- Use type tags, push actual target types into a type family. It means more
required type annotations, but this is fine by me as I think this library
should be implemented using GHC 9.10
TypeApplications
. - Swap
NoRec0
,EmptyRec0
for uninstantiated data types. Less unwrapping, more consistent to the rest of the type-heavy interface. (They were labelled "via" but never used withDerivingVia
.)
0.2.0 (2023-08-04)
- Redesign interface, pushing certain checks out of type classes into top-level generic function type signature. It means busier top-level types and more code for wrapping them, but it allows for more flexibility and cleans up implementation. (And the busyness simply makes explicit the implicit checks that were being done before.)
0.1.1 (2023-07-20)
- add work-in-progress store-style generic
foldMap
, encoding constructors by their index, atGeneric.Data.Function.FoldMap.SumConsByte
0.1.0 (2023-06-23)
Initial release.
- extracted from binrep