openAgent

1export * as Project from "./project"
2 
3import { Schema } from "effect"
4import { define, inventory } from "./event"
5import { NonNegativeInt, optional } from "./schema"
6import { ProjectID } from "./project-id"
7 
8export const ID = ProjectID
9export type ID = typeof ID.Type
10 
11export const Vcs = Schema.Literal("git").annotate({ identifier: "Project.Vcs" })
12export const Icon = Schema.Struct({
13  url: optional(Schema.String),
14  override: optional(Schema.String),
15  color: optional(Schema.String),
16}).annotate({ identifier: "Project.Icon" })
17export interface Icon extends Schema.Schema.Type<typeof Icon> {}
18export const Commands = Schema.Struct({
19  start: optional(
20    Schema.String.annotate({ description: "Startup script to run when creating a new workspace (worktree)" }),
21  ),
22}).annotate({ identifier: "Project.Commands" })
23export interface Commands extends Schema.Schema.Type<typeof Commands> {}
24export const Time = Schema.Struct({
25  created: NonNegativeInt,
26  updated: NonNegativeInt,
27  initialized: optional(NonNegativeInt),
28}).annotate({ identifier: "Project.Time" })
29export interface Time extends Schema.Schema.Type<typeof Time> {}
30 
31export const Info = Schema.Struct({
32  id: ID,
33  worktree: Schema.String,
34  vcs: optional(Vcs),
35  name: optional(Schema.String),
36  icon: optional(Icon),
37  commands: optional(Commands),
38  time: Time,
39  sandboxes: Schema.Array(Schema.String),
40}).annotate({ identifier: "Project" })
41export interface Info extends Schema.Schema.Type<typeof Info> {}
42 
43const Updated = define({ type: "project.updated", schema: Info.fields })
44export const Event = { Updated, Definitions: inventory(Updated) }
45