Something went wrong. Try again.
opencode v2 mirror
Something went wrong. Try again.
TypeScript
123456789101112131415161718192021export * as Workspace from "./workspace.js"
import { Schema } from "effect"import { WorkspaceEvent } from "./workspace-event.js"import { WorkspaceID } from "./workspace-id.js"
export const ID = WorkspaceIDexport type ID = WorkspaceID
export const DestroyResult = Schema.Struct({ destroyed: Schema.Boolean.annotate({ description: "True when this request transitioned the workspace from existing to destroyed.", }),}).annotate({ identifier: "WorkspaceDestroyResult", description: "Reports whether this request destroyed an existing workspace.",})export interface DestroyResult extends Schema.Schema.Type<typeof DestroyResult> {}
export const Event = WorkspaceEvent