@opencode-ai/client 0.0.0-next-16234 → 0.0.0-next-16273
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/dist/effect/api/api.d.ts +1548 -485
- package/dist/effect/generated/client.d.ts +1704 -7954
- package/dist/effect/generated/client.js +153 -150
- package/dist/promise/generated/client.d.ts +6 -5
- package/dist/promise/generated/client.js +8 -0
- package/dist/promise/generated/types.d.ts +123 -190
- package/dist/promise/generated/types.js +1 -0
- package/package.json +7 -7
package/dist/effect/api/api.d.ts
CHANGED
|
@@ -1,282 +1,1130 @@
|
|
|
1
1
|
import type { Effect, Stream } from "effect";
|
|
2
|
-
import type {
|
|
3
|
-
import type {
|
|
4
|
-
type
|
|
5
|
-
type
|
|
6
|
-
type
|
|
7
|
-
|
|
2
|
+
import type { Location } from "@opencode-ai/schema/location";
|
|
3
|
+
import type { Agent } from "@opencode-ai/schema/agent";
|
|
4
|
+
import type { Plugin } from "@opencode-ai/schema/plugin";
|
|
5
|
+
import type { Workspace } from "@opencode-ai/schema/workspace";
|
|
6
|
+
import type { Session } from "@opencode-ai/schema/session";
|
|
7
|
+
import type { AbsolutePath } from "@opencode-ai/schema/schema";
|
|
8
|
+
import type { Project } from "@opencode-ai/schema/project";
|
|
9
|
+
import type { RelativePath } from "@opencode-ai/schema/schema";
|
|
10
|
+
import type { Brand } from "effect";
|
|
11
|
+
import type { Model } from "@opencode-ai/schema/model";
|
|
12
|
+
import type { SessionMessage } from "@opencode-ai/schema/session-message";
|
|
13
|
+
import type { PromptInput } from "@opencode-ai/schema/prompt-input";
|
|
14
|
+
import type { AgentAttachment } from "@opencode-ai/schema/prompt";
|
|
15
|
+
import type { SessionPending } from "@opencode-ai/schema/session-pending";
|
|
16
|
+
import type { Skill } from "@opencode-ai/schema/skill";
|
|
17
|
+
import type { Event } from "@opencode-ai/schema/event";
|
|
18
|
+
import type { InstructionEntry } from "@opencode-ai/schema/instruction-entry";
|
|
19
|
+
import type { Schema } from "effect";
|
|
20
|
+
import type { EventLog } from "@opencode-ai/schema/event-log";
|
|
21
|
+
import type { Shell } from "@opencode-ai/schema/shell";
|
|
22
|
+
import type { DateTime } from "effect";
|
|
23
|
+
import type { Provider } from "@opencode-ai/schema/provider";
|
|
24
|
+
import type { Integration } from "@opencode-ai/schema/integration";
|
|
25
|
+
import type { Mcp } from "@opencode-ai/schema/mcp";
|
|
26
|
+
import type { Credential } from "@opencode-ai/schema/credential";
|
|
27
|
+
import type { Form } from "@opencode-ai/schema/form";
|
|
28
|
+
import type { Permission } from "@opencode-ai/schema/permission";
|
|
29
|
+
import type { PermissionSaved } from "@opencode-ai/schema/permission-saved";
|
|
30
|
+
import type { FileSystem } from "@opencode-ai/schema/filesystem";
|
|
31
|
+
import type { Command } from "@opencode-ai/schema/command";
|
|
32
|
+
import type { OpenCodeEvent } from "@opencode-ai/protocol/groups/event";
|
|
33
|
+
import type { Pty } from "@opencode-ai/schema/pty";
|
|
34
|
+
import type { Question } from "@opencode-ai/schema/question";
|
|
35
|
+
import type { Reference } from "@opencode-ai/schema/reference";
|
|
36
|
+
import type { ProjectCopy } from "@opencode-ai/schema/project-copy";
|
|
37
|
+
import type { Vcs } from "@opencode-ai/schema/vcs";
|
|
38
|
+
import type { FileDiff } from "@opencode-ai/schema/file-diff";
|
|
39
|
+
import type { WebSearch } from "@opencode-ai/schema/websearch";
|
|
40
|
+
export type Endpoint0_0Output = {
|
|
41
|
+
readonly healthy: true;
|
|
42
|
+
readonly version: string;
|
|
43
|
+
readonly pid: number;
|
|
44
|
+
};
|
|
8
45
|
export type HealthGetOperation<E = never> = () => Effect.Effect<Endpoint0_0Output, E>;
|
|
9
|
-
type Endpoint0_1Request = Parameters<RawClient["server.health"]["health.stop"]>[0];
|
|
10
46
|
export type Endpoint0_1Input = {
|
|
11
|
-
readonly instanceID:
|
|
47
|
+
readonly instanceID: string;
|
|
48
|
+
};
|
|
49
|
+
export type Endpoint0_1Output = {
|
|
50
|
+
readonly accepted: boolean;
|
|
12
51
|
};
|
|
13
|
-
export type Endpoint0_1Output = EffectValue<ReturnType<RawClient["server.health"]["health.stop"]>>;
|
|
14
52
|
export type HealthStopOperation<E = never> = (input: Endpoint0_1Input) => Effect.Effect<Endpoint0_1Output, E>;
|
|
15
53
|
export interface HealthApi<E = never> {
|
|
16
54
|
readonly get: HealthGetOperation<E>;
|
|
17
55
|
readonly stop: HealthStopOperation<E>;
|
|
18
56
|
}
|
|
19
|
-
export type Endpoint1_0Output =
|
|
57
|
+
export type Endpoint1_0Output = {
|
|
58
|
+
readonly urls: ReadonlyArray<string>;
|
|
59
|
+
};
|
|
20
60
|
export type ServerGetOperation<E = never> = () => Effect.Effect<Endpoint1_0Output, E>;
|
|
21
61
|
export interface ServerApi<E = never> {
|
|
22
62
|
readonly get: ServerGetOperation<E>;
|
|
23
63
|
}
|
|
24
|
-
type Endpoint2_0Request = Parameters<RawClient["server.location"]["location.get"]>[0];
|
|
25
64
|
export type Endpoint2_0Input = {
|
|
26
|
-
readonly location?:
|
|
65
|
+
readonly location?: {
|
|
66
|
+
readonly directory?: string | undefined;
|
|
67
|
+
readonly workspace?: string | undefined;
|
|
68
|
+
} | undefined;
|
|
27
69
|
};
|
|
28
|
-
export type Endpoint2_0Output =
|
|
70
|
+
export type Endpoint2_0Output = Location.Info;
|
|
29
71
|
export type LocationGetOperation<E = never> = (input?: Endpoint2_0Input) => Effect.Effect<Endpoint2_0Output, E>;
|
|
30
72
|
export interface LocationApi<E = never> {
|
|
31
73
|
readonly get: LocationGetOperation<E>;
|
|
32
74
|
}
|
|
33
|
-
type Endpoint3_0Request = Parameters<RawClient["server.agent"]["agent.list"]>[0];
|
|
34
75
|
export type Endpoint3_0Input = {
|
|
35
|
-
readonly location?:
|
|
76
|
+
readonly location?: {
|
|
77
|
+
readonly directory?: string | undefined;
|
|
78
|
+
readonly workspace?: string | undefined;
|
|
79
|
+
} | undefined;
|
|
80
|
+
};
|
|
81
|
+
export type Endpoint3_0Output = {
|
|
82
|
+
readonly location: Location.Info;
|
|
83
|
+
readonly data: ReadonlyArray<Agent.Info>;
|
|
36
84
|
};
|
|
37
|
-
export type Endpoint3_0Output = EffectValue<ReturnType<RawClient["server.agent"]["agent.list"]>>;
|
|
38
85
|
export type AgentListOperation<E = never> = (input?: Endpoint3_0Input) => Effect.Effect<Endpoint3_0Output, E>;
|
|
86
|
+
export type Endpoint3_1Input = {
|
|
87
|
+
readonly agentID: Agent.ID;
|
|
88
|
+
readonly location?: {
|
|
89
|
+
readonly directory?: string | undefined;
|
|
90
|
+
readonly workspace?: string | undefined;
|
|
91
|
+
} | undefined;
|
|
92
|
+
};
|
|
93
|
+
export type Endpoint3_1Output = {
|
|
94
|
+
readonly location: Location.Info;
|
|
95
|
+
readonly data: Agent.Info;
|
|
96
|
+
};
|
|
97
|
+
export type AgentGetOperation<E = never> = (input: Endpoint3_1Input) => Effect.Effect<Endpoint3_1Output, E>;
|
|
39
98
|
export interface AgentApi<E = never> {
|
|
40
99
|
readonly list: AgentListOperation<E>;
|
|
100
|
+
readonly get: AgentGetOperation<E>;
|
|
41
101
|
}
|
|
42
|
-
type Endpoint4_0Request = Parameters<RawClient["server.plugin"]["plugin.list"]>[0];
|
|
43
102
|
export type Endpoint4_0Input = {
|
|
44
|
-
readonly location?:
|
|
103
|
+
readonly location?: {
|
|
104
|
+
readonly directory?: string | undefined;
|
|
105
|
+
readonly workspace?: string | undefined;
|
|
106
|
+
} | undefined;
|
|
107
|
+
};
|
|
108
|
+
export type Endpoint4_0Output = {
|
|
109
|
+
readonly location: Location.Info;
|
|
110
|
+
readonly data: ReadonlyArray<Plugin.Info>;
|
|
45
111
|
};
|
|
46
|
-
export type Endpoint4_0Output = EffectValue<ReturnType<RawClient["server.plugin"]["plugin.list"]>>;
|
|
47
112
|
export type PluginListOperation<E = never> = (input?: Endpoint4_0Input) => Effect.Effect<Endpoint4_0Output, E>;
|
|
48
113
|
export interface PluginApi<E = never> {
|
|
49
114
|
readonly list: PluginListOperation<E>;
|
|
50
115
|
}
|
|
51
|
-
type Endpoint5_0Request = Parameters<RawClient["server.session"]["session.list"]>[0];
|
|
52
116
|
export type Endpoint5_0Input = {
|
|
53
|
-
readonly workspace?:
|
|
54
|
-
readonly limit?:
|
|
55
|
-
readonly order?:
|
|
56
|
-
readonly search?:
|
|
57
|
-
readonly parentID?:
|
|
58
|
-
readonly directory?:
|
|
59
|
-
readonly project?:
|
|
60
|
-
readonly subpath?:
|
|
61
|
-
readonly cursor?:
|
|
62
|
-
};
|
|
63
|
-
export type Endpoint5_0Output =
|
|
117
|
+
readonly workspace?: Workspace.ID | undefined;
|
|
118
|
+
readonly limit?: number | undefined;
|
|
119
|
+
readonly order?: "asc" | "desc" | undefined;
|
|
120
|
+
readonly search?: string | undefined;
|
|
121
|
+
readonly parentID?: Session.ID | null | undefined;
|
|
122
|
+
readonly directory?: AbsolutePath | undefined;
|
|
123
|
+
readonly project?: Project.ID | undefined;
|
|
124
|
+
readonly subpath?: RelativePath | undefined;
|
|
125
|
+
readonly cursor?: (string & Brand.Brand<"SessionsCursor">) | undefined;
|
|
126
|
+
};
|
|
127
|
+
export type Endpoint5_0Output = {
|
|
128
|
+
readonly data: ReadonlyArray<Session.Info>;
|
|
129
|
+
readonly cursor: {
|
|
130
|
+
readonly previous?: (string & Brand.Brand<"SessionsCursor">) | undefined;
|
|
131
|
+
readonly next?: (string & Brand.Brand<"SessionsCursor">) | undefined;
|
|
132
|
+
};
|
|
133
|
+
};
|
|
64
134
|
export type SessionListOperation<E = never> = (input?: Endpoint5_0Input) => Effect.Effect<Endpoint5_0Output, E>;
|
|
65
|
-
type Endpoint5_1Request = Parameters<RawClient["server.session"]["session.create"]>[0];
|
|
66
135
|
export type Endpoint5_1Input = {
|
|
67
|
-
readonly id?:
|
|
68
|
-
readonly agent?:
|
|
69
|
-
readonly model?:
|
|
70
|
-
readonly location?:
|
|
136
|
+
readonly id?: Session.ID | undefined;
|
|
137
|
+
readonly agent?: Agent.ID | undefined;
|
|
138
|
+
readonly model?: Model.Ref | undefined;
|
|
139
|
+
readonly location?: Location.Ref | undefined;
|
|
71
140
|
};
|
|
72
|
-
export type Endpoint5_1Output =
|
|
141
|
+
export type Endpoint5_1Output = Session.Info;
|
|
73
142
|
export type SessionCreateOperation<E = never> = (input?: Endpoint5_1Input) => Effect.Effect<Endpoint5_1Output, E>;
|
|
74
|
-
export type Endpoint5_2Output =
|
|
143
|
+
export type Endpoint5_2Output = {
|
|
144
|
+
readonly [x: Session.ID]: {
|
|
145
|
+
readonly type: "running";
|
|
146
|
+
};
|
|
147
|
+
};
|
|
75
148
|
export type SessionActiveOperation<E = never> = () => Effect.Effect<Endpoint5_2Output, E>;
|
|
76
|
-
type Endpoint5_3Request = Parameters<RawClient["server.session"]["session.get"]>[0];
|
|
77
149
|
export type Endpoint5_3Input = {
|
|
78
|
-
readonly sessionID:
|
|
150
|
+
readonly sessionID: Session.ID;
|
|
79
151
|
};
|
|
80
|
-
export type Endpoint5_3Output =
|
|
152
|
+
export type Endpoint5_3Output = Session.Info;
|
|
81
153
|
export type SessionGetOperation<E = never> = (input: Endpoint5_3Input) => Effect.Effect<Endpoint5_3Output, E>;
|
|
82
|
-
type Endpoint5_4Request = Parameters<RawClient["server.session"]["session.remove"]>[0];
|
|
83
154
|
export type Endpoint5_4Input = {
|
|
84
|
-
readonly sessionID:
|
|
155
|
+
readonly sessionID: Session.ID;
|
|
85
156
|
};
|
|
86
|
-
export type Endpoint5_4Output =
|
|
157
|
+
export type Endpoint5_4Output = void;
|
|
87
158
|
export type SessionRemoveOperation<E = never> = (input: Endpoint5_4Input) => Effect.Effect<Endpoint5_4Output, E>;
|
|
88
|
-
type Endpoint5_5Request = Parameters<RawClient["server.session"]["session.fork"]>[0];
|
|
89
159
|
export type Endpoint5_5Input = {
|
|
90
|
-
readonly sessionID:
|
|
91
|
-
readonly messageID?:
|
|
160
|
+
readonly sessionID: Session.ID;
|
|
161
|
+
readonly messageID?: SessionMessage.ID | undefined;
|
|
92
162
|
};
|
|
93
|
-
export type Endpoint5_5Output =
|
|
163
|
+
export type Endpoint5_5Output = Session.Info;
|
|
94
164
|
export type SessionForkOperation<E = never> = (input: Endpoint5_5Input) => Effect.Effect<Endpoint5_5Output, E>;
|
|
95
|
-
type Endpoint5_6Request = Parameters<RawClient["server.session"]["session.switchAgent"]>[0];
|
|
96
165
|
export type Endpoint5_6Input = {
|
|
97
|
-
readonly sessionID:
|
|
98
|
-
readonly agent:
|
|
166
|
+
readonly sessionID: Session.ID;
|
|
167
|
+
readonly agent: Agent.ID;
|
|
99
168
|
};
|
|
100
|
-
export type Endpoint5_6Output =
|
|
169
|
+
export type Endpoint5_6Output = void;
|
|
101
170
|
export type SessionSwitchAgentOperation<E = never> = (input: Endpoint5_6Input) => Effect.Effect<Endpoint5_6Output, E>;
|
|
102
|
-
type Endpoint5_7Request = Parameters<RawClient["server.session"]["session.switchModel"]>[0];
|
|
103
171
|
export type Endpoint5_7Input = {
|
|
104
|
-
readonly sessionID:
|
|
105
|
-
readonly model:
|
|
172
|
+
readonly sessionID: Session.ID;
|
|
173
|
+
readonly model: Model.Ref;
|
|
106
174
|
};
|
|
107
|
-
export type Endpoint5_7Output =
|
|
175
|
+
export type Endpoint5_7Output = void;
|
|
108
176
|
export type SessionSwitchModelOperation<E = never> = (input: Endpoint5_7Input) => Effect.Effect<Endpoint5_7Output, E>;
|
|
109
|
-
type Endpoint5_8Request = Parameters<RawClient["server.session"]["session.rename"]>[0];
|
|
110
177
|
export type Endpoint5_8Input = {
|
|
111
|
-
readonly sessionID:
|
|
112
|
-
readonly title:
|
|
178
|
+
readonly sessionID: Session.ID;
|
|
179
|
+
readonly title: string;
|
|
113
180
|
};
|
|
114
|
-
export type Endpoint5_8Output =
|
|
181
|
+
export type Endpoint5_8Output = void;
|
|
115
182
|
export type SessionRenameOperation<E = never> = (input: Endpoint5_8Input) => Effect.Effect<Endpoint5_8Output, E>;
|
|
116
|
-
type Endpoint5_9Request = Parameters<RawClient["server.session"]["session.move"]>[0];
|
|
117
183
|
export type Endpoint5_9Input = {
|
|
118
|
-
readonly sessionID:
|
|
119
|
-
readonly directory:
|
|
120
|
-
readonly workspaceID?:
|
|
184
|
+
readonly sessionID: Session.ID;
|
|
185
|
+
readonly directory: AbsolutePath;
|
|
186
|
+
readonly workspaceID?: Workspace.ID | undefined;
|
|
121
187
|
};
|
|
122
|
-
export type Endpoint5_9Output =
|
|
188
|
+
export type Endpoint5_9Output = void;
|
|
123
189
|
export type SessionMoveOperation<E = never> = (input: Endpoint5_9Input) => Effect.Effect<Endpoint5_9Output, E>;
|
|
124
|
-
type Endpoint5_10Request = Parameters<RawClient["server.session"]["session.prompt"]>[0];
|
|
125
190
|
export type Endpoint5_10Input = {
|
|
126
|
-
readonly sessionID:
|
|
127
|
-
readonly id?:
|
|
128
|
-
readonly text:
|
|
129
|
-
readonly files?:
|
|
130
|
-
readonly agents?:
|
|
131
|
-
readonly metadata?:
|
|
132
|
-
|
|
133
|
-
|
|
134
|
-
|
|
135
|
-
|
|
191
|
+
readonly sessionID: Session.ID;
|
|
192
|
+
readonly id?: SessionMessage.ID | undefined;
|
|
193
|
+
readonly text: string;
|
|
194
|
+
readonly files?: ReadonlyArray<PromptInput.FileAttachment> | undefined;
|
|
195
|
+
readonly agents?: ReadonlyArray<AgentAttachment> | undefined;
|
|
196
|
+
readonly metadata?: {
|
|
197
|
+
readonly [x: string]: unknown;
|
|
198
|
+
} | undefined;
|
|
199
|
+
readonly delivery?: "steer" | "queue" | undefined;
|
|
200
|
+
readonly resume?: boolean | undefined;
|
|
201
|
+
};
|
|
202
|
+
export type Endpoint5_10Output = SessionPending.User;
|
|
136
203
|
export type SessionPromptOperation<E = never> = (input: Endpoint5_10Input) => Effect.Effect<Endpoint5_10Output, E>;
|
|
137
|
-
type Endpoint5_11Request = Parameters<RawClient["server.session"]["session.command"]>[0];
|
|
138
204
|
export type Endpoint5_11Input = {
|
|
139
|
-
readonly sessionID:
|
|
140
|
-
readonly id?:
|
|
141
|
-
readonly command:
|
|
142
|
-
readonly arguments?:
|
|
143
|
-
readonly agent?:
|
|
144
|
-
readonly model?:
|
|
145
|
-
readonly files?:
|
|
146
|
-
readonly agents?:
|
|
147
|
-
readonly delivery?:
|
|
148
|
-
readonly resume?:
|
|
149
|
-
};
|
|
150
|
-
export type Endpoint5_11Output =
|
|
205
|
+
readonly sessionID: Session.ID;
|
|
206
|
+
readonly id?: SessionMessage.ID | undefined;
|
|
207
|
+
readonly command: string;
|
|
208
|
+
readonly arguments?: string | undefined;
|
|
209
|
+
readonly agent?: Agent.ID | undefined;
|
|
210
|
+
readonly model?: Model.Ref | undefined;
|
|
211
|
+
readonly files?: ReadonlyArray<PromptInput.FileAttachment> | undefined;
|
|
212
|
+
readonly agents?: ReadonlyArray<AgentAttachment> | undefined;
|
|
213
|
+
readonly delivery?: "steer" | "queue" | undefined;
|
|
214
|
+
readonly resume?: boolean | undefined;
|
|
215
|
+
};
|
|
216
|
+
export type Endpoint5_11Output = SessionPending.User;
|
|
151
217
|
export type SessionCommandOperation<E = never> = (input: Endpoint5_11Input) => Effect.Effect<Endpoint5_11Output, E>;
|
|
152
|
-
type Endpoint5_12Request = Parameters<RawClient["server.session"]["session.skill"]>[0];
|
|
153
218
|
export type Endpoint5_12Input = {
|
|
154
|
-
readonly sessionID:
|
|
155
|
-
readonly id?:
|
|
156
|
-
readonly skill:
|
|
157
|
-
readonly resume?:
|
|
219
|
+
readonly sessionID: Session.ID;
|
|
220
|
+
readonly id?: SessionMessage.ID | undefined;
|
|
221
|
+
readonly skill: Skill.ID;
|
|
222
|
+
readonly resume?: boolean | undefined;
|
|
158
223
|
};
|
|
159
|
-
export type Endpoint5_12Output =
|
|
224
|
+
export type Endpoint5_12Output = void;
|
|
160
225
|
export type SessionSkillOperation<E = never> = (input: Endpoint5_12Input) => Effect.Effect<Endpoint5_12Output, E>;
|
|
161
|
-
type Endpoint5_13Request = Parameters<RawClient["server.session"]["session.synthetic"]>[0];
|
|
162
226
|
export type Endpoint5_13Input = {
|
|
163
|
-
readonly sessionID:
|
|
164
|
-
readonly id?:
|
|
165
|
-
readonly text:
|
|
166
|
-
readonly description?:
|
|
167
|
-
readonly metadata?:
|
|
168
|
-
|
|
169
|
-
|
|
170
|
-
|
|
171
|
-
|
|
227
|
+
readonly sessionID: Session.ID;
|
|
228
|
+
readonly id?: SessionMessage.ID | undefined;
|
|
229
|
+
readonly text: string;
|
|
230
|
+
readonly description?: string | undefined;
|
|
231
|
+
readonly metadata?: {
|
|
232
|
+
readonly [x: string]: unknown;
|
|
233
|
+
} | undefined;
|
|
234
|
+
readonly delivery?: "steer" | "queue" | undefined;
|
|
235
|
+
readonly resume?: boolean | undefined;
|
|
236
|
+
};
|
|
237
|
+
export type Endpoint5_13Output = SessionPending.Synthetic;
|
|
172
238
|
export type SessionSyntheticOperation<E = never> = (input: Endpoint5_13Input) => Effect.Effect<Endpoint5_13Output, E>;
|
|
173
|
-
type Endpoint5_14Request = Parameters<RawClient["server.session"]["session.shell"]>[0];
|
|
174
239
|
export type Endpoint5_14Input = {
|
|
175
|
-
readonly sessionID:
|
|
176
|
-
readonly id?:
|
|
177
|
-
readonly command:
|
|
240
|
+
readonly sessionID: Session.ID;
|
|
241
|
+
readonly id?: Event.ID | undefined;
|
|
242
|
+
readonly command: string;
|
|
178
243
|
};
|
|
179
|
-
export type Endpoint5_14Output =
|
|
244
|
+
export type Endpoint5_14Output = void;
|
|
180
245
|
export type SessionShellOperation<E = never> = (input: Endpoint5_14Input) => Effect.Effect<Endpoint5_14Output, E>;
|
|
181
|
-
type Endpoint5_15Request = Parameters<RawClient["server.session"]["session.compact"]>[0];
|
|
182
246
|
export type Endpoint5_15Input = {
|
|
183
|
-
readonly sessionID:
|
|
184
|
-
readonly id?:
|
|
247
|
+
readonly sessionID: Session.ID;
|
|
248
|
+
readonly id?: SessionMessage.ID | undefined;
|
|
185
249
|
};
|
|
186
|
-
export type Endpoint5_15Output =
|
|
250
|
+
export type Endpoint5_15Output = SessionPending.Compaction;
|
|
187
251
|
export type SessionCompactOperation<E = never> = (input: Endpoint5_15Input) => Effect.Effect<Endpoint5_15Output, E>;
|
|
188
|
-
type Endpoint5_16Request = Parameters<RawClient["server.session"]["session.wait"]>[0];
|
|
189
252
|
export type Endpoint5_16Input = {
|
|
190
|
-
readonly sessionID:
|
|
253
|
+
readonly sessionID: Session.ID;
|
|
191
254
|
};
|
|
192
|
-
export type Endpoint5_16Output =
|
|
255
|
+
export type Endpoint5_16Output = void;
|
|
193
256
|
export type SessionWaitOperation<E = never> = (input: Endpoint5_16Input) => Effect.Effect<Endpoint5_16Output, E>;
|
|
194
|
-
type Endpoint5_17Request = Parameters<RawClient["server.session"]["session.revert.stage"]>[0];
|
|
195
257
|
export type Endpoint5_17Input = {
|
|
196
|
-
readonly sessionID:
|
|
197
|
-
readonly messageID:
|
|
198
|
-
readonly files?:
|
|
258
|
+
readonly sessionID: Session.ID;
|
|
259
|
+
readonly messageID: SessionMessage.ID;
|
|
260
|
+
readonly files?: boolean | undefined;
|
|
199
261
|
};
|
|
200
|
-
export type Endpoint5_17Output =
|
|
262
|
+
export type Endpoint5_17Output = Session.Revert;
|
|
201
263
|
export type SessionRevertStageOperation<E = never> = (input: Endpoint5_17Input) => Effect.Effect<Endpoint5_17Output, E>;
|
|
202
|
-
type Endpoint5_18Request = Parameters<RawClient["server.session"]["session.revert.clear"]>[0];
|
|
203
264
|
export type Endpoint5_18Input = {
|
|
204
|
-
readonly sessionID:
|
|
265
|
+
readonly sessionID: Session.ID;
|
|
205
266
|
};
|
|
206
|
-
export type Endpoint5_18Output =
|
|
267
|
+
export type Endpoint5_18Output = void;
|
|
207
268
|
export type SessionRevertClearOperation<E = never> = (input: Endpoint5_18Input) => Effect.Effect<Endpoint5_18Output, E>;
|
|
208
|
-
type Endpoint5_19Request = Parameters<RawClient["server.session"]["session.revert.commit"]>[0];
|
|
209
269
|
export type Endpoint5_19Input = {
|
|
210
|
-
readonly sessionID:
|
|
270
|
+
readonly sessionID: Session.ID;
|
|
211
271
|
};
|
|
212
|
-
export type Endpoint5_19Output =
|
|
272
|
+
export type Endpoint5_19Output = void;
|
|
213
273
|
export type SessionRevertCommitOperation<E = never> = (input: Endpoint5_19Input) => Effect.Effect<Endpoint5_19Output, E>;
|
|
214
|
-
type Endpoint5_20Request = Parameters<RawClient["server.session"]["session.context"]>[0];
|
|
215
274
|
export type Endpoint5_20Input = {
|
|
216
|
-
readonly sessionID:
|
|
275
|
+
readonly sessionID: Session.ID;
|
|
217
276
|
};
|
|
218
|
-
export type Endpoint5_20Output =
|
|
277
|
+
export type Endpoint5_20Output = ReadonlyArray<SessionMessage.Info>;
|
|
219
278
|
export type SessionContextOperation<E = never> = (input: Endpoint5_20Input) => Effect.Effect<Endpoint5_20Output, E>;
|
|
220
|
-
type Endpoint5_21Request = Parameters<RawClient["server.session"]["session.pending.list"]>[0];
|
|
221
279
|
export type Endpoint5_21Input = {
|
|
222
|
-
readonly sessionID:
|
|
280
|
+
readonly sessionID: Session.ID;
|
|
223
281
|
};
|
|
224
|
-
export type Endpoint5_21Output =
|
|
282
|
+
export type Endpoint5_21Output = ReadonlyArray<SessionPending.Info>;
|
|
225
283
|
export type SessionPendingListOperation<E = never> = (input: Endpoint5_21Input) => Effect.Effect<Endpoint5_21Output, E>;
|
|
226
|
-
type Endpoint5_22Request = Parameters<RawClient["server.session"]["session.instructions.entry.list"]>[0];
|
|
227
284
|
export type Endpoint5_22Input = {
|
|
228
|
-
readonly sessionID:
|
|
285
|
+
readonly sessionID: Session.ID;
|
|
229
286
|
};
|
|
230
|
-
export type Endpoint5_22Output =
|
|
287
|
+
export type Endpoint5_22Output = ReadonlyArray<InstructionEntry.Info>;
|
|
231
288
|
export type SessionInstructionsEntryListOperation<E = never> = (input: Endpoint5_22Input) => Effect.Effect<Endpoint5_22Output, E>;
|
|
232
|
-
type Endpoint5_23Request = Parameters<RawClient["server.session"]["session.instructions.entry.put"]>[0];
|
|
233
289
|
export type Endpoint5_23Input = {
|
|
234
|
-
readonly sessionID:
|
|
235
|
-
readonly key:
|
|
236
|
-
readonly value:
|
|
290
|
+
readonly sessionID: Session.ID;
|
|
291
|
+
readonly key: InstructionEntry.Key;
|
|
292
|
+
readonly value: Schema.Json;
|
|
237
293
|
};
|
|
238
|
-
export type Endpoint5_23Output =
|
|
294
|
+
export type Endpoint5_23Output = void;
|
|
239
295
|
export type SessionInstructionsEntryPutOperation<E = never> = (input: Endpoint5_23Input) => Effect.Effect<Endpoint5_23Output, E>;
|
|
240
|
-
type Endpoint5_24Request = Parameters<RawClient["server.session"]["session.instructions.entry.remove"]>[0];
|
|
241
296
|
export type Endpoint5_24Input = {
|
|
242
|
-
readonly sessionID:
|
|
243
|
-
readonly key:
|
|
297
|
+
readonly sessionID: Session.ID;
|
|
298
|
+
readonly key: InstructionEntry.Key;
|
|
244
299
|
};
|
|
245
|
-
export type Endpoint5_24Output =
|
|
300
|
+
export type Endpoint5_24Output = void;
|
|
246
301
|
export type SessionInstructionsEntryRemoveOperation<E = never> = (input: Endpoint5_24Input) => Effect.Effect<Endpoint5_24Output, E>;
|
|
247
|
-
type Endpoint5_25Request = Parameters<RawClient["server.session"]["session.generate"]>[0];
|
|
248
302
|
export type Endpoint5_25Input = {
|
|
249
|
-
readonly sessionID:
|
|
250
|
-
readonly prompt:
|
|
303
|
+
readonly sessionID: Session.ID;
|
|
304
|
+
readonly prompt: string;
|
|
305
|
+
};
|
|
306
|
+
export type Endpoint5_25Output = {
|
|
307
|
+
readonly text: string;
|
|
251
308
|
};
|
|
252
|
-
export type Endpoint5_25Output = EffectValue<ReturnType<RawClient["server.session"]["session.generate"]>>["data"];
|
|
253
309
|
export type SessionGenerateOperation<E = never> = (input: Endpoint5_25Input) => Effect.Effect<Endpoint5_25Output, E>;
|
|
254
|
-
type Endpoint5_26Request = Parameters<RawClient["server.session"]["session.log"]>[0];
|
|
255
310
|
export type Endpoint5_26Input = {
|
|
256
|
-
readonly sessionID:
|
|
257
|
-
readonly after?:
|
|
258
|
-
readonly follow?:
|
|
259
|
-
};
|
|
260
|
-
export type Endpoint5_26Output =
|
|
311
|
+
readonly sessionID: Session.ID;
|
|
312
|
+
readonly after?: Event.Seq | undefined;
|
|
313
|
+
readonly follow?: boolean | undefined;
|
|
314
|
+
};
|
|
315
|
+
export type Endpoint5_26Output = ({
|
|
316
|
+
readonly id: Event.ID;
|
|
317
|
+
readonly created: DateTime.Utc;
|
|
318
|
+
readonly metadata?: {
|
|
319
|
+
readonly [x: string]: unknown;
|
|
320
|
+
} | undefined;
|
|
321
|
+
readonly type: "session.agent.selected";
|
|
322
|
+
readonly durable: {
|
|
323
|
+
readonly aggregateID: string;
|
|
324
|
+
readonly seq: Event.Seq;
|
|
325
|
+
readonly version: Event.Version;
|
|
326
|
+
};
|
|
327
|
+
readonly location?: Location.Ref | undefined;
|
|
328
|
+
readonly data: {
|
|
329
|
+
readonly sessionID: Session.ID;
|
|
330
|
+
readonly agent: Agent.ID;
|
|
331
|
+
};
|
|
332
|
+
} | {
|
|
333
|
+
readonly id: Event.ID;
|
|
334
|
+
readonly created: DateTime.Utc;
|
|
335
|
+
readonly metadata?: {
|
|
336
|
+
readonly [x: string]: unknown;
|
|
337
|
+
} | undefined;
|
|
338
|
+
readonly type: "session.model.selected";
|
|
339
|
+
readonly durable: {
|
|
340
|
+
readonly aggregateID: string;
|
|
341
|
+
readonly seq: Event.Seq;
|
|
342
|
+
readonly version: Event.Version;
|
|
343
|
+
};
|
|
344
|
+
readonly location?: Location.Ref | undefined;
|
|
345
|
+
readonly data: {
|
|
346
|
+
readonly sessionID: Session.ID;
|
|
347
|
+
readonly model: Model.Ref;
|
|
348
|
+
};
|
|
349
|
+
} | {
|
|
350
|
+
readonly id: Event.ID;
|
|
351
|
+
readonly created: DateTime.Utc;
|
|
352
|
+
readonly metadata?: {
|
|
353
|
+
readonly [x: string]: unknown;
|
|
354
|
+
} | undefined;
|
|
355
|
+
readonly type: "session.moved";
|
|
356
|
+
readonly durable: {
|
|
357
|
+
readonly aggregateID: string;
|
|
358
|
+
readonly seq: Event.Seq;
|
|
359
|
+
readonly version: Event.Version;
|
|
360
|
+
};
|
|
361
|
+
readonly location?: Location.Ref | undefined;
|
|
362
|
+
readonly data: {
|
|
363
|
+
readonly sessionID: Session.ID;
|
|
364
|
+
readonly location: Location.Ref;
|
|
365
|
+
readonly projectID?: Project.ID | undefined;
|
|
366
|
+
readonly subpath?: RelativePath | undefined;
|
|
367
|
+
};
|
|
368
|
+
} | {
|
|
369
|
+
readonly id: Event.ID;
|
|
370
|
+
readonly created: DateTime.Utc;
|
|
371
|
+
readonly metadata?: {
|
|
372
|
+
readonly [x: string]: unknown;
|
|
373
|
+
} | undefined;
|
|
374
|
+
readonly type: "session.renamed";
|
|
375
|
+
readonly durable: {
|
|
376
|
+
readonly aggregateID: string;
|
|
377
|
+
readonly seq: Event.Seq;
|
|
378
|
+
readonly version: Event.Version;
|
|
379
|
+
};
|
|
380
|
+
readonly location?: Location.Ref | undefined;
|
|
381
|
+
readonly data: {
|
|
382
|
+
readonly sessionID: Session.ID;
|
|
383
|
+
readonly title: string;
|
|
384
|
+
};
|
|
385
|
+
} | {
|
|
386
|
+
readonly id: Event.ID;
|
|
387
|
+
readonly created: DateTime.Utc;
|
|
388
|
+
readonly metadata?: {
|
|
389
|
+
readonly [x: string]: unknown;
|
|
390
|
+
} | undefined;
|
|
391
|
+
readonly type: "session.deleted";
|
|
392
|
+
readonly durable: {
|
|
393
|
+
readonly aggregateID: string;
|
|
394
|
+
readonly seq: Event.Seq;
|
|
395
|
+
readonly version: Event.Version;
|
|
396
|
+
};
|
|
397
|
+
readonly location?: Location.Ref | undefined;
|
|
398
|
+
readonly data: {
|
|
399
|
+
readonly sessionID: Session.ID;
|
|
400
|
+
};
|
|
401
|
+
} | {
|
|
402
|
+
readonly id: Event.ID;
|
|
403
|
+
readonly created: DateTime.Utc;
|
|
404
|
+
readonly metadata?: {
|
|
405
|
+
readonly [x: string]: unknown;
|
|
406
|
+
} | undefined;
|
|
407
|
+
readonly type: "session.forked";
|
|
408
|
+
readonly durable: {
|
|
409
|
+
readonly aggregateID: string;
|
|
410
|
+
readonly seq: Event.Seq;
|
|
411
|
+
readonly version: Event.Version;
|
|
412
|
+
};
|
|
413
|
+
readonly location?: Location.Ref | undefined;
|
|
414
|
+
readonly data: {
|
|
415
|
+
readonly sessionID: Session.ID;
|
|
416
|
+
readonly parentID: Session.ID;
|
|
417
|
+
readonly parentSeq: number;
|
|
418
|
+
readonly from?: SessionMessage.ID | undefined;
|
|
419
|
+
};
|
|
420
|
+
} | {
|
|
421
|
+
readonly id: Event.ID;
|
|
422
|
+
readonly created: DateTime.Utc;
|
|
423
|
+
readonly metadata?: {
|
|
424
|
+
readonly [x: string]: unknown;
|
|
425
|
+
} | undefined;
|
|
426
|
+
readonly type: "session.input.promoted";
|
|
427
|
+
readonly durable: {
|
|
428
|
+
readonly aggregateID: string;
|
|
429
|
+
readonly seq: Event.Seq;
|
|
430
|
+
readonly version: Event.Version;
|
|
431
|
+
};
|
|
432
|
+
readonly location?: Location.Ref | undefined;
|
|
433
|
+
readonly data: {
|
|
434
|
+
readonly sessionID: Session.ID;
|
|
435
|
+
readonly inputID: SessionMessage.ID;
|
|
436
|
+
};
|
|
437
|
+
} | {
|
|
438
|
+
readonly id: Event.ID;
|
|
439
|
+
readonly created: DateTime.Utc;
|
|
440
|
+
readonly metadata?: {
|
|
441
|
+
readonly [x: string]: unknown;
|
|
442
|
+
} | undefined;
|
|
443
|
+
readonly type: "session.input.admitted";
|
|
444
|
+
readonly durable: {
|
|
445
|
+
readonly aggregateID: string;
|
|
446
|
+
readonly seq: Event.Seq;
|
|
447
|
+
readonly version: Event.Version;
|
|
448
|
+
};
|
|
449
|
+
readonly location?: Location.Ref | undefined;
|
|
450
|
+
readonly data: {
|
|
451
|
+
readonly sessionID: Session.ID;
|
|
452
|
+
readonly inputID: SessionMessage.ID;
|
|
453
|
+
readonly input: SessionPending.Message;
|
|
454
|
+
};
|
|
455
|
+
} | {
|
|
456
|
+
readonly id: Event.ID;
|
|
457
|
+
readonly created: DateTime.Utc;
|
|
458
|
+
readonly metadata?: {
|
|
459
|
+
readonly [x: string]: unknown;
|
|
460
|
+
} | undefined;
|
|
461
|
+
readonly type: "session.execution.started";
|
|
462
|
+
readonly durable: {
|
|
463
|
+
readonly aggregateID: string;
|
|
464
|
+
readonly seq: Event.Seq;
|
|
465
|
+
readonly version: Event.Version;
|
|
466
|
+
};
|
|
467
|
+
readonly location?: Location.Ref | undefined;
|
|
468
|
+
readonly data: {
|
|
469
|
+
readonly sessionID: Session.ID;
|
|
470
|
+
};
|
|
471
|
+
} | {
|
|
472
|
+
readonly id: Event.ID;
|
|
473
|
+
readonly created: DateTime.Utc;
|
|
474
|
+
readonly metadata?: {
|
|
475
|
+
readonly [x: string]: unknown;
|
|
476
|
+
} | undefined;
|
|
477
|
+
readonly type: "session.execution.succeeded";
|
|
478
|
+
readonly durable: {
|
|
479
|
+
readonly aggregateID: string;
|
|
480
|
+
readonly seq: Event.Seq;
|
|
481
|
+
readonly version: Event.Version;
|
|
482
|
+
};
|
|
483
|
+
readonly location?: Location.Ref | undefined;
|
|
484
|
+
readonly data: {
|
|
485
|
+
readonly sessionID: Session.ID;
|
|
486
|
+
};
|
|
487
|
+
} | {
|
|
488
|
+
readonly id: Event.ID;
|
|
489
|
+
readonly created: DateTime.Utc;
|
|
490
|
+
readonly metadata?: {
|
|
491
|
+
readonly [x: string]: unknown;
|
|
492
|
+
} | undefined;
|
|
493
|
+
readonly type: "session.execution.failed";
|
|
494
|
+
readonly durable: {
|
|
495
|
+
readonly aggregateID: string;
|
|
496
|
+
readonly seq: Event.Seq;
|
|
497
|
+
readonly version: Event.Version;
|
|
498
|
+
};
|
|
499
|
+
readonly location?: Location.Ref | undefined;
|
|
500
|
+
readonly data: {
|
|
501
|
+
readonly sessionID: Session.ID;
|
|
502
|
+
readonly error: {
|
|
503
|
+
readonly type: string;
|
|
504
|
+
readonly message: string;
|
|
505
|
+
};
|
|
506
|
+
};
|
|
507
|
+
} | {
|
|
508
|
+
readonly id: Event.ID;
|
|
509
|
+
readonly created: DateTime.Utc;
|
|
510
|
+
readonly metadata?: {
|
|
511
|
+
readonly [x: string]: unknown;
|
|
512
|
+
} | undefined;
|
|
513
|
+
readonly type: "session.execution.interrupted";
|
|
514
|
+
readonly durable: {
|
|
515
|
+
readonly aggregateID: string;
|
|
516
|
+
readonly seq: Event.Seq;
|
|
517
|
+
readonly version: Event.Version;
|
|
518
|
+
};
|
|
519
|
+
readonly location?: Location.Ref | undefined;
|
|
520
|
+
readonly data: {
|
|
521
|
+
readonly sessionID: Session.ID;
|
|
522
|
+
readonly reason: "user" | "shutdown" | "superseded";
|
|
523
|
+
};
|
|
524
|
+
} | {
|
|
525
|
+
readonly id: Event.ID;
|
|
526
|
+
readonly created: DateTime.Utc;
|
|
527
|
+
readonly metadata?: {
|
|
528
|
+
readonly [x: string]: unknown;
|
|
529
|
+
} | undefined;
|
|
530
|
+
readonly type: "session.instructions.updated";
|
|
531
|
+
readonly durable: {
|
|
532
|
+
readonly aggregateID: string;
|
|
533
|
+
readonly seq: Event.Seq;
|
|
534
|
+
readonly version: Event.Version;
|
|
535
|
+
};
|
|
536
|
+
readonly location?: Location.Ref | undefined;
|
|
537
|
+
readonly data: {
|
|
538
|
+
readonly sessionID: Session.ID;
|
|
539
|
+
readonly delta: {
|
|
540
|
+
readonly [x: string]: (string & Brand.Brand<"Instruction.Hash">) | "removed";
|
|
541
|
+
};
|
|
542
|
+
};
|
|
543
|
+
} | {
|
|
544
|
+
readonly id: Event.ID;
|
|
545
|
+
readonly created: DateTime.Utc;
|
|
546
|
+
readonly metadata?: {
|
|
547
|
+
readonly [x: string]: unknown;
|
|
548
|
+
} | undefined;
|
|
549
|
+
readonly type: "session.synthetic";
|
|
550
|
+
readonly durable: {
|
|
551
|
+
readonly aggregateID: string;
|
|
552
|
+
readonly seq: Event.Seq;
|
|
553
|
+
readonly version: Event.Version;
|
|
554
|
+
};
|
|
555
|
+
readonly location?: Location.Ref | undefined;
|
|
556
|
+
readonly data: {
|
|
557
|
+
readonly sessionID: Session.ID;
|
|
558
|
+
readonly text: string;
|
|
559
|
+
readonly description?: string | undefined;
|
|
560
|
+
readonly metadata?: {
|
|
561
|
+
readonly [x: string]: unknown;
|
|
562
|
+
} | undefined;
|
|
563
|
+
};
|
|
564
|
+
} | {
|
|
565
|
+
readonly id: Event.ID;
|
|
566
|
+
readonly created: DateTime.Utc;
|
|
567
|
+
readonly metadata?: {
|
|
568
|
+
readonly [x: string]: unknown;
|
|
569
|
+
} | undefined;
|
|
570
|
+
readonly type: "session.skill.activated";
|
|
571
|
+
readonly durable: {
|
|
572
|
+
readonly aggregateID: string;
|
|
573
|
+
readonly seq: Event.Seq;
|
|
574
|
+
readonly version: Event.Version;
|
|
575
|
+
};
|
|
576
|
+
readonly location?: Location.Ref | undefined;
|
|
577
|
+
readonly data: {
|
|
578
|
+
readonly sessionID: Session.ID;
|
|
579
|
+
readonly id: Skill.ID;
|
|
580
|
+
readonly name: Skill.Name;
|
|
581
|
+
readonly text: string;
|
|
582
|
+
};
|
|
583
|
+
} | {
|
|
584
|
+
readonly id: Event.ID;
|
|
585
|
+
readonly created: DateTime.Utc;
|
|
586
|
+
readonly metadata?: {
|
|
587
|
+
readonly [x: string]: unknown;
|
|
588
|
+
} | undefined;
|
|
589
|
+
readonly type: "session.shell.started";
|
|
590
|
+
readonly durable: {
|
|
591
|
+
readonly aggregateID: string;
|
|
592
|
+
readonly seq: Event.Seq;
|
|
593
|
+
readonly version: Event.Version;
|
|
594
|
+
};
|
|
595
|
+
readonly location?: Location.Ref | undefined;
|
|
596
|
+
readonly data: {
|
|
597
|
+
readonly sessionID: Session.ID;
|
|
598
|
+
readonly shell: Shell.Info;
|
|
599
|
+
};
|
|
600
|
+
} | {
|
|
601
|
+
readonly id: Event.ID;
|
|
602
|
+
readonly created: DateTime.Utc;
|
|
603
|
+
readonly metadata?: {
|
|
604
|
+
readonly [x: string]: unknown;
|
|
605
|
+
} | undefined;
|
|
606
|
+
readonly type: "session.shell.ended";
|
|
607
|
+
readonly durable: {
|
|
608
|
+
readonly aggregateID: string;
|
|
609
|
+
readonly seq: Event.Seq;
|
|
610
|
+
readonly version: Event.Version;
|
|
611
|
+
};
|
|
612
|
+
readonly location?: Location.Ref | undefined;
|
|
613
|
+
readonly data: {
|
|
614
|
+
readonly sessionID: Session.ID;
|
|
615
|
+
readonly shell: Shell.Info;
|
|
616
|
+
readonly output: {
|
|
617
|
+
readonly output: string;
|
|
618
|
+
readonly cursor: number;
|
|
619
|
+
readonly size: number;
|
|
620
|
+
readonly truncated: boolean;
|
|
621
|
+
};
|
|
622
|
+
};
|
|
623
|
+
} | {
|
|
624
|
+
readonly id: Event.ID;
|
|
625
|
+
readonly created: DateTime.Utc;
|
|
626
|
+
readonly metadata?: {
|
|
627
|
+
readonly [x: string]: unknown;
|
|
628
|
+
} | undefined;
|
|
629
|
+
readonly type: "session.step.started";
|
|
630
|
+
readonly durable: {
|
|
631
|
+
readonly aggregateID: string;
|
|
632
|
+
readonly seq: Event.Seq;
|
|
633
|
+
readonly version: Event.Version;
|
|
634
|
+
};
|
|
635
|
+
readonly location?: Location.Ref | undefined;
|
|
636
|
+
readonly data: {
|
|
637
|
+
readonly sessionID: Session.ID;
|
|
638
|
+
readonly assistantMessageID: SessionMessage.ID;
|
|
639
|
+
readonly agent: Agent.ID;
|
|
640
|
+
readonly model: Model.Ref;
|
|
641
|
+
readonly snapshot?: (string & Brand.Brand<"Snapshot.ID">) | undefined;
|
|
642
|
+
};
|
|
643
|
+
} | {
|
|
644
|
+
readonly id: Event.ID;
|
|
645
|
+
readonly created: DateTime.Utc;
|
|
646
|
+
readonly metadata?: {
|
|
647
|
+
readonly [x: string]: unknown;
|
|
648
|
+
} | undefined;
|
|
649
|
+
readonly type: "session.step.ended";
|
|
650
|
+
readonly durable: {
|
|
651
|
+
readonly aggregateID: string;
|
|
652
|
+
readonly seq: Event.Seq;
|
|
653
|
+
readonly version: Event.Version;
|
|
654
|
+
};
|
|
655
|
+
readonly location?: Location.Ref | undefined;
|
|
656
|
+
readonly data: {
|
|
657
|
+
readonly sessionID: Session.ID;
|
|
658
|
+
readonly assistantMessageID: SessionMessage.ID;
|
|
659
|
+
readonly finish: "stop" | "length" | "tool-calls" | "content-filter" | "error" | "unknown";
|
|
660
|
+
readonly cost: number & Brand.Brand<"Money.USD">;
|
|
661
|
+
readonly tokens: {
|
|
662
|
+
readonly input: number;
|
|
663
|
+
readonly output: number;
|
|
664
|
+
readonly reasoning: number;
|
|
665
|
+
readonly cache: {
|
|
666
|
+
readonly read: number;
|
|
667
|
+
readonly write: number;
|
|
668
|
+
};
|
|
669
|
+
};
|
|
670
|
+
readonly snapshot?: (string & Brand.Brand<"Snapshot.ID">) | undefined;
|
|
671
|
+
readonly files?: ReadonlyArray<RelativePath> | undefined;
|
|
672
|
+
};
|
|
673
|
+
} | {
|
|
674
|
+
readonly id: Event.ID;
|
|
675
|
+
readonly created: DateTime.Utc;
|
|
676
|
+
readonly metadata?: {
|
|
677
|
+
readonly [x: string]: unknown;
|
|
678
|
+
} | undefined;
|
|
679
|
+
readonly type: "session.step.failed";
|
|
680
|
+
readonly durable: {
|
|
681
|
+
readonly aggregateID: string;
|
|
682
|
+
readonly seq: Event.Seq;
|
|
683
|
+
readonly version: Event.Version;
|
|
684
|
+
};
|
|
685
|
+
readonly location?: Location.Ref | undefined;
|
|
686
|
+
readonly data: {
|
|
687
|
+
readonly sessionID: Session.ID;
|
|
688
|
+
readonly assistantMessageID: SessionMessage.ID;
|
|
689
|
+
readonly error: {
|
|
690
|
+
readonly type: string;
|
|
691
|
+
readonly message: string;
|
|
692
|
+
};
|
|
693
|
+
readonly cost?: (number & Brand.Brand<"Money.USD">) | undefined;
|
|
694
|
+
readonly tokens?: {
|
|
695
|
+
readonly input: number;
|
|
696
|
+
readonly output: number;
|
|
697
|
+
readonly reasoning: number;
|
|
698
|
+
readonly cache: {
|
|
699
|
+
readonly read: number;
|
|
700
|
+
readonly write: number;
|
|
701
|
+
};
|
|
702
|
+
} | undefined;
|
|
703
|
+
readonly snapshot?: (string & Brand.Brand<"Snapshot.ID">) | undefined;
|
|
704
|
+
readonly files?: ReadonlyArray<RelativePath> | undefined;
|
|
705
|
+
};
|
|
706
|
+
} | {
|
|
707
|
+
readonly id: Event.ID;
|
|
708
|
+
readonly created: DateTime.Utc;
|
|
709
|
+
readonly metadata?: {
|
|
710
|
+
readonly [x: string]: unknown;
|
|
711
|
+
} | undefined;
|
|
712
|
+
readonly type: "session.text.started";
|
|
713
|
+
readonly durable: {
|
|
714
|
+
readonly aggregateID: string;
|
|
715
|
+
readonly seq: Event.Seq;
|
|
716
|
+
readonly version: Event.Version;
|
|
717
|
+
};
|
|
718
|
+
readonly location?: Location.Ref | undefined;
|
|
719
|
+
readonly data: {
|
|
720
|
+
readonly sessionID: Session.ID;
|
|
721
|
+
readonly assistantMessageID: SessionMessage.ID;
|
|
722
|
+
readonly ordinal: number;
|
|
723
|
+
};
|
|
724
|
+
} | {
|
|
725
|
+
readonly id: Event.ID;
|
|
726
|
+
readonly created: DateTime.Utc;
|
|
727
|
+
readonly metadata?: {
|
|
728
|
+
readonly [x: string]: unknown;
|
|
729
|
+
} | undefined;
|
|
730
|
+
readonly type: "session.text.ended";
|
|
731
|
+
readonly durable: {
|
|
732
|
+
readonly aggregateID: string;
|
|
733
|
+
readonly seq: Event.Seq;
|
|
734
|
+
readonly version: Event.Version;
|
|
735
|
+
};
|
|
736
|
+
readonly location?: Location.Ref | undefined;
|
|
737
|
+
readonly data: {
|
|
738
|
+
readonly sessionID: Session.ID;
|
|
739
|
+
readonly assistantMessageID: SessionMessage.ID;
|
|
740
|
+
readonly ordinal: number;
|
|
741
|
+
readonly text: string;
|
|
742
|
+
readonly state?: SessionMessage.ProviderState | undefined;
|
|
743
|
+
};
|
|
744
|
+
} | {
|
|
745
|
+
readonly id: Event.ID;
|
|
746
|
+
readonly created: DateTime.Utc;
|
|
747
|
+
readonly metadata?: {
|
|
748
|
+
readonly [x: string]: unknown;
|
|
749
|
+
} | undefined;
|
|
750
|
+
readonly type: "session.reasoning.started";
|
|
751
|
+
readonly durable: {
|
|
752
|
+
readonly aggregateID: string;
|
|
753
|
+
readonly seq: Event.Seq;
|
|
754
|
+
readonly version: Event.Version;
|
|
755
|
+
};
|
|
756
|
+
readonly location?: Location.Ref | undefined;
|
|
757
|
+
readonly data: {
|
|
758
|
+
readonly sessionID: Session.ID;
|
|
759
|
+
readonly assistantMessageID: SessionMessage.ID;
|
|
760
|
+
readonly ordinal: number;
|
|
761
|
+
readonly state?: SessionMessage.ProviderState | undefined;
|
|
762
|
+
};
|
|
763
|
+
} | {
|
|
764
|
+
readonly id: Event.ID;
|
|
765
|
+
readonly created: DateTime.Utc;
|
|
766
|
+
readonly metadata?: {
|
|
767
|
+
readonly [x: string]: unknown;
|
|
768
|
+
} | undefined;
|
|
769
|
+
readonly type: "session.reasoning.ended";
|
|
770
|
+
readonly durable: {
|
|
771
|
+
readonly aggregateID: string;
|
|
772
|
+
readonly seq: Event.Seq;
|
|
773
|
+
readonly version: Event.Version;
|
|
774
|
+
};
|
|
775
|
+
readonly location?: Location.Ref | undefined;
|
|
776
|
+
readonly data: {
|
|
777
|
+
readonly sessionID: Session.ID;
|
|
778
|
+
readonly assistantMessageID: SessionMessage.ID;
|
|
779
|
+
readonly ordinal: number;
|
|
780
|
+
readonly text: string;
|
|
781
|
+
readonly state?: SessionMessage.ProviderState | undefined;
|
|
782
|
+
};
|
|
783
|
+
} | {
|
|
784
|
+
readonly id: Event.ID;
|
|
785
|
+
readonly created: DateTime.Utc;
|
|
786
|
+
readonly metadata?: {
|
|
787
|
+
readonly [x: string]: unknown;
|
|
788
|
+
} | undefined;
|
|
789
|
+
readonly type: "session.tool.input.started";
|
|
790
|
+
readonly durable: {
|
|
791
|
+
readonly aggregateID: string;
|
|
792
|
+
readonly seq: Event.Seq;
|
|
793
|
+
readonly version: Event.Version;
|
|
794
|
+
};
|
|
795
|
+
readonly location?: Location.Ref | undefined;
|
|
796
|
+
readonly data: {
|
|
797
|
+
readonly sessionID: Session.ID;
|
|
798
|
+
readonly assistantMessageID: SessionMessage.ID;
|
|
799
|
+
readonly callID: string;
|
|
800
|
+
readonly name: string;
|
|
801
|
+
};
|
|
802
|
+
} | {
|
|
803
|
+
readonly id: Event.ID;
|
|
804
|
+
readonly created: DateTime.Utc;
|
|
805
|
+
readonly metadata?: {
|
|
806
|
+
readonly [x: string]: unknown;
|
|
807
|
+
} | undefined;
|
|
808
|
+
readonly type: "session.tool.input.ended";
|
|
809
|
+
readonly durable: {
|
|
810
|
+
readonly aggregateID: string;
|
|
811
|
+
readonly seq: Event.Seq;
|
|
812
|
+
readonly version: Event.Version;
|
|
813
|
+
};
|
|
814
|
+
readonly location?: Location.Ref | undefined;
|
|
815
|
+
readonly data: {
|
|
816
|
+
readonly sessionID: Session.ID;
|
|
817
|
+
readonly assistantMessageID: SessionMessage.ID;
|
|
818
|
+
readonly callID: string;
|
|
819
|
+
readonly text: string;
|
|
820
|
+
};
|
|
821
|
+
} | {
|
|
822
|
+
readonly id: Event.ID;
|
|
823
|
+
readonly created: DateTime.Utc;
|
|
824
|
+
readonly metadata?: {
|
|
825
|
+
readonly [x: string]: unknown;
|
|
826
|
+
} | undefined;
|
|
827
|
+
readonly type: "session.tool.called";
|
|
828
|
+
readonly durable: {
|
|
829
|
+
readonly aggregateID: string;
|
|
830
|
+
readonly seq: Event.Seq;
|
|
831
|
+
readonly version: Event.Version;
|
|
832
|
+
};
|
|
833
|
+
readonly location?: Location.Ref | undefined;
|
|
834
|
+
readonly data: {
|
|
835
|
+
readonly sessionID: Session.ID;
|
|
836
|
+
readonly assistantMessageID: SessionMessage.ID;
|
|
837
|
+
readonly callID: string;
|
|
838
|
+
readonly input: {
|
|
839
|
+
readonly [x: string]: unknown;
|
|
840
|
+
};
|
|
841
|
+
readonly executed: boolean;
|
|
842
|
+
readonly state?: SessionMessage.ProviderState | undefined;
|
|
843
|
+
};
|
|
844
|
+
} | {
|
|
845
|
+
readonly id: Event.ID;
|
|
846
|
+
readonly created: DateTime.Utc;
|
|
847
|
+
readonly metadata?: {
|
|
848
|
+
readonly [x: string]: unknown;
|
|
849
|
+
} | undefined;
|
|
850
|
+
readonly type: "session.tool.success";
|
|
851
|
+
readonly durable: {
|
|
852
|
+
readonly aggregateID: string;
|
|
853
|
+
readonly seq: Event.Seq;
|
|
854
|
+
readonly version: Event.Version;
|
|
855
|
+
};
|
|
856
|
+
readonly location?: Location.Ref | undefined;
|
|
857
|
+
readonly data: {
|
|
858
|
+
readonly sessionID: Session.ID;
|
|
859
|
+
readonly assistantMessageID: SessionMessage.ID;
|
|
860
|
+
readonly callID: string;
|
|
861
|
+
readonly content: readonly [
|
|
862
|
+
({
|
|
863
|
+
readonly type: "text";
|
|
864
|
+
readonly text: string;
|
|
865
|
+
} | {
|
|
866
|
+
readonly type: "file";
|
|
867
|
+
readonly uri: string;
|
|
868
|
+
readonly mime: string;
|
|
869
|
+
readonly name?: string | undefined;
|
|
870
|
+
}),
|
|
871
|
+
...Array<{
|
|
872
|
+
readonly type: "text";
|
|
873
|
+
readonly text: string;
|
|
874
|
+
} | {
|
|
875
|
+
readonly type: "file";
|
|
876
|
+
readonly uri: string;
|
|
877
|
+
readonly mime: string;
|
|
878
|
+
readonly name?: string | undefined;
|
|
879
|
+
}>
|
|
880
|
+
];
|
|
881
|
+
readonly metadata?: {
|
|
882
|
+
readonly [x: string]: Schema.Json;
|
|
883
|
+
} | undefined;
|
|
884
|
+
readonly executed: boolean;
|
|
885
|
+
readonly resultState?: SessionMessage.ProviderState | undefined;
|
|
886
|
+
};
|
|
887
|
+
} | {
|
|
888
|
+
readonly id: Event.ID;
|
|
889
|
+
readonly created: DateTime.Utc;
|
|
890
|
+
readonly metadata?: {
|
|
891
|
+
readonly [x: string]: unknown;
|
|
892
|
+
} | undefined;
|
|
893
|
+
readonly type: "session.tool.failed";
|
|
894
|
+
readonly durable: {
|
|
895
|
+
readonly aggregateID: string;
|
|
896
|
+
readonly seq: Event.Seq;
|
|
897
|
+
readonly version: Event.Version;
|
|
898
|
+
};
|
|
899
|
+
readonly location?: Location.Ref | undefined;
|
|
900
|
+
readonly data: {
|
|
901
|
+
readonly sessionID: Session.ID;
|
|
902
|
+
readonly assistantMessageID: SessionMessage.ID;
|
|
903
|
+
readonly callID: string;
|
|
904
|
+
readonly error: {
|
|
905
|
+
readonly type: string;
|
|
906
|
+
readonly message: string;
|
|
907
|
+
};
|
|
908
|
+
readonly content?: readonly [
|
|
909
|
+
({
|
|
910
|
+
readonly type: "text";
|
|
911
|
+
readonly text: string;
|
|
912
|
+
} | {
|
|
913
|
+
readonly type: "file";
|
|
914
|
+
readonly uri: string;
|
|
915
|
+
readonly mime: string;
|
|
916
|
+
readonly name?: string | undefined;
|
|
917
|
+
}),
|
|
918
|
+
...Array<{
|
|
919
|
+
readonly type: "text";
|
|
920
|
+
readonly text: string;
|
|
921
|
+
} | {
|
|
922
|
+
readonly type: "file";
|
|
923
|
+
readonly uri: string;
|
|
924
|
+
readonly mime: string;
|
|
925
|
+
readonly name?: string | undefined;
|
|
926
|
+
}>
|
|
927
|
+
] | undefined;
|
|
928
|
+
readonly metadata?: {
|
|
929
|
+
readonly [x: string]: Schema.Json;
|
|
930
|
+
} | undefined;
|
|
931
|
+
readonly executed: boolean;
|
|
932
|
+
readonly resultState?: SessionMessage.ProviderState | undefined;
|
|
933
|
+
};
|
|
934
|
+
} | {
|
|
935
|
+
readonly id: Event.ID;
|
|
936
|
+
readonly created: DateTime.Utc;
|
|
937
|
+
readonly metadata?: {
|
|
938
|
+
readonly [x: string]: unknown;
|
|
939
|
+
} | undefined;
|
|
940
|
+
readonly type: "session.retry.scheduled";
|
|
941
|
+
readonly durable: {
|
|
942
|
+
readonly aggregateID: string;
|
|
943
|
+
readonly seq: Event.Seq;
|
|
944
|
+
readonly version: Event.Version;
|
|
945
|
+
};
|
|
946
|
+
readonly location?: Location.Ref | undefined;
|
|
947
|
+
readonly data: {
|
|
948
|
+
readonly sessionID: Session.ID;
|
|
949
|
+
readonly assistantMessageID: SessionMessage.ID;
|
|
950
|
+
readonly attempt: number;
|
|
951
|
+
readonly at: number;
|
|
952
|
+
readonly error: {
|
|
953
|
+
readonly type: string;
|
|
954
|
+
readonly message: string;
|
|
955
|
+
};
|
|
956
|
+
};
|
|
957
|
+
} | {
|
|
958
|
+
readonly id: Event.ID;
|
|
959
|
+
readonly created: DateTime.Utc;
|
|
960
|
+
readonly metadata?: {
|
|
961
|
+
readonly [x: string]: unknown;
|
|
962
|
+
} | undefined;
|
|
963
|
+
readonly type: "session.compaction.admitted";
|
|
964
|
+
readonly durable: {
|
|
965
|
+
readonly aggregateID: string;
|
|
966
|
+
readonly seq: Event.Seq;
|
|
967
|
+
readonly version: Event.Version;
|
|
968
|
+
};
|
|
969
|
+
readonly location?: Location.Ref | undefined;
|
|
970
|
+
readonly data: {
|
|
971
|
+
readonly sessionID: Session.ID;
|
|
972
|
+
readonly inputID: SessionMessage.ID;
|
|
973
|
+
};
|
|
974
|
+
} | {
|
|
975
|
+
readonly id: Event.ID;
|
|
976
|
+
readonly created: DateTime.Utc;
|
|
977
|
+
readonly metadata?: {
|
|
978
|
+
readonly [x: string]: unknown;
|
|
979
|
+
} | undefined;
|
|
980
|
+
readonly type: "session.compaction.started";
|
|
981
|
+
readonly durable: {
|
|
982
|
+
readonly aggregateID: string;
|
|
983
|
+
readonly seq: Event.Seq;
|
|
984
|
+
readonly version: Event.Version;
|
|
985
|
+
};
|
|
986
|
+
readonly location?: Location.Ref | undefined;
|
|
987
|
+
readonly data: {
|
|
988
|
+
readonly sessionID: Session.ID;
|
|
989
|
+
readonly reason: "auto" | "manual";
|
|
990
|
+
readonly recent: string;
|
|
991
|
+
readonly inputID?: SessionMessage.ID | undefined;
|
|
992
|
+
};
|
|
993
|
+
} | {
|
|
994
|
+
readonly id: Event.ID;
|
|
995
|
+
readonly created: DateTime.Utc;
|
|
996
|
+
readonly metadata?: {
|
|
997
|
+
readonly [x: string]: unknown;
|
|
998
|
+
} | undefined;
|
|
999
|
+
readonly type: "session.compaction.ended";
|
|
1000
|
+
readonly durable: {
|
|
1001
|
+
readonly aggregateID: string;
|
|
1002
|
+
readonly seq: Event.Seq;
|
|
1003
|
+
readonly version: Event.Version;
|
|
1004
|
+
};
|
|
1005
|
+
readonly location?: Location.Ref | undefined;
|
|
1006
|
+
readonly data: {
|
|
1007
|
+
readonly sessionID: Session.ID;
|
|
1008
|
+
readonly reason: "auto" | "manual";
|
|
1009
|
+
readonly text: string;
|
|
1010
|
+
readonly recent: string;
|
|
1011
|
+
};
|
|
1012
|
+
} | {
|
|
1013
|
+
readonly id: Event.ID;
|
|
1014
|
+
readonly created: DateTime.Utc;
|
|
1015
|
+
readonly metadata?: {
|
|
1016
|
+
readonly [x: string]: unknown;
|
|
1017
|
+
} | undefined;
|
|
1018
|
+
readonly type: "session.compaction.failed";
|
|
1019
|
+
readonly durable: {
|
|
1020
|
+
readonly aggregateID: string;
|
|
1021
|
+
readonly seq: Event.Seq;
|
|
1022
|
+
readonly version: Event.Version;
|
|
1023
|
+
};
|
|
1024
|
+
readonly location?: Location.Ref | undefined;
|
|
1025
|
+
readonly data: {
|
|
1026
|
+
readonly sessionID: Session.ID;
|
|
1027
|
+
readonly reason: "auto" | "manual";
|
|
1028
|
+
readonly error: {
|
|
1029
|
+
readonly type: string;
|
|
1030
|
+
readonly message: string;
|
|
1031
|
+
};
|
|
1032
|
+
readonly inputID?: SessionMessage.ID | undefined;
|
|
1033
|
+
};
|
|
1034
|
+
} | {
|
|
1035
|
+
readonly id: Event.ID;
|
|
1036
|
+
readonly created: DateTime.Utc;
|
|
1037
|
+
readonly metadata?: {
|
|
1038
|
+
readonly [x: string]: unknown;
|
|
1039
|
+
} | undefined;
|
|
1040
|
+
readonly type: "session.revert.staged";
|
|
1041
|
+
readonly durable: {
|
|
1042
|
+
readonly aggregateID: string;
|
|
1043
|
+
readonly seq: Event.Seq;
|
|
1044
|
+
readonly version: Event.Version;
|
|
1045
|
+
};
|
|
1046
|
+
readonly location?: Location.Ref | undefined;
|
|
1047
|
+
readonly data: {
|
|
1048
|
+
readonly sessionID: Session.ID;
|
|
1049
|
+
readonly revert: Session.Revert;
|
|
1050
|
+
};
|
|
1051
|
+
} | {
|
|
1052
|
+
readonly id: Event.ID;
|
|
1053
|
+
readonly created: DateTime.Utc;
|
|
1054
|
+
readonly metadata?: {
|
|
1055
|
+
readonly [x: string]: unknown;
|
|
1056
|
+
} | undefined;
|
|
1057
|
+
readonly type: "session.revert.cleared";
|
|
1058
|
+
readonly durable: {
|
|
1059
|
+
readonly aggregateID: string;
|
|
1060
|
+
readonly seq: Event.Seq;
|
|
1061
|
+
readonly version: Event.Version;
|
|
1062
|
+
};
|
|
1063
|
+
readonly location?: Location.Ref | undefined;
|
|
1064
|
+
readonly data: {
|
|
1065
|
+
readonly sessionID: Session.ID;
|
|
1066
|
+
};
|
|
1067
|
+
} | {
|
|
1068
|
+
readonly id: Event.ID;
|
|
1069
|
+
readonly created: DateTime.Utc;
|
|
1070
|
+
readonly metadata?: {
|
|
1071
|
+
readonly [x: string]: unknown;
|
|
1072
|
+
} | undefined;
|
|
1073
|
+
readonly type: "session.revert.committed";
|
|
1074
|
+
readonly durable: {
|
|
1075
|
+
readonly aggregateID: string;
|
|
1076
|
+
readonly seq: Event.Seq;
|
|
1077
|
+
readonly version: Event.Version;
|
|
1078
|
+
};
|
|
1079
|
+
readonly location?: Location.Ref | undefined;
|
|
1080
|
+
readonly data: {
|
|
1081
|
+
readonly sessionID: Session.ID;
|
|
1082
|
+
readonly to: SessionMessage.ID;
|
|
1083
|
+
};
|
|
1084
|
+
} | {
|
|
1085
|
+
readonly id: Event.ID;
|
|
1086
|
+
readonly created: DateTime.Utc;
|
|
1087
|
+
readonly metadata?: {
|
|
1088
|
+
readonly [x: string]: unknown;
|
|
1089
|
+
} | undefined;
|
|
1090
|
+
readonly type: "session.usage.recorded";
|
|
1091
|
+
readonly durable: {
|
|
1092
|
+
readonly aggregateID: string;
|
|
1093
|
+
readonly seq: Event.Seq;
|
|
1094
|
+
readonly version: Event.Version;
|
|
1095
|
+
};
|
|
1096
|
+
readonly location?: Location.Ref | undefined;
|
|
1097
|
+
readonly data: {
|
|
1098
|
+
readonly sessionID: Session.ID;
|
|
1099
|
+
readonly source: "title" | "compaction";
|
|
1100
|
+
readonly cost: number & Brand.Brand<"Money.USD">;
|
|
1101
|
+
readonly tokens: {
|
|
1102
|
+
readonly input: number;
|
|
1103
|
+
readonly output: number;
|
|
1104
|
+
readonly reasoning: number;
|
|
1105
|
+
readonly cache: {
|
|
1106
|
+
readonly read: number;
|
|
1107
|
+
readonly write: number;
|
|
1108
|
+
};
|
|
1109
|
+
};
|
|
1110
|
+
};
|
|
1111
|
+
}) | EventLog.Synced;
|
|
261
1112
|
export type SessionLogOperation<E = never> = (input: Endpoint5_26Input) => Stream.Stream<Endpoint5_26Output, E>;
|
|
262
|
-
type Endpoint5_27Request = Parameters<RawClient["server.session"]["session.interrupt"]>[0];
|
|
263
1113
|
export type Endpoint5_27Input = {
|
|
264
|
-
readonly sessionID:
|
|
1114
|
+
readonly sessionID: Session.ID;
|
|
265
1115
|
};
|
|
266
|
-
export type Endpoint5_27Output =
|
|
1116
|
+
export type Endpoint5_27Output = void;
|
|
267
1117
|
export type SessionInterruptOperation<E = never> = (input: Endpoint5_27Input) => Effect.Effect<Endpoint5_27Output, E>;
|
|
268
|
-
type Endpoint5_28Request = Parameters<RawClient["server.session"]["session.background"]>[0];
|
|
269
1118
|
export type Endpoint5_28Input = {
|
|
270
|
-
readonly sessionID:
|
|
1119
|
+
readonly sessionID: Session.ID;
|
|
271
1120
|
};
|
|
272
|
-
export type Endpoint5_28Output =
|
|
1121
|
+
export type Endpoint5_28Output = void;
|
|
273
1122
|
export type SessionBackgroundOperation<E = never> = (input: Endpoint5_28Input) => Effect.Effect<Endpoint5_28Output, E>;
|
|
274
|
-
type Endpoint5_29Request = Parameters<RawClient["server.session"]["session.message"]>[0];
|
|
275
1123
|
export type Endpoint5_29Input = {
|
|
276
|
-
readonly sessionID:
|
|
277
|
-
readonly messageID:
|
|
1124
|
+
readonly sessionID: Session.ID;
|
|
1125
|
+
readonly messageID: SessionMessage.ID;
|
|
278
1126
|
};
|
|
279
|
-
export type Endpoint5_29Output =
|
|
1127
|
+
export type Endpoint5_29Output = SessionMessage.Info;
|
|
280
1128
|
export type SessionMessageOperation<E = never> = (input: Endpoint5_29Input) => Effect.Effect<Endpoint5_29Output, E>;
|
|
281
1129
|
export interface SessionApi<E = never> {
|
|
282
1130
|
readonly list: SessionListOperation<E>;
|
|
@@ -318,150 +1166,221 @@ export interface SessionApi<E = never> {
|
|
|
318
1166
|
readonly background: SessionBackgroundOperation<E>;
|
|
319
1167
|
readonly message: SessionMessageOperation<E>;
|
|
320
1168
|
}
|
|
321
|
-
type Endpoint6_0Request = Parameters<RawClient["server.message"]["session.messages"]>[0];
|
|
322
1169
|
export type Endpoint6_0Input = {
|
|
323
|
-
readonly sessionID:
|
|
324
|
-
readonly limit?:
|
|
325
|
-
readonly order?:
|
|
326
|
-
readonly cursor?:
|
|
1170
|
+
readonly sessionID: Session.ID;
|
|
1171
|
+
readonly limit?: number | undefined;
|
|
1172
|
+
readonly order?: "asc" | "desc" | undefined;
|
|
1173
|
+
readonly cursor?: string | undefined;
|
|
1174
|
+
};
|
|
1175
|
+
export type Endpoint6_0Output = {
|
|
1176
|
+
readonly data: ReadonlyArray<SessionMessage.Info>;
|
|
1177
|
+
readonly cursor: {
|
|
1178
|
+
readonly previous?: string | undefined;
|
|
1179
|
+
readonly next?: string | undefined;
|
|
1180
|
+
};
|
|
327
1181
|
};
|
|
328
|
-
export type Endpoint6_0Output = EffectValue<ReturnType<RawClient["server.message"]["session.messages"]>>;
|
|
329
1182
|
export type MessageListOperation<E = never> = (input: Endpoint6_0Input) => Effect.Effect<Endpoint6_0Output, E>;
|
|
330
1183
|
export interface MessageApi<E = never> {
|
|
331
1184
|
readonly list: MessageListOperation<E>;
|
|
332
1185
|
}
|
|
333
|
-
type Endpoint7_0Request = Parameters<RawClient["server.model"]["model.list"]>[0];
|
|
334
1186
|
export type Endpoint7_0Input = {
|
|
335
|
-
readonly location?:
|
|
1187
|
+
readonly location?: {
|
|
1188
|
+
readonly directory?: string | undefined;
|
|
1189
|
+
readonly workspace?: string | undefined;
|
|
1190
|
+
} | undefined;
|
|
1191
|
+
};
|
|
1192
|
+
export type Endpoint7_0Output = {
|
|
1193
|
+
readonly location: Location.Info;
|
|
1194
|
+
readonly data: ReadonlyArray<Model.Info>;
|
|
336
1195
|
};
|
|
337
|
-
export type Endpoint7_0Output = EffectValue<ReturnType<RawClient["server.model"]["model.list"]>>;
|
|
338
1196
|
export type ModelListOperation<E = never> = (input?: Endpoint7_0Input) => Effect.Effect<Endpoint7_0Output, E>;
|
|
339
|
-
type Endpoint7_1Request = Parameters<RawClient["server.model"]["model.default"]>[0];
|
|
340
1197
|
export type Endpoint7_1Input = {
|
|
341
|
-
readonly location?:
|
|
1198
|
+
readonly location?: {
|
|
1199
|
+
readonly directory?: string | undefined;
|
|
1200
|
+
readonly workspace?: string | undefined;
|
|
1201
|
+
} | undefined;
|
|
1202
|
+
};
|
|
1203
|
+
export type Endpoint7_1Output = {
|
|
1204
|
+
readonly location: Location.Info;
|
|
1205
|
+
readonly data: Model.Info | undefined;
|
|
342
1206
|
};
|
|
343
|
-
export type Endpoint7_1Output = EffectValue<ReturnType<RawClient["server.model"]["model.default"]>>;
|
|
344
1207
|
export type ModelDefaultOperation<E = never> = (input?: Endpoint7_1Input) => Effect.Effect<Endpoint7_1Output, E>;
|
|
345
1208
|
export interface ModelApi<E = never> {
|
|
346
1209
|
readonly list: ModelListOperation<E>;
|
|
347
1210
|
readonly default: ModelDefaultOperation<E>;
|
|
348
1211
|
}
|
|
349
|
-
type Endpoint8_0Request = Parameters<RawClient["server.generate"]["generate.text"]>[0];
|
|
350
1212
|
export type Endpoint8_0Input = {
|
|
351
|
-
readonly location?:
|
|
352
|
-
|
|
353
|
-
|
|
1213
|
+
readonly location?: {
|
|
1214
|
+
readonly directory?: string | undefined;
|
|
1215
|
+
readonly workspace?: string | undefined;
|
|
1216
|
+
} | undefined;
|
|
1217
|
+
readonly prompt: string;
|
|
1218
|
+
readonly model?: Model.Ref | undefined;
|
|
1219
|
+
};
|
|
1220
|
+
export type Endpoint8_0Output = {
|
|
1221
|
+
readonly text: string;
|
|
354
1222
|
};
|
|
355
|
-
export type Endpoint8_0Output = EffectValue<ReturnType<RawClient["server.generate"]["generate.text"]>>["data"];
|
|
356
1223
|
export type GenerateTextOperation<E = never> = (input: Endpoint8_0Input) => Effect.Effect<Endpoint8_0Output, E>;
|
|
357
1224
|
export interface GenerateApi<E = never> {
|
|
358
1225
|
readonly text: GenerateTextOperation<E>;
|
|
359
1226
|
}
|
|
360
|
-
type Endpoint9_0Request = Parameters<RawClient["server.provider"]["provider.list"]>[0];
|
|
361
1227
|
export type Endpoint9_0Input = {
|
|
362
|
-
readonly location?:
|
|
1228
|
+
readonly location?: {
|
|
1229
|
+
readonly directory?: string | undefined;
|
|
1230
|
+
readonly workspace?: string | undefined;
|
|
1231
|
+
} | undefined;
|
|
1232
|
+
};
|
|
1233
|
+
export type Endpoint9_0Output = {
|
|
1234
|
+
readonly location: Location.Info;
|
|
1235
|
+
readonly data: ReadonlyArray<Provider.Info>;
|
|
363
1236
|
};
|
|
364
|
-
export type Endpoint9_0Output = EffectValue<ReturnType<RawClient["server.provider"]["provider.list"]>>;
|
|
365
1237
|
export type ProviderListOperation<E = never> = (input?: Endpoint9_0Input) => Effect.Effect<Endpoint9_0Output, E>;
|
|
366
|
-
type Endpoint9_1Request = Parameters<RawClient["server.provider"]["provider.get"]>[0];
|
|
367
1238
|
export type Endpoint9_1Input = {
|
|
368
|
-
readonly providerID:
|
|
369
|
-
readonly location?:
|
|
1239
|
+
readonly providerID: Provider.ID;
|
|
1240
|
+
readonly location?: {
|
|
1241
|
+
readonly directory?: string | undefined;
|
|
1242
|
+
readonly workspace?: string | undefined;
|
|
1243
|
+
} | undefined;
|
|
1244
|
+
};
|
|
1245
|
+
export type Endpoint9_1Output = {
|
|
1246
|
+
readonly location: Location.Info;
|
|
1247
|
+
readonly data: Provider.Info;
|
|
370
1248
|
};
|
|
371
|
-
export type Endpoint9_1Output = EffectValue<ReturnType<RawClient["server.provider"]["provider.get"]>>;
|
|
372
1249
|
export type ProviderGetOperation<E = never> = (input: Endpoint9_1Input) => Effect.Effect<Endpoint9_1Output, E>;
|
|
373
1250
|
export interface ProviderApi<E = never> {
|
|
374
1251
|
readonly list: ProviderListOperation<E>;
|
|
375
1252
|
readonly get: ProviderGetOperation<E>;
|
|
376
1253
|
}
|
|
377
|
-
type Endpoint10_0Request = Parameters<RawClient["server.integration"]["integration.list"]>[0];
|
|
378
1254
|
export type Endpoint10_0Input = {
|
|
379
|
-
readonly location?:
|
|
1255
|
+
readonly location?: {
|
|
1256
|
+
readonly directory?: string | undefined;
|
|
1257
|
+
readonly workspace?: string | undefined;
|
|
1258
|
+
} | undefined;
|
|
1259
|
+
};
|
|
1260
|
+
export type Endpoint10_0Output = {
|
|
1261
|
+
readonly location: Location.Info;
|
|
1262
|
+
readonly data: ReadonlyArray<Integration.Info>;
|
|
380
1263
|
};
|
|
381
|
-
export type Endpoint10_0Output = EffectValue<ReturnType<RawClient["server.integration"]["integration.list"]>>;
|
|
382
1264
|
export type IntegrationListOperation<E = never> = (input?: Endpoint10_0Input) => Effect.Effect<Endpoint10_0Output, E>;
|
|
383
|
-
type Endpoint10_1Request = Parameters<RawClient["server.integration"]["integration.get"]>[0];
|
|
384
1265
|
export type Endpoint10_1Input = {
|
|
385
|
-
readonly integrationID:
|
|
386
|
-
readonly location?:
|
|
1266
|
+
readonly integrationID: Integration.ID;
|
|
1267
|
+
readonly location?: {
|
|
1268
|
+
readonly directory?: string | undefined;
|
|
1269
|
+
readonly workspace?: string | undefined;
|
|
1270
|
+
} | undefined;
|
|
1271
|
+
};
|
|
1272
|
+
export type Endpoint10_1Output = {
|
|
1273
|
+
readonly location: Location.Info;
|
|
1274
|
+
readonly data: Integration.Info | undefined;
|
|
387
1275
|
};
|
|
388
|
-
export type Endpoint10_1Output = EffectValue<ReturnType<RawClient["server.integration"]["integration.get"]>>;
|
|
389
1276
|
export type IntegrationGetOperation<E = never> = (input: Endpoint10_1Input) => Effect.Effect<Endpoint10_1Output, E>;
|
|
390
|
-
type Endpoint10_2Request = Parameters<RawClient["server.integration"]["integration.wellknown.add"]>[0];
|
|
391
1277
|
export type Endpoint10_2Input = {
|
|
392
|
-
readonly location?:
|
|
393
|
-
|
|
1278
|
+
readonly location?: {
|
|
1279
|
+
readonly directory?: string | undefined;
|
|
1280
|
+
readonly workspace?: string | undefined;
|
|
1281
|
+
} | undefined;
|
|
1282
|
+
readonly url: string;
|
|
394
1283
|
};
|
|
395
|
-
export type Endpoint10_2Output =
|
|
1284
|
+
export type Endpoint10_2Output = void;
|
|
396
1285
|
export type IntegrationWellknownAddOperation<E = never> = (input: Endpoint10_2Input) => Effect.Effect<Endpoint10_2Output, E>;
|
|
397
|
-
type Endpoint10_3Request = Parameters<RawClient["server.integration"]["integration.connect.key"]>[0];
|
|
398
1286
|
export type Endpoint10_3Input = {
|
|
399
|
-
readonly integrationID:
|
|
400
|
-
readonly location?:
|
|
401
|
-
|
|
402
|
-
|
|
403
|
-
};
|
|
404
|
-
|
|
1287
|
+
readonly integrationID: Integration.ID;
|
|
1288
|
+
readonly location?: {
|
|
1289
|
+
readonly directory?: string | undefined;
|
|
1290
|
+
readonly workspace?: string | undefined;
|
|
1291
|
+
} | undefined;
|
|
1292
|
+
readonly key: string;
|
|
1293
|
+
readonly label?: string | undefined;
|
|
1294
|
+
};
|
|
1295
|
+
export type Endpoint10_3Output = void;
|
|
405
1296
|
export type IntegrationConnectKeyOperation<E = never> = (input: Endpoint10_3Input) => Effect.Effect<Endpoint10_3Output, E>;
|
|
406
|
-
type Endpoint10_4Request = Parameters<RawClient["server.integration"]["integration.oauth.connect"]>[0];
|
|
407
1297
|
export type Endpoint10_4Input = {
|
|
408
|
-
readonly integrationID:
|
|
409
|
-
readonly location?:
|
|
410
|
-
|
|
411
|
-
|
|
412
|
-
|
|
1298
|
+
readonly integrationID: Integration.ID;
|
|
1299
|
+
readonly location?: {
|
|
1300
|
+
readonly directory?: string | undefined;
|
|
1301
|
+
readonly workspace?: string | undefined;
|
|
1302
|
+
} | undefined;
|
|
1303
|
+
readonly methodID: Integration.MethodID;
|
|
1304
|
+
readonly inputs: {
|
|
1305
|
+
readonly [x: string]: string;
|
|
1306
|
+
};
|
|
1307
|
+
readonly label?: string | undefined;
|
|
1308
|
+
};
|
|
1309
|
+
export type Endpoint10_4Output = {
|
|
1310
|
+
readonly location: Location.Info;
|
|
1311
|
+
readonly data: Integration.Attempt;
|
|
413
1312
|
};
|
|
414
|
-
export type Endpoint10_4Output = EffectValue<ReturnType<RawClient["server.integration"]["integration.oauth.connect"]>>;
|
|
415
1313
|
export type IntegrationOauthConnectOperation<E = never> = (input: Endpoint10_4Input) => Effect.Effect<Endpoint10_4Output, E>;
|
|
416
|
-
type Endpoint10_5Request = Parameters<RawClient["server.integration"]["integration.oauth.status"]>[0];
|
|
417
1314
|
export type Endpoint10_5Input = {
|
|
418
|
-
readonly integrationID:
|
|
419
|
-
readonly attemptID:
|
|
420
|
-
readonly location?:
|
|
1315
|
+
readonly integrationID: Integration.ID;
|
|
1316
|
+
readonly attemptID: Integration.AttemptID;
|
|
1317
|
+
readonly location?: {
|
|
1318
|
+
readonly directory?: string | undefined;
|
|
1319
|
+
readonly workspace?: string | undefined;
|
|
1320
|
+
} | undefined;
|
|
1321
|
+
};
|
|
1322
|
+
export type Endpoint10_5Output = {
|
|
1323
|
+
readonly location: Location.Info;
|
|
1324
|
+
readonly data: Integration.AttemptStatus;
|
|
421
1325
|
};
|
|
422
|
-
export type Endpoint10_5Output = EffectValue<ReturnType<RawClient["server.integration"]["integration.oauth.status"]>>;
|
|
423
1326
|
export type IntegrationOauthStatusOperation<E = never> = (input: Endpoint10_5Input) => Effect.Effect<Endpoint10_5Output, E>;
|
|
424
|
-
type Endpoint10_6Request = Parameters<RawClient["server.integration"]["integration.oauth.complete"]>[0];
|
|
425
1327
|
export type Endpoint10_6Input = {
|
|
426
|
-
readonly integrationID:
|
|
427
|
-
readonly attemptID:
|
|
428
|
-
readonly location?:
|
|
429
|
-
|
|
430
|
-
|
|
431
|
-
|
|
1328
|
+
readonly integrationID: Integration.ID;
|
|
1329
|
+
readonly attemptID: Integration.AttemptID;
|
|
1330
|
+
readonly location?: {
|
|
1331
|
+
readonly directory?: string | undefined;
|
|
1332
|
+
readonly workspace?: string | undefined;
|
|
1333
|
+
} | undefined;
|
|
1334
|
+
readonly code?: string | undefined;
|
|
1335
|
+
};
|
|
1336
|
+
export type Endpoint10_6Output = void;
|
|
432
1337
|
export type IntegrationOauthCompleteOperation<E = never> = (input: Endpoint10_6Input) => Effect.Effect<Endpoint10_6Output, E>;
|
|
433
|
-
type Endpoint10_7Request = Parameters<RawClient["server.integration"]["integration.oauth.cancel"]>[0];
|
|
434
1338
|
export type Endpoint10_7Input = {
|
|
435
|
-
readonly integrationID:
|
|
436
|
-
readonly attemptID:
|
|
437
|
-
readonly location?:
|
|
438
|
-
|
|
439
|
-
|
|
1339
|
+
readonly integrationID: Integration.ID;
|
|
1340
|
+
readonly attemptID: Integration.AttemptID;
|
|
1341
|
+
readonly location?: {
|
|
1342
|
+
readonly directory?: string | undefined;
|
|
1343
|
+
readonly workspace?: string | undefined;
|
|
1344
|
+
} | undefined;
|
|
1345
|
+
};
|
|
1346
|
+
export type Endpoint10_7Output = void;
|
|
440
1347
|
export type IntegrationOauthCancelOperation<E = never> = (input: Endpoint10_7Input) => Effect.Effect<Endpoint10_7Output, E>;
|
|
441
|
-
type Endpoint10_8Request = Parameters<RawClient["server.integration"]["integration.command.connect"]>[0];
|
|
442
1348
|
export type Endpoint10_8Input = {
|
|
443
|
-
readonly integrationID:
|
|
444
|
-
readonly location?:
|
|
445
|
-
|
|
446
|
-
|
|
1349
|
+
readonly integrationID: Integration.ID;
|
|
1350
|
+
readonly location?: {
|
|
1351
|
+
readonly directory?: string | undefined;
|
|
1352
|
+
readonly workspace?: string | undefined;
|
|
1353
|
+
} | undefined;
|
|
1354
|
+
readonly methodID: Integration.MethodID;
|
|
1355
|
+
readonly label?: string | undefined;
|
|
1356
|
+
};
|
|
1357
|
+
export type Endpoint10_8Output = {
|
|
1358
|
+
readonly location: Location.Info;
|
|
1359
|
+
readonly data: Integration.CommandAttempt;
|
|
447
1360
|
};
|
|
448
|
-
export type Endpoint10_8Output = EffectValue<ReturnType<RawClient["server.integration"]["integration.command.connect"]>>;
|
|
449
1361
|
export type IntegrationCommandConnectOperation<E = never> = (input: Endpoint10_8Input) => Effect.Effect<Endpoint10_8Output, E>;
|
|
450
|
-
type Endpoint10_9Request = Parameters<RawClient["server.integration"]["integration.command.status"]>[0];
|
|
451
1362
|
export type Endpoint10_9Input = {
|
|
452
|
-
readonly integrationID:
|
|
453
|
-
readonly attemptID:
|
|
454
|
-
readonly location?:
|
|
1363
|
+
readonly integrationID: Integration.ID;
|
|
1364
|
+
readonly attemptID: Integration.AttemptID;
|
|
1365
|
+
readonly location?: {
|
|
1366
|
+
readonly directory?: string | undefined;
|
|
1367
|
+
readonly workspace?: string | undefined;
|
|
1368
|
+
} | undefined;
|
|
1369
|
+
};
|
|
1370
|
+
export type Endpoint10_9Output = {
|
|
1371
|
+
readonly location: Location.Info;
|
|
1372
|
+
readonly data: Integration.CommandAttemptStatus;
|
|
455
1373
|
};
|
|
456
|
-
export type Endpoint10_9Output = EffectValue<ReturnType<RawClient["server.integration"]["integration.command.status"]>>;
|
|
457
1374
|
export type IntegrationCommandStatusOperation<E = never> = (input: Endpoint10_9Input) => Effect.Effect<Endpoint10_9Output, E>;
|
|
458
|
-
type Endpoint10_10Request = Parameters<RawClient["server.integration"]["integration.command.cancel"]>[0];
|
|
459
1375
|
export type Endpoint10_10Input = {
|
|
460
|
-
readonly integrationID:
|
|
461
|
-
readonly attemptID:
|
|
462
|
-
readonly location?:
|
|
463
|
-
|
|
464
|
-
|
|
1376
|
+
readonly integrationID: Integration.ID;
|
|
1377
|
+
readonly attemptID: Integration.AttemptID;
|
|
1378
|
+
readonly location?: {
|
|
1379
|
+
readonly directory?: string | undefined;
|
|
1380
|
+
readonly workspace?: string | undefined;
|
|
1381
|
+
} | undefined;
|
|
1382
|
+
};
|
|
1383
|
+
export type Endpoint10_10Output = void;
|
|
465
1384
|
export type IntegrationCommandCancelOperation<E = never> = (input: Endpoint10_10Input) => Effect.Effect<Endpoint10_10Output, E>;
|
|
466
1385
|
export interface IntegrationApi<E = never> {
|
|
467
1386
|
readonly list: IntegrationListOperation<E>;
|
|
@@ -484,46 +1403,64 @@ export interface IntegrationApi<E = never> {
|
|
|
484
1403
|
readonly cancel: IntegrationCommandCancelOperation<E>;
|
|
485
1404
|
};
|
|
486
1405
|
}
|
|
487
|
-
type Endpoint11_0Request = Parameters<RawClient["server.mcp"]["mcp.list"]>[0];
|
|
488
1406
|
export type Endpoint11_0Input = {
|
|
489
|
-
readonly location?:
|
|
1407
|
+
readonly location?: {
|
|
1408
|
+
readonly directory?: string | undefined;
|
|
1409
|
+
readonly workspace?: string | undefined;
|
|
1410
|
+
} | undefined;
|
|
1411
|
+
};
|
|
1412
|
+
export type Endpoint11_0Output = {
|
|
1413
|
+
readonly location: Location.Info;
|
|
1414
|
+
readonly data: ReadonlyArray<Mcp.Server>;
|
|
490
1415
|
};
|
|
491
|
-
export type Endpoint11_0Output = EffectValue<ReturnType<RawClient["server.mcp"]["mcp.list"]>>;
|
|
492
1416
|
export type McpListOperation<E = never> = (input?: Endpoint11_0Input) => Effect.Effect<Endpoint11_0Output, E>;
|
|
493
|
-
type Endpoint11_1Request = Parameters<RawClient["server.mcp"]["mcp.add"]>[0];
|
|
494
1417
|
export type Endpoint11_1Input = {
|
|
495
|
-
readonly server:
|
|
496
|
-
readonly location?:
|
|
497
|
-
|
|
498
|
-
|
|
499
|
-
|
|
1418
|
+
readonly server: string;
|
|
1419
|
+
readonly location?: {
|
|
1420
|
+
readonly directory?: string | undefined;
|
|
1421
|
+
readonly workspace?: string | undefined;
|
|
1422
|
+
} | undefined;
|
|
1423
|
+
readonly config: Mcp.LocalConfig | Mcp.RemoteConfig;
|
|
1424
|
+
};
|
|
1425
|
+
export type Endpoint11_1Output = void;
|
|
500
1426
|
export type McpAddOperation<E = never> = (input: Endpoint11_1Input) => Effect.Effect<Endpoint11_1Output, E>;
|
|
501
|
-
type Endpoint11_2Request = Parameters<RawClient["server.mcp"]["mcp.remove"]>[0];
|
|
502
1427
|
export type Endpoint11_2Input = {
|
|
503
|
-
readonly server:
|
|
504
|
-
readonly location?:
|
|
1428
|
+
readonly server: string;
|
|
1429
|
+
readonly location?: {
|
|
1430
|
+
readonly directory?: string | undefined;
|
|
1431
|
+
readonly workspace?: string | undefined;
|
|
1432
|
+
} | undefined;
|
|
505
1433
|
};
|
|
506
|
-
export type Endpoint11_2Output =
|
|
1434
|
+
export type Endpoint11_2Output = void;
|
|
507
1435
|
export type McpRemoveOperation<E = never> = (input: Endpoint11_2Input) => Effect.Effect<Endpoint11_2Output, E>;
|
|
508
|
-
type Endpoint11_3Request = Parameters<RawClient["server.mcp"]["mcp.connect"]>[0];
|
|
509
1436
|
export type Endpoint11_3Input = {
|
|
510
|
-
readonly server:
|
|
511
|
-
readonly location?:
|
|
1437
|
+
readonly server: string;
|
|
1438
|
+
readonly location?: {
|
|
1439
|
+
readonly directory?: string | undefined;
|
|
1440
|
+
readonly workspace?: string | undefined;
|
|
1441
|
+
} | undefined;
|
|
512
1442
|
};
|
|
513
|
-
export type Endpoint11_3Output =
|
|
1443
|
+
export type Endpoint11_3Output = void;
|
|
514
1444
|
export type McpConnectOperation<E = never> = (input: Endpoint11_3Input) => Effect.Effect<Endpoint11_3Output, E>;
|
|
515
|
-
type Endpoint11_4Request = Parameters<RawClient["server.mcp"]["mcp.disconnect"]>[0];
|
|
516
1445
|
export type Endpoint11_4Input = {
|
|
517
|
-
readonly server:
|
|
518
|
-
readonly location?:
|
|
1446
|
+
readonly server: string;
|
|
1447
|
+
readonly location?: {
|
|
1448
|
+
readonly directory?: string | undefined;
|
|
1449
|
+
readonly workspace?: string | undefined;
|
|
1450
|
+
} | undefined;
|
|
519
1451
|
};
|
|
520
|
-
export type Endpoint11_4Output =
|
|
1452
|
+
export type Endpoint11_4Output = void;
|
|
521
1453
|
export type McpDisconnectOperation<E = never> = (input: Endpoint11_4Input) => Effect.Effect<Endpoint11_4Output, E>;
|
|
522
|
-
type Endpoint11_5Request = Parameters<RawClient["server.mcp"]["mcp.resource.catalog"]>[0];
|
|
523
1454
|
export type Endpoint11_5Input = {
|
|
524
|
-
readonly location?:
|
|
1455
|
+
readonly location?: {
|
|
1456
|
+
readonly directory?: string | undefined;
|
|
1457
|
+
readonly workspace?: string | undefined;
|
|
1458
|
+
} | undefined;
|
|
1459
|
+
};
|
|
1460
|
+
export type Endpoint11_5Output = {
|
|
1461
|
+
readonly location: Location.Info;
|
|
1462
|
+
readonly data: Mcp.ResourceCatalog;
|
|
525
1463
|
};
|
|
526
|
-
export type Endpoint11_5Output = EffectValue<ReturnType<RawClient["server.mcp"]["mcp.resource.catalog"]>>;
|
|
527
1464
|
export type McpResourceCatalogOperation<E = never> = (input?: Endpoint11_5Input) => Effect.Effect<Endpoint11_5Output, E>;
|
|
528
1465
|
export interface McpApi<E = never> {
|
|
529
1466
|
readonly list: McpListOperation<E>;
|
|
@@ -535,95 +1472,102 @@ export interface McpApi<E = never> {
|
|
|
535
1472
|
readonly catalog: McpResourceCatalogOperation<E>;
|
|
536
1473
|
};
|
|
537
1474
|
}
|
|
538
|
-
type Endpoint12_0Request = Parameters<RawClient["server.credential"]["credential.update"]>[0];
|
|
539
1475
|
export type Endpoint12_0Input = {
|
|
540
|
-
readonly credentialID:
|
|
541
|
-
readonly location?:
|
|
542
|
-
|
|
543
|
-
|
|
544
|
-
|
|
1476
|
+
readonly credentialID: Credential.ID;
|
|
1477
|
+
readonly location?: {
|
|
1478
|
+
readonly directory?: string | undefined;
|
|
1479
|
+
readonly workspace?: string | undefined;
|
|
1480
|
+
} | undefined;
|
|
1481
|
+
readonly label: string;
|
|
1482
|
+
};
|
|
1483
|
+
export type Endpoint12_0Output = void;
|
|
545
1484
|
export type CredentialUpdateOperation<E = never> = (input: Endpoint12_0Input) => Effect.Effect<Endpoint12_0Output, E>;
|
|
546
|
-
type Endpoint12_1Request = Parameters<RawClient["server.credential"]["credential.remove"]>[0];
|
|
547
1485
|
export type Endpoint12_1Input = {
|
|
548
|
-
readonly credentialID:
|
|
549
|
-
readonly location?:
|
|
1486
|
+
readonly credentialID: Credential.ID;
|
|
1487
|
+
readonly location?: {
|
|
1488
|
+
readonly directory?: string | undefined;
|
|
1489
|
+
readonly workspace?: string | undefined;
|
|
1490
|
+
} | undefined;
|
|
550
1491
|
};
|
|
551
|
-
export type Endpoint12_1Output =
|
|
1492
|
+
export type Endpoint12_1Output = void;
|
|
552
1493
|
export type CredentialRemoveOperation<E = never> = (input: Endpoint12_1Input) => Effect.Effect<Endpoint12_1Output, E>;
|
|
553
1494
|
export interface CredentialApi<E = never> {
|
|
554
1495
|
readonly update: CredentialUpdateOperation<E>;
|
|
555
1496
|
readonly remove: CredentialRemoveOperation<E>;
|
|
556
1497
|
}
|
|
557
|
-
export type Endpoint13_0Output =
|
|
1498
|
+
export type Endpoint13_0Output = ReadonlyArray<Project.Info>;
|
|
558
1499
|
export type ProjectListOperation<E = never> = () => Effect.Effect<Endpoint13_0Output, E>;
|
|
559
|
-
type Endpoint13_1Request = Parameters<RawClient["server.project"]["project.current"]>[0];
|
|
560
1500
|
export type Endpoint13_1Input = {
|
|
561
|
-
readonly location?:
|
|
1501
|
+
readonly location?: {
|
|
1502
|
+
readonly directory?: string | undefined;
|
|
1503
|
+
readonly workspace?: string | undefined;
|
|
1504
|
+
} | undefined;
|
|
562
1505
|
};
|
|
563
|
-
export type Endpoint13_1Output =
|
|
1506
|
+
export type Endpoint13_1Output = Project.Current;
|
|
564
1507
|
export type ProjectCurrentOperation<E = never> = (input?: Endpoint13_1Input) => Effect.Effect<Endpoint13_1Output, E>;
|
|
565
|
-
type Endpoint13_2Request = Parameters<RawClient["server.project"]["project.directories"]>[0];
|
|
566
1508
|
export type Endpoint13_2Input = {
|
|
567
|
-
readonly projectID:
|
|
568
|
-
readonly location?:
|
|
1509
|
+
readonly projectID: Project.ID;
|
|
1510
|
+
readonly location?: {
|
|
1511
|
+
readonly directory?: string | undefined;
|
|
1512
|
+
readonly workspace?: string | undefined;
|
|
1513
|
+
} | undefined;
|
|
569
1514
|
};
|
|
570
|
-
export type Endpoint13_2Output =
|
|
1515
|
+
export type Endpoint13_2Output = Project.Directories;
|
|
571
1516
|
export type ProjectDirectoriesOperation<E = never> = (input: Endpoint13_2Input) => Effect.Effect<Endpoint13_2Output, E>;
|
|
572
1517
|
export interface ProjectApi<E = never> {
|
|
573
1518
|
readonly list: ProjectListOperation<E>;
|
|
574
1519
|
readonly current: ProjectCurrentOperation<E>;
|
|
575
1520
|
readonly directories: ProjectDirectoriesOperation<E>;
|
|
576
1521
|
}
|
|
577
|
-
type Endpoint14_0Request = Parameters<RawClient["server.form"]["form.request.list"]>[0];
|
|
578
1522
|
export type Endpoint14_0Input = {
|
|
579
|
-
readonly location?:
|
|
1523
|
+
readonly location?: {
|
|
1524
|
+
readonly directory?: string | undefined;
|
|
1525
|
+
readonly workspace?: string | undefined;
|
|
1526
|
+
} | undefined;
|
|
1527
|
+
};
|
|
1528
|
+
export type Endpoint14_0Output = {
|
|
1529
|
+
readonly location: Location.Info;
|
|
1530
|
+
readonly data: ReadonlyArray<Form.Info>;
|
|
580
1531
|
};
|
|
581
|
-
export type Endpoint14_0Output = EffectValue<ReturnType<RawClient["server.form"]["form.request.list"]>>;
|
|
582
1532
|
export type FormRequestListOperation<E = never> = (input?: Endpoint14_0Input) => Effect.Effect<Endpoint14_0Output, E>;
|
|
583
|
-
type Endpoint14_1Request = Parameters<RawClient["server.form"]["session.form.list"]>[0];
|
|
584
1533
|
export type Endpoint14_1Input = {
|
|
585
|
-
readonly sessionID:
|
|
1534
|
+
readonly sessionID: string;
|
|
586
1535
|
};
|
|
587
|
-
export type Endpoint14_1Output =
|
|
1536
|
+
export type Endpoint14_1Output = ReadonlyArray<Form.Info>;
|
|
588
1537
|
export type FormListOperation<E = never> = (input: Endpoint14_1Input) => Effect.Effect<Endpoint14_1Output, E>;
|
|
589
|
-
type Endpoint14_2Request = Parameters<RawClient["server.form"]["session.form.create"]>[0];
|
|
590
1538
|
export type Endpoint14_2Input = {
|
|
591
|
-
readonly sessionID:
|
|
592
|
-
readonly id?:
|
|
593
|
-
readonly title:
|
|
594
|
-
readonly metadata?:
|
|
595
|
-
readonly fields:
|
|
1539
|
+
readonly sessionID: string;
|
|
1540
|
+
readonly id?: Form.ID | undefined;
|
|
1541
|
+
readonly title: string;
|
|
1542
|
+
readonly metadata?: Form.Metadata | undefined;
|
|
1543
|
+
readonly fields: Form.Fields;
|
|
596
1544
|
};
|
|
597
|
-
export type Endpoint14_2Output =
|
|
1545
|
+
export type Endpoint14_2Output = Form.Info;
|
|
598
1546
|
export type FormCreateOperation<E = never> = (input: Endpoint14_2Input) => Effect.Effect<Endpoint14_2Output, E>;
|
|
599
|
-
type Endpoint14_3Request = Parameters<RawClient["server.form"]["session.form.get"]>[0];
|
|
600
1547
|
export type Endpoint14_3Input = {
|
|
601
|
-
readonly sessionID:
|
|
602
|
-
readonly formID:
|
|
1548
|
+
readonly sessionID: string;
|
|
1549
|
+
readonly formID: Form.ID;
|
|
603
1550
|
};
|
|
604
|
-
export type Endpoint14_3Output =
|
|
1551
|
+
export type Endpoint14_3Output = Form.Info;
|
|
605
1552
|
export type FormGetOperation<E = never> = (input: Endpoint14_3Input) => Effect.Effect<Endpoint14_3Output, E>;
|
|
606
|
-
type Endpoint14_4Request = Parameters<RawClient["server.form"]["session.form.state"]>[0];
|
|
607
1553
|
export type Endpoint14_4Input = {
|
|
608
|
-
readonly sessionID:
|
|
609
|
-
readonly formID:
|
|
1554
|
+
readonly sessionID: string;
|
|
1555
|
+
readonly formID: Form.ID;
|
|
610
1556
|
};
|
|
611
|
-
export type Endpoint14_4Output =
|
|
1557
|
+
export type Endpoint14_4Output = Form.State;
|
|
612
1558
|
export type FormStateOperation<E = never> = (input: Endpoint14_4Input) => Effect.Effect<Endpoint14_4Output, E>;
|
|
613
|
-
type Endpoint14_5Request = Parameters<RawClient["server.form"]["session.form.reply"]>[0];
|
|
614
1559
|
export type Endpoint14_5Input = {
|
|
615
|
-
readonly sessionID:
|
|
616
|
-
readonly formID:
|
|
617
|
-
readonly answer:
|
|
1560
|
+
readonly sessionID: string;
|
|
1561
|
+
readonly formID: Form.ID;
|
|
1562
|
+
readonly answer: Form.Answer;
|
|
618
1563
|
};
|
|
619
|
-
export type Endpoint14_5Output =
|
|
1564
|
+
export type Endpoint14_5Output = void;
|
|
620
1565
|
export type FormReplyOperation<E = never> = (input: Endpoint14_5Input) => Effect.Effect<Endpoint14_5Output, E>;
|
|
621
|
-
type Endpoint14_6Request = Parameters<RawClient["server.form"]["session.form.cancel"]>[0];
|
|
622
1566
|
export type Endpoint14_6Input = {
|
|
623
|
-
readonly sessionID:
|
|
624
|
-
readonly formID:
|
|
1567
|
+
readonly sessionID: string;
|
|
1568
|
+
readonly formID: Form.ID;
|
|
625
1569
|
};
|
|
626
|
-
export type Endpoint14_6Output =
|
|
1570
|
+
export type Endpoint14_6Output = void;
|
|
627
1571
|
export type FormCancelOperation<E = never> = (input: Endpoint14_6Input) => Effect.Effect<Endpoint14_6Output, E>;
|
|
628
1572
|
export interface FormApi<E = never> {
|
|
629
1573
|
readonly request: {
|
|
@@ -636,58 +1580,62 @@ export interface FormApi<E = never> {
|
|
|
636
1580
|
readonly reply: FormReplyOperation<E>;
|
|
637
1581
|
readonly cancel: FormCancelOperation<E>;
|
|
638
1582
|
}
|
|
639
|
-
type Endpoint15_0Request = Parameters<RawClient["server.permission"]["permission.request.list"]>[0];
|
|
640
1583
|
export type Endpoint15_0Input = {
|
|
641
|
-
readonly location?:
|
|
1584
|
+
readonly location?: {
|
|
1585
|
+
readonly directory?: string | undefined;
|
|
1586
|
+
readonly workspace?: string | undefined;
|
|
1587
|
+
} | undefined;
|
|
1588
|
+
};
|
|
1589
|
+
export type Endpoint15_0Output = {
|
|
1590
|
+
readonly location: Location.Info;
|
|
1591
|
+
readonly data: ReadonlyArray<Permission.Request>;
|
|
642
1592
|
};
|
|
643
|
-
export type Endpoint15_0Output = EffectValue<ReturnType<RawClient["server.permission"]["permission.request.list"]>>;
|
|
644
1593
|
export type PermissionRequestListOperation<E = never> = (input?: Endpoint15_0Input) => Effect.Effect<Endpoint15_0Output, E>;
|
|
645
|
-
type Endpoint15_1Request = Parameters<RawClient["server.permission"]["permission.saved.list"]>[0];
|
|
646
1594
|
export type Endpoint15_1Input = {
|
|
647
|
-
readonly projectID?:
|
|
1595
|
+
readonly projectID?: Project.ID | undefined;
|
|
648
1596
|
};
|
|
649
|
-
export type Endpoint15_1Output =
|
|
1597
|
+
export type Endpoint15_1Output = ReadonlyArray<PermissionSaved.Info>;
|
|
650
1598
|
export type PermissionSavedListOperation<E = never> = (input?: Endpoint15_1Input) => Effect.Effect<Endpoint15_1Output, E>;
|
|
651
|
-
type Endpoint15_2Request = Parameters<RawClient["server.permission"]["permission.saved.remove"]>[0];
|
|
652
1599
|
export type Endpoint15_2Input = {
|
|
653
|
-
readonly id:
|
|
1600
|
+
readonly id: PermissionSaved.ID;
|
|
654
1601
|
};
|
|
655
|
-
export type Endpoint15_2Output =
|
|
1602
|
+
export type Endpoint15_2Output = void;
|
|
656
1603
|
export type PermissionSavedRemoveOperation<E = never> = (input: Endpoint15_2Input) => Effect.Effect<Endpoint15_2Output, E>;
|
|
657
|
-
type Endpoint15_3Request = Parameters<RawClient["server.permission"]["session.permission.create"]>[0];
|
|
658
1604
|
export type Endpoint15_3Input = {
|
|
659
|
-
readonly sessionID:
|
|
660
|
-
readonly id?:
|
|
661
|
-
readonly action:
|
|
662
|
-
readonly resources:
|
|
663
|
-
readonly save?:
|
|
664
|
-
readonly metadata?:
|
|
665
|
-
|
|
666
|
-
|
|
667
|
-
|
|
668
|
-
|
|
1605
|
+
readonly sessionID: Session.ID;
|
|
1606
|
+
readonly id?: Permission.ID | undefined;
|
|
1607
|
+
readonly action: string;
|
|
1608
|
+
readonly resources: ReadonlyArray<string>;
|
|
1609
|
+
readonly save?: ReadonlyArray<string> | undefined;
|
|
1610
|
+
readonly metadata?: {
|
|
1611
|
+
readonly [x: string]: unknown;
|
|
1612
|
+
} | undefined;
|
|
1613
|
+
readonly source?: Permission.Source | undefined;
|
|
1614
|
+
readonly agent?: Agent.ID | undefined;
|
|
1615
|
+
};
|
|
1616
|
+
export type Endpoint15_3Output = {
|
|
1617
|
+
readonly id: Permission.ID;
|
|
1618
|
+
readonly effect: Permission.Effect;
|
|
1619
|
+
};
|
|
669
1620
|
export type PermissionCreateOperation<E = never> = (input: Endpoint15_3Input) => Effect.Effect<Endpoint15_3Output, E>;
|
|
670
|
-
type Endpoint15_4Request = Parameters<RawClient["server.permission"]["session.permission.list"]>[0];
|
|
671
1621
|
export type Endpoint15_4Input = {
|
|
672
|
-
readonly sessionID:
|
|
1622
|
+
readonly sessionID: Session.ID;
|
|
673
1623
|
};
|
|
674
|
-
export type Endpoint15_4Output =
|
|
1624
|
+
export type Endpoint15_4Output = ReadonlyArray<Permission.Request>;
|
|
675
1625
|
export type PermissionListOperation<E = never> = (input: Endpoint15_4Input) => Effect.Effect<Endpoint15_4Output, E>;
|
|
676
|
-
type Endpoint15_5Request = Parameters<RawClient["server.permission"]["session.permission.get"]>[0];
|
|
677
1626
|
export type Endpoint15_5Input = {
|
|
678
|
-
readonly sessionID:
|
|
679
|
-
readonly requestID:
|
|
1627
|
+
readonly sessionID: Session.ID;
|
|
1628
|
+
readonly requestID: Permission.ID;
|
|
680
1629
|
};
|
|
681
|
-
export type Endpoint15_5Output =
|
|
1630
|
+
export type Endpoint15_5Output = Permission.Request;
|
|
682
1631
|
export type PermissionGetOperation<E = never> = (input: Endpoint15_5Input) => Effect.Effect<Endpoint15_5Output, E>;
|
|
683
|
-
type Endpoint15_6Request = Parameters<RawClient["server.permission"]["session.permission.reply"]>[0];
|
|
684
1632
|
export type Endpoint15_6Input = {
|
|
685
|
-
readonly sessionID:
|
|
686
|
-
readonly requestID:
|
|
687
|
-
readonly reply:
|
|
688
|
-
readonly message?:
|
|
1633
|
+
readonly sessionID: Session.ID;
|
|
1634
|
+
readonly requestID: Permission.ID;
|
|
1635
|
+
readonly reply: Permission.Reply;
|
|
1636
|
+
readonly message?: string | undefined;
|
|
689
1637
|
};
|
|
690
|
-
export type Endpoint15_6Output =
|
|
1638
|
+
export type Endpoint15_6Output = void;
|
|
691
1639
|
export type PermissionReplyOperation<E = never> = (input: Endpoint15_6Input) => Effect.Effect<Endpoint15_6Output, E>;
|
|
692
1640
|
export interface PermissionApi<E = never> {
|
|
693
1641
|
readonly request: {
|
|
@@ -702,88 +1650,135 @@ export interface PermissionApi<E = never> {
|
|
|
702
1650
|
readonly get: PermissionGetOperation<E>;
|
|
703
1651
|
readonly reply: PermissionReplyOperation<E>;
|
|
704
1652
|
}
|
|
705
|
-
type Endpoint16_0Request = Parameters<RawClient["server.fs"]["fs.list"]>[0];
|
|
706
1653
|
export type Endpoint16_0Input = {
|
|
707
|
-
readonly location?:
|
|
708
|
-
|
|
1654
|
+
readonly location?: {
|
|
1655
|
+
readonly directory?: string | undefined;
|
|
1656
|
+
readonly workspace?: string | undefined;
|
|
1657
|
+
} | undefined;
|
|
1658
|
+
readonly path?: RelativePath | undefined;
|
|
1659
|
+
};
|
|
1660
|
+
export type Endpoint16_0Output = {
|
|
1661
|
+
readonly location: Location.Info;
|
|
1662
|
+
readonly data: ReadonlyArray<FileSystem.Entry>;
|
|
709
1663
|
};
|
|
710
|
-
export type Endpoint16_0Output = EffectValue<ReturnType<RawClient["server.fs"]["fs.list"]>>;
|
|
711
1664
|
export type FileListOperation<E = never> = (input?: Endpoint16_0Input) => Effect.Effect<Endpoint16_0Output, E>;
|
|
712
|
-
type Endpoint16_1Request = Parameters<RawClient["server.fs"]["fs.find"]>[0];
|
|
713
1665
|
export type Endpoint16_1Input = {
|
|
714
|
-
readonly location?:
|
|
715
|
-
|
|
716
|
-
|
|
717
|
-
|
|
1666
|
+
readonly location?: {
|
|
1667
|
+
readonly directory?: string | undefined;
|
|
1668
|
+
readonly workspace?: string | undefined;
|
|
1669
|
+
} | undefined;
|
|
1670
|
+
readonly query: string;
|
|
1671
|
+
readonly type?: "file" | "directory" | undefined;
|
|
1672
|
+
readonly limit?: number | undefined;
|
|
1673
|
+
};
|
|
1674
|
+
export type Endpoint16_1Output = {
|
|
1675
|
+
readonly location: Location.Info;
|
|
1676
|
+
readonly data: ReadonlyArray<FileSystem.Entry>;
|
|
718
1677
|
};
|
|
719
|
-
export type Endpoint16_1Output = EffectValue<ReturnType<RawClient["server.fs"]["fs.find"]>>;
|
|
720
1678
|
export type FileFindOperation<E = never> = (input: Endpoint16_1Input) => Effect.Effect<Endpoint16_1Output, E>;
|
|
721
1679
|
export interface FileApi<E = never> {
|
|
722
1680
|
readonly list: FileListOperation<E>;
|
|
723
1681
|
readonly find: FileFindOperation<E>;
|
|
724
1682
|
}
|
|
725
|
-
type Endpoint17_0Request = Parameters<RawClient["server.command"]["command.list"]>[0];
|
|
726
1683
|
export type Endpoint17_0Input = {
|
|
727
|
-
readonly location?:
|
|
1684
|
+
readonly location?: {
|
|
1685
|
+
readonly directory?: string | undefined;
|
|
1686
|
+
readonly workspace?: string | undefined;
|
|
1687
|
+
} | undefined;
|
|
1688
|
+
};
|
|
1689
|
+
export type Endpoint17_0Output = {
|
|
1690
|
+
readonly location: Location.Info;
|
|
1691
|
+
readonly data: ReadonlyArray<Command.Info>;
|
|
728
1692
|
};
|
|
729
|
-
export type Endpoint17_0Output = EffectValue<ReturnType<RawClient["server.command"]["command.list"]>>;
|
|
730
1693
|
export type CommandListOperation<E = never> = (input?: Endpoint17_0Input) => Effect.Effect<Endpoint17_0Output, E>;
|
|
731
1694
|
export interface CommandApi<E = never> {
|
|
732
1695
|
readonly list: CommandListOperation<E>;
|
|
733
1696
|
}
|
|
734
|
-
type Endpoint18_0Request = Parameters<RawClient["server.skill"]["skill.list"]>[0];
|
|
735
1697
|
export type Endpoint18_0Input = {
|
|
736
|
-
readonly location?:
|
|
1698
|
+
readonly location?: {
|
|
1699
|
+
readonly directory?: string | undefined;
|
|
1700
|
+
readonly workspace?: string | undefined;
|
|
1701
|
+
} | undefined;
|
|
1702
|
+
};
|
|
1703
|
+
export type Endpoint18_0Output = {
|
|
1704
|
+
readonly location: Location.Info;
|
|
1705
|
+
readonly data: ReadonlyArray<Skill.Info>;
|
|
737
1706
|
};
|
|
738
|
-
export type Endpoint18_0Output = EffectValue<ReturnType<RawClient["server.skill"]["skill.list"]>>;
|
|
739
1707
|
export type SkillListOperation<E = never> = (input?: Endpoint18_0Input) => Effect.Effect<Endpoint18_0Output, E>;
|
|
740
1708
|
export interface SkillApi<E = never> {
|
|
741
1709
|
readonly list: SkillListOperation<E>;
|
|
742
1710
|
}
|
|
743
|
-
export type Endpoint19_0Output =
|
|
1711
|
+
export type Endpoint19_0Output = OpenCodeEvent;
|
|
744
1712
|
export type EventSubscribeOperation<E = never> = () => Stream.Stream<Endpoint19_0Output, E>;
|
|
745
1713
|
export interface EventApi<E = never> {
|
|
746
1714
|
readonly subscribe: EventSubscribeOperation<E>;
|
|
747
1715
|
}
|
|
748
|
-
type Endpoint20_0Request = Parameters<RawClient["server.pty"]["pty.list"]>[0];
|
|
749
1716
|
export type Endpoint20_0Input = {
|
|
750
|
-
readonly location?:
|
|
1717
|
+
readonly location?: {
|
|
1718
|
+
readonly directory?: string | undefined;
|
|
1719
|
+
readonly workspace?: string | undefined;
|
|
1720
|
+
} | undefined;
|
|
1721
|
+
};
|
|
1722
|
+
export type Endpoint20_0Output = {
|
|
1723
|
+
readonly location: Location.Info;
|
|
1724
|
+
readonly data: ReadonlyArray<Pty.Info>;
|
|
751
1725
|
};
|
|
752
|
-
export type Endpoint20_0Output = EffectValue<ReturnType<RawClient["server.pty"]["pty.list"]>>;
|
|
753
1726
|
export type PtyListOperation<E = never> = (input?: Endpoint20_0Input) => Effect.Effect<Endpoint20_0Output, E>;
|
|
754
|
-
type Endpoint20_1Request = Parameters<RawClient["server.pty"]["pty.create"]>[0];
|
|
755
1727
|
export type Endpoint20_1Input = {
|
|
756
|
-
readonly location?:
|
|
757
|
-
|
|
758
|
-
|
|
759
|
-
|
|
760
|
-
readonly
|
|
761
|
-
readonly
|
|
762
|
-
|
|
763
|
-
|
|
1728
|
+
readonly location?: {
|
|
1729
|
+
readonly directory?: string | undefined;
|
|
1730
|
+
readonly workspace?: string | undefined;
|
|
1731
|
+
} | undefined;
|
|
1732
|
+
readonly command?: string | undefined;
|
|
1733
|
+
readonly args?: ReadonlyArray<string> | undefined;
|
|
1734
|
+
readonly cwd?: string | undefined;
|
|
1735
|
+
readonly title?: string | undefined;
|
|
1736
|
+
readonly env?: {
|
|
1737
|
+
readonly [x: string]: string;
|
|
1738
|
+
} | undefined;
|
|
1739
|
+
};
|
|
1740
|
+
export type Endpoint20_1Output = {
|
|
1741
|
+
readonly location: Location.Info;
|
|
1742
|
+
readonly data: Pty.Info;
|
|
1743
|
+
};
|
|
764
1744
|
export type PtyCreateOperation<E = never> = (input?: Endpoint20_1Input) => Effect.Effect<Endpoint20_1Output, E>;
|
|
765
|
-
type Endpoint20_2Request = Parameters<RawClient["server.pty"]["pty.get"]>[0];
|
|
766
1745
|
export type Endpoint20_2Input = {
|
|
767
|
-
readonly ptyID:
|
|
768
|
-
readonly location?:
|
|
1746
|
+
readonly ptyID: Pty.ID;
|
|
1747
|
+
readonly location?: {
|
|
1748
|
+
readonly directory?: string | undefined;
|
|
1749
|
+
readonly workspace?: string | undefined;
|
|
1750
|
+
} | undefined;
|
|
1751
|
+
};
|
|
1752
|
+
export type Endpoint20_2Output = {
|
|
1753
|
+
readonly location: Location.Info;
|
|
1754
|
+
readonly data: Pty.Info;
|
|
769
1755
|
};
|
|
770
|
-
export type Endpoint20_2Output = EffectValue<ReturnType<RawClient["server.pty"]["pty.get"]>>;
|
|
771
1756
|
export type PtyGetOperation<E = never> = (input: Endpoint20_2Input) => Effect.Effect<Endpoint20_2Output, E>;
|
|
772
|
-
type Endpoint20_3Request = Parameters<RawClient["server.pty"]["pty.update"]>[0];
|
|
773
1757
|
export type Endpoint20_3Input = {
|
|
774
|
-
readonly ptyID:
|
|
775
|
-
readonly location?:
|
|
776
|
-
|
|
777
|
-
|
|
1758
|
+
readonly ptyID: Pty.ID;
|
|
1759
|
+
readonly location?: {
|
|
1760
|
+
readonly directory?: string | undefined;
|
|
1761
|
+
readonly workspace?: string | undefined;
|
|
1762
|
+
} | undefined;
|
|
1763
|
+
readonly title?: string | undefined;
|
|
1764
|
+
readonly size?: {
|
|
1765
|
+
readonly rows: number;
|
|
1766
|
+
readonly cols: number;
|
|
1767
|
+
} | undefined;
|
|
1768
|
+
};
|
|
1769
|
+
export type Endpoint20_3Output = {
|
|
1770
|
+
readonly location: Location.Info;
|
|
1771
|
+
readonly data: Pty.Info;
|
|
778
1772
|
};
|
|
779
|
-
export type Endpoint20_3Output = EffectValue<ReturnType<RawClient["server.pty"]["pty.update"]>>;
|
|
780
1773
|
export type PtyUpdateOperation<E = never> = (input: Endpoint20_3Input) => Effect.Effect<Endpoint20_3Output, E>;
|
|
781
|
-
type Endpoint20_4Request = Parameters<RawClient["server.pty"]["pty.remove"]>[0];
|
|
782
1774
|
export type Endpoint20_4Input = {
|
|
783
|
-
readonly ptyID:
|
|
784
|
-
readonly location?:
|
|
1775
|
+
readonly ptyID: Pty.ID;
|
|
1776
|
+
readonly location?: {
|
|
1777
|
+
readonly directory?: string | undefined;
|
|
1778
|
+
readonly workspace?: string | undefined;
|
|
1779
|
+
} | undefined;
|
|
785
1780
|
};
|
|
786
|
-
export type Endpoint20_4Output =
|
|
1781
|
+
export type Endpoint20_4Output = void;
|
|
787
1782
|
export type PtyRemoveOperation<E = never> = (input: Endpoint20_4Input) => Effect.Effect<Endpoint20_4Output, E>;
|
|
788
1783
|
export interface PtyApi<E = never> {
|
|
789
1784
|
readonly list: PtyListOperation<E>;
|
|
@@ -792,52 +1787,86 @@ export interface PtyApi<E = never> {
|
|
|
792
1787
|
readonly update: PtyUpdateOperation<E>;
|
|
793
1788
|
readonly remove: PtyRemoveOperation<E>;
|
|
794
1789
|
}
|
|
795
|
-
type Endpoint21_0Request = Parameters<RawClient["server.shell"]["shell.list"]>[0];
|
|
796
1790
|
export type Endpoint21_0Input = {
|
|
797
|
-
readonly location?:
|
|
1791
|
+
readonly location?: {
|
|
1792
|
+
readonly directory?: string | undefined;
|
|
1793
|
+
readonly workspace?: string | undefined;
|
|
1794
|
+
} | undefined;
|
|
1795
|
+
};
|
|
1796
|
+
export type Endpoint21_0Output = {
|
|
1797
|
+
readonly location: Location.Info;
|
|
1798
|
+
readonly data: ReadonlyArray<Shell.Info>;
|
|
798
1799
|
};
|
|
799
|
-
export type Endpoint21_0Output = EffectValue<ReturnType<RawClient["server.shell"]["shell.list"]>>;
|
|
800
1800
|
export type ShellListOperation<E = never> = (input?: Endpoint21_0Input) => Effect.Effect<Endpoint21_0Output, E>;
|
|
801
|
-
type Endpoint21_1Request = Parameters<RawClient["server.shell"]["shell.create"]>[0];
|
|
802
1801
|
export type Endpoint21_1Input = {
|
|
803
|
-
readonly location?:
|
|
804
|
-
|
|
805
|
-
|
|
806
|
-
|
|
807
|
-
readonly
|
|
1802
|
+
readonly location?: {
|
|
1803
|
+
readonly directory?: string | undefined;
|
|
1804
|
+
readonly workspace?: string | undefined;
|
|
1805
|
+
} | undefined;
|
|
1806
|
+
readonly command: string;
|
|
1807
|
+
readonly cwd?: string | undefined;
|
|
1808
|
+
readonly timeout: number;
|
|
1809
|
+
readonly metadata?: {
|
|
1810
|
+
readonly [x: string]: unknown;
|
|
1811
|
+
} | undefined;
|
|
1812
|
+
};
|
|
1813
|
+
export type Endpoint21_1Output = {
|
|
1814
|
+
readonly location: Location.Info;
|
|
1815
|
+
readonly data: Shell.Info;
|
|
808
1816
|
};
|
|
809
|
-
export type Endpoint21_1Output = EffectValue<ReturnType<RawClient["server.shell"]["shell.create"]>>;
|
|
810
1817
|
export type ShellCreateOperation<E = never> = (input: Endpoint21_1Input) => Effect.Effect<Endpoint21_1Output, E>;
|
|
811
|
-
type Endpoint21_2Request = Parameters<RawClient["server.shell"]["shell.get"]>[0];
|
|
812
1818
|
export type Endpoint21_2Input = {
|
|
813
|
-
readonly id:
|
|
814
|
-
readonly location?:
|
|
1819
|
+
readonly id: Shell.ID;
|
|
1820
|
+
readonly location?: {
|
|
1821
|
+
readonly directory?: string | undefined;
|
|
1822
|
+
readonly workspace?: string | undefined;
|
|
1823
|
+
} | undefined;
|
|
1824
|
+
};
|
|
1825
|
+
export type Endpoint21_2Output = {
|
|
1826
|
+
readonly location: Location.Info;
|
|
1827
|
+
readonly data: Shell.Info;
|
|
815
1828
|
};
|
|
816
|
-
export type Endpoint21_2Output = EffectValue<ReturnType<RawClient["server.shell"]["shell.get"]>>;
|
|
817
1829
|
export type ShellGetOperation<E = never> = (input: Endpoint21_2Input) => Effect.Effect<Endpoint21_2Output, E>;
|
|
818
|
-
type Endpoint21_3Request = Parameters<RawClient["server.shell"]["shell.timeout"]>[0];
|
|
819
1830
|
export type Endpoint21_3Input = {
|
|
820
|
-
readonly id:
|
|
821
|
-
readonly location?:
|
|
822
|
-
|
|
1831
|
+
readonly id: Shell.ID;
|
|
1832
|
+
readonly location?: {
|
|
1833
|
+
readonly directory?: string | undefined;
|
|
1834
|
+
readonly workspace?: string | undefined;
|
|
1835
|
+
} | undefined;
|
|
1836
|
+
readonly timeout: number;
|
|
1837
|
+
};
|
|
1838
|
+
export type Endpoint21_3Output = {
|
|
1839
|
+
readonly location: Location.Info;
|
|
1840
|
+
readonly data: Shell.Info;
|
|
823
1841
|
};
|
|
824
|
-
export type Endpoint21_3Output = EffectValue<ReturnType<RawClient["server.shell"]["shell.timeout"]>>;
|
|
825
1842
|
export type ShellTimeoutOperation<E = never> = (input: Endpoint21_3Input) => Effect.Effect<Endpoint21_3Output, E>;
|
|
826
|
-
type Endpoint21_4Request = Parameters<RawClient["server.shell"]["shell.output"]>[0];
|
|
827
1843
|
export type Endpoint21_4Input = {
|
|
828
|
-
readonly id:
|
|
829
|
-
readonly location?:
|
|
830
|
-
|
|
831
|
-
|
|
1844
|
+
readonly id: Shell.ID;
|
|
1845
|
+
readonly location?: {
|
|
1846
|
+
readonly directory?: string | undefined;
|
|
1847
|
+
readonly workspace?: string | undefined;
|
|
1848
|
+
} | undefined;
|
|
1849
|
+
readonly cursor?: number | undefined;
|
|
1850
|
+
readonly limit?: number | undefined;
|
|
1851
|
+
};
|
|
1852
|
+
export type Endpoint21_4Output = {
|
|
1853
|
+
readonly location: Location.Info;
|
|
1854
|
+
readonly data: {
|
|
1855
|
+
readonly output: string;
|
|
1856
|
+
readonly cursor: number;
|
|
1857
|
+
readonly size: number;
|
|
1858
|
+
readonly truncated: boolean;
|
|
1859
|
+
};
|
|
832
1860
|
};
|
|
833
|
-
export type Endpoint21_4Output = EffectValue<ReturnType<RawClient["server.shell"]["shell.output"]>>;
|
|
834
1861
|
export type ShellOutputOperation<E = never> = (input: Endpoint21_4Input) => Effect.Effect<Endpoint21_4Output, E>;
|
|
835
|
-
type Endpoint21_5Request = Parameters<RawClient["server.shell"]["shell.remove"]>[0];
|
|
836
1862
|
export type Endpoint21_5Input = {
|
|
837
|
-
readonly id:
|
|
838
|
-
readonly location?:
|
|
1863
|
+
readonly id: Shell.ID;
|
|
1864
|
+
readonly location?: {
|
|
1865
|
+
readonly directory?: string | undefined;
|
|
1866
|
+
readonly workspace?: string | undefined;
|
|
1867
|
+
} | undefined;
|
|
839
1868
|
};
|
|
840
|
-
export type Endpoint21_5Output =
|
|
1869
|
+
export type Endpoint21_5Output = void;
|
|
841
1870
|
export type ShellRemoveOperation<E = never> = (input: Endpoint21_5Input) => Effect.Effect<Endpoint21_5Output, E>;
|
|
842
1871
|
export interface ShellApi<E = never> {
|
|
843
1872
|
readonly list: ShellListOperation<E>;
|
|
@@ -847,32 +1876,34 @@ export interface ShellApi<E = never> {
|
|
|
847
1876
|
readonly output: ShellOutputOperation<E>;
|
|
848
1877
|
readonly remove: ShellRemoveOperation<E>;
|
|
849
1878
|
}
|
|
850
|
-
type Endpoint22_0Request = Parameters<RawClient["server.question"]["question.request.list"]>[0];
|
|
851
1879
|
export type Endpoint22_0Input = {
|
|
852
|
-
readonly location?:
|
|
1880
|
+
readonly location?: {
|
|
1881
|
+
readonly directory?: string | undefined;
|
|
1882
|
+
readonly workspace?: string | undefined;
|
|
1883
|
+
} | undefined;
|
|
1884
|
+
};
|
|
1885
|
+
export type Endpoint22_0Output = {
|
|
1886
|
+
readonly location: Location.Info;
|
|
1887
|
+
readonly data: ReadonlyArray<Question.Request>;
|
|
853
1888
|
};
|
|
854
|
-
export type Endpoint22_0Output = EffectValue<ReturnType<RawClient["server.question"]["question.request.list"]>>;
|
|
855
1889
|
export type QuestionRequestListOperation<E = never> = (input?: Endpoint22_0Input) => Effect.Effect<Endpoint22_0Output, E>;
|
|
856
|
-
type Endpoint22_1Request = Parameters<RawClient["server.question"]["session.question.list"]>[0];
|
|
857
1890
|
export type Endpoint22_1Input = {
|
|
858
|
-
readonly sessionID:
|
|
1891
|
+
readonly sessionID: Session.ID;
|
|
859
1892
|
};
|
|
860
|
-
export type Endpoint22_1Output =
|
|
1893
|
+
export type Endpoint22_1Output = ReadonlyArray<Question.Request>;
|
|
861
1894
|
export type QuestionListOperation<E = never> = (input: Endpoint22_1Input) => Effect.Effect<Endpoint22_1Output, E>;
|
|
862
|
-
type Endpoint22_2Request = Parameters<RawClient["server.question"]["session.question.reply"]>[0];
|
|
863
1895
|
export type Endpoint22_2Input = {
|
|
864
|
-
readonly sessionID:
|
|
865
|
-
readonly requestID:
|
|
866
|
-
readonly answers:
|
|
1896
|
+
readonly sessionID: Session.ID;
|
|
1897
|
+
readonly requestID: Question.ID;
|
|
1898
|
+
readonly answers: ReadonlyArray<Question.Answer>;
|
|
867
1899
|
};
|
|
868
|
-
export type Endpoint22_2Output =
|
|
1900
|
+
export type Endpoint22_2Output = void;
|
|
869
1901
|
export type QuestionReplyOperation<E = never> = (input: Endpoint22_2Input) => Effect.Effect<Endpoint22_2Output, E>;
|
|
870
|
-
type Endpoint22_3Request = Parameters<RawClient["server.question"]["session.question.reject"]>[0];
|
|
871
1902
|
export type Endpoint22_3Input = {
|
|
872
|
-
readonly sessionID:
|
|
873
|
-
readonly requestID:
|
|
1903
|
+
readonly sessionID: Session.ID;
|
|
1904
|
+
readonly requestID: Question.ID;
|
|
874
1905
|
};
|
|
875
|
-
export type Endpoint22_3Output =
|
|
1906
|
+
export type Endpoint22_3Output = void;
|
|
876
1907
|
export type QuestionRejectOperation<E = never> = (input: Endpoint22_3Input) => Effect.Effect<Endpoint22_3Output, E>;
|
|
877
1908
|
export interface QuestionApi<E = never> {
|
|
878
1909
|
readonly request: {
|
|
@@ -882,71 +1913,94 @@ export interface QuestionApi<E = never> {
|
|
|
882
1913
|
readonly reply: QuestionReplyOperation<E>;
|
|
883
1914
|
readonly reject: QuestionRejectOperation<E>;
|
|
884
1915
|
}
|
|
885
|
-
type Endpoint23_0Request = Parameters<RawClient["server.reference"]["reference.list"]>[0];
|
|
886
1916
|
export type Endpoint23_0Input = {
|
|
887
|
-
readonly location?:
|
|
1917
|
+
readonly location?: {
|
|
1918
|
+
readonly directory?: string | undefined;
|
|
1919
|
+
readonly workspace?: string | undefined;
|
|
1920
|
+
} | undefined;
|
|
1921
|
+
};
|
|
1922
|
+
export type Endpoint23_0Output = {
|
|
1923
|
+
readonly location: Location.Info;
|
|
1924
|
+
readonly data: ReadonlyArray<Reference.Info>;
|
|
888
1925
|
};
|
|
889
|
-
export type Endpoint23_0Output = EffectValue<ReturnType<RawClient["server.reference"]["reference.list"]>>;
|
|
890
1926
|
export type ReferenceListOperation<E = never> = (input?: Endpoint23_0Input) => Effect.Effect<Endpoint23_0Output, E>;
|
|
891
1927
|
export interface ReferenceApi<E = never> {
|
|
892
1928
|
readonly list: ReferenceListOperation<E>;
|
|
893
1929
|
}
|
|
894
|
-
type Endpoint24_0Request = Parameters<RawClient["server.projectCopy"]["projectCopy.create"]>[0];
|
|
895
1930
|
export type Endpoint24_0Input = {
|
|
896
|
-
readonly projectID:
|
|
897
|
-
readonly location?:
|
|
898
|
-
|
|
899
|
-
|
|
900
|
-
|
|
901
|
-
|
|
902
|
-
|
|
1931
|
+
readonly projectID: Project.ID;
|
|
1932
|
+
readonly location?: {
|
|
1933
|
+
readonly directory?: string | undefined;
|
|
1934
|
+
readonly workspace?: string | undefined;
|
|
1935
|
+
} | undefined;
|
|
1936
|
+
readonly strategy: ProjectCopy.StrategyID;
|
|
1937
|
+
readonly directory: AbsolutePath;
|
|
1938
|
+
readonly name?: string | undefined;
|
|
1939
|
+
};
|
|
1940
|
+
export type Endpoint24_0Output = ProjectCopy.Copy;
|
|
903
1941
|
export type ProjectCopyCreateOperation<E = never> = (input: Endpoint24_0Input) => Effect.Effect<Endpoint24_0Output, E>;
|
|
904
|
-
type Endpoint24_1Request = Parameters<RawClient["server.projectCopy"]["projectCopy.remove"]>[0];
|
|
905
1942
|
export type Endpoint24_1Input = {
|
|
906
|
-
readonly projectID:
|
|
907
|
-
readonly location?:
|
|
908
|
-
|
|
909
|
-
|
|
910
|
-
};
|
|
911
|
-
|
|
1943
|
+
readonly projectID: Project.ID;
|
|
1944
|
+
readonly location?: {
|
|
1945
|
+
readonly directory?: string | undefined;
|
|
1946
|
+
readonly workspace?: string | undefined;
|
|
1947
|
+
} | undefined;
|
|
1948
|
+
readonly directory: AbsolutePath;
|
|
1949
|
+
readonly force: boolean;
|
|
1950
|
+
};
|
|
1951
|
+
export type Endpoint24_1Output = void;
|
|
912
1952
|
export type ProjectCopyRemoveOperation<E = never> = (input: Endpoint24_1Input) => Effect.Effect<Endpoint24_1Output, E>;
|
|
913
|
-
type Endpoint24_2Request = Parameters<RawClient["server.projectCopy"]["projectCopy.refresh"]>[0];
|
|
914
1953
|
export type Endpoint24_2Input = {
|
|
915
|
-
readonly projectID:
|
|
916
|
-
readonly location?:
|
|
1954
|
+
readonly projectID: Project.ID;
|
|
1955
|
+
readonly location?: {
|
|
1956
|
+
readonly directory?: string | undefined;
|
|
1957
|
+
readonly workspace?: string | undefined;
|
|
1958
|
+
} | undefined;
|
|
917
1959
|
};
|
|
918
|
-
export type Endpoint24_2Output =
|
|
1960
|
+
export type Endpoint24_2Output = void;
|
|
919
1961
|
export type ProjectCopyRefreshOperation<E = never> = (input: Endpoint24_2Input) => Effect.Effect<Endpoint24_2Output, E>;
|
|
920
1962
|
export interface ProjectCopyApi<E = never> {
|
|
921
1963
|
readonly create: ProjectCopyCreateOperation<E>;
|
|
922
1964
|
readonly remove: ProjectCopyRemoveOperation<E>;
|
|
923
1965
|
readonly refresh: ProjectCopyRefreshOperation<E>;
|
|
924
1966
|
}
|
|
925
|
-
type Endpoint25_0Request = Parameters<RawClient["server.vcs"]["vcs.status"]>[0];
|
|
926
1967
|
export type Endpoint25_0Input = {
|
|
927
|
-
readonly location?:
|
|
1968
|
+
readonly location?: {
|
|
1969
|
+
readonly directory?: string | undefined;
|
|
1970
|
+
readonly workspace?: string | undefined;
|
|
1971
|
+
} | undefined;
|
|
1972
|
+
};
|
|
1973
|
+
export type Endpoint25_0Output = {
|
|
1974
|
+
readonly location: Location.Info;
|
|
1975
|
+
readonly data: ReadonlyArray<Vcs.FileStatus>;
|
|
928
1976
|
};
|
|
929
|
-
export type Endpoint25_0Output = EffectValue<ReturnType<RawClient["server.vcs"]["vcs.status"]>>;
|
|
930
1977
|
export type VcsStatusOperation<E = never> = (input?: Endpoint25_0Input) => Effect.Effect<Endpoint25_0Output, E>;
|
|
931
|
-
type Endpoint25_1Request = Parameters<RawClient["server.vcs"]["vcs.diff"]>[0];
|
|
932
1978
|
export type Endpoint25_1Input = {
|
|
933
|
-
readonly location?:
|
|
934
|
-
|
|
935
|
-
|
|
1979
|
+
readonly location?: {
|
|
1980
|
+
readonly directory?: string | undefined;
|
|
1981
|
+
readonly workspace?: string | undefined;
|
|
1982
|
+
} | undefined;
|
|
1983
|
+
readonly mode: Vcs.Mode;
|
|
1984
|
+
readonly context?: number | undefined;
|
|
1985
|
+
};
|
|
1986
|
+
export type Endpoint25_1Output = {
|
|
1987
|
+
readonly location: Location.Info;
|
|
1988
|
+
readonly data: ReadonlyArray<FileDiff.Info>;
|
|
936
1989
|
};
|
|
937
|
-
export type Endpoint25_1Output = EffectValue<ReturnType<RawClient["server.vcs"]["vcs.diff"]>>;
|
|
938
1990
|
export type VcsDiffOperation<E = never> = (input: Endpoint25_1Input) => Effect.Effect<Endpoint25_1Output, E>;
|
|
939
1991
|
export interface VcsApi<E = never> {
|
|
940
1992
|
readonly status: VcsStatusOperation<E>;
|
|
941
1993
|
readonly diff: VcsDiffOperation<E>;
|
|
942
1994
|
}
|
|
943
|
-
export type Endpoint26_0Output =
|
|
1995
|
+
export type Endpoint26_0Output = ReadonlyArray<Location.Ref>;
|
|
944
1996
|
export type DebugLocationListOperation<E = never> = () => Effect.Effect<Endpoint26_0Output, E>;
|
|
945
|
-
type Endpoint26_1Request = Parameters<RawClient["server.debug"]["debug.location.evict"]>[0];
|
|
946
1997
|
export type Endpoint26_1Input = {
|
|
947
|
-
readonly location?:
|
|
1998
|
+
readonly location?: {
|
|
1999
|
+
readonly directory?: string | undefined;
|
|
2000
|
+
readonly workspace?: string | undefined;
|
|
2001
|
+
} | undefined;
|
|
948
2002
|
};
|
|
949
|
-
export type Endpoint26_1Output =
|
|
2003
|
+
export type Endpoint26_1Output = void;
|
|
950
2004
|
export type DebugLocationEvictOperation<E = never> = (input?: Endpoint26_1Input) => Effect.Effect<Endpoint26_1Output, E>;
|
|
951
2005
|
export interface DebugApi<E = never> {
|
|
952
2006
|
readonly location: {
|
|
@@ -954,19 +2008,29 @@ export interface DebugApi<E = never> {
|
|
|
954
2008
|
readonly evict: DebugLocationEvictOperation<E>;
|
|
955
2009
|
};
|
|
956
2010
|
}
|
|
957
|
-
type Endpoint27_0Request = Parameters<RawClient["server.websearch"]["websearch.providers"]>[0];
|
|
958
2011
|
export type Endpoint27_0Input = {
|
|
959
|
-
readonly location?:
|
|
2012
|
+
readonly location?: {
|
|
2013
|
+
readonly directory?: string | undefined;
|
|
2014
|
+
readonly workspace?: string | undefined;
|
|
2015
|
+
} | undefined;
|
|
2016
|
+
};
|
|
2017
|
+
export type Endpoint27_0Output = {
|
|
2018
|
+
readonly location: Location.Info;
|
|
2019
|
+
readonly data: ReadonlyArray<WebSearch.Provider>;
|
|
960
2020
|
};
|
|
961
|
-
export type Endpoint27_0Output = EffectValue<ReturnType<RawClient["server.websearch"]["websearch.providers"]>>;
|
|
962
2021
|
export type WebsearchProvidersOperation<E = never> = (input?: Endpoint27_0Input) => Effect.Effect<Endpoint27_0Output, E>;
|
|
963
|
-
type Endpoint27_1Request = Parameters<RawClient["server.websearch"]["websearch.query"]>[0];
|
|
964
2022
|
export type Endpoint27_1Input = {
|
|
965
|
-
readonly location?:
|
|
966
|
-
|
|
967
|
-
|
|
2023
|
+
readonly location?: {
|
|
2024
|
+
readonly directory?: string | undefined;
|
|
2025
|
+
readonly workspace?: string | undefined;
|
|
2026
|
+
} | undefined;
|
|
2027
|
+
readonly query: string;
|
|
2028
|
+
readonly providerID?: WebSearch.ID | undefined;
|
|
2029
|
+
};
|
|
2030
|
+
export type Endpoint27_1Output = {
|
|
2031
|
+
readonly location: Location.Info;
|
|
2032
|
+
readonly data: WebSearch.Response;
|
|
968
2033
|
};
|
|
969
|
-
export type Endpoint27_1Output = EffectValue<ReturnType<RawClient["server.websearch"]["websearch.query"]>>;
|
|
970
2034
|
export type WebsearchQueryOperation<E = never> = (input: Endpoint27_1Input) => Effect.Effect<Endpoint27_1Output, E>;
|
|
971
2035
|
export interface WebsearchApi<E = never> {
|
|
972
2036
|
readonly providers: WebsearchProvidersOperation<E>;
|
|
@@ -1002,4 +2066,3 @@ export interface AppApi<E = never> {
|
|
|
1002
2066
|
readonly debug: DebugApi<E>;
|
|
1003
2067
|
readonly websearch: WebsearchApi<E>;
|
|
1004
2068
|
}
|
|
1005
|
-
export {};
|