effect-assistant 0.0.0-stage → 0.1.0

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (185) hide show
  1. package/LICENSE +21 -0
  2. package/README.md +22 -2
  3. package/dist/AppEvent.d.ts +111 -0
  4. package/dist/AppEvent.d.ts.map +1 -0
  5. package/dist/AppEvent.js +71 -0
  6. package/dist/AppEvent.js.map +1 -0
  7. package/dist/Assistant.d.ts +403 -0
  8. package/dist/Assistant.d.ts.map +1 -0
  9. package/dist/Assistant.js +126 -0
  10. package/dist/Assistant.js.map +1 -0
  11. package/dist/AssistantActivity.d.ts +85 -0
  12. package/dist/AssistantActivity.d.ts.map +1 -0
  13. package/dist/AssistantActivity.js +105 -0
  14. package/dist/AssistantActivity.js.map +1 -0
  15. package/dist/AssistantEngine.d.ts +116 -0
  16. package/dist/AssistantEngine.d.ts.map +1 -0
  17. package/dist/AssistantEngine.js +255 -0
  18. package/dist/AssistantEngine.js.map +1 -0
  19. package/dist/AssistantEvent.d.ts +614 -0
  20. package/dist/AssistantEvent.d.ts.map +1 -0
  21. package/dist/AssistantEvent.js +523 -0
  22. package/dist/AssistantEvent.js.map +1 -0
  23. package/dist/AssistantLoop.d.ts +171 -0
  24. package/dist/AssistantLoop.d.ts.map +1 -0
  25. package/dist/AssistantLoop.js +108 -0
  26. package/dist/AssistantLoop.js.map +1 -0
  27. package/dist/AssistantToolCall.d.ts +32 -0
  28. package/dist/AssistantToolCall.d.ts.map +1 -0
  29. package/dist/AssistantToolCall.js +37 -0
  30. package/dist/AssistantToolCall.js.map +1 -0
  31. package/dist/Block.d.ts +69 -0
  32. package/dist/Block.d.ts.map +1 -0
  33. package/dist/Block.js +39 -0
  34. package/dist/Block.js.map +1 -0
  35. package/dist/BlockKit.d.ts +184 -0
  36. package/dist/BlockKit.d.ts.map +1 -0
  37. package/dist/BlockKit.js +151 -0
  38. package/dist/BlockKit.js.map +1 -0
  39. package/dist/ChatId.d.ts +31 -0
  40. package/dist/ChatId.d.ts.map +1 -0
  41. package/dist/ChatId.js +36 -0
  42. package/dist/ChatId.js.map +1 -0
  43. package/dist/ChatLog.d.ts +109 -0
  44. package/dist/ChatLog.d.ts.map +1 -0
  45. package/dist/ChatLog.js +177 -0
  46. package/dist/ChatLog.js.map +1 -0
  47. package/dist/ChatView.d.ts +459 -0
  48. package/dist/ChatView.d.ts.map +1 -0
  49. package/dist/ChatView.js +496 -0
  50. package/dist/ChatView.js.map +1 -0
  51. package/dist/Chats.d.ts +110 -0
  52. package/dist/Chats.d.ts.map +1 -0
  53. package/dist/Chats.js +98 -0
  54. package/dist/Chats.js.map +1 -0
  55. package/dist/Compaction.d.ts +105 -0
  56. package/dist/Compaction.d.ts.map +1 -0
  57. package/dist/Compaction.js +133 -0
  58. package/dist/Compaction.js.map +1 -0
  59. package/dist/CurrentChat.d.ts +40 -0
  60. package/dist/CurrentChat.d.ts.map +1 -0
  61. package/dist/CurrentChat.js +33 -0
  62. package/dist/CurrentChat.js.map +1 -0
  63. package/dist/Decision.d.ts +145 -0
  64. package/dist/Decision.d.ts.map +1 -0
  65. package/dist/Decision.js +178 -0
  66. package/dist/Decision.js.map +1 -0
  67. package/dist/DecisionId.d.ts +37 -0
  68. package/dist/DecisionId.d.ts.map +1 -0
  69. package/dist/DecisionId.js +44 -0
  70. package/dist/DecisionId.js.map +1 -0
  71. package/dist/InputId.d.ts +38 -0
  72. package/dist/InputId.d.ts.map +1 -0
  73. package/dist/InputId.js +43 -0
  74. package/dist/InputId.js.map +1 -0
  75. package/dist/Instructions.d.ts +56 -0
  76. package/dist/Instructions.d.ts.map +1 -0
  77. package/dist/Instructions.js +50 -0
  78. package/dist/Instructions.js.map +1 -0
  79. package/dist/Memory.d.ts +190 -0
  80. package/dist/Memory.d.ts.map +1 -0
  81. package/dist/Memory.js +216 -0
  82. package/dist/Memory.js.map +1 -0
  83. package/dist/RunId.d.ts +41 -0
  84. package/dist/RunId.d.ts.map +1 -0
  85. package/dist/RunId.js +46 -0
  86. package/dist/RunId.js.map +1 -0
  87. package/dist/Skill.d.ts +72 -0
  88. package/dist/Skill.d.ts.map +1 -0
  89. package/dist/Skill.js +58 -0
  90. package/dist/Skill.js.map +1 -0
  91. package/dist/Specialist.d.ts +267 -0
  92. package/dist/Specialist.d.ts.map +1 -0
  93. package/dist/Specialist.js +119 -0
  94. package/dist/Specialist.js.map +1 -0
  95. package/dist/ToolDiscovery.d.ts +108 -0
  96. package/dist/ToolDiscovery.d.ts.map +1 -0
  97. package/dist/ToolDiscovery.js +139 -0
  98. package/dist/ToolDiscovery.js.map +1 -0
  99. package/dist/ToolFailure.d.ts +66 -0
  100. package/dist/ToolFailure.d.ts.map +1 -0
  101. package/dist/ToolFailure.js +79 -0
  102. package/dist/ToolFailure.js.map +1 -0
  103. package/dist/_virtual/_rolldown/runtime.js +13 -0
  104. package/dist/index.d.ts +26 -0
  105. package/dist/index.js +26 -0
  106. package/dist/internal/chat.js +202 -0
  107. package/dist/internal/chat.js.map +1 -0
  108. package/dist/internal/decisions.js +66 -0
  109. package/dist/internal/decisions.js.map +1 -0
  110. package/dist/internal/events.d.ts +46 -0
  111. package/dist/internal/events.d.ts.map +1 -0
  112. package/dist/internal/events.js +65 -0
  113. package/dist/internal/events.js.map +1 -0
  114. package/dist/internal/history.js +185 -0
  115. package/dist/internal/history.js.map +1 -0
  116. package/dist/internal/instructions.js +11 -0
  117. package/dist/internal/instructions.js.map +1 -0
  118. package/dist/internal/loop.d.ts +73 -0
  119. package/dist/internal/loop.d.ts.map +1 -0
  120. package/dist/internal/loop.js +166 -0
  121. package/dist/internal/loop.js.map +1 -0
  122. package/dist/internal/schema.js +14 -0
  123. package/dist/internal/schema.js.map +1 -0
  124. package/dist/internal/skills.js +28 -0
  125. package/dist/internal/skills.js.map +1 -0
  126. package/dist/internal/specialists.js +273 -0
  127. package/dist/internal/specialists.js.map +1 -0
  128. package/dist/internal/telemetry.js +85 -0
  129. package/dist/internal/telemetry.js.map +1 -0
  130. package/dist/internal/toolkit.d.ts +76 -0
  131. package/dist/internal/toolkit.d.ts.map +1 -0
  132. package/dist/internal/toolkit.js +129 -0
  133. package/dist/internal/toolkit.js.map +1 -0
  134. package/dist/internal/tools.js +132 -0
  135. package/dist/internal/tools.js.map +1 -0
  136. package/dist/internal/turns.d.ts +64 -0
  137. package/dist/internal/turns.d.ts.map +1 -0
  138. package/dist/internal/turns.js +221 -0
  139. package/dist/internal/turns.js.map +1 -0
  140. package/dist/internal/uuid.js +45 -0
  141. package/dist/internal/uuid.js.map +1 -0
  142. package/dist/internal/writer.d.ts +12 -0
  143. package/dist/internal/writer.d.ts.map +1 -0
  144. package/package.json +51 -3
  145. package/src/AppEvent.ts +134 -0
  146. package/src/Assistant.ts +589 -0
  147. package/src/AssistantActivity.ts +150 -0
  148. package/src/AssistantEngine.ts +343 -0
  149. package/src/AssistantEvent.ts +635 -0
  150. package/src/AssistantLoop.ts +207 -0
  151. package/src/AssistantToolCall.ts +40 -0
  152. package/src/Block.ts +84 -0
  153. package/src/BlockKit.ts +311 -0
  154. package/src/ChatId.ts +36 -0
  155. package/src/ChatLog.ts +247 -0
  156. package/src/ChatView.ts +658 -0
  157. package/src/Chats.ts +122 -0
  158. package/src/Compaction.ts +224 -0
  159. package/src/CurrentChat.ts +47 -0
  160. package/src/Decision.ts +241 -0
  161. package/src/DecisionId.ts +46 -0
  162. package/src/InputId.ts +43 -0
  163. package/src/Instructions.ts +72 -0
  164. package/src/Memory.ts +276 -0
  165. package/src/RunId.ts +46 -0
  166. package/src/Skill.ts +91 -0
  167. package/src/Specialist.ts +355 -0
  168. package/src/ToolDiscovery.ts +187 -0
  169. package/src/ToolFailure.ts +74 -0
  170. package/src/index.ts +130 -0
  171. package/src/internal/chat.ts +372 -0
  172. package/src/internal/decisions.ts +131 -0
  173. package/src/internal/events.ts +100 -0
  174. package/src/internal/history.ts +366 -0
  175. package/src/internal/instructions.ts +9 -0
  176. package/src/internal/loop.ts +344 -0
  177. package/src/internal/schema.ts +25 -0
  178. package/src/internal/skills.ts +37 -0
  179. package/src/internal/specialists.ts +414 -0
  180. package/src/internal/telemetry.ts +125 -0
  181. package/src/internal/toolkit.ts +231 -0
  182. package/src/internal/tools.ts +210 -0
  183. package/src/internal/turns.ts +429 -0
  184. package/src/internal/uuid.ts +50 -0
  185. package/src/internal/writer.ts +12 -0
