Changelog for refined-with-0.3.0
0.3.0 (2022-04-23)
- use more consistently useful type variable order across definitions
0.2.1 (2022-04-23)
- add
unsafeWithRefine :: forall p ps a. a -> WithRefine ps p a
0.2.0 (2022-04-23)
- rename
unWithRefine
towithoutRefine
- reorder
reallyUnsafeEnforce
typevars for visible type application convenience
0.1.0 (2022-04-22)
Initial release.
- extracted from gtvm-hs