chore: generate

This commit is contained in:
opencode-agent[bot]
2026-05-02 04:03:59 +00:00
parent f33aec1139
commit becf57ee6a
4 changed files with 247 additions and 251 deletions
@@ -178,10 +178,7 @@ export const layer: Layer.Layer<Service, never, Project.Service> = Layer.effect(
return yield* cachedDisposeAll return yield* cachedDisposeAll
}) })
const provide = <A, E, R, R2>( const provide = <A, E, R, R2>(input: LoadInput<R2>, effect: Effect.Effect<A, E, R>): Effect.Effect<A, E, R | R2> =>
input: LoadInput<R2>,
effect: Effect.Effect<A, E, R>,
): Effect.Effect<A, E, R | R2> =>
load(input).pipe(Effect.flatMap((ctx) => effect.pipe(Effect.provideService(InstanceRef, ctx)))) load(input).pipe(Effect.flatMap((ctx) => effect.pipe(Effect.provideService(InstanceRef, ctx))))
yield* Effect.addFinalizer(() => disposeAll().pipe(Effect.ignore)) yield* Effect.addFinalizer(() => disposeAll().pipe(Effect.ignore))
+2 -3
View File
@@ -35,9 +35,8 @@ export const Instance = {
return InstanceStore.runtime.runPromise((store) => store.load(liftLegacyInput(input))) return InstanceStore.runtime.runPromise((store) => store.load(liftLegacyInput(input)))
}, },
async provide<R>(input: { directory: string; init?: () => Promise<unknown>; fn: () => R }): Promise<R> { async provide<R>(input: { directory: string; init?: () => Promise<unknown>; fn: () => R }): Promise<R> {
return context.provide( return context.provide(await Instance.load({ directory: input.directory, init: input.init }), async () =>
await Instance.load({ directory: input.directory, init: input.init }), input.fn(),
async () => input.fn(),
) )
}, },
get current() { get current() {
+64 -64
View File
@@ -33,13 +33,6 @@ export type EventProjectUpdated = {
properties: Project properties: Project
} }
export type EventServerInstanceDisposed = {
type: "server.instance.disposed"
properties: {
directory: string
}
}
export type EventServerConnected = { export type EventServerConnected = {
type: "server.connected" type: "server.connected"
properties: { properties: {
@@ -54,18 +47,10 @@ export type EventGlobalDisposed = {
} }
} }
export type EventFileEdited = { export type EventServerInstanceDisposed = {
type: "file.edited" type: "server.instance.disposed"
properties: { properties: {
file: string directory: string
}
}
export type EventFileWatcherUpdated = {
type: "file.watcher.updated"
properties: {
file: string
event: "add" | "change" | "unlink"
} }
} }
@@ -230,6 +215,53 @@ export type EventInstallationUpdateAvailable = {
} }
} }
export type EventWorkspaceReady = {
type: "workspace.ready"
properties: {
name: string
}
}
export type EventWorkspaceFailed = {
type: "workspace.failed"
properties: {
message: string
}
}
export type EventWorkspaceRestore = {
type: "workspace.restore"
properties: {
workspaceID: string
sessionID: string
total: number
step: number
}
}
export type EventWorkspaceStatus = {
type: "workspace.status"
properties: {
workspaceID: string
status: "connected" | "connecting" | "disconnected" | "error"
}
}
export type EventFileEdited = {
type: "file.edited"
properties: {
file: string
}
}
export type EventFileWatcherUpdated = {
type: "file.watcher.updated"
properties: {
file: string
event: "add" | "change" | "unlink"
}
}
export type QuestionOption = { export type QuestionOption = {
/** /**
* Display text (1-5 words, concise) * Display text (1-5 words, concise)
@@ -452,38 +484,6 @@ export type EventVcsBranchUpdated = {
} }
} }
export type EventWorkspaceReady = {
type: "workspace.ready"
properties: {
name: string
}
}
export type EventWorkspaceFailed = {
type: "workspace.failed"
properties: {
message: string
}
}
export type EventWorkspaceRestore = {
type: "workspace.restore"
properties: {
workspaceID: string
sessionID: string
total: number
step: number
}
}
export type EventWorkspaceStatus = {
type: "workspace.status"
properties: {
workspaceID: string
status: "connected" | "connecting" | "disconnected" | "error"
}
}
export type EventWorktreeReady = { export type EventWorktreeReady = {
type: "worktree.ready" type: "worktree.ready"
properties: { properties: {
@@ -1112,11 +1112,9 @@ export type GlobalEvent = {
workspace?: string workspace?: string
payload: payload:
| EventProjectUpdated | EventProjectUpdated
| EventServerInstanceDisposed
| EventServerConnected | EventServerConnected
| EventGlobalDisposed | EventGlobalDisposed
| EventFileEdited | EventServerInstanceDisposed
| EventFileWatcherUpdated
| EventLspClientDiagnostics | EventLspClientDiagnostics
| EventLspUpdated | EventLspUpdated
| EventMessagePartDelta | EventMessagePartDelta
@@ -1126,6 +1124,12 @@ export type GlobalEvent = {
| EventSessionError | EventSessionError
| EventInstallationUpdated | EventInstallationUpdated
| EventInstallationUpdateAvailable | EventInstallationUpdateAvailable
| EventWorkspaceReady
| EventWorkspaceFailed
| EventWorkspaceRestore
| EventWorkspaceStatus
| EventFileEdited
| EventFileWatcherUpdated
| EventQuestionAsked | EventQuestionAsked
| EventQuestionReplied | EventQuestionReplied
| EventQuestionRejected | EventQuestionRejected
@@ -1141,10 +1145,6 @@ export type GlobalEvent = {
| EventMcpBrowserOpenFailed | EventMcpBrowserOpenFailed
| EventCommandExecuted | EventCommandExecuted
| EventVcsBranchUpdated | EventVcsBranchUpdated
| EventWorkspaceReady
| EventWorkspaceFailed
| EventWorkspaceRestore
| EventWorkspaceStatus
| EventWorktreeReady | EventWorktreeReady
| EventWorktreeFailed | EventWorktreeFailed
| EventPtyCreated | EventPtyCreated
@@ -2055,11 +2055,9 @@ export type File = {
export type Event = export type Event =
| EventProjectUpdated | EventProjectUpdated
| EventServerInstanceDisposed
| EventServerConnected | EventServerConnected
| EventGlobalDisposed | EventGlobalDisposed
| EventFileEdited | EventServerInstanceDisposed
| EventFileWatcherUpdated
| EventLspClientDiagnostics | EventLspClientDiagnostics
| EventLspUpdated | EventLspUpdated
| EventMessagePartDelta | EventMessagePartDelta
@@ -2069,6 +2067,12 @@ export type Event =
| EventSessionError | EventSessionError
| EventInstallationUpdated | EventInstallationUpdated
| EventInstallationUpdateAvailable | EventInstallationUpdateAvailable
| EventWorkspaceReady
| EventWorkspaceFailed
| EventWorkspaceRestore
| EventWorkspaceStatus
| EventFileEdited
| EventFileWatcherUpdated
| EventQuestionAsked | EventQuestionAsked
| EventQuestionReplied | EventQuestionReplied
| EventQuestionRejected | EventQuestionRejected
@@ -2084,10 +2088,6 @@ export type Event =
| EventMcpBrowserOpenFailed | EventMcpBrowserOpenFailed
| EventCommandExecuted | EventCommandExecuted
| EventVcsBranchUpdated | EventVcsBranchUpdated
| EventWorkspaceReady
| EventWorkspaceFailed
| EventWorkspaceRestore
| EventWorkspaceStatus
| EventWorktreeReady | EventWorktreeReady
| EventWorktreeFailed | EventWorktreeFailed
| EventPtyCreated | EventPtyCreated
+180 -180
View File
@@ -7674,25 +7674,6 @@
}, },
"required": ["type", "properties"] "required": ["type", "properties"]
}, },
"Event.server.instance.disposed": {
"type": "object",
"properties": {
"type": {
"type": "string",
"const": "server.instance.disposed"
},
"properties": {
"type": "object",
"properties": {
"directory": {
"type": "string"
}
},
"required": ["directory"]
}
},
"required": ["type", "properties"]
},
"Event.server.connected": { "Event.server.connected": {
"type": "object", "type": "object",
"properties": { "properties": {
@@ -7721,44 +7702,21 @@
}, },
"required": ["type", "properties"] "required": ["type", "properties"]
}, },
"Event.file.edited": { "Event.server.instance.disposed": {
"type": "object", "type": "object",
"properties": { "properties": {
"type": { "type": {
"type": "string", "type": "string",
"const": "file.edited" "const": "server.instance.disposed"
}, },
"properties": { "properties": {
"type": "object", "type": "object",
"properties": { "properties": {
"file": { "directory": {
"type": "string" "type": "string"
} }
}, },
"required": ["file"] "required": ["directory"]
}
},
"required": ["type", "properties"]
},
"Event.file.watcher.updated": {
"type": "object",
"properties": {
"type": {
"type": "string",
"const": "file.watcher.updated"
},
"properties": {
"type": "object",
"properties": {
"file": {
"type": "string"
},
"event": {
"type": "string",
"enum": ["add", "change", "unlink"]
}
},
"required": ["file", "event"]
} }
}, },
"required": ["type", "properties"] "required": ["type", "properties"]
@@ -8225,6 +8183,144 @@
}, },
"required": ["type", "properties"] "required": ["type", "properties"]
}, },
"Event.workspace.ready": {
"type": "object",
"properties": {
"type": {
"type": "string",
"const": "workspace.ready"
},
"properties": {
"type": "object",
"properties": {
"name": {
"type": "string"
}
},
"required": ["name"]
}
},
"required": ["type", "properties"]
},
"Event.workspace.failed": {
"type": "object",
"properties": {
"type": {
"type": "string",
"const": "workspace.failed"
},
"properties": {
"type": "object",
"properties": {
"message": {
"type": "string"
}
},
"required": ["message"]
}
},
"required": ["type", "properties"]
},
"Event.workspace.restore": {
"type": "object",
"properties": {
"type": {
"type": "string",
"const": "workspace.restore"
},
"properties": {
"type": "object",
"properties": {
"workspaceID": {
"type": "string",
"pattern": "^wrk.*"
},
"sessionID": {
"type": "string",
"pattern": "^ses.*"
},
"total": {
"type": "integer",
"minimum": 0,
"maximum": 9007199254740991
},
"step": {
"type": "integer",
"minimum": 0,
"maximum": 9007199254740991
}
},
"required": ["workspaceID", "sessionID", "total", "step"]
}
},
"required": ["type", "properties"]
},
"Event.workspace.status": {
"type": "object",
"properties": {
"type": {
"type": "string",
"const": "workspace.status"
},
"properties": {
"type": "object",
"properties": {
"workspaceID": {
"type": "string",
"pattern": "^wrk.*"
},
"status": {
"type": "string",
"enum": ["connected", "connecting", "disconnected", "error"]
}
},
"required": ["workspaceID", "status"]
}
},
"required": ["type", "properties"]
},
"Event.file.edited": {
"type": "object",
"properties": {
"type": {
"type": "string",
"const": "file.edited"
},
"properties": {
"type": "object",
"properties": {
"file": {
"type": "string"
}
},
"required": ["file"]
}
},
"required": ["type", "properties"]
},
"Event.file.watcher.updated": {
"type": "object",
"properties": {
"type": {
"type": "string",
"const": "file.watcher.updated"
},
"properties": {
"type": "object",
"properties": {
"file": {
"type": "string"
},
"event": {
"type": "string",
"enum": ["add", "change", "unlink"]
}
},
"required": ["file", "event"]
}
},
"required": ["type", "properties"]
},
"QuestionOption": { "QuestionOption": {
"type": "object", "type": "object",
"properties": { "properties": {
@@ -8743,102 +8839,6 @@
}, },
"required": ["type", "properties"] "required": ["type", "properties"]
}, },
"Event.workspace.ready": {
"type": "object",
"properties": {
"type": {
"type": "string",
"const": "workspace.ready"
},
"properties": {
"type": "object",
"properties": {
"name": {
"type": "string"
}
},
"required": ["name"]
}
},
"required": ["type", "properties"]
},
"Event.workspace.failed": {
"type": "object",
"properties": {
"type": {
"type": "string",
"const": "workspace.failed"
},
"properties": {
"type": "object",
"properties": {
"message": {
"type": "string"
}
},
"required": ["message"]
}
},
"required": ["type", "properties"]
},
"Event.workspace.restore": {
"type": "object",
"properties": {
"type": {
"type": "string",
"const": "workspace.restore"
},
"properties": {
"type": "object",
"properties": {
"workspaceID": {
"type": "string",
"pattern": "^wrk.*"
},
"sessionID": {
"type": "string",
"pattern": "^ses.*"
},
"total": {
"type": "integer",
"minimum": 0,
"maximum": 9007199254740991
},
"step": {
"type": "integer",
"minimum": 0,
"maximum": 9007199254740991
}
},
"required": ["workspaceID", "sessionID", "total", "step"]
}
},
"required": ["type", "properties"]
},
"Event.workspace.status": {
"type": "object",
"properties": {
"type": {
"type": "string",
"const": "workspace.status"
},
"properties": {
"type": "object",
"properties": {
"workspaceID": {
"type": "string",
"pattern": "^wrk.*"
},
"status": {
"type": "string",
"enum": ["connected", "connecting", "disconnected", "error"]
}
},
"required": ["workspaceID", "status"]
}
},
"required": ["type", "properties"]
},
"Event.worktree.ready": { "Event.worktree.ready": {
"type": "object", "type": "object",
"properties": { "properties": {
@@ -10960,9 +10960,6 @@
{ {
"$ref": "#/components/schemas/Event.project.updated" "$ref": "#/components/schemas/Event.project.updated"
}, },
{
"$ref": "#/components/schemas/Event.server.instance.disposed"
},
{ {
"$ref": "#/components/schemas/Event.server.connected" "$ref": "#/components/schemas/Event.server.connected"
}, },
@@ -10970,10 +10967,7 @@
"$ref": "#/components/schemas/Event.global.disposed" "$ref": "#/components/schemas/Event.global.disposed"
}, },
{ {
"$ref": "#/components/schemas/Event.file.edited" "$ref": "#/components/schemas/Event.server.instance.disposed"
},
{
"$ref": "#/components/schemas/Event.file.watcher.updated"
}, },
{ {
"$ref": "#/components/schemas/Event.lsp.client.diagnostics" "$ref": "#/components/schemas/Event.lsp.client.diagnostics"
@@ -11002,6 +10996,24 @@
{ {
"$ref": "#/components/schemas/Event.installation.update-available" "$ref": "#/components/schemas/Event.installation.update-available"
}, },
{
"$ref": "#/components/schemas/Event.workspace.ready"
},
{
"$ref": "#/components/schemas/Event.workspace.failed"
},
{
"$ref": "#/components/schemas/Event.workspace.restore"
},
{
"$ref": "#/components/schemas/Event.workspace.status"
},
{
"$ref": "#/components/schemas/Event.file.edited"
},
{
"$ref": "#/components/schemas/Event.file.watcher.updated"
},
{ {
"$ref": "#/components/schemas/Event.question.asked" "$ref": "#/components/schemas/Event.question.asked"
}, },
@@ -11047,18 +11059,6 @@
{ {
"$ref": "#/components/schemas/Event.vcs.branch.updated" "$ref": "#/components/schemas/Event.vcs.branch.updated"
}, },
{
"$ref": "#/components/schemas/Event.workspace.ready"
},
{
"$ref": "#/components/schemas/Event.workspace.failed"
},
{
"$ref": "#/components/schemas/Event.workspace.restore"
},
{
"$ref": "#/components/schemas/Event.workspace.status"
},
{ {
"$ref": "#/components/schemas/Event.worktree.ready" "$ref": "#/components/schemas/Event.worktree.ready"
}, },
@@ -13253,9 +13253,6 @@
{ {
"$ref": "#/components/schemas/Event.project.updated" "$ref": "#/components/schemas/Event.project.updated"
}, },
{
"$ref": "#/components/schemas/Event.server.instance.disposed"
},
{ {
"$ref": "#/components/schemas/Event.server.connected" "$ref": "#/components/schemas/Event.server.connected"
}, },
@@ -13263,10 +13260,7 @@
"$ref": "#/components/schemas/Event.global.disposed" "$ref": "#/components/schemas/Event.global.disposed"
}, },
{ {
"$ref": "#/components/schemas/Event.file.edited" "$ref": "#/components/schemas/Event.server.instance.disposed"
},
{
"$ref": "#/components/schemas/Event.file.watcher.updated"
}, },
{ {
"$ref": "#/components/schemas/Event.lsp.client.diagnostics" "$ref": "#/components/schemas/Event.lsp.client.diagnostics"
@@ -13295,6 +13289,24 @@
{ {
"$ref": "#/components/schemas/Event.installation.update-available" "$ref": "#/components/schemas/Event.installation.update-available"
}, },
{
"$ref": "#/components/schemas/Event.workspace.ready"
},
{
"$ref": "#/components/schemas/Event.workspace.failed"
},
{
"$ref": "#/components/schemas/Event.workspace.restore"
},
{
"$ref": "#/components/schemas/Event.workspace.status"
},
{
"$ref": "#/components/schemas/Event.file.edited"
},
{
"$ref": "#/components/schemas/Event.file.watcher.updated"
},
{ {
"$ref": "#/components/schemas/Event.question.asked" "$ref": "#/components/schemas/Event.question.asked"
}, },
@@ -13340,18 +13352,6 @@
{ {
"$ref": "#/components/schemas/Event.vcs.branch.updated" "$ref": "#/components/schemas/Event.vcs.branch.updated"
}, },
{
"$ref": "#/components/schemas/Event.workspace.ready"
},
{
"$ref": "#/components/schemas/Event.workspace.failed"
},
{
"$ref": "#/components/schemas/Event.workspace.restore"
},
{
"$ref": "#/components/schemas/Event.workspace.status"
},
{ {
"$ref": "#/components/schemas/Event.worktree.ready" "$ref": "#/components/schemas/Event.worktree.ready"
}, },