Kit Langton
15 lines
443 B
TypeScript
15 lines
443 B
TypeScript
import { Schema } from "effect"
|
|
|
|
import { Identifier } from "@/id/id"
|
|
import { withStatics } from "@opencode-ai/core/schema"
|
|
|
|
const ptyIdSchema = Schema.String.check(Schema.isStartsWith("pty")).pipe(Schema.brand("PtyID"))
|
|
|
|
export type PtyID = typeof ptyIdSchema.Type
|
|
|
|
export const PtyID = ptyIdSchema.pipe(
|
|
withStatics((schema: typeof ptyIdSchema) => ({
|
|
ascending: (id?: string) => schema.make(Identifier.ascending("pty", id)),
|
|
})),
|
|
)
|