Upgraded to PureScript 0.12 (#4)

* upgraded to purescript 0.12

* made purescript-console a dev dependency and hid a couple of instance of 'identiy' from Prelude

* set purescript-psa back to 0.5.0 due to a bug I'm encountering with it - reported in that repo

* upgraded purescript-psa to 0.7.3

bower.json

@@ -25,13 +25,13 @@
     "test"
   ],
   "dependencies": {
-    "purescript-prelude": "^3.0.0",
-    "purescript-console": "^3.0.0",
-    "purescript-run": "^1.0.0"
+    "purescript-prelude": "^4.1.0",
+    "purescript-run": "^2.0.0"
   },
   "devDependencies": {
-    "purescript-psci-support": "^3.0.0",
-    "purescript-assert": "^3.0.0",
-    "purescript-debug": "^3.0.0"
+    "purescript-psci-support": "^4.0.0",
+    "purescript-assert": "^4.0.0",
+    "purescript-console": "^4.1.0",
+    "purescript-debug": "^4.0.0"
   }
 }

package.json

@@ -6,8 +6,8 @@
   },
   "devDependencies": {
     "bower": "^1.8.2",
-    "pulp": "^11.0.2",
-    "purescript": "^0.11.6",
-    "purescript-psa": "^0.5.0"
+    "pulp": "^12.3.0",
+    "purescript": "^0.12.0",
+    "purescript-psa": "^0.7.3"
   }
 }

src/Run/Streaming.purs

@@ -30,8 +30,10 @@ module Run.Streaming
   ) where
 
 import Prelude
+
 import Data.Profunctor (class Profunctor, dimap)
 import Data.Symbol (class IsSymbol)
+import Prim.Row (class Cons)
 import Run (Run, SProxy(..), FProxy)
 import Run as Run
 
@@ -63,11 +65,11 @@ liftAwait = Run.lift _await
 
 -- | Yields a response and waits for a request.
 respond ∷ ∀ req res r. res → Run (Server req res r) req
-respond res = liftYield (Step res id)
+respond res = liftYield (Step res identity)
 
 -- | Issues a request and awaits a response.
 request ∷ ∀ req res r. req → Run (Client req res r) res
-request req = liftAwait (Step req id)
+request req = liftAwait (Step req identity)
 
 -- | Yields a value to be consumed downstream.
 yield ∷ ∀ o r. o → Run (Producer o r) Unit
@@ -111,7 +113,7 @@ instance profunctorResume ∷ Profunctor (Resume r a) where
 
 runStep
   ∷ ∀ sym i o r1 r2 a
-  . RowCons sym (FProxy (Step i o)) r1 r2
+  . Cons sym (FProxy (Step i o)) r1 r2
   ⇒ IsSymbol sym
   ⇒ SProxy sym
   → Run r2 a

src/Run/Streaming/Prelude.purs

@@ -205,11 +205,11 @@ any f = P.map not <<< null <<< Pull.feed (filter f)
 
 -- | Checks if all yielded values are true.
 and ∷ ∀ r. Run (Producer Boolean (Producer Boolean r)) Unit → Run r Boolean
-and = all id
+and = all identity
 
 -- | Checks if any yielded values are true.
 or ∷ ∀ r. Run (Producer Boolean (Producer Boolean r)) Unit → Run r Boolean
-or = any id
+or = any identity
 
 -- | Checks if a value occurs in the stream.
 elem ∷ ∀ r x. Eq x ⇒ x → Run (Producer x (Producer x r)) Unit → Run r Boolean
@@ -294,27 +294,27 @@ foldM' step init done ra = do
 
 -- | Returns the number of values yielded by a Producer.
 length ∷ ∀ r x. Run (Producer x r) Unit → Run r Int
-length = fold (const <<< add 1) 0 id
+length = fold (const <<< add 1) 0 identity
 
 -- | Returns the sum of values yielded by a Producer.
 sum ∷ ∀ r x. Semiring x ⇒ Run (Producer x r) Unit → Run r x
-sum = fold (+) zero id
+sum = fold (+) zero identity
 
 -- | Returns the product of values yielded by a Producer.
 product ∷ ∀ r x. Semiring x ⇒ Run (Producer x r) Unit → Run r x
-product = fold (*) one id
+product = fold (*) one identity
 
 -- | Returns the minimum value yielded by a Producer.
 minimum ∷ ∀ r x. Ord x ⇒ Run (Producer x r) Unit → Run r (Maybe x)
-minimum = fold go Nothing id
+minimum = fold go Nothing identity
   where
   go x y = Just case x of
     Nothing → y
     Just x' → min x' y
 
 -- | Returns the maximum value yielded by a Producer.
 maximum ∷ ∀ r x. Ord x ⇒ Run (Producer x r) Unit → Run r (Maybe x)
-maximum = fold go Nothing id
+maximum = fold go Nothing identity
   where
   go x y = Just case x of
     Nothing → y

src/Run/Streaming/Pull.purs

@@ -14,7 +14,7 @@ module Run.Streaming.Pull
   , consume
   ) where
 
-import Prelude hiding (compose)
+import Prelude hiding (compose, identity)
 import Run (Run)
 import Run.Streaming as RS
 

src/Run/Streaming/Push.purs

@@ -10,7 +10,7 @@ module Run.Streaming.Push
   , produce
   ) where
 
-import Prelude hiding (compose)
+import Prelude hiding (compose, identity)
 import Run (Run)
 import Run.Streaming as RS
 

test/Main.purs

@@ -1,24 +1,25 @@
 module Test.Main where
 
-import Control.Monad.Eff (Eff)
-import Control.Monad.Eff.Console (CONSOLE, log)
+import Prelude hiding (map)
+
 import Data.Array as A
 import Data.Maybe (Maybe(..))
 import Data.Tuple (Tuple(..))
-import Prelude hiding (map)
+import Effect (Effect)
+import Effect.Console (log)
 import Run (Run, extract)
 import Run.Streaming.Prelude as S
 import Run.Streaming.Pull as Pull
 import Run.Streaming.Push as Push
-import Test.Assert (ASSERT, assert')
+import Test.Assert (assert')
 
-assert ∷ ∀ eff. String → Boolean → Eff (assert ∷ ASSERT, console ∷ CONSOLE | eff) Unit
+assert ∷ String → Boolean → Effect Unit
 assert label ok
   | ok        = log ("[OK] " <> label)
   | otherwise = log ("[xx] " <> label) *> assert' label ok
 
 toArray ∷ ∀ x. Run (S.Producer x ()) Unit → Array x
-toArray = extract <<< S.fold A.snoc [] id
+toArray = extract <<< S.fold A.snoc [] identity
 
 -- Push based take
 take' ∷ ∀ x r. Int → x → Run (S.Transformer x x r) Unit
@@ -28,7 +29,7 @@ take' n x = S.yield x >>= S.request >>= take' (n - 1)
 data Req = A Int | B Int
 type Rep = String
 
-main ∷ Eff (assert ∷ ASSERT, console ∷ CONSOLE) Unit
+main ∷ Effect Unit
 main = do
   assert "pull/take"
     let