Compiler/0.12

.eslintrc.json

@@ -0,0 +1,29 @@
+{
+  "parserOptions": {
+    "ecmaVersion": 5
+  },
+  "extends": "eslint:recommended",
+  "env": {
+    "commonjs": true,
+    "browser": true
+  },
+  "rules": {
+    "strict": [2, "global"],
+    "block-scoped-var": 2,
+    "consistent-return": 2,
+    "eqeqeq": [2, "smart"],
+    "guard-for-in": 2,
+    "no-caller": 2,
+    "no-extend-native": 2,
+    "no-loop-func": 2,
+    "no-new": 2,
+    "no-param-reassign": 2,
+    "no-return-assign": 2,
+    "no-unused-expressions": 2,
+    "no-use-before-define": 2,
+    "radix": [2, "always"],
+    "indent": [2, 2],
+    "quotes": [2, "double"],
+    "semi": [2, "always"]
+  }
+}

.gitignore

@@ -1,9 +1,8 @@
+/.*
+!/.gitignore
+!/.eslintrc.json
+!/.travis.yml
+package-lock.json
 /bower_components/
 /node_modules/
-/.pulp-cache/
 /output/
-/.psc*
-/.psa*
-/.purs*
-/.vscode
-/package-lock.json

.travis.yml

@@ -2,15 +2,20 @@ language: node_js
 dist: trusty
 sudo: required
 node_js: stable
+env:
+  - PATH=$HOME/purescript:$PATH
 install:
