| 1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556 |
- export * as Session from "./session.js"
- import { Schema } from "effect"
- import { Agent } from "./agent.js"
- import { Location } from "./location.js"
- import { Model } from "./model.js"
- import { Project } from "./project.js"
- import { DateTimeUtcFromMillis, optional, RelativePath } from "./schema.js"
- import { SessionEvent } from "./session-event.js"
- import { SessionID } from "./session-id.js"
- import { Money } from "./money.js"
- import { TokenUsage } from "./token-usage.js"
- import { Revert } from "./session-revert.js"
- import { SessionFork } from "./session-fork.js"
- export const ID = SessionID
- export type ID = SessionID
- export const Event = SessionEvent
- export { Revert }
- export const ForkBoundary = SessionFork.Boundary
- export type ForkBoundary = SessionFork.Boundary
- export const ForkRequestBoundary = SessionFork.RequestBoundary
- export type ForkRequestBoundary = SessionFork.RequestBoundary
- export interface Info extends Schema.Schema.Type<typeof Info> {}
- export const Info = Schema.Struct({
- id: ID,
- parentID: ID.pipe(optional),
- fork: Schema.Struct({
- sessionID: ID,
- boundary: ForkBoundary,
- }).pipe(optional),
- projectID: Project.ID,
- agent: Agent.ID.pipe(optional),
- model: Model.Ref.pipe(optional),
- cost: Money.USD,
- tokens: TokenUsage.Info,
- time: Schema.Struct({
- created: DateTimeUtcFromMillis,
- updated: DateTimeUtcFromMillis,
- archived: DateTimeUtcFromMillis.pipe(optional),
- }),
- title: Schema.String.pipe(optional),
- location: Location.Ref,
- subpath: RelativePath.pipe(optional),
- revert: Revert.pipe(optional),
- }).annotate({ identifier: "Session.Info" })
- export const ListAnchor = Schema.Struct({
- id: ID,
- time: Schema.Finite,
- direction: Schema.Literals(["previous", "next"]),
- }).annotate({ identifier: "Session.ListAnchor" })
- export interface ListAnchor extends Schema.Schema.Type<typeof ListAnchor> {}
|