Update for PureScript 0.12

Author: abaco

bower.json

@@ -17,15 +17,14 @@
     "output"
   ],
   "dependencies": {
-    "purescript-lists": "^4.0.1",
-    "purescript-foldable-traversable": "^3.6.0",
-    "purescript-monoid": "^3.0.0",
-    "purescript-numbers": "^5.0.0",
-    "purescript-pairs": "^5.0.0",
-    "purescript-decimals": "^3.1.0"
+    "purescript-lists": "^5.0.0",
+    "purescript-foldable-traversable": "^4.0.0",
+    "purescript-numbers": "^6.0.0",
+    "purescript-pairs": "^6.0.0",
+    "purescript-decimals": "^4.0.0"
   },
   "devDependencies": {
-    "purescript-psci-support": "^3.0.0",
-    "purescript-test-unit": "^11.0.0"
+    "purescript-psci-support": "^4.0.0",
+    "purescript-test-unit": "^14.0.0"
   }
 }

src/Data/Units.purs

@@ -56,7 +56,6 @@ import Data.List (List(Nil), filter, findIndex, modifyAt,
                   singleton, sortBy, span, (:), concat, uncons)
 import Data.List.NonEmpty (NonEmptyList(..), head, toList)
 import Data.Maybe (Maybe(..), fromMaybe)
-import Data.Monoid (class Monoid)
 import Data.Monoid.Additive (Additive(..))
 import Data.Newtype (un)
 import Data.NonEmpty ((:|))
@@ -312,8 +311,8 @@ baseRepresentation du
         _ → u
 
 instance eqDerivedUnit ∷ Eq DerivedUnit where
-  eq u1 u2 = (_.baseUnit <$> list1' == _.baseUnit <$> list2')
-          && (_.exponent <$> list1' == _.exponent <$> list2')
+  eq u1 u2 = ((_.baseUnit <$> list1') == (_.baseUnit <$> list2'))
+          && ((_.exponent <$> list1') == (_.exponent <$> list2'))
           && globalPrefix list1 == globalPrefix list2
     where
       prepare = simplify

test/Main.purs

@@ -35,26 +35,23 @@ import Data.Quantity (Quantity, (.*), prettyPrint, (⊕), (⊖), (⊗), (⊘),
 import Data.Quantity as Q
 import Data.Quantity.Math (sin, asin, pi, modulo, max, min, mean, atan2)
 
-import Control.Monad.Eff (Eff)
-import Control.Monad.Eff.Console (CONSOLE)
-import Control.Monad.Aff.AVar (AVAR)
+import Effect (Effect)
 
 import Math as Math
 
 import Test.Unit (Test, suite, test, success, failure)
 import Test.Unit.Main (runTest)
-import Test.Unit.Console (TESTOUTPUT)
 import Test.Unit.Assert (assert, assertFalse, equal)
 
-almostEqualNumbers ∷ ∀ e. Number → Number → Test e
+almostEqualNumbers ∷ Number → Number → Test
 almostEqualNumbers x y = do
   if x ≅ y
     then success
     else failure $ "expected " <> show x <> ", got " <> show y
 
 -- | Test if two quantities are almost equal, i.e. if the units match and the
 -- | numerical value is approximately the same.
-almostEqual ∷ ∀ e. Quantity → Quantity → Test e
+almostEqual ∷ Quantity → Quantity → Test
 almostEqual expected actual = do
   if expected `approximatelyEqual` actual
     then success
@@ -64,13 +61,13 @@ almostEqual expected actual = do
     approximatelyEqual = Q.approximatelyEqual tolerance
     tolerance = 1.0e-6
 
-almostEqual' ∷ ∀ e err. Quantity → Either err Quantity → Test e
+almostEqual' ∷ ∀ err. Quantity → Either err Quantity → Test
 almostEqual' expected actual =
   case actual of
     Left _ → failure "Conversion error"
     Right actual' → almostEqual expected actual'
 
-main ∷ Eff (console ∷ CONSOLE, testOutput ∷ TESTOUTPUT, avar ∷ AVAR) Unit
+main ∷ Effect Unit
 main = runTest do
   let
     meters = meter