import { Schema } from "effect" import { Identifier } from "@/id/id" import { zod, ZodOverride } from "@/util/effect-zod" import { withStatics } from "@/util/schema" export const SessionID = Schema.String.annotate({ [ZodOverride]: Identifier.schema("session") }).pipe( Schema.brand("SessionID"), withStatics((s) => ({ descending: (id?: string) => s.make(Identifier.descending("session", id)), zod: zod(s), })), ) export type SessionID = Schema.Schema.Type export const MessageID = Schema.String.annotate({ [ZodOverride]: Identifier.schema("message") }).pipe( Schema.brand("MessageID"), withStatics((s) => ({ ascending: (id?: string) => s.make(Identifier.ascending("message", id)), zod: zod(s), })), ) export type MessageID = Schema.Schema.Type export const PartID = Schema.String.annotate({ [ZodOverride]: Identifier.schema("part") }).pipe( Schema.brand("PartID"), withStatics((s) => ({ ascending: (id?: string) => s.make(Identifier.ascending("part", id)), zod: zod(s), })), ) export type PartID = Schema.Schema.Type