question.ts 4.6 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150
  1. export * as QuestionV2 from "./question"
  2. import { Context, Deferred, Effect, Layer, Schema } from "effect"
  3. import { Question } from "@opencode-ai/schema/question"
  4. import { EventV2 } from "./event"
  5. import { SessionSchema } from "./session/schema"
  6. export const ID = Question.ID
  7. export type ID = typeof ID.Type
  8. export const Option = Question.Option
  9. export type Option = typeof Option.Type
  10. export const Info = Question.Info
  11. export type Info = typeof Info.Type
  12. export const Prompt = Question.Prompt
  13. export type Prompt = typeof Prompt.Type
  14. export const Tool = Question.Tool
  15. export type Tool = typeof Tool.Type
  16. export const Request = Question.Request
  17. export type Request = typeof Request.Type
  18. export const Answer = Question.Answer
  19. export type Answer = typeof Answer.Type
  20. export const Reply = Question.Reply
  21. export type Reply = typeof Reply.Type
  22. export const Event = Question.Event
  23. export class RejectedError extends Schema.TaggedErrorClass<RejectedError>()("QuestionV2.RejectedError", {}) {
  24. override get message() {
  25. return "The user dismissed this question"
  26. }
  27. }
  28. export class NotFoundError extends Schema.TaggedErrorClass<NotFoundError>()("QuestionV2.NotFoundError", {
  29. requestID: ID,
  30. }) {}
  31. export interface AskInput {
  32. readonly sessionID: SessionSchema.ID
  33. readonly questions: ReadonlyArray<Info>
  34. readonly tool?: Tool
  35. }
  36. export interface ReplyInput {
  37. readonly requestID: ID
  38. readonly answers: ReadonlyArray<Answer>
  39. }
  40. export interface Interface {
  41. readonly ask: (input: AskInput) => Effect.Effect<ReadonlyArray<Answer>, RejectedError>
  42. readonly reply: (input: ReplyInput) => Effect.Effect<void, NotFoundError>
  43. readonly reject: (requestID: ID) => Effect.Effect<void, NotFoundError>
  44. readonly list: () => Effect.Effect<ReadonlyArray<Request>>
  45. }
  46. export class Service extends Context.Service<Service, Interface>()("@opencode/v2/Question") {}
  47. interface Pending {
  48. readonly request: Request
  49. readonly deferred: Deferred.Deferred<ReadonlyArray<Answer>, RejectedError>
  50. }
  51. /**
  52. * Location-owned pending prompts. The Location layer map must materialize this
  53. * layer once per embedded Location so replies cannot settle another Location's
  54. * deferred request.
  55. */
  56. export const layer = Layer.effect(
  57. Service,
  58. Effect.gen(function* () {
  59. const events = yield* EventV2.Service
  60. const pending = new Map<ID, Pending>()
  61. yield* Effect.addFinalizer(() =>
  62. Effect.forEach(pending.values(), (item) => Deferred.fail(item.deferred, new RejectedError()), {
  63. discard: true,
  64. }).pipe(
  65. Effect.ensuring(
  66. Effect.sync(() => {
  67. pending.clear()
  68. }),
  69. ),
  70. ),
  71. )
  72. const ask = Effect.fn("QuestionV2.ask")((input: AskInput) =>
  73. Effect.uninterruptibleMask((restore) =>
  74. Effect.gen(function* () {
  75. const id = ID.ascending()
  76. const deferred = yield* Deferred.make<ReadonlyArray<Answer>, RejectedError>()
  77. const request: Request = { id, ...input }
  78. pending.set(id, { request, deferred })
  79. return yield* events.publish(Event.Asked, request).pipe(
  80. Effect.andThen(restore(Deferred.await(deferred))),
  81. Effect.ensuring(
  82. Effect.sync(() => {
  83. pending.delete(id)
  84. }),
  85. ),
  86. )
  87. }),
  88. ),
  89. )
  90. const reply = Effect.fn("QuestionV2.reply")((input: ReplyInput) =>
  91. Effect.uninterruptible(
  92. Effect.gen(function* () {
  93. const existing = pending.get(input.requestID)
  94. if (!existing) return yield* new NotFoundError({ requestID: input.requestID })
  95. yield* events.publish(Event.Replied, {
  96. sessionID: existing.request.sessionID,
  97. requestID: existing.request.id,
  98. answers: input.answers.map((answer) => [...answer]),
  99. })
  100. yield* Deferred.succeed(existing.deferred, input.answers)
  101. pending.delete(input.requestID)
  102. }),
  103. ),
  104. )
  105. const reject = Effect.fn("QuestionV2.reject")((requestID: ID) =>
  106. Effect.uninterruptible(
  107. Effect.gen(function* () {
  108. const existing = pending.get(requestID)
  109. if (!existing) return yield* new NotFoundError({ requestID })
  110. yield* events.publish(Event.Rejected, {
  111. sessionID: existing.request.sessionID,
  112. requestID: existing.request.id,
  113. })
  114. yield* Deferred.fail(existing.deferred, new RejectedError())
  115. pending.delete(requestID)
  116. }),
  117. ),
  118. )
  119. const list = Effect.fn("QuestionV2.list")(function* () {
  120. return Array.from(pending.values(), (item) => item.request)
  121. })
  122. return Service.of({ ask, reply, reject, list })
  123. }),
  124. )
  125. export const locationLayer = layer