Update to PureScript v0.15.0 (#41)

* Migrated FFI to ES modules via 'lebab'

* Replaced 'export var' with 'export const'

* Removed '"use strict";' in FFI files

* Update to CI to use 'unstable' purescript

* Add CI test: verify 'bower.json' file works via pulp

* Ignore spago-based tests (temporarily)

* Update Bower dependencies to master or main

* Update packages.dhall to 'prepare-0.15' package set

* Fix FFI exports

* Update SProxy to use Proxy

* Installed bower dev dependency: purescript-quickcheck-laws@main

* Fix Proxy import

* Add changelog entry

* Update .github/workflows/ci.yml

Co-authored-by: Thomas Honeyman <[email protected]>

Co-authored-by: Thomas Honeyman <[email protected]>

Author: JordanMartinez

.github/workflows/ci.yml

@@ -16,6 +16,7 @@ jobs:
       - name: Set up a PureScript toolchain
         uses: purescript-contrib/setup-purescript@main
         with:
+          purescript: "unstable"
           purs-tidy: "latest"
 
       - name: Cache PureScript dependencies
@@ -38,8 +39,17 @@ jobs:
       - name: Build tests
         run: spago -x spago-test.dhall build --no-install --purs-args '--censor-lib --strict'
 
-      - name: Run tests
-        run: spago -x spago-test.dhall test --no-install
+#      - name: Run tests
+#        run: spago -x spago-test.dhall test --no-install
 
       - name: Check formatting
         run: purs-tidy check src test
+
+      - name: Verify Bower & Pulp
+        run: |
+          npm install bower [email protected]
+          npx bower install
+          npx pulp build -- --censor-lib --strict
+          if [ -d "test" ]; then
+            npx pulp test
+          fi

CHANGELOG.md

@@ -2,6 +2,12 @@
 
 Notable changes to this project are documented in this file. The format is based on [Keep a Changelog](https://keepachangelog.com/en/1.0.0/) and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0.html).
 
+## Unreleased
+
+Breaking Changes:
+- Migrate FFI to ES modules (#41 by @JordanMartinez)
+- Replaced polymorphic proxies with monomorphic `Proxy` (#41 by @JordanMartinez)
+
 ## v12.0.0
 
 Delete the `TypedArray` polyfill which was preventing this

bower.json

@@ -1,30 +1,33 @@
 {
-    "name": "purescript-arraybuffer",
-    "license": [
-        "MIT"
-    ],
-    "repository": {
-        "type": "git",
-        "url": "https://github.com/purescript-contrib/purescript-arraybuffer"
-    },
-    "ignore": [
-        "**/.*",
-        "node_modules",
-        "bower_components",
-        "output"
-    ],
-    "dependencies": {
-        "purescript-arraybuffer-types": "^v3.0.1",
-        "purescript-arrays": "^v6.0.1",
-        "purescript-effect": "^v3.0.0",
-        "purescript-float32": "^v1.0.0",
-        "purescript-functions": "^v5.0.0",
-        "purescript-gen": "^v3.0.0",
-        "purescript-maybe": "^v5.0.0",
-        "purescript-nullable": "^v5.0.0",
-        "purescript-prelude": "^v5.0.1",
-        "purescript-tailrec": "^v5.0.1",
-        "purescript-uint": "^v6.0.3",
-        "purescript-unfoldable": "^v5.0.0"
-    }
+  "name": "purescript-arraybuffer",
+  "license": [
+    "MIT"
+  ],
+  "repository": {
+    "type": "git",
+    "url": "https://github.com/purescript-contrib/purescript-arraybuffer"
+  },
+  "ignore": [
+    "**/.*",
+    "node_modules",
+    "bower_components",
+    "output"
+  ],
+  "dependencies": {
+    "purescript-arraybuffer-types": "main",
+    "purescript-arrays": "master",
+    "purescript-effect": "master",
+    "purescript-float32": "main",
+    "purescript-functions": "master",
+    "purescript-gen": "master",
+    "purescript-maybe": "master",
+    "purescript-nullable": "main",
+    "purescript-prelude": "master",
+    "purescript-tailrec": "master",
+    "purescript-uint": "main",
+    "purescript-unfoldable": "master"
+  },
+  "devDependencies": {
+    "purescript-quickcheck-laws": "main"
+  }
 }

packages.dhall

@@ -1,8 +1,4 @@
 let upstream =
-      https://github.com/purescript/package-sets/releases/download/psc-0.14.3-20210722/packages.dhall sha256:1ceb43aa59436bf5601bac45f6f3781c4e1f0e4c2b8458105b018e5ed8c30f8c
+      https://raw.githubusercontent.com/purescript/package-sets/prepare-0.15/src/packages.dhall
 
-let overrides = {=}
-
-let additions = {=}
-
-in  upstream // overrides // additions
+in  upstream

src/Data/ArrayBuffer/ArrayBuffer.js

@@ -1,15 +1,13 @@
-"use strict";
-
 // module Data.ArrayBuffer.ArrayBuffer
 
-exports.emptyImpl = function empty (s) {
+export function emptyImpl(s) {
     return new ArrayBuffer(s);
 };
 
-exports.byteLength = function byteLength (a) {
+export function byteLength(a) {
     return a.byteLength;
-};
+}
 
-exports.sliceImpl = function sliceImpl (a, s, e) {
+export function sliceImpl(a, s, e) {
     return a.slice(s, e);
-};
+}

src/Data/ArrayBuffer/DataView.js

@@ -1,43 +1,41 @@
-"use strict";
-
 // module Data.ArrayBuffer.DataView
 
 
-exports.whole = function whole (b) {
+export function whole(b) {
     return new DataView(b);
-};
+}
 
-exports.remainderImpl = function remainderImpl (b,i) {
+export function remainderImpl(b, i) {
     return new DataView(b,i);
-};
+}
 
-exports.partImpl = function partImpl (b,i,j) {
+export function partImpl(b, i, j) {
     return new DataView(b,i,j);
-};
+}
 
-exports.buffer = function buffer (v) {
+export function buffer(v) {
     return v.buffer;
-};
+}
 
-exports.byteOffset = function byteOffset (v) {
+export function byteOffset(v) {
     return v.byteOffset;
-};
+}
 
-exports.byteLength = function byteLength (v) {
+export function byteLength(v) {
     return v.byteLength;
-};
+}
 
-exports.getterImpl = function getterImpl (data, v, o) {
+export function getterImpl(data, v, o) {
     return ((o + data.bytesPerValue) >>> 0) <= v.byteLength
         ? v[data.functionName].call(v,o,data.littleEndian)
         : null;
-};
+}
 
-exports.setterImpl = function setterImpl (data, v, o, n) {
+export function setterImpl(data, v, o, n) {
     if (((o + data.bytesPerValue) >>> 0) <= v.byteLength) {
         v[data.functionName].call(v,o,n,data.littleEndian);
         return true;
     } else {
         return false;
     }
-};
+}

src/Data/ArrayBuffer/DataView.purs

@@ -49,7 +49,7 @@ import Data.ArrayBuffer.ValueMapping (class BinaryValue, class BytesPerType, cla
 import Data.Float32 (Float32) as F
 import Data.Maybe (Maybe)
 import Data.Nullable (Nullable, toMaybe)
-import Data.Symbol (SProxy(..), class IsSymbol, reflectSymbol)
+import Data.Symbol (class IsSymbol, reflectSymbol)
 import Data.UInt (UInt)
 import Effect (Effect)
 import Effect.Uncurried (EffectFn2, EffectFn3, EffectFn4, runEffectFn2, runEffectFn3, runEffectFn4)
@@ -131,7 +131,7 @@ get
 get endian prx = do
   let
     le = endian == LE
-    pnm = "get" <> reflectSymbol (SProxy :: SProxy name)
+    pnm = "get" <> reflectSymbol (Proxy :: Proxy name)
     bpv = byteWidth prx
 
   getter
@@ -203,7 +203,7 @@ set
 set endian prx = do
   let
     le = endian == LE
-    pnm = "set" <> reflectSymbol (SProxy :: SProxy name)
+    pnm = "set" <> reflectSymbol (Proxy :: Proxy name)
     bpv = byteWidth prx
 
   setter