Migrate to Deno (#86)

Big bang migration to Deno 🤯
2022-10-10 14:50:21 +02:00
parent 78f83c70d8
commit 561aa6891f
287 changed files with 4577 additions and 25087 deletions
@@ -0,0 +1,100 @@
+import { AppCommand } from "./hooks/command.ts";
+import { FilterOption, PageMeta } from "../common/types.ts";
+
+export type Notification = {
+  id: number;
+  message: string;
+  type: "info" | "error";
+  date: Date;
+};
+
+type EditorMode = "ro" | "rw";
+
+export type PanelMode = number;
+
+export type PanelConfig = {
+  mode?: PanelMode;
+  html?: string;
+  script?: string;
+};
+
+export type AppViewState = {
+  currentPage?: string;
+  perm: EditorMode;
+  forcedROMode: boolean;
+  isLoading: boolean;
+  showPageNavigator: boolean;
+  showCommandPalette: boolean;
+  unsavedChanges: boolean;
+  panels: { [key: string]: PanelConfig };
+  allPages: Set<PageMeta>;
+  commands: Map<string, AppCommand>;
+  notifications: Notification[];
+  recentCommands: Map<string, Date>;
+
+  showFilterBox: boolean;
+  filterBoxLabel: string;
+  filterBoxPlaceHolder: string;
+  filterBoxOptions: FilterOption[];
+  filterBoxHelpText: string;
+  filterBoxOnSelect: (option: FilterOption | undefined) => void;
+};
+
+export const initialViewState: AppViewState = {
+  perm: "rw",
+  forcedROMode: false,
+  isLoading: false,
+  showPageNavigator: false,
+  showCommandPalette: false,
+  unsavedChanges: false,
+  panels: {
+    lhs: {},
+    rhs: {},
+    bhs: {},
+    modal: {},
+  },
+  allPages: new Set(),
+  commands: new Map(),
+  recentCommands: new Map(),
+  notifications: [],
+  showFilterBox: false,
+  filterBoxHelpText: "",
+  filterBoxLabel: "",
+  filterBoxOnSelect: () => {},
+  filterBoxOptions: [],
+  filterBoxPlaceHolder: "",
+};
+
+export type Action =
+  | { type: "page-loaded"; meta: PageMeta }
+  | { type: "page-loading"; name: string }
+  | { type: "pages-listed"; pages: Set<PageMeta> }
+  | { type: "page-changed" }
+  | { type: "page-saved" }
+  | { type: "start-navigate" }
+  | { type: "stop-navigate" }
+  | {
+    type: "update-commands";
+    commands: Map<string, AppCommand>;
+  }
+  | { type: "show-palette"; context?: string }
+  | { type: "hide-palette" }
+  | { type: "show-notification"; notification: Notification }
+  | { type: "dismiss-notification"; id: number }
+  | {
+    type: "show-panel";
+    id: "rhs" | "lhs" | "bhs" | "modal";
+    config: PanelConfig;
+  }
+  | { type: "hide-panel"; id: string }
+  | { type: "command-run"; command: string }
+  | {
+    type: "show-filterbox";
+    options: FilterOption[];
+    placeHolder: string;
+    helpText: string;
+    label: string;
+    onSelect: (option: FilterOption | undefined) => void;
+  }
+  | { type: "hide-filterbox" }
+  | { type: "set-editor-ro"; enabled: boolean };