1426c8bfa0
Signed-off-by: Adrian Cole <adrian@tetrate.io>
157 lines
3.2 KiB
TypeScript
157 lines
3.2 KiB
TypeScript
// This file is auto-generated by @hey-api/openapi-ts
|
|
|
|
import { z } from 'zod';
|
|
|
|
/**
|
|
* Add an extension to an active session.
|
|
*/
|
|
export const zAddExtensionRequest = z.object({
|
|
sessionId: z.string(),
|
|
config: z.unknown()
|
|
});
|
|
|
|
/**
|
|
* Empty success response for operations that return no data.
|
|
*/
|
|
export const zEmptyResponse = z.record(z.unknown());
|
|
|
|
/**
|
|
* Remove an extension from an active session.
|
|
*/
|
|
export const zRemoveExtensionRequest = z.object({
|
|
sessionId: z.string(),
|
|
name: z.string()
|
|
});
|
|
|
|
/**
|
|
* List all tools available in a session.
|
|
*/
|
|
export const zGetToolsRequest = z.object({
|
|
sessionId: z.string()
|
|
});
|
|
|
|
export const zGetToolsResponse = z.object({
|
|
tools: z.array(z.unknown())
|
|
});
|
|
|
|
/**
|
|
* Read a resource from an extension.
|
|
*/
|
|
export const zReadResourceRequest = z.object({
|
|
sessionId: z.string(),
|
|
uri: z.string(),
|
|
extensionName: z.string()
|
|
});
|
|
|
|
export const zReadResourceResponse = z.object({
|
|
result: z.unknown()
|
|
});
|
|
|
|
/**
|
|
* Update the working directory for a session.
|
|
*/
|
|
export const zUpdateWorkingDirRequest = z.object({
|
|
sessionId: z.string(),
|
|
workingDir: z.string()
|
|
});
|
|
|
|
/**
|
|
* Get a session by ID.
|
|
*/
|
|
export const zGetSessionRequest = z.object({
|
|
sessionId: z.string(),
|
|
includeMessages: z.boolean().optional().default(false)
|
|
});
|
|
|
|
/**
|
|
* Get a session response.
|
|
*/
|
|
export const zGetSessionResponse = z.object({
|
|
session: z.unknown()
|
|
});
|
|
|
|
/**
|
|
* Delete a session.
|
|
*/
|
|
export const zDeleteSessionRequest = z.object({
|
|
sessionId: z.string()
|
|
});
|
|
|
|
/**
|
|
* Export a session as a JSON string.
|
|
*/
|
|
export const zExportSessionRequest = z.object({
|
|
sessionId: z.string()
|
|
});
|
|
|
|
export const zExportSessionResponse = z.object({
|
|
data: z.string()
|
|
});
|
|
|
|
/**
|
|
* Import a session from a JSON string.
|
|
*/
|
|
export const zImportSessionRequest = z.object({
|
|
data: z.string()
|
|
});
|
|
|
|
export const zImportSessionResponse = z.object({
|
|
session: z.unknown()
|
|
});
|
|
|
|
/**
|
|
* List configured extensions and any warnings.
|
|
*/
|
|
export const zGetExtensionsResponse = z.object({
|
|
extensions: z.array(z.unknown()),
|
|
warnings: z.array(z.string())
|
|
});
|
|
|
|
export const zExtRequest = z.object({
|
|
id: z.string(),
|
|
method: z.string(),
|
|
params: z.union([
|
|
z.union([
|
|
zAddExtensionRequest,
|
|
zRemoveExtensionRequest,
|
|
zGetToolsRequest,
|
|
zReadResourceRequest,
|
|
zUpdateWorkingDirRequest,
|
|
zGetSessionRequest,
|
|
zDeleteSessionRequest,
|
|
zExportSessionRequest,
|
|
zImportSessionRequest
|
|
]),
|
|
z.union([
|
|
z.record(z.unknown()),
|
|
z.null()
|
|
])
|
|
]).optional()
|
|
});
|
|
|
|
export const zExtResponse = z.union([
|
|
z.object({
|
|
id: z.string(),
|
|
result: z.union([
|
|
z.union([
|
|
zEmptyResponse,
|
|
zGetToolsResponse,
|
|
zReadResourceResponse,
|
|
zGetSessionResponse,
|
|
zExportSessionResponse,
|
|
zImportSessionResponse,
|
|
zGetExtensionsResponse
|
|
]),
|
|
z.unknown()
|
|
]).optional()
|
|
}),
|
|
z.object({
|
|
error: z.object({
|
|
code: z.number().int(),
|
|
message: z.string(),
|
|
data: z.unknown().optional()
|
|
}),
|
|
id: z.string()
|
|
})
|
|
]);
|