@linkshell/host 0.4.69 → 0.4.71

package/dist/wire/src/editor.d.ts

@@ -2,266 +2,76 @@ import { z } from "zod";
 export declare const textPositionSchema: z.ZodObject<{
     line: z.ZodNumber;
     character: z.ZodNumber;
-}, "strip", z.ZodTypeAny, {
-    line: number;
-    character: number;
-}, {
-    line: number;
-    character: number;
-}>;
+}, z.core.$strip>;
 export declare const textRangeSchema: z.ZodObject<{
     start: z.ZodObject<{
         line: z.ZodNumber;
         character: z.ZodNumber;
-    }, "strip", z.ZodTypeAny, {
-        line: number;
-        character: number;
-    }, {
-        line: number;
-        character: number;
-    }>;
+    }, z.core.$strip>;
     end: z.ZodObject<{
         line: z.ZodNumber;
         character: z.ZodNumber;
-    }, "strip", z.ZodTypeAny, {
-        line: number;
-        character: number;
-    }, {
-        line: number;
-        character: number;
-    }>;
-}, "strip", z.ZodTypeAny, {
-    start: {
-        line: number;
-        character: number;
-    };
-    end: {
-        line: number;
-        character: number;
-    };
-}, {
-    start: {
-        line: number;
-        character: number;
-    };
-    end: {
-        line: number;
-        character: number;
-    };
-}>;
+    }, z.core.$strip>;
+}, z.core.$strip>;
 export type TextPosition = z.infer<typeof textPositionSchema>;
-export declare const editSuggestionSchema: z.ZodDiscriminatedUnion<"kind", [z.ZodObject<{
+export declare const editSuggestionSchema: z.ZodDiscriminatedUnion<[z.ZodObject<{
     edits: z.ZodArray<z.ZodObject<{
         range: z.ZodObject<{
             start: z.ZodObject<{
                 line: z.ZodNumber;
                 character: z.ZodNumber;
-            }, "strip", z.ZodTypeAny, {
-                line: number;
-                character: number;
-            }, {
-                line: number;
-                character: number;
-            }>;
+            }, z.core.$strip>;
             end: z.ZodObject<{
                 line: z.ZodNumber;
                 character: z.ZodNumber;
-            }, "strip", z.ZodTypeAny, {
-                line: number;
-                character: number;
-            }, {
-                line: number;
-                character: number;
-            }>;
-        }, "strip", z.ZodTypeAny, {
-            start: {
-                line: number;
-                character: number;
-            };
-            end: {
-                line: number;
-                character: number;
-            };
-        }, {
-            start: {
-                line: number;
-                character: number;
-            };
-            end: {
-                line: number;
-                character: number;
-            };
-        }>;
+            }, z.core.$strip>;
+        }, z.core.$strip>;
         newText: z.ZodString;
-    }, "strip", z.ZodTypeAny, {
-        newText: string;
-        range: {
-            start: {
-                line: number;
-                character: number;
-            };
-            end: {
-                line: number;
-                character: number;
-            };
-        };
-    }, {
-        newText: string;
-        range: {
-            start: {
-                line: number;
-                character: number;
-            };
-            end: {
-                line: number;
-                character: number;
-            };
-        };
-    }>, "many">;
+    }, z.core.$strip>>;
     cursorPosition: z.ZodOptional<z.ZodNullable<z.ZodObject<{
         line: z.ZodNumber;
         character: z.ZodNumber;
-    }, "strip", z.ZodTypeAny, {
-        line: number;
-        character: number;
-    }, {
-        line: number;
-        character: number;
-    }>>>;
+    }, z.core.$strip>>>;
     id: z.ZodString;
     uri: z.ZodString;
     kind: z.ZodLiteral<"edit">;
