Changelog of @hackage/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 inside Weaken - Strengthen now has Weaken 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