@@ -0,0 +1,171 @@
1
+ import { Instructions_d_exports, Resolved } from "./Instructions.js";
2
+ import { ToolServices, toolkit_d_exports } from "./internal/toolkit.js";
3
+ import { ChatHistory as ChatHistory$1, Event as Event$1, Step as Step$1, StepResult as StepResult$1, loop as loop$1, loop_d_exports, next as next$1, stop as stop$1, value as value$1 } from "./internal/loop.js";
4
+ import * as Effect from "effect/Effect";
5
+ import * as Stream from "effect/Stream";
6
+ import * as Prompt from "effect/ai/Prompt";
7
+ import * as Tool from "effect/ai/Tool";
8
+ import * as Toolkit from "effect/ai/Toolkit";
9
+ import * as LanguageModel from "effect/ai/LanguageModel";
10
+ import * as AiError from "effect/ai/AiError";
11
+ declare namespace AssistantLoop_d_exports {
12
+ export { ChatHistory, Event, Options, Step, StepOptions, StepResult, ToolkitServices, loop, next, run, step, stop, value };
13
+ }
14
+ /**
15
+ * Represents what the loop emits.
16
+ *
17
+ * For each model call, the loop emits the call's output. Then, for each of its tool calls, it
18
+ * emits a `ToolStarted` before the call runs and the call's result, or a `DecisionRequested` for
19
+ * a call that waits for the user's decision.
20
+ *
21
+ * @category models
22
+ * @since 0.1.0
23
+ */
24
+ export type Event = Event$1;
25
+ /**
26
+ * Represents a chat's history as the model reads it.
27
+ *
28
+ * It holds the messages, and the last `seq` of the chat they cover.
29
+ *
30
+ * @category models
31
+ * @since 0.1.0
32
+ */
33
+ export type ChatHistory = ChatHistory$1;
34
+ /**
35
+ * Represents how a step went, for deciding what comes next.
36
+ *
37
+ * @category models
38
+ * @since 0.1.0
39
+ */
40
+ export type StepResult = StepResult$1;
41
+ /**
42
+ * Represents what a loop body emits, which is either a value or what to do next.
43
+ *
44
+ * @category models
45
+ * @since 0.1.0
46
+ */
47
+ export type Step<A, S> = Step$1<A, S>;
48
+ /**
49
+ * Emits a value from a loop body.
50
+ *
51
+ * @category constructors
52
+ * @since 0.1.0
53
+ */
54
+ export declare const value: typeof value$1;
55
+ /**
56
+ * Ends a loop body's step and continues the loop with the given state.
57
+ *
58
+ * @category constructors
59
+ * @since 0.1.0
60
+ */
61
+ export declare const next: typeof next$1;
62
+ /**
63
+ * Ends the loop.
64
+ *
65
+ * @category constructors
66
+ * @since 0.1.0
67
+ */
68
+ export declare const stop: typeof stop$1;
69
+ /**
70
+ * Runs a loop body from an initial state.
71
+ *
72
+ * It emits the body's values, and runs the body again with the state it passes to `next`, until
73
+ * the body calls `stop`.
74
+ *
75
+ * @category constructors
76
+ * @since 0.1.0
77
+ */
78
+ export declare const loop: typeof loop$1;
79
+ type NoTools = Record<never, never>;
80
+ /**
81
+ * Extracts the services a toolkit's tools need when they run, which are their handlers and the
82
+ * services those handlers use.
83
+ *
84
+ * @category utility types
85
+ * @since 0.1.0
86
+ */
87
+ export type ToolkitServices<T extends Record<string, Tool.Any>> = Tool.HandlersFor<T> | ToolServices<T>;
88
+ /**
89
+ * Represents the options for {@link step}.
90
+ *
91
+ * @category models
92
+ * @since 0.1.0
93
+ */
94
+ export interface StepOptions<T extends Record<string, Tool.Any> = NoTools> {
95
+ /** The full system prompt, like `turn.instructions(text)`, optionally with span attributes. */
96
+ readonly instructions: string | Resolved;
97
+ /**
98
+ * The tools the model can call, in addition to the assistant's own tools in a turn. Their
99
+ * handlers come from the layer.
100
+ */
101
+ readonly toolkit?: Toolkit.Toolkit<T> | undefined;
102
+ /**
103
+ * The current history, read at the start of the step. It is either messages, or a chat's
104
+ * history (`turn.history()`), whose `throughSeq` the step's `ModelOutput` records as how far
105
+ * the model had read.
106
+ */
107
+ readonly history: Effect.Effect<ReadonlyArray<Prompt.Message> | ChatHistory>;
108
+ /**
109
+ * Defaults to `"auto"`, where a step without a tool call ends the loop. Forcing a call
110
+ * (`"required"`, or a tool by name) is refused by newer models, and with extended thinking.
111
+ */
112
+ readonly toolChoice?: LanguageModel.ToolChoice<string> | undefined;
113
+ }
114
+ /**
115
+ * Represents the options for {@link run}.
116
+ *
117
+ * @category models
118
+ * @since 0.1.0
119
+ */
120
+ export interface Options<T extends Record<string, Tool.Any> = NoTools> extends StepOptions<T> {
121
+ /** The model calls allowed. Defaults to 16. */
122
+ readonly maxSteps?: number | undefined;
123
+ }
124
+ /**
125
+ * Runs one step of the agent loop, as a body for {@link loop}.
126
+ *
127
+ * **Details**
128
+ *
129
+ * The step calls the model with the current history and emits its `ModelOutput`. It then runs
130
+ * the output's tool calls and emits a `ToolStarted` and a `ToolResult` for each, or a
131
+ * `DecisionRequested` for a call that waits for the user's decision. `then` receives the step's
132
+ * result and decides what comes next, with `AssistantLoop.next(state)` or `AssistantLoop.stop()`.
133
+ *
134
+ * @category constructors
135
+ * @since 0.1.0
136
+ */
137
+ export declare const step: <T extends Record<string, Tool.Any> = NoTools, S = never, E2 = never, R2 = never>(options: StepOptions<T>, then: (result: StepResult) => Stream.Stream<Step<never, S>, E2, R2>) => Stream.Stream<Step<Event, S>, AiError.AiError | E2, LanguageModel.LanguageModel | ToolkitServices<T> | R2>;
138
+ /**
139
+ * Runs the agent loop as a stream.
140
+ *
141
+ * **Details**
142
+ *
143
+ * It runs {@link step} after step until the model is done and nothing new arrived while it
144
+ * worked, or until it has made `maxSteps` model calls.
145
+ *
146
+ * **Example** (A turn's loop with a step limit)
147
+ *
148
+ * ```ts
149
+ * import { AssistantLoop } from "effect-assistant"
150
+ * import * as Layer from "effect/Layer"
151
+ * import * as Stream from "effect/Stream"
152
+ *
153
+ * const instructions = "You help a small marketing team."
154
+ *
155
+ * const MyAssistantLive = MyAssistant.toLayer((turn) =>
156
+ * AssistantLoop.run({
157
+ * instructions: turn.instructions(instructions),
158
+ * toolkit: MyTools, // the assistant's own tools are added to them
159
+ * history: turn.history(),
160
+ * maxSteps: 12
161
+ * }).pipe(Stream.concat(turn.replyIfOwed({ instructions })))
162
+ * ).pipe(Layer.provide(MyToolsLive))
163
+ * ```
164
+ *
165
+ * @category constructors
166
+ * @since 0.1.0
167
+ */
168
+ export declare const run: <T extends Record<string, Tool.Any> = NoTools>(options: Options<T>) => Stream.Stream<Event, AiError.AiError, LanguageModel.LanguageModel | ToolkitServices<T>>;
169
+ //#endregion
170
+ export { AssistantLoop_d_exports };
171
+ //# sourceMappingURL=AssistantLoop.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"AssistantLoop.d.ts","names":[],"sources":["../src/AssistantLoop.ts"],"mappings":";;;;;;;;;;;;;;;;;;;;;;;YAmCY,QAAQ;;;;;;;;;YAUR,cAAc;;;;;;;YAQd,aAAa;;;;;;;YAQb,KAAK,GAAG,KAAK,OAAU,GAAG;;;;;;;qBAQzB,cAAK;;;;;;;qBAQL,aAAI;;;;;;;qBAQJ,aAAI;;;;;;;;;;qBAWJ,aAAI;KAEZ,UAAU;;;;;;;;YASH,gBAAgB,UAAU,eAAe,KAAK,QAAQ,KAAK,YAAY,KAAK,aAAsB;;;;;;;iBAQ7F,YAAY,UAAU,eAAe,KAAK,OAAO;;WAEvD,uBAAuB;;;;;WAKvB,UAAU,QAAQ,QAAQ;;;;;;WAM1B,SAAS,OAAO,OAAO,cAAc,OAAO,WAAW;;;;;WAKvD,aAAa,cAAc;;;;;;;;iBASrB,QAAQ,UAAU,eAAe,KAAK,OAAO,iBAAiB,YAAY;;WAEhF;;;;;;;;;;;;;;;qBAuBE,OAAQ,UAAU,eAAe,KAAK,OAAO,SAAS,WAAW,YAAY,YAAU,SACzF,YAAY,IAAE,OAChB,QAAQ,eAAe,OAAO,OAAO,YAAY,IAAI,IAAI,QAC/D,OAAO,OAAO,KAAK,OAAO,IAAI,QAAQ,UAAU,IAAI,cAAc,gBAAgB,gBAAgB,KAAK;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;qBAiC7F,MAAO,UAAU,eAAe,KAAK,OAAO,SAAO,SACrD,QAAQ,OAChB,OAAO,OAAO,OAAO,QAAQ,SAAS,cAAc,gBAAgB,gBAAgB"}
@@ -0,0 +1,108 @@
1
+ import { __exportAll } from "./_virtual/_rolldown/runtime.js";
2
+ import { empty, fromToolkit, merge } from "./internal/toolkit.js";
3
+ import { TurnTools, loop as loop$1, next as next$1, run as run$1, step as step$1, stop as stop$1, value as value$1 } from "./internal/loop.js";
4
+ import * as Effect from "effect/Effect";
5
+ import * as Stream from "effect/Stream";
6
+ import * as Option from "effect/Option";
7
+ //#region src/AssistantLoop.ts
8
+ var AssistantLoop_exports = /* @__PURE__ */ __exportAll({
9
+ loop: () => loop,
10
+ next: () => next,
11
+ run: () => run,
12
+ step: () => step,
13
+ stop: () => stop,
14
+ value: () => value
15
+ });
16
+ /**
17
+ * Emits a value from a loop body.
18
+ *
19
+ * @category constructors
20
+ * @since 0.1.0
21
+ */
22
+ const value = value$1;
23
+ /**
24
+ * Ends a loop body's step and continues the loop with the given state.
25
+ *
26
+ * @category constructors
27
+ * @since 0.1.0
28
+ */
29
+ const next = next$1;
30
+ /**
31
+ * Ends the loop.
32
+ *
33
+ * @category constructors
34
+ * @since 0.1.0
35
+ */
36
+ const stop = stop$1;
37
+ /**
38
+ * Runs a loop body from an initial state.
39
+ *
40
+ * It emits the body's values, and runs the body again with the state it passes to `next`, until
41
+ * the body calls `stop`.
42
+ *
43
+ * @category constructors
44
+ * @since 0.1.0
45
+ */
46
+ const loop = loop$1;
47
+ const toolsOf = (toolkit) => Effect.map(TurnTools, (turn) => {
48
+ const own = toolkit === void 0 ? empty : fromToolkit(toolkit);
49
+ return Option.match(turn, {
50
+ onNone: () => own,
51
+ onSome: (builtins) => merge(builtins, own)
52
+ });
53
+ });
54
+ /**
55
+ * Runs one step of the agent loop, as a body for {@link loop}.
56
+ *
57
+ * **Details**
58
+ *
59
+ * The step calls the model with the current history and emits its `ModelOutput`. It then runs
60
+ * the output's tool calls and emits a `ToolStarted` and a `ToolResult` for each, or a
61
+ * `DecisionRequested` for a call that waits for the user's decision. `then` receives the step's
62
+ * result and decides what comes next, with `AssistantLoop.next(state)` or `AssistantLoop.stop()`.
63
+ *
64
+ * @category constructors
65
+ * @since 0.1.0
66
+ */
67
+ const step = (options, then) => Stream.unwrap(Effect.map(toolsOf(options.toolkit), (toolkit) => step$1({
68
+ ...options,
69
+ toolkit
70
+ }, then)));
71
+ /**
72
+ * Runs the agent loop as a stream.
73
+ *
74
+ * **Details**
75
+ *
76
+ * It runs {@link step} after step until the model is done and nothing new arrived while it
77
+ * worked, or until it has made `maxSteps` model calls.
78
+ *
79
+ * **Example** (A turn's loop with a step limit)
80
+ *
81
+ * ```ts
82
+ * import { AssistantLoop } from "effect-assistant"
83
+ * import * as Layer from "effect/Layer"
84
+ * import * as Stream from "effect/Stream"
85
+ *
86
+ * const instructions = "You help a small marketing team."
87
+ *
88
+ * const MyAssistantLive = MyAssistant.toLayer((turn) =>
89
+ * AssistantLoop.run({
90
+ * instructions: turn.instructions(instructions),
91
+ * toolkit: MyTools, // the assistant's own tools are added to them
92
+ * history: turn.history(),
93
+ * maxSteps: 12
94
+ * }).pipe(Stream.concat(turn.replyIfOwed({ instructions })))
95
+ * ).pipe(Layer.provide(MyToolsLive))
96
+ * ```
97
+ *
98
+ * @category constructors
99
+ * @since 0.1.0
100
+ */
101
+ const run = (options) => Stream.unwrap(Effect.map(toolsOf(options.toolkit), (toolkit) => run$1({
102
+ ...options,
103
+ toolkit
104
+ })));
105
+ //#endregion
106
+ export { AssistantLoop_exports, loop, next, run, step, stop, value };
107
+
108
+ //# sourceMappingURL=AssistantLoop.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"AssistantLoop.js","names":["Loop.value","Loop.next","Loop.stop","Loop.loop","Loop.TurnTools","Toolkits.empty","Toolkits.fromToolkit","Toolkits.merge","Loop.step","Loop.run"],"sources":["../src/AssistantLoop.ts"],"sourcesContent":["/**\n * Runs the agent loop, which calls the model, runs its tool calls, and repeats.\n *\n * Most handlers use `turn.loop` or `run.loop`. This module is for a loop of your own: {@link run}\n * runs the loop until the model is done, and {@link step} is one step, as a body for\n * {@link loop}.\n *\n * Tools are a native toolkit (`effect/ai/Toolkit`) whose handlers come from the handler's layer.\n * In a turn, the assistant's own tools (`send_user_message`, `wait`, and the specialist tools)\n * are added to them.\n *\n * @since 0.1.0\n */\nimport type * as AiError from \"effect/ai/AiError\"\nimport type * as LanguageModel from \"effect/ai/LanguageModel\"\nimport type * as Prompt from \"effect/ai/Prompt\"\nimport type * as Tool from \"effect/ai/Tool\"\nimport type * as Toolkit from \"effect/ai/Toolkit\"\nimport * as Effect from \"effect/Effect\"\nimport * as Option from \"effect/Option\"\nimport * as Stream from \"effect/Stream\"\nimport type * as Instructions from \"./Instructions.ts\"\nimport * as Loop from \"./internal/loop.ts\"\nimport * as Toolkits from \"./internal/toolkit.ts\"\n\n/**\n * Represents what the loop emits.\n *\n * For each model call, the loop emits the call's output. Then, for each of its tool calls, it\n * emits a `ToolStarted` before the call runs and the call's result, or a `DecisionRequested` for\n * a call that waits for the user's decision.\n *\n * @category models\n * @since 0.1.0\n */\nexport type Event = Loop.Event\n\n/**\n * Represents a chat's history as the model reads it.\n *\n * It holds the messages, and the last `seq` of the chat they cover.\n *\n * @category models\n * @since 0.1.0\n */\nexport type ChatHistory = Loop.ChatHistory\n\n/**\n * Represents how a step went, for deciding what comes next.\n *\n * @category models\n * @since 0.1.0\n */\nexport type StepResult = Loop.StepResult\n\n/**\n * Represents what a loop body emits, which is either a value or what to do next.\n *\n * @category models\n * @since 0.1.0\n */\nexport type Step<A, S> = Loop.Step<A, S>\n\n/**\n * Emits a value from a loop body.\n *\n * @category constructors\n * @since 0.1.0\n */\nexport const value = Loop.value\n\n/**\n * Ends a loop body's step and continues the loop with the given state.\n *\n * @category constructors\n * @since 0.1.0\n */\nexport const next = Loop.next\n\n/**\n * Ends the loop.\n *\n * @category constructors\n * @since 0.1.0\n */\nexport const stop = Loop.stop\n\n/**\n * Runs a loop body from an initial state.\n *\n * It emits the body's values, and runs the body again with the state it passes to `next`, until\n * the body calls `stop`.\n *\n * @category constructors\n * @since 0.1.0\n */\nexport const loop = Loop.loop\n\ntype NoTools = Record<never, never>\n\n/**\n * Extracts the services a toolkit's tools need when they run, which are their handlers and the\n * services those handlers use.\n *\n * @category utility types\n * @since 0.1.0\n */\nexport type ToolkitServices<T extends Record<string, Tool.Any>> = Tool.HandlersFor<T> | Toolkits.ToolServices<T>\n\n/**\n * Represents the options for {@link step}.\n *\n * @category models\n * @since 0.1.0\n */\nexport interface StepOptions<T extends Record<string, Tool.Any> = NoTools> {\n /** The full system prompt, like `turn.instructions(text)`, optionally with span attributes. */\n readonly instructions: string | Instructions.Resolved\n /**\n * The tools the model can call, in addition to the assistant's own tools in a turn. Their\n * handlers come from the layer.\n */\n readonly toolkit?: Toolkit.Toolkit<T> | undefined\n /**\n * The current history, read at the start of the step. It is either messages, or a chat's\n * history (`turn.history()`), whose `throughSeq` the step's `ModelOutput` records as how far\n * the model had read.\n */\n readonly history: Effect.Effect<ReadonlyArray<Prompt.Message> | ChatHistory>\n /**\n * Defaults to `\"auto\"`, where a step without a tool call ends the loop. Forcing a call\n * (`\"required\"`, or a tool by name) is refused by newer models, and with extended thinking.\n */\n readonly toolChoice?: LanguageModel.ToolChoice<string> | undefined\n}\n\n/**\n * Represents the options for {@link run}.\n *\n * @category models\n * @since 0.1.0\n */\nexport interface Options<T extends Record<string, Tool.Any> = NoTools> extends StepOptions<T> {\n /** The model calls allowed. Defaults to 16. */\n readonly maxSteps?: number | undefined\n}\n\nconst toolsOf = <T extends Record<string, Tool.Any>>(toolkit: Toolkit.Toolkit<T> | undefined) =>\n Effect.map(Loop.TurnTools, (turn) => {\n const own = toolkit === undefined ? Toolkits.empty : Toolkits.fromToolkit(toolkit)\n\n return Option.match(turn, { onNone: () => own, onSome: (builtins) => Toolkits.merge(builtins, own) })\n })\n\n/**\n * Runs one step of the agent loop, as a body for {@link loop}.\n *\n * **Details**\n *\n * The step calls the model with the current history and emits its `ModelOutput`. It then runs\n * the output's tool calls and emits a `ToolStarted` and a `ToolResult` for each, or a\n * `DecisionRequested` for a call that waits for the user's decision. `then` receives the step's\n * result and decides what comes next, with `AssistantLoop.next(state)` or `AssistantLoop.stop()`.\n *\n * @category constructors\n * @since 0.1.0\n */\nexport const step = <T extends Record<string, Tool.Any> = NoTools, S = never, E2 = never, R2 = never>(\n options: StepOptions<T>,\n then: (result: StepResult) => Stream.Stream<Step<never, S>, E2, R2>\n): Stream.Stream<Step<Event, S>, AiError.AiError | E2, LanguageModel.LanguageModel | ToolkitServices<T> | R2> =>\n Stream.unwrap(Effect.map(toolsOf(options.toolkit), (toolkit) => Loop.step({ ...options, toolkit }, then)))\n\n/**\n * Runs the agent loop as a stream.\n *\n * **Details**\n *\n * It runs {@link step} after step until the model is done and nothing new arrived while it\n * worked, or until it has made `maxSteps` model calls.\n *\n * **Example** (A turn's loop with a step limit)\n *\n * ```ts\n * import { AssistantLoop } from \"effect-assistant\"\n * import * as Layer from \"effect/Layer\"\n * import * as Stream from \"effect/Stream\"\n *\n * const instructions = \"You help a small marketing team.\"\n *\n * const MyAssistantLive = MyAssistant.toLayer((turn) =>\n * AssistantLoop.run({\n * instructions: turn.instructions(instructions),\n * toolkit: MyTools, // the assistant's own tools are added to them\n * history: turn.history(),\n * maxSteps: 12\n * }).pipe(Stream.concat(turn.replyIfOwed({ instructions })))\n * ).pipe(Layer.provide(MyToolsLive))\n * ```\n *\n * @category constructors\n * @since 0.1.0\n */\nexport const run = <T extends Record<string, Tool.Any> = NoTools>(\n options: Options<T>\n): Stream.Stream<Event, AiError.AiError, LanguageModel.LanguageModel | ToolkitServices<T>> =>\n Stream.unwrap(Effect.map(toolsOf(options.toolkit), (toolkit) => Loop.run({ ...options, toolkit })))\n"],"mappings":";;;;;;;;;;;;;;;;;;;;;AAqEA,MAAa,QAAQA;;;;;;;AAQrB,MAAa,OAAOC;;;;;;;AAQpB,MAAa,OAAOC;;;;;;;;;;AAWpB,MAAa,OAAOC;AAmDpB,MAAM,WAA+C,YACnD,OAAO,IAAIC,YAAiB,SAAS;CACnC,MAAM,MAAM,YAAY,KAAA,IAAYC,QAAiBC,YAAqB,OAAO;CAEjF,OAAO,OAAO,MAAM,MAAM;EAAE,cAAc;EAAK,SAAS,aAAaC,MAAe,UAAU,GAAG;CAAE,CAAC;AACtG,CAAC;;;;;;;;;;;;;;AAeH,MAAa,QACX,SACA,SAEA,OAAO,OAAO,OAAO,IAAI,QAAQ,QAAQ,OAAO,IAAI,YAAYC,OAAU;CAAE,GAAG;CAAS;AAAQ,GAAG,IAAI,CAAC,CAAC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAgC3G,MAAa,OACX,YAEA,OAAO,OAAO,OAAO,IAAI,QAAQ,QAAQ,OAAO,IAAI,YAAYC,MAAS;CAAE,GAAG;CAAS;AAAQ,CAAC,CAAC,CAAC"}
@@ -0,0 +1,32 @@
1
+ import * as Context from "effect/Context";
2
+ import * as Effect from "effect/Effect";
3
+ declare namespace AssistantToolCall_d_exports {
4
+ export { AssistantToolCall, idempotencyKey };
5
+ }
6
+ declare const AssistantToolCall_base: Context.ServiceClass<AssistantToolCall, "effect-assistant/AssistantToolCall", {
7
+ /** The call's id, as the model wrote it. It stays the same when a crash runs the call again. */
8
+ readonly callId: string;
9
+ /** The tool's name. */
10
+ readonly tool: string;
11
+ }>;
12
+ /**
13
+ * Service that describes the tool call a tool runs for.
14
+ *
15
+ * The agent loop provides it to every call.
16
+ *
17
+ * @category services
18
+ * @since 0.1.0
19
+ */
20
+ export declare class AssistantToolCall extends AssistantToolCall_base {}
21
+ /**
22
+ * Gets an idempotency key for what the current tool call does outside the chat.
23
+ *
24
+ * The key is the same every time the call runs, and different for every other call.
25
+ *
26
+ * @category accessors
27
+ * @since 0.1.0
28
+ */
29
+ export declare const idempotencyKey: Effect.Effect<string, never, AssistantToolCall>;
30
+ //#endregion
31
+ export { AssistantToolCall_d_exports };
32
+ //# sourceMappingURL=AssistantToolCall.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"AssistantToolCall.d.ts","names":[],"sources":["../src/AssistantToolCall.ts"],"mappings":";;;;;;;WAuBqB;;WAEF;;;;;;;;;;qBANN,0BAA0B;;;;;;;;;qBAkB1B,gBAAgB,OAAO,sBAAsB"}
@@ -0,0 +1,37 @@
1
+ import { __exportAll } from "./_virtual/_rolldown/runtime.js";
2
+ import * as Context from "effect/Context";
3
+ //#region src/AssistantToolCall.ts
4
+ /**
5
+ * Gives a tool the call it runs for.
6
+ *
7
+ * The {@link AssistantToolCall} service holds the call's id and the tool's name, and
8
+ * {@link idempotencyKey} derives a key for anything the call does outside the chat.
9
+ *
10
+ * @since 0.1.0
11
+ */
12
+ var AssistantToolCall_exports = /* @__PURE__ */ __exportAll({
13
+ AssistantToolCall: () => AssistantToolCall,
14
+ idempotencyKey: () => idempotencyKey
15
+ });
16
+ /**
17
+ * Service that describes the tool call a tool runs for.
18
+ *
19
+ * The agent loop provides it to every call.
20
+ *
21
+ * @category services
22
+ * @since 0.1.0
23
+ */
24
+ var AssistantToolCall = class extends Context.Service()("effect-assistant/AssistantToolCall") {};
25
+ /**
26
+ * Gets an idempotency key for what the current tool call does outside the chat.
27
+ *
28
+ * The key is the same every time the call runs, and different for every other call.
29
+ *
30
+ * @category accessors
31
+ * @since 0.1.0
32
+ */
33
+ const idempotencyKey = AssistantToolCall.useSync((call) => `tool-call:${call.callId}`);
34
+ //#endregion
35
+ export { AssistantToolCall, AssistantToolCall_exports, idempotencyKey };
36
+
37
+ //# sourceMappingURL=AssistantToolCall.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"AssistantToolCall.js","names":[],"sources":["../src/AssistantToolCall.ts"],"sourcesContent":["/**\n * Gives a tool the call it runs for.\n *\n * The {@link AssistantToolCall} service holds the call's id and the tool's name, and\n * {@link idempotencyKey} derives a key for anything the call does outside the chat.\n *\n * @since 0.1.0\n */\nimport * as Context from \"effect/Context\"\nimport type * as Effect from \"effect/Effect\"\n\n/**\n * Service that describes the tool call a tool runs for.\n *\n * The agent loop provides it to every call.\n *\n * @category services\n * @since 0.1.0\n */\nexport class AssistantToolCall extends Context.Service<\n AssistantToolCall,\n {\n /** The call's id, as the model wrote it. It stays the same when a crash runs the call again. */\n readonly callId: string\n /** The tool's name. */\n readonly tool: string\n }\n>()(\"effect-assistant/AssistantToolCall\") {}\n\n/**\n * Gets an idempotency key for what the current tool call does outside the chat.\n *\n * The key is the same every time the call runs, and different for every other call.\n *\n * @category accessors\n * @since 0.1.0\n */\nexport const idempotencyKey: Effect.Effect<string, never, AssistantToolCall> = AssistantToolCall.useSync(\n (call) => `tool-call:${call.callId}`\n)\n"],"mappings":";;;;;;;;;;;;;;;;;;;;;;;AAmBA,IAAa,oBAAb,cAAuC,QAAQ,QAQ7C,CAAC,CAAC,oCAAoC,CAAC,CAAC,CAAC;;;;;;;;;AAU3C,MAAa,iBAAkE,kBAAkB,SAC9F,SAAS,aAAa,KAAK,QAC9B"}
@@ -0,0 +1,69 @@
1
+ import * as Schema from "effect/Schema";
2
+ declare namespace Block_d_exports {
3
+ export { Any, Block, Codec, make };
4
+ }
5
+ /**
6
+ * Schema that a block's props or answer can use.
7
+ *
8
+ * It is any codec that needs no services, since the client decodes and encodes with it too.
9
+ *
10
+ * @category utility types
11
+ * @since 0.1.0
12
+ */
13
+ export type Codec = Schema.Codec<any, any>;
14
+ /**
15
+ * Represents a kind of UI block.
16
+ *
17
+ * @category models
18
+ * @since 0.1.0
19
+ */
20
+ export interface Block<Kind extends string = string, Props extends Codec = Codec, Answer extends Codec = Codec> {
21
+ readonly kind: Kind;
22
+ /** When to use the block. The assistant sees this. */
23
+ readonly description: string;
24
+ /** The props the assistant fills in. */
25
+ readonly props: Props;
26
+ /** What using the block sends back, or `undefined` for a display-only card. */
27
+ readonly answer: Answer | undefined;
28
+ }
29
+ /**
30
+ * Represents any block, for generic constraints.
31
+ *
32
+ * @category utility types
33
+ * @since 0.1.0
34
+ */
35
+ export type Any = Block;
36
+ /**
37
+ * Creates a block.
38
+ *
39
+ * **Details**
40
+ *
41
+ * A block without an `answer` schema is a display-only card. Put the block in the assistant's
42
+ * `BlockKit` so the assistant can use it.
43
+ *
44
+ * **Example** (Defining a block with options to pick from)
45
+ *
46
+ * ```ts
47
+ * import { Assistant, Block, BlockKit } from "effect-assistant"
48
+ * import * as Schema from "effect/Schema"
49
+ *
50
+ * const PickOne = Block.make("pick_one", {
51
+ * description: "Options to pick from, when the user chooses between a few.",
52
+ * props: Schema.Struct({ options: Schema.Array(Schema.String) }),
53
+ * answer: Schema.Struct({ picked: Schema.String })
54
+ * })
55
+ *
56
+ * export const MyAssistant = Assistant.make("my-assistant", { blocks: BlockKit.make([PickOne]) })
57
+ * ```
58
+ *
59
+ * @category constructors
60
+ * @since 0.1.0
61
+ */
62
+ export declare const make: <const Kind extends string, Props extends Codec, Answer extends Codec = Schema.Never>(kind: Kind, options: {
63
+ readonly description: string;
64
+ readonly props: Props;
65
+ readonly answer?: Answer | undefined;
66
+ }) => Block<Kind, Props, Answer>;
67
+ //#endregion
68
+ export { Block_d_exports };
69
+ //# sourceMappingURL=Block.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"Block.d.ts","names":[],"sources":["../src/Block.ts"],"mappings":";;;;;;;;;;;;YAmBY,QAAQ,OAAO;;;;;;;iBAQV,MAAM,8BAA8B,cAAc,QAAQ,OAAO,eAAe,QAAQ;WAC9F,MAAM;;WAEN;;WAEA,OAAO;;WAEP,QAAQ;;;;;;;;YASP,MAAM;;;;;;;;;;;;;;;;;;;;;;;;;;;qBA4BL,aAAc,qBAAqB,cAAc,OAAO,eAAe,QAAQ,OAAO,OAAK,MAChG,MAAI;WAEC;WACA,OAAO;WACP,SAAS;MAEnB,MAAM,MAAM,OAAO"}
package/dist/Block.js ADDED
@@ -0,0 +1,39 @@
1
+ import { __exportAll } from "./_virtual/_rolldown/runtime.js";
2
+ //#region src/Block.ts
3
+ var Block_exports = /* @__PURE__ */ __exportAll({ make: () => make });
4
+ /**
5
+ * Creates a block.
6
+ *
7
+ * **Details**
8
+ *
9
+ * A block without an `answer` schema is a display-only card. Put the block in the assistant's
10
+ * `BlockKit` so the assistant can use it.
11
+ *
12
+ * **Example** (Defining a block with options to pick from)
13
+ *
14
+ * ```ts
15
+ * import { Assistant, Block, BlockKit } from "effect-assistant"
16
+ * import * as Schema from "effect/Schema"
17
+ *
18
+ * const PickOne = Block.make("pick_one", {
19
+ * description: "Options to pick from, when the user chooses between a few.",
20
+ * props: Schema.Struct({ options: Schema.Array(Schema.String) }),
21
+ * answer: Schema.Struct({ picked: Schema.String })
22
+ * })
23
+ *
24
+ * export const MyAssistant = Assistant.make("my-assistant", { blocks: BlockKit.make([PickOne]) })
25
+ * ```
26
+ *
27
+ * @category constructors
28
+ * @since 0.1.0
29
+ */
30
+ const make = (kind, options) => ({
31
+ kind,
32
+ description: options.description,
33
+ props: options.props,
34
+ answer: options.answer
35
+ });
36
+ //#endregion
37
+ export { Block_exports, make };
38
+
39
+ //# sourceMappingURL=Block.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"Block.js","names":[],"sources":["../src/Block.ts"],"sourcesContent":["/**\n * Defines UI blocks that an assistant can put in a message.\n *\n * A block is a bit of UI for when a structured answer is easier than typing, such as options to\n * pick from, approve and deny buttons, or a small input. The assistant fills in its `props`, and\n * using the block sends back a value typed by its `answer` schema.\n *\n * @since 0.1.0\n */\nimport type * as Schema from \"effect/Schema\"\n\n/**\n * Schema that a block's props or answer can use.\n *\n * It is any codec that needs no services, since the client decodes and encodes with it too.\n *\n * @category utility types\n * @since 0.1.0\n */\nexport type Codec = Schema.Codec<any, any>\n\n/**\n * Represents a kind of UI block.\n *\n * @category models\n * @since 0.1.0\n */\nexport interface Block<Kind extends string = string, Props extends Codec = Codec, Answer extends Codec = Codec> {\n readonly kind: Kind\n /** When to use the block. The assistant sees this. */\n readonly description: string\n /** The props the assistant fills in. */\n readonly props: Props\n /** What using the block sends back, or `undefined` for a display-only card. */\n readonly answer: Answer | undefined\n}\n\n/**\n * Represents any block, for generic constraints.\n *\n * @category utility types\n * @since 0.1.0\n */\nexport type Any = Block\n\n/**\n * Creates a block.\n *\n * **Details**\n *\n * A block without an `answer` schema is a display-only card. Put the block in the assistant's\n * `BlockKit` so the assistant can use it.\n *\n * **Example** (Defining a block with options to pick from)\n *\n * ```ts\n * import { Assistant, Block, BlockKit } from \"effect-assistant\"\n * import * as Schema from \"effect/Schema\"\n *\n * const PickOne = Block.make(\"pick_one\", {\n * description: \"Options to pick from, when the user chooses between a few.\",\n * props: Schema.Struct({ options: Schema.Array(Schema.String) }),\n * answer: Schema.Struct({ picked: Schema.String })\n * })\n *\n * export const MyAssistant = Assistant.make(\"my-assistant\", { blocks: BlockKit.make([PickOne]) })\n * ```\n *\n * @category constructors\n * @since 0.1.0\n */\nexport const make = <const Kind extends string, Props extends Codec, Answer extends Codec = Schema.Never>(\n kind: Kind,\n options: {\n readonly description: string\n readonly props: Props\n readonly answer?: Answer | undefined\n }\n): Block<Kind, Props, Answer> => ({\n kind,\n description: options.description,\n props: options.props,\n answer: options.answer\n})\n"],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAuEA,MAAa,QACX,MACA,aAKgC;CAChC;CACA,aAAa,QAAQ;CACrB,OAAO,QAAQ;CACf,QAAQ,QAAQ;AAClB"}