From 4a445edcb679345d6d730345a7d5cf39c8b70e6a Mon Sep 17 00:00:00 2001 From: LLLL Colonq Date: Mon, 18 Nov 2024 06:06:24 -0500 Subject: No logout; let's redirect --- src/UI.purs | 4 ++++ 1 file changed, 4 insertions(+) (limited to 'src/UI.purs') diff --git a/src/UI.purs b/src/UI.purs index d9a01bc..ac4d694 100644 --- a/src/UI.purs +++ b/src/UI.purs @@ -19,3 +19,7 @@ toJSON = _toJSON foreign import _reload :: Effect Unit reload :: forall m. MonadEffect m => m Unit reload = liftEffect _reload + +foreign import _redirect :: String -> Effect Unit +redirect :: forall m. MonadEffect m => String -> m Unit +redirect url = liftEffect $ _redirect url -- cgit v1.2.3