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