openAgent

1export * as FileSystem from "./filesystem"
2 
3import { Schema } from "effect"
4import { optional } from "./schema"
5import { define, inventory } from "./event"
6import { NonNegativeInt, PositiveInt, RelativePath } from "./schema"
7 
8const Edited = define({
9  type: "file.edited",
10  schema: { file: Schema.String },
11})
12export const Event = { Edited, Definitions: inventory(Edited) }
13 
14export interface Entry extends Schema.Schema.Type<typeof Entry> {}
15export const Entry = Schema.Struct({
16  path: RelativePath,
17  type: Schema.Literals(["file", "directory"]),
18}).annotate({ identifier: "FileSystem.Entry" })
19 
20export interface Submatch extends Schema.Schema.Type<typeof Submatch> {}
21export const Submatch = Schema.Struct({
22  text: Schema.String,
23  start: NonNegativeInt,
24  end: NonNegativeInt,
25}).annotate({ identifier: "FileSystem.Submatch" })
26 
27export interface Match extends Schema.Schema.Type<typeof Match> {}
28export const Match = Schema.Struct({
29  entry: Entry,
30  line: PositiveInt,
31  offset: NonNegativeInt,
32  text: Schema.String,
33  submatches: Schema.Array(Submatch),
34}).annotate({ identifier: "FileSystem.Match" })
35 
36export class FindInput extends Schema.Class<FindInput>("FileSystem.FindInput")({
37  query: Schema.String,
38  type: Schema.Literals(["file", "directory"]).pipe(optional),
39  limit: PositiveInt.pipe(optional),
40}) {}
41