Changelog for strongweak-0.3.1
0.3.1 (2022-07-04)
- update refined (polykind predicate)
0.3.0 (2022-06-08)
- switch to associated type family for
Weak
insideWeaken
-Strengthen
now hasWeaken
as a superclass- I'm fairly confident that things make more sense this way - we get to remove an open type family, improve type inference, and prevent users from writing potentially dangerous instances. For that, a bit of asymmetry is welcome.
- better document generic derivers
- clarify instance design, provide more decomposer instances
- various refactoring
0.2.0 (2022-05-31)
Initial Hackage release (dependency issues prevented uploading).
- fix field indexing in generic errors
- add unsafe strengthening
- add property and error tests
0.1.0 (2022-05-16)
Initial release.
- basic instances (lists, numerics)
- generic derivations
- super explicit errors