more typecheck fixes

This commit is contained in:
Dax Raad
2026-05-14 22:05:12 -04:00
parent f39cf911d7
commit 5f4e5e6896
4 changed files with 84 additions and 75 deletions

View File

@@ -0,0 +1,3 @@
import { initProjectors } from "./projectors"
initProjectors()

View File

@@ -1,6 +1,3 @@
import { initProjectors } from "@/server/projectors"
initProjectors()
import { Schema } from "effect"
import { HttpApi } from "effect/unstable/httpapi"
import { BusEvent } from "@/bus/bus-event"

View File

@@ -1,3 +1,5 @@
import "./init-projectors"
import { NodeHttpServer } from "@effect/platform-node"
import * as Log from "@opencode-ai/core/util/log"
import { ConfigProvider, Context, Effect, Exit, Layer, Scope } from "effect"

View File

@@ -370,13 +370,6 @@ export type Pty = {
pid: number
}
export type Prompt = {
text: string
files?: Array<PromptFileAttachment>
agents?: Array<PromptAgentAttachment>
references?: Array<PromptReferenceAttachment>
}
export type OutputFormatText = {
type: "text"
}
@@ -785,6 +778,13 @@ export type Session = {
}
}
export type Prompt = {
text: string
files?: Array<PromptFileAttachment>
agents?: Array<PromptAgentAttachment>
references?: Array<PromptReferenceAttachment>
}
export type GlobalEvent = {
directory: string
project?: string
@@ -829,6 +829,13 @@ export type GlobalEvent = {
| EventPtyDeleted
| EventInstallationUpdated
| EventInstallationUpdateAvailable
| EventMessageUpdated
| EventMessageRemoved
| EventMessagePartUpdated
| EventMessagePartRemoved
| EventSessionCreated
| EventSessionUpdated
| EventSessionDeleted
| EventCatalogModelUpdated
| EventSessionNextAgentSwitched
| EventSessionNextModelSwitched
@@ -2692,6 +2699,71 @@ export type EventInstallationUpdateAvailable = {
}
}
export type EventMessageUpdated = {
id: string
type: "message.updated"
properties: {
sessionID: string
info: Message
}
}
export type EventMessageRemoved = {
id: string
type: "message.removed"
properties: {
sessionID: string
messageID: string
}
}
export type EventMessagePartUpdated = {
id: string
type: "message.part.updated"
properties: {
sessionID: string
part: Part
time: number
}
}
export type EventMessagePartRemoved = {
id: string
type: "message.part.removed"
properties: {
sessionID: string
messageID: string
partID: string
}
}
export type EventSessionCreated = {
id: string
type: "session.created"
properties: {
sessionID: string
info: Session
}
}
export type EventSessionUpdated = {
id: string
type: "session.updated"
properties: {
sessionID: string
info: Session
}
}
export type EventSessionDeleted = {
id: string
type: "session.deleted"
properties: {
sessionID: string
info: Session
}
}
export type ModelV2Info = {
id: string
apiID: string
@@ -3492,71 +3564,6 @@ export type EventTuiToastShow1 = {
}
}
export type EventMessageUpdated = {
id: string
type: "message.updated"
properties: {
sessionID: string
info: Message
}
}
export type EventMessageRemoved = {
id: string
type: "message.removed"
properties: {
sessionID: string
messageID: string
}
}
export type EventMessagePartUpdated = {
id: string
type: "message.part.updated"
properties: {
sessionID: string
part: Part
time: number
}
}
export type EventMessagePartRemoved = {
id: string
type: "message.part.removed"
properties: {
sessionID: string
messageID: string
partID: string
}
}
export type EventSessionCreated = {
id: string
type: "session.created"
properties: {
sessionID: string
info: Session
}
}
export type EventSessionUpdated = {
id: string
type: "session.updated"
properties: {
sessionID: string
info: Session
}
}
export type EventSessionDeleted = {
id: string
type: "session.deleted"
properties: {
sessionID: string
info: Session
}
}
export type ModelV2Info1 = {
id: string
apiID: string