diff --git a/bower.json b/bower.json index edca4d2..e16acf6 100644 --- a/bower.json +++ b/bower.json @@ -12,10 +12,10 @@ "output" ], "dependencies": { - "purescript-record": "^2.0.1", - "purescript-typelevel-prelude": "^5.0.0" + "purescript-record": "^3.0.0", + "purescript-typelevel-prelude": "^6.0.0" }, "devDependencies": { - "purescript-console": "^4.2.0" + "purescript-console": "^5.0.0" } } diff --git a/shell.nix b/shell.nix new file mode 100644 index 0000000..e2815fc --- /dev/null +++ b/shell.nix @@ -0,0 +1,18 @@ +{ pkgs ? import { } }: +let + easy-ps = import + (pkgs.fetchFromGitHub { + owner = "justinwoo"; + repo = "easy-purescript-nix"; + rev = "5716cd791c999b3246b4fe173276b42c50afdd8d"; + sha256 = "1r9lx4xhr42znmwb2x2pzah920klbjbjcivp2f0pnka7djvd2adq"; + }) { + inherit pkgs; + }; +in +pkgs.mkShell { + buildInputs = [ + easy-ps.purs + easy-ps.psc-package + ]; +} diff --git a/src/Naporitan.purs b/src/Naporitan.purs index bf65838..d7f65ad 100644 --- a/src/Naporitan.purs +++ b/src/Naporitan.purs @@ -19,7 +19,7 @@ instance reflectRecordProxyInst :: where builder = reflectRecordProxyBuilder (RLProxy :: RLProxy rl) -class ReflectRecordProxyBuilder (rl :: RL.RowList) (i :: # Type) (o :: # Type) +class ReflectRecordProxyBuilder (rl :: RL.RowList Type) (i :: Row Type) (o :: Row Type) | rl -> i o where reflectRecordProxyBuilder :: RLProxy rl -> Builder { | i } { | o }