Changelog for strongweak-0.7.0
0.7.0 (2024-05-11)
- replaced refined1 with rerefined
- simplify failures
0.6.1 (2024-04-03)
- tests: relax hspec upper bound
0.6.0 (2023-05-10)
- add instances for
Refined1 p f a
; use refined1 library instead of refined (pending upstream)
0.5.0 (2023-05-05)
- allow text-2.0
- refactor strengthening code, rename some definitions
- use NeAcc instead of NonEmpty for strengthening failures
0.4.1 (2023-02-22)
- add
DerivingVia
wrapper for generic instances (likeGenerically
)
0.4.0 (2023-02-22)
- redesign some instances to avoid the decomposer style
- alter
Identity
,Const
instances - remove
Maybe
instance
- alter
- expand sized vector instance
0.3.2 (2022-11-28)
- support GHC 9.4
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