Changelog for polysemy-check
v0.4.0.0 (2021-10-12)
GArbitraryK now supports actions that contain existential types.
- (Internal) Aggressively rewrote the
GArbitraryK typeclass to make better use
of kind-generics.
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