diff options
| author | LLLL Colonq <llll@colonq> | 2024-11-18 06:06:24 -0500 |
|---|---|---|
| committer | LLLL Colonq <llll@colonq> | 2024-11-18 06:06:24 -0500 |
| commit | 4a445edcb679345d6d730345a7d5cf39c8b70e6a (patch) | |
| tree | 994693bf293ce1cc584d445c55c859261e4beebe /src/UI.purs | |
| parent | 229bbf710df29809b7fe0068c45d2c47a1908598 (diff) | |
No logout; let's redirect
Diffstat (limited to 'src/UI.purs')
| -rw-r--r-- | src/UI.purs | 4 |
1 files changed, 4 insertions, 0 deletions
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 |