| 123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307 |
- import type {
- Message,
- Agent,
- Provider,
- Session,
- Part,
- Config,
- Todo,
- Command,
- Permission,
- LspStatus,
- McpStatus,
- FormatterStatus,
- } from "@opencode-ai/sdk"
- import { createStore, produce, reconcile } from "solid-js/store"
- import { useSDK } from "@tui/context/sdk"
- import { Binary } from "@/util/binary"
- import { createSimpleContext } from "./helper"
- import type { Snapshot } from "@/snapshot"
- import { useExit } from "./exit"
- import { onMount } from "solid-js"
- export const { use: useSync, provider: SyncProvider } = createSimpleContext({
- name: "Sync",
- init: () => {
- const [store, setStore] = createStore<{
- status: "loading" | "partial" | "complete"
- provider: Provider[]
- agent: Agent[]
- command: Command[]
- permission: {
- [sessionID: string]: Permission[]
- }
- config: Config
- session: Session[]
- session_diff: {
- [sessionID: string]: Snapshot.FileDiff[]
- }
- todo: {
- [sessionID: string]: Todo[]
- }
- message: {
- [sessionID: string]: Message[]
- }
- part: {
- [messageID: string]: Part[]
- }
- lsp: LspStatus[]
- mcp: {
- [key: string]: McpStatus
- }
- formatter: FormatterStatus[]
- }>({
- config: {},
- status: "loading",
- agent: [],
- permission: {},
- command: [],
- provider: [],
- session: [],
- session_diff: {},
- todo: {},
- message: {},
- part: {},
- lsp: [],
- mcp: {},
- formatter: [],
- })
- const sdk = useSDK()
- sdk.event.listen((e) => {
- const event = e.details
- switch (event.type) {
- case "permission.updated": {
- const permissions = store.permission[event.properties.sessionID]
- if (!permissions) {
- setStore("permission", event.properties.sessionID, [event.properties])
- break
- }
- const match = Binary.search(permissions, event.properties.id, (p) => p.id)
- setStore(
- "permission",
- event.properties.sessionID,
- produce((draft) => {
- if (match.found) {
- draft[match.index] = event.properties
- return
- }
- draft.push(event.properties)
- }),
- )
- break
- }
- case "permission.replied": {
- const permissions = store.permission[event.properties.sessionID]
- const match = Binary.search(permissions, event.properties.permissionID, (p) => p.id)
- if (!match.found) break
- setStore(
- "permission",
- event.properties.sessionID,
- produce((draft) => {
- draft.splice(match.index, 1)
- }),
- )
- break
- }
- case "todo.updated":
- setStore("todo", event.properties.sessionID, event.properties.todos)
- break
- case "session.diff":
- setStore("session_diff", event.properties.sessionID, event.properties.diff)
- break
- case "session.deleted": {
- const result = Binary.search(store.session, event.properties.info.id, (s) => s.id)
- if (result.found) {
- setStore(
- "session",
- produce((draft) => {
- draft.splice(result.index, 1)
- }),
- )
- }
- break
- }
- case "session.updated":
- const result = Binary.search(store.session, event.properties.info.id, (s) => s.id)
- if (result.found) {
- setStore("session", result.index, reconcile(event.properties.info))
- break
- }
- setStore(
- "session",
- produce((draft) => {
- draft.splice(result.index, 0, event.properties.info)
- }),
- )
- break
- case "message.updated": {
- const messages = store.message[event.properties.info.sessionID]
- if (!messages) {
- setStore("message", event.properties.info.sessionID, [event.properties.info])
- break
- }
- const result = Binary.search(messages, event.properties.info.id, (m) => m.id)
- if (result.found) {
- setStore("message", event.properties.info.sessionID, result.index, reconcile(event.properties.info))
- break
- }
- setStore(
- "message",
- event.properties.info.sessionID,
- produce((draft) => {
- draft.splice(result.index, 0, event.properties.info)
- if (draft.length > 100) draft.shift()
- }),
- )
- break
- }
- case "message.removed": {
- const messages = store.message[event.properties.sessionID]
- const result = Binary.search(messages, event.properties.messageID, (m) => m.id)
- if (result.found) {
- setStore(
- "message",
- event.properties.sessionID,
- produce((draft) => {
- draft.splice(result.index, 1)
- }),
- )
- }
- break
- }
- case "message.part.updated": {
- const parts = store.part[event.properties.part.messageID]
- if (!parts) {
- setStore("part", event.properties.part.messageID, [event.properties.part])
- break
- }
- const result = Binary.search(parts, event.properties.part.id, (p) => p.id)
- if (result.found) {
- setStore("part", event.properties.part.messageID, result.index, reconcile(event.properties.part))
- break
- }
- setStore(
- "part",
- event.properties.part.messageID,
- produce((draft) => {
- draft.splice(result.index, 0, event.properties.part)
- }),
- )
- break
- }
- case "message.part.removed": {
- const parts = store.part[event.properties.messageID]
- const result = Binary.search(parts, event.properties.partID, (p) => p.id)
- if (result.found)
- setStore(
- "part",
- event.properties.messageID,
- produce((draft) => {
- draft.splice(result.index, 1)
- }),
- )
- break
- }
- case "lsp.updated": {
- sdk.client.lsp.status().then((x) => setStore("lsp", x.data!))
- break
- }
- }
- })
- const exit = useExit()
- onMount(() => {
- // blocking
- Promise.all([
- sdk.client.config.providers({ throwOnError: true }).then((x) => setStore("provider", x.data!.providers)),
- sdk.client.app.agents({ throwOnError: true }).then((x) => setStore("agent", x.data ?? [])),
- sdk.client.config.get({ throwOnError: true }).then((x) => setStore("config", x.data!)),
- ])
- .then(() => {
- setStore("status", "partial")
- // non-blocking
- Promise.all([
- sdk.client.session.list().then((x) =>
- setStore(
- "session",
- (x.data ?? []).toSorted((a, b) => a.id.localeCompare(b.id)),
- ),
- ),
- sdk.client.command.list().then((x) => setStore("command", x.data ?? [])),
- sdk.client.lsp.status().then((x) => setStore("lsp", x.data!)),
- sdk.client.mcp.status().then((x) => setStore("mcp", x.data!)),
- sdk.client.formatter.status().then((x) => setStore("formatter", x.data!)),
- ]).then(() => {
- setStore("status", "complete")
- })
- })
- .catch(async (e) => {
- await exit(e)
- })
- })
- const result = {
- data: store,
- set: setStore,
- get status() {
- return store.status
- },
- get ready() {
- return store.status !== "loading"
- },
- session: {
- get(sessionID: string) {
- const match = Binary.search(store.session, sessionID, (s) => s.id)
- if (match.found) return store.session[match.index]
- return undefined
- },
- status(sessionID: string) {
- const session = result.session.get(sessionID)
- if (!session) return "idle"
- if (session.time.compacting) return "compacting"
- const messages = store.message[sessionID] ?? []
- const last = messages.at(-1)
- if (!last) return "idle"
- if (last.role === "user") return "working"
- return last.time.completed ? "idle" : "working"
- },
- async sync(sessionID: string) {
- if (store.message[sessionID]) return
- const now = Date.now()
- console.log("syncing", sessionID)
- const [session, messages, todo, diff] = await Promise.all([
- sdk.client.session.get({ path: { id: sessionID }, throwOnError: true }),
- sdk.client.session.messages({ path: { id: sessionID }, query: { limit: 100 } }),
- sdk.client.session.todo({ path: { id: sessionID } }),
- sdk.client.session.diff({ path: { id: sessionID } }),
- ])
- console.log("fetched in " + (Date.now() - now), sessionID)
- setStore(
- produce((draft) => {
- const match = Binary.search(draft.session, sessionID, (s) => s.id)
- if (match.found) draft.session[match.index] = session.data!
- if (!match.found) draft.session.splice(match.index, 0, session.data!)
- draft.todo[sessionID] = todo.data ?? []
- draft.message[sessionID] = messages.data!.map((x) => x.info)
- for (const message of messages.data!) {
- draft.part[message.info.id] = message.parts
- }
- draft.session_diff[sessionID] = diff.data ?? []
- }),
- )
- console.log("synced in " + (Date.now() - now), sessionID)
- },
- },
- }
- return result
- },
- })
|