@prover-coder-ai/docker-git 1.0.5

package/src/docker-git/menu-select.ts

@@ -0,0 +1,250 @@
+import { runDockerComposeDown } from "@effect-template/lib/shell/docker"
+import type { AppError } from "@effect-template/lib/usecases/errors"
+import {
+  connectProjectSshWithUp,
+  deleteDockerGitProject,
+  listRunningProjectItems,
+  type ProjectItem
+} from "@effect-template/lib/usecases/projects"
+
+import { Effect, Match, pipe } from "effect"
+
+import { resetToMenu, resumeTui, suspendTui } from "./menu-shared.js"
+import type { MenuEnv, MenuKeyInput, MenuRunner, MenuViewContext, ViewState } from "./menu-types.js"
+
+// CHANGE: handle project selection flow in TUI
+// WHY: allow selecting active project without manual typing
+// QUOTE(ТЗ): "А ты можешь сделать удобный выбор проектов?"
+// REF: user-request-2026-02-02-select-project
+// SOURCE: n/a
+// FORMAT THEOREM: forall p: select(p) -> activeDir(p)
+// PURITY: SHELL
+// EFFECT: Effect<void, never, never>
+// INVARIANT: selected index always within items length
+// COMPLEXITY: O(1) per keypress
+
+type SelectContext = MenuViewContext & {
+  readonly activeDir: string | null
+  readonly runner: MenuRunner
+  readonly setSshActive: (active: boolean) => void
+  readonly setSkipInputs: (update: (value: number) => number) => void
+}
+
+export const startSelectView = (
+  items: ReadonlyArray<ProjectItem>,
+  purpose: "Connect" | "Down" | "Info" | "Delete",
+  context: Pick<SelectContext, "setView" | "setMessage">
+) => {
+  context.setMessage(null)
+  context.setView({ _tag: "SelectProject", purpose, items, selected: 0, confirmDelete: false })
+}
+
+const clampIndex = (value: number, size: number): number => {
+  if (size <= 0) {
+    return 0
+  }
+  if (value < 0) {
+    return 0
+  }
+  if (value >= size) {
+    return size - 1
+  }
+  return value
+}
+
+export const handleSelectInput = (
+  input: string,
+  key: MenuKeyInput,
+  view: Extract<ViewState, { readonly _tag: "SelectProject" }>,
+  context: SelectContext
+) => {
+  if (key.escape) {
+    resetToMenu(context)
+    return
+  }
+  if (handleSelectNavigation(key, view, context)) {
+    return
+  }
+  if (key.return) {
+    handleSelectReturn(view, context)
+    return
+  }
+  handleSelectHint(input, context)
+}
+
+const handleSelectNavigation = (
+  key: MenuKeyInput,
+  view: Extract<ViewState, { readonly _tag: "SelectProject" }>,
+  context: SelectContext
+): boolean => {
+  if (key.upArrow) {
+    const next = clampIndex(view.selected - 1, view.items.length)
+    context.setView({ ...view, selected: next, confirmDelete: false })
+    return true
+  }
+  if (key.downArrow) {
+    const next = clampIndex(view.selected + 1, view.items.length)
+    context.setView({ ...view, selected: next, confirmDelete: false })
+    return true
+  }
+  return false
+}
+
+const runWithSuspendedTui = (
+  context: Pick<SelectContext, "runner" | "setMessage" | "setSkipInputs">,
+  effect: Effect.Effect<void, AppError, MenuEnv>,
+  onResume: () => void,
+  doneMessage: string
+) => {
+  context.runner.runEffect(
+    pipe(
+      Effect.sync(suspendTui),
+      Effect.zipRight(effect),
+      Effect.ensuring(
+        Effect.sync(() => {
+          resumeTui()
+          onResume()
+          context.setSkipInputs(() => 2)
+        })
+      ),
+      Effect.tap(() =>
+        Effect.sync(() => {
+          context.setMessage(doneMessage)
+        })
+      )
+    )
+  )
+}
+
+const runConnectSelection = (selected: ProjectItem, context: SelectContext) => {
+  context.setMessage(`Connecting to ${selected.displayName}...`)
+  context.setSshActive(true)
+  runWithSuspendedTui(
+    context,
+    connectProjectSshWithUp(selected),
+    () => {
+      context.setSshActive(false)
+    },
+    "SSH session ended. Press Esc to return to the menu."
+  )
+}
+
+const runDownSelection = (selected: ProjectItem, context: SelectContext) => {
+  context.setMessage(`Stopping ${selected.displayName}...`)
+  context.runner.runEffect(
+    pipe(
+      Effect.sync(suspendTui),
+      Effect.zipRight(runDockerComposeDown(selected.projectDir)),
+      Effect.zipRight(listRunningProjectItems),
+      Effect.tap((items) =>
+        Effect.sync(() => {
+          if (items.length === 0) {
+            resetToMenu(context)
+            context.setMessage("No running docker-git containers.")
+            return
+          }
+          startSelectView(items, "Down", context)
+          context.setMessage("Container stopped. Select another to stop, or Esc to return.")
+        })
+      ),
+      Effect.ensuring(
+        Effect.sync(() => {
+          resumeTui()
+          context.setSkipInputs(() => 2)
+        })
+      ),
+      Effect.asVoid
+    )
+  )
+}
+
+const runInfoSelection = (selected: ProjectItem, context: SelectContext) => {
+  context.setMessage(`Details for ${selected.displayName} are shown on the right. Press Esc to return to the menu.`)
+}
+
+const runDeleteSelection = (selected: ProjectItem, context: SelectContext) => {
+  context.setMessage(`Deleting ${selected.displayName}...`)
+  runWithSuspendedTui(
+    context,
+    deleteDockerGitProject(selected).pipe(
+      Effect.tap(() =>
+        Effect.sync(() => {
+          if (context.activeDir === selected.projectDir) {
+            context.setActiveDir(null)
+          }
+          context.setView({ _tag: "Menu" })
+        })
+      )
+    ),
+    () => {
+      // Only return to menu on success (see Effect.tap above).
+    },
+    "Project deleted."
+  )
+}
+
+const handleSelectReturn = (
+  view: Extract<ViewState, { readonly _tag: "SelectProject" }>,
+  context: SelectContext
+) => {
+  const selected = view.items[view.selected]
+  if (!selected) {
+    context.setMessage("No project selected.")
+    resetToMenu(context)
+    return
+  }
+
+  Match.value(view.purpose).pipe(
+    Match.when("Connect", () => {
+      context.setActiveDir(selected.projectDir)
+      runConnectSelection(selected, context)
+    }),
+    Match.when("Down", () => {
+      context.setActiveDir(selected.projectDir)
+      runDownSelection(selected, context)
+    }),
+    Match.when("Info", () => {
+      context.setActiveDir(selected.projectDir)
+      runInfoSelection(selected, context)
+    }),
+    Match.when("Delete", () => {
+      if (!view.confirmDelete) {
+        context.setMessage(
+          `Really delete ${selected.displayName}? Press Enter again to confirm, Esc to cancel.`
+        )
+        context.setView({ ...view, confirmDelete: true })
+        return
+      }
+      runDeleteSelection(selected, context)
+    }),
+    Match.exhaustive
+  )
+}
+
+const handleSelectHint = (input: string, context: SelectContext) => {
+  if (input.trim().length > 0) {
+    context.setMessage("Use arrows + Enter to select a project, Esc to cancel.")
+  }
+}
+
+export const loadSelectView = <E>(
+  effect: Effect.Effect<ReadonlyArray<ProjectItem>, E, MenuEnv>,
+  purpose: "Connect" | "Down" | "Info" | "Delete",
+  context: Pick<SelectContext, "setView" | "setMessage">
+): Effect.Effect<void, E, MenuEnv> =>
+  pipe(
+    effect,
+    Effect.flatMap((items) =>
+      Effect.sync(() => {
+        if (items.length === 0) {
+          context.setMessage(
+            purpose === "Down"
+              ? "No running docker-git containers."
+              : "No docker-git projects found."
+          )
+          return
+        }
+        startSelectView(items, purpose, context)
+      })
+    )
+  )

