polysemy-check 0.7.0.0 → 0.8.0.0

raw patch · 4 files changed

+15/−10 lines, 4 filesPVP ok

version bump matches the API change (PVP)

API changes (from Hackage documentation)

Files

• ChangeLog.md +5/−0
• polysemy-check.cabal +1/−1
• src/Polysemy/Check.hs +6/−6
• test/CommutativeSpec.hs +3/−3

@@ -1,5 +1,10 @@ # Changelog for polysemy-check +## v0.8.0.0 (2021-10-21)++- `prepropCommutative` now accepts arbitrary rows to draw actions from, rather+    than single effects.+ ## v0.7.0.0 (2021-10-16)  - Removed the `x` type variable from `prepropEquivalent`, since it is safe to

@@ -5,7 +5,7 @@ -- see: https://github.com/sol/hpack  name:           polysemy-check-version:        0.7.0.0+version:        0.8.0.0 synopsis:       QuickCheck for Polysemy description:    Please see the README on GitHub at <https://github.com/polysemy-research/polysemy-check#readme> category:       Polysemy

@@ -55,7 +55,7 @@ -- For example, -- -- @--- 'prepropCommutative' \@(State Int) \@Trace \@EffStack runEffStack+-- 'prepropCommutative' \@'[State Int] \@'[Trace] \@EffStack runEffStack -- @ -- -- will interleave random @State Int@ and @Trace@ actions, within a bigger@@ -63,13 +63,13 @@ -- permuting the @State Int@ and @Trace@ effects changes the outcome of the -- entire computation. prepropCommutative-    :: forall e1 e2 r f+    :: forall effs1 effs2 r f      . ( forall a. Show a => Show (f a)        , forall a. Eq a => Eq (f a)        )     => ( ArbitraryEff r r-       , ArbitraryEff '[e1] r-       , ArbitraryEff '[e2] r+       , ArbitraryEff effs1 r+       , ArbitraryEff effs2 r        )     => (forall a. Sem r a -> IO (f a))        -- ^ An interpreter for the effect stack down to 'IO'. Pure effect@@ -77,8 +77,8 @@     -> Property prepropCommutative lower = property @(Gen Property) $ do   SomeEff m1 <- arbitraryActionFromRow @r @r-  SomeEff e1 <- arbitraryActionFromRow @'[e1] @r-  SomeEff e2 <- arbitraryActionFromRow @'[e2] @r+  SomeEff e1 <- arbitraryActionFromRow @effs1 @r+  SomeEff e2 <- arbitraryActionFromRow @effs2 @r   SomeEff m2 <- arbitraryActionFromRow @r @r   pure $     counterexample "Effects are not commutative!" $

@@ -14,15 +14,15 @@ spec :: Spec spec = do   prop "State commutes with Trace" $-    prepropCommutative @(State Int) @Trace @TestEffs $+    prepropCommutative @'[State Int] @'[Trace] @TestEffs $       runTestEffs    prop "State does not commute with itself" $ expectFailure $-    prepropCommutative @(State Int) @(State Int) @TestEffs $+    prepropCommutative @'[State Int] @'[State Int] @TestEffs $       runTestEffs    prop "Error does not commute with State (really: we can do Arbitrary stuff on Error)" $ expectFailure $-    prepropCommutative @(Error Int) @(State Int) @[Error Int, State Int] $+    prepropCommutative @'[Error Int] @'[State Int] @'[Error Int, State Int] $       pure . Compose . run . runState 0 . runError