-}, "strip", z.ZodTypeAny, {
-    uri: string;
-    kind: "edit";
-    id: string;
-    edits: {
-        newText: string;
-        range: {
-            start: {
-                line: number;
-                character: number;
-            };
-            end: {
-                line: number;
-                character: number;
-            };
-        };
-    }[];
-    cursorPosition?: {
-        line: number;
-        character: number;
-    } | null | undefined;
-}, {
-    uri: string;
-    kind: "edit";
-    id: string;
-    edits: {
-        newText: string;
-        range: {
-            start: {
-                line: number;
-                character: number;
-            };
-            end: {
-                line: number;
-                character: number;
-            };
-        };
-    }[];
-    cursorPosition?: {
-        line: number;
-        character: number;
-    } | null | undefined;
-}>, z.ZodObject<{
+}, z.core.$strip>, z.ZodObject<{
     position: z.ZodObject<{
         line: z.ZodNumber;
         character: z.ZodNumber;
-    }, "strip", z.ZodTypeAny, {
-        line: number;
-        character: number;
-    }, {
-        line: number;
-        character: number;
-    }>;
+    }, z.core.$strip>;
     id: z.ZodString;
     uri: z.ZodString;
     kind: z.ZodLiteral<"jump">;
-}, "strip", z.ZodTypeAny, {
-    uri: string;
-    kind: "jump";
-    id: string;
-    position: {
-        line: number;
-        character: number;
-    };
-}, {
-    uri: string;
-    kind: "jump";
-    id: string;
-    position: {
-        line: number;
-        character: number;
-    };
-}>, z.ZodObject<{
+}, z.core.$strip>, z.ZodObject<{
     position: z.ZodObject<{
         line: z.ZodNumber;
         character: z.ZodNumber;
-    }, "strip", z.ZodTypeAny, {
-        line: number;
-        character: number;
-    }, {
-        line: number;
-        character: number;
-    }>;
+    }, z.core.$strip>;
     newName: z.ZodString;
     id: z.ZodString;
     uri: z.ZodString;
     kind: z.ZodLiteral<"rename">;
