openAgent

1export * as ProjectCopy from "./project-copy"
2 
3import { Schema } from "effect"
4import { optional } from "./schema"
5import { ProjectID } from "./project-id"
6import { AbsolutePath } from "./schema"
7 
8export const StrategyID = Schema.Trim.pipe(Schema.check(Schema.isNonEmpty()), Schema.brand("ProjectCopy.StrategyID"))
9export type StrategyID = typeof StrategyID.Type
10 
11export const CreateInput = Schema.Struct({
12  projectID: ProjectID,
13  strategy: StrategyID,
14  sourceDirectory: AbsolutePath,
15  directory: AbsolutePath,
16  name: optional(Schema.String),
17}).annotate({ identifier: "ProjectCopy.CreateInput" })
18export interface CreateInput extends Schema.Schema.Type<typeof CreateInput> {}
19 
20export const RemoveInput = Schema.Struct({
21  projectID: ProjectID,
22  directory: AbsolutePath,
23  force: Schema.Boolean,
24}).annotate({ identifier: "ProjectCopy.RemoveInput" })
25export interface RemoveInput extends Schema.Schema.Type<typeof RemoveInput> {}
26 
27export const Copy = Schema.Struct({
28  directory: AbsolutePath,
29}).annotate({ identifier: "ProjectCopy.Copy" })
30export interface Copy extends Schema.Schema.Type<typeof Copy> {}
31