files

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46// File panel state, filtering and folder-first tree construction.
// Paths and selection remain workspace-relative, matching the kernel tree ids.
import * as z from "zod";
import type { EffectClient } from "convergence/effect";
import type * as Fiber from "effect/Fiber";
import type { AppState } from "convergence";
import type { Tabs } from "../tabs/contract.ts";

export interface FilesState {
  workspaceId: string | null;
  paths: readonly string[];
  loaded: boolean;
  query: string;
  // The convergence/tabs client while its provider runs, the open file it
  // last announced, and the fiber following it; selection stays empty
  // without it.
  tabs: EffectClient<typeof Tabs> | undefined;
  activePath: string | null;
  follow: Fiber.Fiber<void> | undefined;
}

export const initialState = (): FilesState => ({
  workspaceId: null,
  paths: [],
  loaded: false,
  query: "",
  tabs: undefined,
  activePath: null,
  follow: undefined,
});

export function visiblePaths(paths: readonly string[], query: string): readonly string[] {
  const q = query.trim().toLowerCase();
  return q ? paths.filter((path) => path.toLowerCase().includes(q)).slice(0, 500) : paths;
}

export function isOpen(app: AppState): boolean {
  return app.shared?.rightPanel === "files" || app.shared?.rightPanelPreview === "files";
}

export function selectedPath(activePath: string | null): string | null {
  return typeof activePath === "string" ? activePath : null;
}

const finished = z.object({ event: z.literal("run_finished") });
export const runFinished = (kind: unknown): boolean => finished.safeParse(kind).success;