chore: generate
This commit is contained in:
@@ -63,11 +63,7 @@ export interface Interface {
|
|||||||
readonly ids: () => Effect.Effect<string[]>
|
readonly ids: () => Effect.Effect<string[]>
|
||||||
readonly all: () => Effect.Effect<Tool.Def[]>
|
readonly all: () => Effect.Effect<Tool.Def[]>
|
||||||
readonly named: () => Effect.Effect<{ task: TaskDef; read: ReadDef }>
|
readonly named: () => Effect.Effect<{ task: TaskDef; read: ReadDef }>
|
||||||
readonly tools: (model: {
|
readonly tools: (model: { providerID: ProviderID; modelID: ModelID; agent: Agent.Info }) => Effect.Effect<Tool.Def[]>
|
||||||
providerID: ProviderID
|
|
||||||
modelID: ModelID
|
|
||||||
agent: Agent.Info
|
|
||||||
}) => Effect.Effect<Tool.Def[]>
|
|
||||||
}
|
}
|
||||||
|
|
||||||
export class Service extends Context.Service<Service, Interface>()("@opencode/ToolRegistry") {}
|
export class Service extends Context.Service<Service, Interface>()("@opencode/ToolRegistry") {}
|
||||||
|
|||||||
@@ -54,11 +54,7 @@ type Init<Parameters extends z.ZodType, M extends Metadata> =
|
|||||||
| (() => Effect.Effect<DefWithoutID<Parameters, M>>)
|
| (() => Effect.Effect<DefWithoutID<Parameters, M>>)
|
||||||
|
|
||||||
export type InferParameters<T> =
|
export type InferParameters<T> =
|
||||||
T extends Info<infer P, any>
|
T extends Info<infer P, any> ? z.infer<P> : T extends Effect.Effect<Info<infer P, any>, any, any> ? z.infer<P> : never
|
||||||
? z.infer<P>
|
|
||||||
: T extends Effect.Effect<Info<infer P, any>, any, any>
|
|
||||||
? z.infer<P>
|
|
||||||
: never
|
|
||||||
export type InferMetadata<T> =
|
export type InferMetadata<T> =
|
||||||
T extends Info<any, infer M> ? M : T extends Effect.Effect<Info<any, infer M>, any, any> ? M : never
|
T extends Info<any, infer M> ? M : T extends Effect.Effect<Info<any, infer M>, any, any> ? M : never
|
||||||
|
|
||||||
|
|||||||
Reference in New Issue
Block a user