2026-06-24 02:31:06 +00:00
|
|
|
export * as SessionInput from "./session-input"
|
|
|
|
|
|
|
|
|
|
import { Schema } from "effect"
|
2026-06-25 17:10:23 +00:00
|
|
|
import { optional } from "./schema"
|
2026-06-24 02:31:06 +00:00
|
|
|
import { Prompt } from "./prompt"
|
|
|
|
|
import { DateTimeUtcFromMillis, NonNegativeInt } from "./schema"
|
|
|
|
|
import { SessionDelivery } from "./session-delivery"
|
|
|
|
|
import { SessionID } from "./session-id"
|
2026-06-25 15:42:22 +00:00
|
|
|
import { SessionMessage } from "./session-message"
|
2026-06-24 02:31:06 +00:00
|
|
|
|
|
|
|
|
export const Delivery = SessionDelivery.Delivery
|
|
|
|
|
export type Delivery = SessionDelivery.Delivery
|
|
|
|
|
|
|
|
|
|
export interface Admitted extends Schema.Schema.Type<typeof Admitted> {}
|
|
|
|
|
export const Admitted = Schema.Struct({
|
|
|
|
|
admittedSeq: NonNegativeInt,
|
2026-06-25 15:42:22 +00:00
|
|
|
id: SessionMessage.ID,
|
2026-06-24 20:43:17 +00:00
|
|
|
sessionID: SessionID,
|
2026-06-24 02:31:06 +00:00
|
|
|
prompt: Prompt,
|
|
|
|
|
delivery: Delivery,
|
|
|
|
|
timeCreated: DateTimeUtcFromMillis,
|
2026-06-25 17:10:23 +00:00
|
|
|
promotedSeq: NonNegativeInt.pipe(optional),
|
2026-06-24 02:31:06 +00:00
|
|
|
}).annotate({ identifier: "SessionInput.Admitted" })
|