Updates for 1.0 core libraries

Author: paf31

bower.json

@@ -12,14 +12,15 @@
     "url": "git://github.com/purescript-node/purescript-node-streams.git"
   },
   "devDependencies": {
-    "purescript-console": "^0.1.0",
-    "purescript-assert": "~0.1.1"
+    "purescript-console": "^1.0.0",
+    "purescript-assert": "^1.0.0",
+    "purescript-partial": "^1.1.2"
   },
   "dependencies": {
-    "purescript-eff": "~0.1.1",
-    "purescript-node-buffer": "~0.2.0",
-    "purescript-prelude": "~0.1.2",
-    "purescript-either": "~0.2.3",
-    "purescript-exceptions": "~0.3.3"
+    "purescript-eff": "^1.0.0",
+    "purescript-node-buffer": "1.0-updates",
+    "purescript-prelude": "^1.0.0",
+    "purescript-either": "^1.0.0",
+    "purescript-exceptions": "^1.0.0"
   }
 }

package.json

@@ -6,7 +6,7 @@
   },
   "devDependencies": {
     "jshint": "^2.8.0",
-    "pulp": "^8.2.1",
+    "pulp": "^9.0.0",
     "rimraf": "^2.4.1",
     "stream-buffers": "^3.0.0"
   }

src/Node/Stream.js

@@ -2,8 +2,6 @@
 /* global Buffer */
 "use strict";
 
