Changelog for polysemy-check
v0.3.0.0 (2021-10-09)
prepropLaw
now synthesizes a monadic prelude and postlude to your laws, to
ensure they hold under every context. The type has changed as a result.
prepropEquivalent
now allows you to produce a functor f
result, so you can
check equivalence of the underlying state as well.
v0.2.0.0 (2021-10-09)
- Updated the signature of
prepropEquivalent
to take a Proxy r
. This lets
you bind the r
type variable, and use it as an argument to
arbitraryAction
et al.
v0.1.0.0 (2021-10-08)
Unreleased changes