refactor(tool): convert grep tool to Tool.defineEffect (#21937)

This commit is contained in:
Kit Langton
2026-04-10 19:20:00 -04:00
committed by GitHub
parent fb26308bc7
commit d72ddd71fa
3 changed files with 176 additions and 146 deletions
+2 -1
View File
@@ -112,6 +112,7 @@ export namespace ToolRegistry {
const globtool = yield* GlobTool
const writetool = yield* WriteTool
const edit = yield* EditTool
const greptool = yield* GrepTool
const state = yield* InstanceState.make<State>(
Effect.fn("ToolRegistry.state")(function* (ctx) {
@@ -173,7 +174,7 @@ export namespace ToolRegistry {
bash: Tool.init(bash),
read: Tool.init(read),
glob: Tool.init(globtool),
grep: Tool.init(GrepTool),
grep: Tool.init(greptool),
edit: Tool.init(edit),
write: Tool.init(writetool),
task: Tool.init(task),