actual changes

Author: themoritz

src/Test/StrongCheck.purs

@@ -45,7 +45,7 @@ import Test.StrongCheck.Arbitrary (class Arbitrary, arbitrary, class Coarbitrary
 import Test.StrongCheck.LCG (Seed, mkSeed) as Exports
 
 -- | A type synonym for StrongCheck effects in Eff.
-type SC eff a = Eff (console :: CONSOLE, random :: RANDOM, err :: EXCEPTION | eff) a
+type SC eff a = Eff (console :: CONSOLE, random :: RANDOM, exception :: EXCEPTION | eff) a
 
 -- | The result of a property test.
 data Result = Success | Failed String
@@ -160,7 +160,7 @@ statCheckPure s freq prop = try 100
 defState :: Seed -> GenState
 defState s = (GenState {seed: s, size: 10})
 
-check :: forall eff prop f. (Testable prop, Foldable f) => (prop -> f (Tuple Seed Result)) -> prop -> SC eff Unit
+check :: forall eff prop f. Testable prop => Foldable f => (prop -> f (Tuple Seed Result)) -> prop -> SC eff Unit
 check f prop = do
   let results = f prop
   let successes = countSuccesses results
@@ -196,7 +196,7 @@ infix 1 annotate as <?>
 
 -- | Asserts that two values are equal, resulting in a `Failure` if they are
 -- | not, with a message showing the values involved.
-assertEq :: forall a. (Eq a, Show a) => a -> a -> Result
+assertEq :: forall a. Eq a => Show a => a -> a -> Result
 assertEq a b = a == b <?> msg
   where
   msg = show a <> " /= " <> show b
@@ -205,7 +205,7 @@ infix 2 assertEq as ===
 
 -- | Asserts that two values are not equal, resulting in a `Failure` if they
 -- | are, with a message showing the values involved.
-assertNotEq :: forall a. (Eq a, Show a) => a -> a -> Result
+assertNotEq :: forall a. Eq a => Show a => a -> a -> Result
 assertNotEq a b = a /= b <?> msg
   where
   msg = show a <> " == " <> show b

src/Test/StrongCheck/Data/ArbDateTime.purs

@@ -31,9 +31,9 @@ instance arbitraryArbTime ∷ Arbitrary ArbTime where
 
 instance coarbitraryArbTime ∷ Coarbitrary ArbTime where
   coarbitrary (ArbTime t) = do
-    coarbitrary $ fromEnum (DT.hour t)
-    coarbitrary $ fromEnum (DT.minute t)
-    coarbitrary $ fromEnum (DT.second t)
+    _ <- coarbitrary $ fromEnum (DT.hour t)
+    _ <- coarbitrary $ fromEnum (DT.minute t)
+    _ <- coarbitrary $ fromEnum (DT.second t)
     coarbitrary $ fromEnum (DT.millisecond t)
 
 newtype ArbDate = ArbDate DT.Date
@@ -55,8 +55,8 @@ instance arbitraryArbDate ∷ Arbitrary ArbDate where
 
 instance coarbitraryArbDate ∷ Coarbitrary ArbDate where
   coarbitrary (ArbDate dt) = do
-    coarbitrary $ fromEnum (DT.year dt)
-    coarbitrary $ fromEnum (DT.month dt)
+    _ <- coarbitrary $ fromEnum (DT.year dt)
+    _ <- coarbitrary $ fromEnum (DT.month dt)
     coarbitrary $ fromEnum (DT.day dt)
 
 newtype ArbDateTime = ArbDateTime DT.DateTime
@@ -74,5 +74,5 @@ instance arbitraryArbDateTime ∷ Arbitrary ArbDateTime where
 
 instance coarbitraryArbDateTime ∷ Coarbitrary ArbDateTime where
   coarbitrary (ArbDateTime dt) = do
-    coarbitrary $ ArbDate (DT.date dt)
+    _ <- coarbitrary $ ArbDate (DT.date dt)
     coarbitrary $ ArbTime (DT.time dt)

src/Test/StrongCheck/Landscape.purs

@@ -109,7 +109,7 @@ sampleHere :: forall a. Perturb a => Int -> Landscape a -> Array a
 sampleHere n = (<$>) (unDriverState >>> \v -> v.value) <<< sampleHere' n
 
 -- | Moves to a location in a landscape that was previously sampled.
-moveTo :: forall a. (Eq a, Perturb a) => a -> Landscape a -> Maybe (Landscape a)
+moveTo :: forall a. Eq a => Perturb a => a -> Landscape a -> Maybe (Landscape a)
 moveTo a v = Landscape <$> moveIt a v
   where moveIt a' = force <<< L.head <<< L.filter (\v' -> (unDriverState (head v')).value == a') <<< tail <<< unLandscape
 

src/Test/StrongCheck/Perturb.purs

@@ -273,7 +273,7 @@ k0 = Math.log(maxNumber + 1.0)
 square :: Number -> Number
 square = flip Math.pow 2.0
 
-toDist :: forall f. (Foldable f, Functor f) => f Number -> Number
+toDist :: forall f. Foldable f => Functor f => f Number -> Number
 toDist xs = Math.sqrt (sum $ square <$> xs)
 
 delta :: Number -> Number -> Number