35 lines
1.3 KiB
TypeScript
35 lines
1.3 KiB
TypeScript
export * as Pty from "./pty"
|
|
|
|
import { Schema } from "effect"
|
|
import { define, inventory } from "./event"
|
|
import { ascending } from "./identifier"
|
|
import { NonNegativeInt } from "./schema"
|
|
import { withStatics } from "./schema"
|
|
|
|
const IDSchema = Schema.String.check(Schema.isStartsWith("pty")).pipe(Schema.brand("PtyID"))
|
|
|
|
export const ID = IDSchema.pipe(
|
|
withStatics((schema: typeof IDSchema) => ({
|
|
ascending: (id?: string) => schema.make(id ?? "pty_" + ascending()),
|
|
})),
|
|
)
|
|
export type ID = typeof ID.Type
|
|
|
|
export const Info = Schema.Struct({
|
|
id: ID,
|
|
title: Schema.String,
|
|
command: Schema.String,
|
|
args: Schema.Array(Schema.String),
|
|
cwd: Schema.String,
|
|
status: Schema.Literals(["running", "exited"]),
|
|
pid: NonNegativeInt,
|
|
exitCode: Schema.optional(NonNegativeInt),
|
|
}).annotate({ identifier: "Pty" })
|
|
export const PtyInfo = Info
|
|
|
|
const Created = define({ type: "pty.created", schema: { info: Info } })
|
|
const Updated = define({ type: "pty.updated", schema: { info: Info } })
|
|
const Exited = define({ type: "pty.exited", schema: { id: ID, exitCode: NonNegativeInt } })
|
|
const Deleted = define({ type: "pty.deleted", schema: { id: ID } })
|
|
export const Event = { Created, Updated, Exited, Deleted, Definitions: inventory(Created, Updated, Exited, Deleted) }
|
|
export const PtyEvent = Event
|