chore: proxy globally usable

Author: Bishwas-py

svelte_frontend/src/items/PutFlash.svelte

@@ -0,0 +1,47 @@
+<script lang="ts">
+  import {page} from '$app/stores';
+  import {parse} from 'cookie';
+  import {afterNavigate} from '$app/navigation';
+  import type {FlashMessage, Message, MessageFlux,} from "$lib/types.js";
+  import {add_toast, dismiss_toast_after} from "$lib/notifier.svelte.js";
+  import {untrack} from "svelte";
+
+  function flux_message_to_proper(msg_source: MessageFlux) {
+    if (!msg_source || !msg_source.message) return;
+    return {
+      message_type: msg_source?.message_type || 'warning',
+      alias: msg_source?.alias || 'system',
+      message: msg_source.message,
+      action: msg_source.action,
+    } as Message;
+  }
+
+  function trigger_message(msg_source: MessageFlux) {
+    const proper_msg = flux_message_to_proper(msg_source);
+    if (proper_msg) untrack(() => dismiss_toast_after(add_toast(proper_msg)));
+  }
+
+  $effect(() => {
+    trigger_message($page.form);
+    trigger_message($page.data);
+    trigger_message($page.error);
+  });
+
+  function assign_flash_message() {
+    try {
+      const raw_flash_message = parse(document.cookie)[`flash_message`];
+      if (raw_flash_message) {
+        const flash_message = JSON.parse(atob(raw_flash_message) || '{}') as FlashMessage;
+        if (flash_message.path !== $page.url.pathname) return;
+        trigger_message(flash_message);
+        document.cookie = `flash_message=; expires=Thu, 01 Jan 1970 00:00:00 UTC; path=/;`;
+      }
+    } catch (e) {
+      console.error(e);
+    }
+  }
+
+  afterNavigate(() => {
+    assign_flash_message();
+  });
+</script>

svelte_frontend/src/items/Record.svelte

@@ -0,0 +1,7 @@
+<script lang="ts">
+  const {...restParams}: Record<string, string> = $props();
+</script>
+
+{#each Object.entries(restParams) as [key, value]}
+ <input name="{key}" type="hidden" value="{value}"/>
+{/each}

svelte_frontend/src/lib/interfaces/proxy.ts renamed to svelte_frontend/src/lib/interfaces/repl-modes.ts

@@ -0,0 +1,47 @@
+import type {BaseMessage, Toast} from "$lib/types.js";
+
+
+const AUTO_DISMISS_DURATION = 7777;
+
+/*
+Notifier is a global store that manages toast notifications
+- toasts: a list of toast notifications
+- error_: a flag to indicate if any error has occurred; implementation is up to the developer
+ */
+export let notifier = $state({
+    toasts: [] as Toast[],
+    error_: false,
+})
+
+/*
+Add a toast to the notifier
+ */
+export function add_toast(message: BaseMessage, auto_dismiss_duration = AUTO_DISMISS_DURATION) {
+    const toast: Toast = {...message, auto_dismiss_duration, id: crypto.randomUUID(),};
+    notifier.toasts.push(toast);
+    return toast;
+}
+
+/*
+Dismiss a toast, given its id
+ */
+export function dismiss_toast(toastId: string) {
+    const index = notifier.toasts.findIndex((toast) => toast && toast.id === toastId);
+    notifier.toasts.splice(index, 1);
+}
+
+/*
+Dismiss a toast after a given duration
+ */
+export function dismiss_toast_after(toast: Toast) {
+    setTimeout(() => {
+        dismiss_toast(toast.id);
+    }, toast.auto_dismiss_duration);
+}
+
+/*
+Dismiss all toasts
+ */
+export function dismiss_all_toasts() {
+    notifier.toasts.splice(0, notifier.toasts.length);
+}