-}, "strip", z.ZodTypeAny, {
-    uri: string;
-    kind: "rename";
-    id: string;
-    position: {
-        line: number;
-        character: number;
-    };
-    newName: string;
-}, {
-    uri: string;
-    kind: "rename";
-    id: string;
-    position: {
-        line: number;
-        character: number;
-    };
-    newName: string;
-}>, z.ZodObject<{
+}, z.core.$strip>, z.ZodObject<{
     search: z.ZodString;
     replace: z.ZodString;
     isRegex: z.ZodOptional<z.ZodNullable<z.ZodBoolean>>;
     id: z.ZodString;
     uri: z.ZodString;
     kind: z.ZodLiteral<"searchAndReplace">;
-}, "strip", z.ZodTypeAny, {
-    replace: string;
-    search: string;
-    uri: string;
-    kind: "searchAndReplace";
-    id: string;
-    isRegex?: boolean | null | undefined;
-}, {
-    replace: string;
-    search: string;
-    uri: string;
-    kind: "searchAndReplace";
-    id: string;
-    isRegex?: boolean | null | undefined;
-}>]>;
+}, z.core.$strip>], "kind">;
 export type EditSuggestion = z.infer<typeof editSuggestionSchema>;
 export declare const editorRequestSchema: z.ZodObject<{
     agent: z.ZodString;
-    operation: z.ZodEnum<["open", "suggest", "preview", "apply", "save", "reject", "close"]>;
+    operation: z.ZodEnum<{
+        preview: "preview";
+        open: "open";
+        suggest: "suggest";
+        apply: "apply";
+        save: "save";
+        reject: "reject";
+        close: "close";
+    }>;
     editorId: z.ZodOptional<z.ZodString>;
     cwd: z.ZodOptional<z.ZodString>;
     path: z.ZodOptional<z.ZodString>;
@@ -269,434 +79,80 @@ export declare const editorRequestSchema: z.ZodObject<{
     position: z.ZodOptional<z.ZodObject<{
         line: z.ZodNumber;
         character: z.ZodNumber;
-    }, "strip", z.ZodTypeAny, {
-        line: number;
-        character: number;
-    }, {
-        line: number;
-        character: number;
-    }>>;
+    }, z.core.$strip>>;
     suggestionId: z.ZodOptional<z.ZodString>;
     previewId: z.ZodOptional<z.ZodString>;
-}, "strip", z.ZodTypeAny, {
-    agent: string;
-    operation: "preview" | "open" | "suggest" | "apply" | "save" | "reject" | "close";
-    path?: string | undefined;
-    text?: string | undefined;
-    cwd?: string | undefined;
-    position?: {
-        line: number;
-        character: number;
-    } | undefined;
-    editorId?: string | undefined;
-    suggestionId?: string | undefined;
-    previewId?: string | undefined;
-}, {
-    agent: string;
-    operation: "preview" | "open" | "suggest" | "apply" | "save" | "reject" | "close";
-    path?: string | undefined;
-    text?: string | undefined;
-    cwd?: string | undefined;
-    position?: {
-        line: number;
-        character: number;
-    } | undefined;
-    editorId?: string | undefined;
-    suggestionId?: string | undefined;
-    previewId?: string | undefined;
-}>;
+}, z.core.$strip>;
 export type EditorRequest = z.infer<typeof editorRequestSchema>;
 export declare const editorResultSchema: z.ZodObject<{
     editorId: z.ZodOptional<z.ZodString>;
     path: z.ZodOptional<z.ZodString>;
     text: z.ZodOptional<z.ZodString>;
     version: z.ZodOptional<z.ZodNumber>;
-    suggestions: z.ZodOptional<z.ZodArray<z.ZodDiscriminatedUnion<"kind", [z.ZodObject<{
+    suggestions: z.ZodOptional<z.ZodArray<z.ZodDiscriminatedUnion<[z.ZodObject<{
         edits: z.ZodArray<z.ZodObject<{
             range: z.ZodObject<{
                 start: z.ZodObject<{
                     line: z.ZodNumber;
                     character: z.ZodNumber;
-                }, "strip", z.ZodTypeAny, {
-                    line: number;
-                    character: number;
-                }, {
-                    line: number;
-                    character: number;
-                }>;
+                }, z.core.$strip>;
                 end: z.ZodObject<{
                     line: z.ZodNumber;
                     character: z.ZodNumber;
-                }, "strip", z.ZodTypeAny, {
-                    line: number;
-                    character: number;
-                }, {
-                    line: number;
-                    character: number;
-                }>;
-            }, "strip", z.ZodTypeAny, {
-                start: {
-                    line: number;
-                    character: number;
-                };
-                end: {
-                    line: number;
-                    character: number;
-                };
-            }, {
-                start: {
-                    line: number;
-                    character: number;
-                };
-                end: {
-                    line: number;
-                    character: number;
-                };
-            }>;
+                }, z.core.$strip>;
+            }, z.core.$strip>;
             newText: z.ZodString;
-        }, "strip", z.ZodTypeAny, {
-            newText: string;
-            range: {
-                start: {
-                    line: number;
-                    character: number;
-                };
-                end: {
-                    line: number;
-                    character: number;
-                };
-            };
-        }, {
-            newText: string;
-            range: {
-                start: {
-                    line: number;
-                    character: number;
-                };
-                end: {
-                    line: number;
-                    character: number;
-                };
-            };
-        }>, "many">;
+        }, z.core.$strip>>;
         cursorPosition: z.ZodOptional<z.ZodNullable<z.ZodObject<{
             line: z.ZodNumber;
             character: z.ZodNumber;
-        }, "strip", z.ZodTypeAny, {
-            line: number;
-            character: number;
-        }, {
-            line: number;
-            character: number;
-        }>>>;
+        }, z.core.$strip>>>;
         id: z.ZodString;
         uri: z.ZodString;
         kind: z.ZodLiteral<"edit">;