package/src/docker-git/menu-shared.ts

@@ -0,0 +1,141 @@
+import type { MenuViewContext, ViewState } from "./menu-types.js"
+
+// CHANGE: share menu escape handling across flows
+// WHY: avoid duplicated logic in TUI handlers
+// QUOTE(ТЗ): "А ты можешь сделать удобный выбор проектов?"
+// REF: user-request-2026-02-02-select-project
+// SOURCE: n/a
+// FORMAT THEOREM: forall s: escape(s) -> menu(s)
+// PURITY: SHELL
+// EFFECT: n/a
+// INVARIANT: always resets message on escape
+// COMPLEXITY: O(1)
+
+type MenuResetContext = Pick<MenuViewContext, "setView" | "setMessage">
+
+type StdoutWrite = typeof process.stdout.write
+
+let stdoutPatched = false
+let stdoutMuted = false
+
+const disableMouseModes = (): void => {
+  // Disable xterm/urxvt mouse tracking and "alternate scroll" mode (wheel -> arrow keys).
+  process.stdout.write(
+    "\u001B[?1000l\u001B[?1002l\u001B[?1003l\u001B[?1005l\u001B[?1006l\u001B[?1015l\u001B[?1007l"
+  )
+}
+
+// CHANGE: mute Ink stdout writes while SSH is active
+// WHY: prevent Ink resize re-renders from corrupting the SSH terminal buffer
+// QUOTE(ТЗ): "при изменении разершения он всё ломает?"
+// REF: user-request-2026-02-05-ssh-resize
+// SOURCE: n/a
+// FORMAT THEOREM: ∀w: muted(w) → ¬writes(ink, stdout)
+// PURITY: SHELL
+// EFFECT: n/a
+// INVARIANT: wrapper preserves original stdout write when not muted
+// COMPLEXITY: O(1)
+const ensureStdoutPatched = (): void => {
+  if (stdoutPatched) {
+    return
+  }
+  const baseWrite: StdoutWrite = process.stdout.write.bind(process.stdout)
+  const mutedWrite: StdoutWrite = (
+    chunk: string | Uint8Array,
+    encoding?: BufferEncoding | ((err?: Error | null) => void),
+    cb?: (err?: Error | null) => void
+  ) => {
+    if (stdoutMuted) {
+      const callback = typeof encoding === "function" ? encoding : cb
+      if (typeof callback === "function") {
+        callback()
+      }
+      return true
+    }
+    if (typeof encoding === "function") {
+      return baseWrite(chunk, encoding)
+    }
+    return baseWrite(chunk, encoding, cb)
+  }
+  process.stdout.write = mutedWrite
+  stdoutPatched = true
+}
+
+// CHANGE: toggle stdout write muting for Ink rendering
+// WHY: allow SSH sessions to own the terminal without TUI redraws
+// QUOTE(ТЗ): "при изменении разершения он всё ломает?"
+// REF: user-request-2026-02-05-ssh-resize
+// SOURCE: n/a
+// FORMAT THEOREM: ∀m ∈ {true,false}: muted = m
+// PURITY: SHELL
+// EFFECT: n/a
+// INVARIANT: stdout wrapper is installed at most once
+// COMPLEXITY: O(1)
+const setStdoutMuted = (muted: boolean): void => {
+  ensureStdoutPatched()
+  stdoutMuted = muted
+}
+
+// CHANGE: temporarily suspend TUI rendering when running interactive commands
+// WHY: avoid mixed output from docker/ssh and the Ink UI
+// QUOTE(ТЗ): "Почему так кривокосо всё отображается?"
+// REF: user-request-2026-02-02-tui-output
+// SOURCE: n/a
+// FORMAT THEOREM: forall cmd: suspend -> cleanOutput(cmd)
+// PURITY: SHELL
+// EFFECT: n/a
+// INVARIANT: only toggles when TTY is available
+// COMPLEXITY: O(1)
+export const suspendTui = (): void => {
+  if (!process.stdout.isTTY) {
+    return
+  }
+  disableMouseModes()
+  if (process.stdin.isTTY && typeof process.stdin.setRawMode === "function") {
+    process.stdin.setRawMode(false)
+  }
+  process.stdout.write("\u001B[?1049l\u001B[2J\u001B[H")
+  setStdoutMuted(true)
+}
+
+// CHANGE: restore TUI rendering after interactive commands
+// WHY: return to Ink UI without broken terminal state
+// QUOTE(ТЗ): "Почему так кривокосо всё отображается?"
+// REF: user-request-2026-02-02-tui-output
+// SOURCE: n/a
+// FORMAT THEOREM: forall cmd: resume -> tuiVisible(cmd)
+// PURITY: SHELL
+// EFFECT: n/a
+// INVARIANT: only toggles when TTY is available
+// COMPLEXITY: O(1)
+export const resumeTui = (): void => {
+  if (!process.stdout.isTTY) {
+    return
+  }
+  setStdoutMuted(false)
+  disableMouseModes()
+  process.stdout.write("\u001B[?1049h\u001B[2J\u001B[H")
+  if (process.stdin.isTTY && typeof process.stdin.setRawMode === "function") {
+    process.stdin.setRawMode(true)
+  }
+  disableMouseModes()
+}
+
+export const leaveTui = (): void => {
+  if (!process.stdout.isTTY) {
+    return
+  }
+  // Ensure we don't leave the terminal in a broken "mouse reporting" mode.
+  setStdoutMuted(false)
+  disableMouseModes()
+  process.stdout.write("\u001B[?1049l\u001B[2J\u001B[H")
+  if (process.stdin.isTTY && typeof process.stdin.setRawMode === "function") {
+    process.stdin.setRawMode(false)
+  }
+}
+
+export const resetToMenu = (context: MenuResetContext): void => {
+  const view: ViewState = { _tag: "Menu" }
+  context.setView(view)
+  context.setMessage(null)
+}

