Add Router.replace

Author: sigma-andex

Diff for: packages.dhall

@@ -99,7 +99,7 @@ in  upstream
 -------------------------------
 -}
 let upstream =
-      https://github.com/purescript/package-sets/releases/download/psc-0.15.4-20220822/packages.dhall
-        sha256:908b4ffbfba37a0a4edf806513a555d0dbcdd0cde7abd621f8d018d2e8ecf828
+      https://github.com/purescript/package-sets/releases/download/psc-0.15.4-20230105/packages.dhall
+        sha256:3e9fbc9ba03e9a1fcfd895f65e2d50ee2f5e86c4cd273f3d5c841b655a0e1bda
 
 in  upstream

Diff for: spago.dhall

@@ -12,10 +12,12 @@ to generate this file without the comments in this block.
 -}
 { name = "my-project"
 , dependencies =
-  [ "aff-promise"
+  [ "aff"
+  , "aff-promise"
   , "console"
   , "effect"
   , "functions"
+  , "maybe"
   , "nullable"
   , "prelude"
   , "react-basic"

Diff for: src/Next/Router.js

@@ -1,24 +1,27 @@
-export { useRouter as useRouter_ } from 'next/router'
+export { useRouter as useRouter_ } from "next/router";
 import router from "next/router";
 
 export function _on(event) {
-  return function(cb) {
-    return function() {
+  return function (cb) {
+    return function () {
       router.events.on(event, cb);
     };
   };
 }
 
 export function _off(event) {
-  return function(cb) {
-    return function() {
+  return function (cb) {
+    return function () {
       router.events.off(event, cb);
     };
   };
 }
 
-export const query = (router) => router.query
+export const query = (router) => router.query;
 
-export const push = (router) => (route) => () => router.push(route)
+export const push = (router) => (route) => () => router.push(route);
 
-export const route = (router) => router.route
+export const route = (router) => router.route;
+
+export const replaceImpl = (router) => (route) => (as) => (options) => () =>
+  router.replace(route, as, options);

Diff for: src/Next/Router.purs

@@ -1,7 +1,14 @@
 module Next.Router where
 
 import Prelude
+
+import Control.Promise (Promise)
+import Control.Promise as Promise
+import Data.Maybe (Maybe)
+import Data.Nullable (Nullable)
+import Data.Nullable as Nullable
 import Effect (Effect)
+import Effect.Aff (Aff)
 import Effect.Uncurried (mkEffectFn1)
 import React.Basic.Hooks (Hook, unsafeHook)
 
@@ -18,6 +25,13 @@ foreign import query :: forall q. Router -> q
 
 foreign import push :: Router -> String -> Effect Unit
 
+type RoutingOptions = { shallow :: Boolean }
+
+foreign import replaceImpl :: Router -> String -> Nullable String -> Nullable RoutingOptions -> Effect (Promise Boolean)
+
+replace :: Router -> String -> Maybe String -> Maybe RoutingOptions -> Aff Boolean
+replace router url asUrl options = replaceImpl router url (Nullable.toNullable asUrl) (Nullable.toNullable options) # Promise.toAffE
+
 foreign import route :: Router -> String
 
 foreign import _on :: forall a. String -> a -> Effect Unit