-    }, "strip", z.ZodTypeAny, {
-        uri: string;
-        kind: "edit";
-        id: string;
-        edits: {
-            newText: string;
-            range: {
-                start: {
-                    line: number;
-                    character: number;
-                };
-                end: {
-                    line: number;
-                    character: number;
-                };
-            };
-        }[];
-        cursorPosition?: {
-            line: number;
-            character: number;
-        } | null | undefined;
-    }, {
-        uri: string;
-        kind: "edit";
-        id: string;
-        edits: {
-            newText: string;
-            range: {
-                start: {
-                    line: number;
-                    character: number;
-                };
-                end: {
-                    line: number;
-                    character: number;
-                };
-            };
-        }[];
-        cursorPosition?: {
-            line: number;
-            character: number;
-        } | null | undefined;
-    }>, z.ZodObject<{
+    }, z.core.$strip>, z.ZodObject<{
         position: z.ZodObject<{
             line: z.ZodNumber;
             character: z.ZodNumber;
-        }, "strip", z.ZodTypeAny, {
-            line: number;
-            character: number;
-        }, {
-            line: number;
-            character: number;
-        }>;
+        }, z.core.$strip>;
         id: z.ZodString;
         uri: z.ZodString;
         kind: z.ZodLiteral<"jump">;
-    }, "strip", z.ZodTypeAny, {
-        uri: string;
-        kind: "jump";
-        id: string;
-        position: {
-            line: number;
-            character: number;
-        };
-    }, {
-        uri: string;
-        kind: "jump";
-        id: string;
-        position: {
-            line: number;
-            character: number;
-        };
-    }>, z.ZodObject<{
+    }, z.core.$strip>, z.ZodObject<{
         position: z.ZodObject<{
             line: z.ZodNumber;
             character: z.ZodNumber;
-        }, "strip", z.ZodTypeAny, {
-            line: number;
-            character: number;
-        }, {
-            line: number;
-            character: number;
-        }>;
+        }, z.core.$strip>;
         newName: z.ZodString;
         id: z.ZodString;
         uri: z.ZodString;
         kind: z.ZodLiteral<"rename">;