-  - npm install
+  - TAG=$(wget -q -O - https://github.com/purescript/purescript/releases/latest --server-response --max-redirect 0 2>&1 | sed -n -e 's/.*Location:.*tag\///p')
+  - wget -O $HOME/purescript.tar.gz https://github.com/purescript/purescript/releases/download/$TAG/linux64.tar.gz
+  - tar -xvf $HOME/purescript.tar.gz -C $HOME/
+  - chmod a+x $HOME/purescript
   - npm install -g bower
-  - bower install --production
+  - npm install
 script:
+  - bower install
   - npm run -s build
 after_success:
 - >-
   test $TRAVIS_TAG &&
   echo $GITHUB_TOKEN | pulp login &&
-  echo y | pulp publish --no-push ||
-  git status
+  echo y | pulp publish --no-push

README.md

@@ -1,3 +1,16 @@
 # purescript-web-xhr
 
-Low-level bindings for `XMLHttpRequest`.
+[![Latest release](http://img.shields.io/github/release/purescript-web/purescript-web-xhr.svg)](https://github.com/purescript-web/purescript-web-xhr/releases)
+[![Build status](https://travis-ci.org/purescript-web/purescript-web-xhr.svg?branch=master)](https://travis-ci.org/purescript-web/purescript-web-xhr)
+
+Type definitions and low level interface implementations for the W3C XmlHttpRequest API.
+
+## Installation
+
+```
+bower install purescript-web-xhr
+```
+
+## Documentation
+
+Module documentation is [published on Pursuit](http://pursuit.purescript.org/packages/purescript-web-xhr).

bower.json

@@ -16,19 +16,10 @@
     "output"
   ],
   "dependencies": {
-    "purescript-prelude": "^3.0.0",
-    "purescript-console": "^3.0.0",
-    "purescript-dom": "^4.0.0",
-    "purescript-datetime": "^3.0.0",
-    "purescript-foreign": "^4.0.0",
-    "purescript-nullable": "^3.0.0",
-    "purescript-eff": "^3.1.0",
-    "purescript-proxy": "^2.0.0",
-    "purescript-unsafe-coerce": "^3.0.0",
-    "purescript-maybe": "^3.0.0",
-    "purescript-arraybuffer-types": "^1.0.0"
-  },
-  "devDependencies": {
-    "purescript-psci-support": "^3.0.0"
+    "purescript-arraybuffer-types": "^2.0.0",
+    "purescript-datetime": "^4.0.0",
+    "purescript-http-methods": "^4.0.0",
+    "purescript-web-dom": "^1.0.0",
+    "purescript-web-file": "^1.0.0"
   }
 }

package.json

@@ -1,11 +1,13 @@
 {
   "private": true,
   "scripts": {
-    "build": "pulp build -- --strict --censor-lib"
+    "clean": "rimraf output && rimraf .pulp-cache",
+    "build": "eslint src && pulp build -- --censor-lib --strict"
   },
   "devDependencies": {
-    "pulp": "^12.0.0",
-    "purescript": "^0.11.6",
-    "purescript-psa": "^0.5.0"
+    "eslint": "^4.19.1",
+    "pulp": "^12.2.0",
+    "purescript-psa": "^0.6.0",
+    "rimraf": "^2.6.2"
   }
 }

src/Web/XHR/EventTypes.purs

@@ -0,0 +1,24 @@
+module Web.XHR.EventTypes where
+
+import Web.Event.Event (EventType(..))
+
+loadstart :: EventType
+loadstart = EventType "loadstart"
+
+progress :: EventType
+progress = EventType "progress"
+
+abort :: EventType
+abort = EventType "abort"
+
+error :: EventType
+error = EventType "error"
+
+load :: EventType
+load = EventType "load"
+
+timeout :: EventType
+timeout = EventType "timeout"
+
+loadend :: EventType
+loadend = EventType "loadend"

src/Web/XHR/FormData.js

@@ -0,0 +1,29 @@
+"use strict";
+
+exports["new"] = function() {
+  return new FormData();
+};
+
+exports._append = function(name, value, fd) {
+  fd.append(name, value);
+};
+
+exports._appendBlob = function(name, value, filename, fd) {
+  fd.append(name, value, filename);
+};
+
+exports._delete = function(name, fd) {
+  fd.delete(name);
+};
+
+exports._has = function(name, fd) {
+  return fd.has(name);
+};
+
+exports._set = function(name, value, fd) {
+  fd.set(name, value);
+};
+
+exports._setBlob = function(name, value, filename, fd) {
+  fd.set(name, value, filename);
+};

src/Web/XHR/FormData.purs

@@ -0,0 +1,77 @@
+module Web.XHR.FormData
+  ( FormData
+  , EntryName(..)
+  , FileName(..)
+  , new
+  , append
+  , appendBlob
+  , delete
+  , has
+  , set
+  , setBlob
+  ) where
+
+import Prelude
+
+import Data.Maybe (Maybe)
+import Data.Newtype (class Newtype)
+import Data.Nullable (Nullable, toNullable)
+import Effect (Effect)
+import Effect.Uncurried as Fn
+import Web.File.Blob (Blob)
+
+foreign import data FormData :: Type
+
+newtype EntryName = EntryName String
+
+derive newtype instance eqEntryName :: Eq EntryName
+derive newtype instance ordEntryName :: Ord EntryName
+derive instance newtypeEntryName :: Newtype EntryName _
+
+newtype FileName = FileName String
+
+derive newtype instance eqFileName :: Eq FileName
+derive newtype instance ordFileName :: Ord FileName
+derive instance newtypeFileName :: Newtype FileName _
+
+foreign import new :: Effect FormData
+
+append :: EntryName -> String -> FormData -> Effect Unit
+append name value fd = Fn.runEffectFn3 _append name value fd
+
+appendBlob :: EntryName -> Blob -> Maybe FileName -> FormData -> Effect Unit
+appendBlob name value filename fd = Fn.runEffectFn4 _appendBlob name value (toNullable filename) fd
+
+delete :: EntryName -> FormData -> Effect Unit
+delete name fd = Fn.runEffectFn2 _delete name fd
+
+has :: EntryName -> FormData -> Effect Boolean
+has name fd = Fn.runEffectFn2 _has name fd
+
+set :: EntryName -> String -> FormData -> Effect Unit
+set name value fd = Fn.runEffectFn3 _set name value fd
+
+setBlob :: EntryName -> Blob -> Maybe FileName -> FormData -> Effect Unit
+setBlob name value filename fd = Fn.runEffectFn4 _setBlob name value (toNullable filename) fd
+
+-- void append(USVString name, USVString value);
+foreign import _append :: Fn.EffectFn3 EntryName String FormData Unit
+
+-- void append(USVString name, Blob blobValue, optional USVString filename);
+foreign import _appendBlob :: Fn.EffectFn4 EntryName Blob (Nullable FileName) FormData Unit
+
+-- void delete(USVString name);
+foreign import _delete :: Fn.EffectFn2 EntryName FormData Unit
+
+-- boolean has(USVString name);
+foreign import _has :: Fn.EffectFn2 EntryName FormData Boolean
+
+-- void set(USVString name, USVString value);
+foreign import _set :: Fn.EffectFn3 EntryName String FormData Unit
+
+-- void set(USVString name, Blob blobValue, optional USVString filename);
+foreign import _setBlob :: Fn.EffectFn4 EntryName Blob (Nullable FileName) FormData Unit
+
+-- FormDataEntryValue? get(USVString name);
+-- sequence<FormDataEntryValue> getAll(USVString name);
+-- iterable<USVString, FormDataEntryValue>;

src/Web/XHR/ProgressEvent.js

@@ -0,0 +1,17 @@
+"use strict";
+
+exports.lengthComputable = function(ev) {
+  return ev.lengthComputable;
+};
+
+exports.lengthComputable = function(ev) {
+  return ev.lengthComputable;
+};
+
+exports.loaded = function(ev) {
+  return ev.loaded;
+};
+
+exports.total = function(ev) {
+  return ev.total;
+};

src/Web/XHR/ProgressEvent.purs

@@ -0,0 +1,20 @@
+module Web.XHR.ProgressEvent where
+
+import Data.Maybe (Maybe)
+import Unsafe.Coerce (unsafeCoerce)
+import Web.Event.Event (Event)
+import Web.Internal.FFI (unsafeReadProtoTagged)
+
+foreign import data ProgressEvent :: Type
+
+fromEvent :: Event -> Maybe ProgressEvent
+fromEvent = unsafeReadProtoTagged "ProgressEvent"
+
+toEvent :: ProgressEvent -> Event
+toEvent = unsafeCoerce
+
+foreign import lengthComputable :: ProgressEvent -> Boolean
+
+foreign import loaded :: ProgressEvent -> Number
+
+foreign import total :: ProgressEvent -> Number

src/Web/XHR/ReadyState.purs

@@ -0,0 +1,46 @@
+module Web.XHR.ReadyState where
+
+import Prelude
+
+import Data.Enum (class BoundedEnum, class Enum, Cardinality(..), defaultPred, defaultSucc)
+import Data.Maybe (Maybe(..))
+
+data ReadyState
+  = Unsent
+  | Opened
+  | HeadersReceived
+  | Loading
+  | Done
+
+derive instance eqReadyState :: Eq ReadyState
+derive instance ordReadyState :: Ord ReadyState
+
+instance boundedReadyState :: Bounded ReadyState where
+  bottom = Unsent
+  top = Done
+
+instance enumReadyState :: Enum ReadyState where
+  succ = defaultSucc toEnum fromEnum
+  pred = defaultPred toEnum fromEnum
+
+instance boundedEnumReadyState :: BoundedEnum ReadyState where
+  cardinality = Cardinality 5
+  toEnum = toEnum
+  fromEnum = fromEnum
+
+toEnum :: Int -> Maybe ReadyState
+toEnum = case _ of
+  0 -> Just Unsent
+  1 -> Just Opened
+  2 -> Just HeadersReceived
+  3 -> Just Loading
+  4 -> Just Done
+  _ -> Nothing
+
+fromEnum :: ReadyState -> Int
+fromEnum = case _ of
+  Unsent -> 0
+  Opened -> 1
+  HeadersReceived -> 2
+  Loading -> 3
+  Done -> 4

src/Web/XHR/ResponseType.purs

@@ -0,0 +1,25 @@
+module Web.XHR.ResponseType
+  ( ResponseType
+  , arrayBuffer
+  , blob
+  , document
+  , string
+  ) where
+
+import Web.File.Blob (Blob)
+import Web.DOM.Document (Document)
+import Data.ArrayBuffer.Types (ArrayBuffer)
+
+newtype ResponseType res = ResponseType String
+
+arrayBuffer :: ResponseType ArrayBuffer
+arrayBuffer = ResponseType "arraybuffer"
+
+blob :: ResponseType Blob
+blob = ResponseType "blob"
+
+document :: ResponseType Document
+document = ResponseType "document"
+
+string :: ResponseType String
+string = ResponseType ""