package/src/docker-git/menu-types.ts

@@ -0,0 +1,94 @@
+import type * as CommandExecutor from "@effect/platform/CommandExecutor"
+import type * as FileSystem from "@effect/platform/FileSystem"
+import type * as Path from "@effect/platform/Path"
+import type * as Effect from "effect/Effect"
+
+import type { MenuAction } from "@effect-template/lib/core/domain"
+import type { AppError } from "@effect-template/lib/usecases/errors"
+import type { ProjectItem } from "@effect-template/lib/usecases/projects"
+
+// CHANGE: isolate TUI types/constants into a shared module
+// WHY: keep menu rendering and input handling small and focused
+// QUOTE(ТЗ): "TUI? Красивый, удобный"
+// REF: user-request-2026-02-01-tui
+// SOURCE: n/a
+// FORMAT THEOREM: forall s: state(s) -> wellTyped(s)
+// PURITY: CORE
+// EFFECT: n/a
+// INVARIANT: createSteps is ordered and total over CreateStep
+// COMPLEXITY: O(1)
+
+export type MenuState = {
+  readonly cwd: string
+  readonly activeDir: string | null
+}
+
+export type MenuEnv = FileSystem.FileSystem | Path.Path | CommandExecutor.CommandExecutor
+
+export type MenuRunner = {
+  readonly runEffect: (effect: Effect.Effect<void, AppError, MenuEnv>) => void
+}
+
+export type MenuViewContext = {
+  readonly setView: (view: ViewState) => void
+  readonly setMessage: (message: string | null) => void
+  readonly setActiveDir: (dir: string | null) => void
+}
+
+export type MenuKeyInput = {
+  readonly upArrow?: boolean
+  readonly downArrow?: boolean
+  readonly return?: boolean
+  readonly escape?: boolean
+}
+
+export type CreateInputs = {
+  readonly repoUrl: string
+  readonly repoRef: string
+  readonly outDir: string
+  readonly secretsRoot: string
+  readonly runUp: boolean
+  readonly enableMcpPlaywright: boolean
+  readonly force: boolean
+  readonly forceEnv: boolean
+}
+
+export type CreateStep =
+  | "repoUrl"
+  | "repoRef"
+  | "outDir"
+  | "runUp"
+  | "mcpPlaywright"
+  | "force"
+
+export const createSteps: ReadonlyArray<CreateStep> = [
+  "repoUrl",
+  "repoRef",
+  "outDir",
+  "runUp",
+  "mcpPlaywright",
+  "force"
+]
+
+export type ViewState =
+  | { readonly _tag: "Menu" }
+  | { readonly _tag: "Create"; readonly step: number; readonly buffer: string; readonly values: Partial<CreateInputs> }
+  | {
+    readonly _tag: "SelectProject"
+    readonly purpose: "Connect" | "Down" | "Info" | "Delete"
+    readonly items: ReadonlyArray<ProjectItem>
+    readonly selected: number
+    readonly confirmDelete: boolean
+  }
+
+export const menuItems: ReadonlyArray<{ readonly id: MenuAction; readonly label: string }> = [
+  { id: { _tag: "Create" }, label: "Create project" },
+  { id: { _tag: "Select" }, label: "Select project" },
+  { id: { _tag: "Info" }, label: "Show connection info" },
+  { id: { _tag: "Status" }, label: "docker compose ps" },
+  { id: { _tag: "Logs" }, label: "docker compose logs --tail=200" },
+  { id: { _tag: "Down" }, label: "docker compose down" },
+  { id: { _tag: "DownAll" }, label: "docker compose down (ALL projects)" },
+  { id: { _tag: "Delete" }, label: "Delete project (remove folder)" },
+  { id: { _tag: "Quit" }, label: "Quit" }
+]