Upgrade to purescript 0.14.2

.envrc

@@ -0,0 +1 @@
+use_nix

bower.json

@@ -15,7 +15,6 @@
     "purescript-prelude": "^4.1.1",
     "purescript-unsafe-coerce": "^4.0.0",
     "purescript-typelevel": "^6.0.0",
-    "purescript-generics-rep": "^6.1.1"
   },
   "devDependencies": {
     "purescript-psci-support": "^4.0.0"

nix/easy-ps.nix

@@ -0,0 +1,13 @@
+{ pkgs ? import ./pinned.nix { } }:
+
+import
+  (
+    pkgs.fetchFromGitHub {
+      owner = "justinwoo";
+      repo = "easy-purescript-nix";
+      rev = "master";
+      sha256 = "051fzxd03y0c63sll2bhn0h66dywy9lw6ylyh5vq8fymvix20q94";
+    }
+  ) {
+  inherit pkgs;
+}

nix/pinned.nix

@@ -0,0 +1,6 @@
+import (
+  builtins.fetchTarball {
+    url = "https://github.com/NixOS/nixpkgs/archive/21.05.tar.gz";
+    sha256 = "1ckzhh24mgz6jd1xhfgx0i9mijk6xjqxwsshnvq789xsavrmsc36";
+  }
+)

package.json

@@ -0,0 +1,5 @@
+{
+  "devDependencies": {
+    "spago": "^0.20.3"
+  }
+}

packages.dhall

@@ -119,7 +119,7 @@ let additions =
 
 
 let upstream =
-      https://github.com/purescript/package-sets/releases/download/psc-0.13.6-20200423/packages.dhall sha256:c180a06bb5444fd950f8cbdd6605c644fd246deb397e62572b8f4a6b9dbcaf22
+      https://github.com/purescript/package-sets/releases/download/psc-0.14.2-20210613/packages.dhall sha256:64d7b5a1921e8458589add8a1499a1c82168e726a87fc4f958b3f8760cca2efe
 
 let overrides = {=}
 

shell.nix

@@ -0,0 +1,19 @@
+{ pkgs ? import ./nix/pinned.nix { } }:
+let
+  easy-ps = import ./nix/easy-ps.nix { inherit pkgs; };
+
+  build = pkgs.writeShellScriptBin "build" ''
+    #!/usr/bin/env bash
+    purs compile "src/**/*.purs" "test/**/*.purs"
+  '';
+in
+pkgs.mkShell {
+  name = "purescript-reactix-d3";
+
+  buildInputs = [
+    easy-ps.purs-0_14_2
+    easy-ps.psc-package
+    build
+    pkgs.dhall-json
+  ];
+}

spago.dhall

@@ -4,12 +4,14 @@ You can edit this file as you like.
 -}
 { name = "tuples-native"
 , dependencies =
-  [ "generics-rep"
+  [ "console"
+  , "effect"
+  , "functions"
   , "prelude"
   , "psci-support"
+  , "tuples"
   , "typelevel"
-  , "unsafe-coerce"
-  , "functions"
+  , "typelevel-prelude"
   ]
 , packages = ./packages.dhall
 , sources = [ "src/**/*.purs", "test/**/*.purs" ]

src/Data/Tuple/Native.purs

@@ -65,7 +65,7 @@ prj n t = runFn2 prjImpl (toInt n) t
 
 
 -- | Represented as a heterogeneous array under the hood
-foreign import data TupleN :: RowList -> Type
+foreign import data TupleN :: RowList Type -> Type
 
 
 type T2  a b =
@@ -112,7 +112,7 @@ foreign import t7_ :: forall a b c d e f g    . Fn7 a b c d e f g (T7 a b c d e
 foreign import t8_ :: forall a b c d e f g h  . Fn8 a b c d e f g h (T8 a b c d e f g h)
 foreign import t9_ :: forall a b c d e f g h i. Fn9 a b c d e f g h i (T9 a b c d e f g h i)
 
-class TupleSize n (t :: RowList) | t -> n
+class TupleSize n (t :: RowList Type) | t -> n
 
 instance tupleSizeT2 :: TupleSize D2 (Cons "0" a (Cons "1" b Nil))
 instance tupleSizeT3 :: TupleSize D3 (Cons "0" a (Cons "1" b (Cons "2" c Nil)))