-// module Node.Stream
-
 exports.undefined = undefined;
 
 exports.setEncodingImpl = function(s) {
@@ -109,7 +107,7 @@ exports.readImpl = function(readChunk) {
             return function(r) {
                 return function(s) {
                     return function() {
-                        const v = r.read(s);
+                        var v = r.read(s);
                         if (v === null) {
                             return Nothing;
                         } else {

src/Node/Stream.purs

@@ -33,15 +33,14 @@ module Node.Stream
 import Prelude
 
 import Control.Bind ((<=<))
-import Data.Maybe (Maybe(..), maybe, fromMaybe)
+import Control.Monad.Eff (Eff)
+import Control.Monad.Eff.Exception (throw, EXCEPTION(), Error())
+import Control.Monad.Eff.Unsafe (unsafeInterleaveEff)
 import Data.Either (Either(..))
-import Node.Encoding
+import Data.Maybe (Maybe(..), fromMaybe)
 import Node.Buffer (Buffer())
 import Node.Buffer as Buffer
-
-import Control.Monad.Eff
-import Control.Monad.Eff.Exception (throw, EXCEPTION(), Error())
-import Control.Monad.Eff.Unsafe (unsafeInterleaveEff)
+import Node.Encoding (Encoding)
 
 -- | A stream.
 -- |
@@ -69,13 +68,23 @@ type Duplex = Stream (read :: Read, write :: Write)
 foreign import undefined :: forall a. a
 
 foreign import data Chunk :: *
+
+foreign import readChunkImpl
+  :: (forall l r. l -> Either l r)
+  -> (forall l r. r -> Either l r)
+  -> Chunk
+  -> Either String Buffer
+
 readChunk :: Chunk -> Either String Buffer
 readChunk = readChunkImpl Left Right
-foreign import readChunkImpl :: (forall l r. l -> Either l r) -> (forall l r. r -> Either l r) -> Chunk -> Either String Buffer
 
 -- | Listen for `data` events, returning data in a Buffer. Note that this will fail
 -- | if `setEncoding` has been called on the stream.
-onData :: forall w eff. Readable w (err :: EXCEPTION | eff) -> (Buffer -> Eff (err :: EXCEPTION | eff) Unit) -> Eff (err :: EXCEPTION | eff) Unit
+onData
+  :: forall w eff
+   . Readable w (err :: EXCEPTION | eff)
+  -> (Buffer -> Eff (err :: EXCEPTION | eff) Unit)
+  -> Eff (err :: EXCEPTION | eff) Unit
 onData r cb =
   onDataEither r (cb <=< fromEither)
   where
@@ -86,63 +95,121 @@ onData r cb =
       Right buf ->
         pure buf
 
-read :: forall w eff. Readable w (err :: EXCEPTION | eff) -> Maybe Int -> Eff (err :: EXCEPTION | eff) (Maybe Buffer)
+read
+  :: forall w eff
+   . Readable w (err :: EXCEPTION | eff)
+   -> Maybe Int
+   -> Eff (err :: EXCEPTION | eff) (Maybe Buffer)
 read r size = do
   v <- readEither r size
   case v of
-       Nothing        -> pure Nothing
-       Just (Left _)  -> throw "Stream encoding should not be set"
-       Just (Right b) -> pure (Just b)
-
-readString :: forall w eff. Readable w (err :: EXCEPTION | eff) -> Maybe Int -> Encoding -> Eff (err :: EXCEPTION | eff) (Maybe String)
+    Nothing        -> pure Nothing
+    Just (Left _)  -> throw "Stream encoding should not be set"
+    Just (Right b) -> pure (Just b)
+
+readString
+  :: forall w eff
+   . Readable w (err :: EXCEPTION | eff)
+  -> Maybe Int
+  -> Encoding
+  -> Eff (err :: EXCEPTION | eff) (Maybe String)
 readString r size enc = do
   v <- readEither r size
   case v of
        Nothing          -> pure Nothing
        Just (Left _)    -> throw "Stream encoding should not be set"
        Just (Right buf) -> Just <$> (unsafeInterleaveEff $ Buffer.toString enc buf)
 
-readEither :: forall w eff. Readable w eff -> Maybe Int -> Eff eff (Maybe (Either String Buffer))
+readEither
+  :: forall w eff
+   . Readable w eff
+  -> Maybe Int
+  -> Eff eff (Maybe (Either String Buffer))
 readEither r size = readImpl readChunk Nothing Just r (fromMaybe undefined size)
 
-foreign import readImpl :: forall r eff. (Chunk -> Either String Buffer) -> (forall a. Maybe a) -> (forall a. a -> Maybe a) -> Readable r eff -> Int -> Eff eff (Maybe (Either String Buffer))
+foreign import readImpl
+  :: forall r eff
+   . (Chunk -> Either String Buffer)
+  -> (forall a. Maybe a)
+  -> (forall a. a -> Maybe a)
+  -> Readable r eff
+  -> Int
+  -> Eff eff (Maybe (Either String Buffer))
 
 -- | Listen for `data` events, returning data in a String, which will be
 -- | decoded using the given encoding. Note that this will fail if `setEncoding`
 -- | has been called on the stream.
-onDataString :: forall w eff. Readable w (err :: EXCEPTION | eff) -> Encoding -> (String -> Eff (err :: EXCEPTION | eff) Unit) -> Eff (err :: EXCEPTION | eff) Unit
+onDataString
+  :: forall w eff
+   . Readable w (err :: EXCEPTION | eff)
+  -> Encoding
+  -> (String -> Eff (err :: EXCEPTION | eff) Unit)
+  -> Eff (err :: EXCEPTION | eff) Unit
 onDataString r enc cb = onData r (cb <=< unsafeInterleaveEff <<< Buffer.toString enc)
 
 -- | Listen for `data` events, returning data in an `Either String Buffer`. This
 -- | function is provided for the (hopefully rare) case that `setEncoding` has
 -- | been called on the stream.
-onDataEither :: forall r eff. Readable r (err :: EXCEPTION | eff) -> (Either String Buffer -> Eff (err :: EXCEPTION | eff) Unit) -> Eff (err :: EXCEPTION | eff) Unit
+onDataEither
+  :: forall r eff
+   . Readable r (err :: EXCEPTION | eff)
+  -> (Either String Buffer -> Eff (err :: EXCEPTION | eff) Unit)
+  -> Eff (err :: EXCEPTION | eff) Unit
 onDataEither r cb = onDataEitherImpl readChunk r cb
 
-foreign import onDataEitherImpl :: forall r eff. (Chunk -> Either String Buffer) -> Readable r eff -> (Either String Buffer -> Eff eff Unit) -> Eff eff Unit
+foreign import onDataEitherImpl
+  :: forall r eff
+   . (Chunk -> Either String Buffer)
+  -> Readable r eff
+  -> (Either String Buffer -> Eff eff Unit)
+  -> Eff eff Unit
 
-foreign import setEncodingImpl :: forall w eff. Readable w eff -> String -> Eff eff Unit
+foreign import setEncodingImpl
+  :: forall w eff
+   . Readable w eff
+  -> String
+  -> Eff eff Unit
 
 -- | Set the encoding used to read chunks as strings from the stream. This
 -- | function may be useful when you are passing a readable stream to some other
 -- | JavaScript library, which already expects an encoding to be set.
 -- |
 -- | Where possible, you should try to use `onDataString` instead of this
 -- | function.
-setEncoding :: forall w eff. Readable w eff -> Encoding -> Eff eff Unit
+setEncoding
+  :: forall w eff
+   . Readable w eff
+  -> Encoding
+  -> Eff eff Unit
 setEncoding r enc = setEncodingImpl r (show enc)
 
 -- | Listen for `readable` events.
-foreign import onReadable :: forall w eff. Readable w eff -> Eff eff Unit -> Eff eff Unit
+foreign import onReadable
+  :: forall w eff
+   . Readable w eff
+  -> Eff eff Unit
+  -> Eff eff Unit
 
 -- | Listen for `end` events.
-foreign import onEnd :: forall w eff. Readable w eff -> Eff eff Unit -> Eff eff Unit
+foreign import onEnd
+  :: forall w eff
+   . Readable w eff
+  -> Eff eff Unit
+  -> Eff eff Unit
 
 -- | Listen for `close` events.
-foreign import onClose :: forall w eff. Readable w eff -> Eff eff Unit -> Eff eff Unit
+foreign import onClose
+  :: forall w eff
+   . Readable w eff
+  -> Eff eff Unit
+  -> Eff eff Unit
 
 -- | Listen for `error` events.
-foreign import onError :: forall w eff. Readable w eff -> (Error -> Eff eff Unit) -> Eff eff Unit
+foreign import onError
+  :: forall w eff
+   . Readable w eff
+  -> (Error -> Eff eff Unit)
+  -> Eff eff Unit
 
 -- | Resume reading from the stream.
 foreign import resume :: forall w eff. Readable w eff -> Eff eff Unit
@@ -154,15 +221,36 @@ foreign import pause :: forall w eff. Readable w eff -> Eff eff Unit
 foreign import isPaused :: forall w eff. Readable w eff -> Eff eff Boolean
 
 -- | Read chunks from a readable stream and write them to a writable stream.
-foreign import pipe :: forall r w eff. Readable w eff -> Writable r eff -> Eff eff (Writable r eff)
+foreign import pipe
+  :: forall r w eff
+   . Readable w eff
+  -> Writable r eff
+  -> Eff eff (Writable r eff)
 
 -- | Write a Buffer to a writable stream.
-foreign import write :: forall r eff. Writable r eff -> Buffer -> Eff eff Unit -> Eff eff Boolean
-
-foreign import writeStringImpl :: forall r eff. Writable r eff -> String -> String -> Eff eff Unit -> Eff eff Boolean
+foreign import write
+  :: forall r eff
+   . Writable r eff
+  -> Buffer
+  -> Eff eff Unit
+  -> Eff eff Boolean
+
+foreign import writeStringImpl
+  :: forall r eff
+   . Writable r eff
+  -> String
+  -> String
+  -> Eff eff Unit
+  -> Eff eff Boolean
 
 -- | Write a string in the specified encoding to a writable stream.
-writeString :: forall r eff. Writable r eff -> Encoding -> String -> Eff eff Unit -> Eff eff Boolean
+writeString
+  :: forall r eff
+   . Writable r eff
+  -> Encoding
+  -> String
+  -> Eff eff Unit
+  -> Eff eff Boolean
 writeString w enc = writeStringImpl w (show enc)
 
 -- | Force buffering of writes.
@@ -171,16 +259,27 @@ foreign import cork :: forall r eff. Writable r eff -> Eff eff Unit
 -- | Flush buffered data.
 foreign import uncork :: forall r eff. Writable r eff -> Eff eff Unit
 
-foreign import setDefaultEncodingImpl :: forall r eff. Writable r eff -> String -> Eff eff Unit
+foreign import setDefaultEncodingImpl
+  :: forall r eff
+   . Writable r eff
+  -> String
+  -> Eff eff Unit
 
 -- | Set the default encoding used to write strings to the stream. This function
 -- | is useful when you are passing a writable stream to some other JavaScript
 -- | library, which already expects a default encoding to be set. It has no
 -- | effect on the behaviour of the `writeString` function (because that
 -- | function ensures that the encoding is always supplied explicitly).
-setDefaultEncoding :: forall r eff. Writable r eff -> Encoding -> Eff eff Unit
+setDefaultEncoding
+  :: forall r eff
+   . Writable r eff 
+  -> Encoding
+  -> Eff eff Unit
 setDefaultEncoding r enc = setDefaultEncodingImpl r (show enc)
 
 -- | End writing data to the stream.
-foreign import end :: forall r eff. Writable r eff -> Eff eff Unit -> Eff eff Unit
-
+foreign import end
+  :: forall r eff
+   . Writable r eff
+  -> Eff eff Unit
+  -> Eff eff Unit

test/Main.js

@@ -1,8 +1,5 @@
 "use strict";
 
-// module Test.Main
-
-
 exports.writableStreamBuffer = function() {
   var W = require('stream-buffers').WritableStreamBuffer;
   return new W;