-    }, "strip", z.ZodTypeAny, {
-        uri: string;
-        kind: "rename";
-        id: string;
-        position: {
-            line: number;
-            character: number;
-        };
-        newName: string;
-    }, {
-        uri: string;
-        kind: "rename";
-        id: string;
-        position: {
-            line: number;
-            character: number;
-        };
-        newName: string;
-    }>, z.ZodObject<{
+    }, z.core.$strip>, z.ZodObject<{
         search: z.ZodString;
         replace: z.ZodString;
         isRegex: z.ZodOptional<z.ZodNullable<z.ZodBoolean>>;
         id: z.ZodString;
         uri: z.ZodString;
         kind: z.ZodLiteral<"searchAndReplace">;
-    }, "strip", z.ZodTypeAny, {
-        replace: string;
-        search: string;
-        uri: string;
-        kind: "searchAndReplace";
-        id: string;
-        isRegex?: boolean | null | undefined;
-    }, {
-        replace: string;
-        search: string;
-        uri: string;
-        kind: "searchAndReplace";
-        id: string;
-        isRegex?: boolean | null | undefined;
-    }>]>, "many">>;
+    }, z.core.$strip>], "kind">>>;
     preview: z.ZodOptional<z.ZodObject<{
         id: z.ZodString;
         path: z.ZodString;
         before: z.ZodString;
         after: z.ZodString;
-        kind: z.ZodEnum<["edit", "jump", "searchAndReplace"]>;
+        kind: z.ZodEnum<{
+            edit: "edit";
+            jump: "jump";
+            searchAndReplace: "searchAndReplace";
+        }>;
         position: z.ZodOptional<z.ZodObject<{
             line: z.ZodNumber;
             character: z.ZodNumber;
-        }, "strip", z.ZodTypeAny, {
-            line: number;
-            character: number;
-        }, {
-            line: number;
-            character: number;
-        }>>;
-    }, "strip", z.ZodTypeAny, {
-        path: string;
-        kind: "edit" | "jump" | "searchAndReplace";
-        id: string;
-        before: string;
-        after: string;
-        position?: {
-            line: number;
-            character: number;
-        } | undefined;
-    }, {
-        path: string;
-        kind: "edit" | "jump" | "searchAndReplace";
-        id: string;
-        before: string;
-        after: string;
-        position?: {
-            line: number;
-            character: number;
-        } | undefined;
-    }>>;
+        }, z.core.$strip>>;
+    }, z.core.$strip>>;
     position: z.ZodOptional<z.ZodObject<{
         line: z.ZodNumber;
         character: z.ZodNumber;
-    }, "strip", z.ZodTypeAny, {
-        line: number;
-        character: number;
-    }, {
-        line: number;
-        character: number;
-    }>>;
-}, "strip", z.ZodTypeAny, {
-    path?: string | undefined;
-    text?: string | undefined;
-    version?: number | undefined;
-    preview?: {
-        path: string;
-        kind: "edit" | "jump" | "searchAndReplace";
-        id: string;
-        before: string;
-        after: string;
-        position?: {
-            line: number;
-            character: number;
-        } | undefined;
-    } | undefined;
-    position?: {
-        line: number;
-        character: number;
-    } | undefined;
-    editorId?: string | undefined;
-    suggestions?: ({
-        uri: string;
-        kind: "edit";
-        id: string;
-        edits: {
-            newText: string;
-            range: {
-                start: {
-                    line: number;
-                    character: number;
-                };
-                end: {
-                    line: number;
-                    character: number;
-                };
-            };
-        }[];
-        cursorPosition?: {
-            line: number;
-            character: number;
-        } | null | undefined;
-    } | {
-        uri: string;
-        kind: "jump";
-        id: string;
-        position: {
-            line: number;
-            character: number;
-        };
-    } | {
-        uri: string;
-        kind: "rename";
-        id: string;
-        position: {
-            line: number;
-            character: number;
-        };
-        newName: string;
-    } | {
-        replace: string;
-        search: string;
-        uri: string;
-        kind: "searchAndReplace";
-        id: string;
-        isRegex?: boolean | null | undefined;
-    })[] | undefined;
-}, {
-    path?: string | undefined;
-    text?: string | undefined;
-    version?: number | undefined;
-    preview?: {
-        path: string;
-        kind: "edit" | "jump" | "searchAndReplace";
-        id: string;
-        before: string;
-        after: string;
-        position?: {
-            line: number;
-            character: number;
-        } | undefined;
-    } | undefined;
-    position?: {
-        line: number;
-        character: number;
-    } | undefined;
-    editorId?: string | undefined;
-    suggestions?: ({
-        uri: string;
-        kind: "edit";
-        id: string;
-        edits: {
-            newText: string;
-            range: {
-                start: {
-                    line: number;
-                    character: number;
-                };
-                end: {
-                    line: number;
-                    character: number;
-                };
-            };
-        }[];
-        cursorPosition?: {
-            line: number;
-            character: number;
-        } | null | undefined;
-    } | {
-        uri: string;
-        kind: "jump";
-        id: string;
-        position: {
-            line: number;
-            character: number;
-        };
-    } | {
-        uri: string;
-        kind: "rename";
-        id: string;
-        position: {
-            line: number;
-            character: number;
-        };
-        newName: string;
-    } | {
-        replace: string;
-        search: string;
-        uri: string;
-        kind: "searchAndReplace";
-        id: string;
-        isRegex?: boolean | null | undefined;
-    })[] | undefined;
-}>;
+    }, z.core.$strip>>;
+}, z.core.$strip>;
 export type EditorResult = z.infer<typeof editorResultSchema>;