liminal 0.9.0 → 0.10.0

package/CHANGELOG.md

@@ -1,5 +1,11 @@
 # liminal
 
+## 0.10.0
+
+### Minor Changes
+
+- 866e64a: Redesigning much of the API.
+
 ## 0.9.0
 
 ### Minor Changes

package/L.ts

@@ -1,81 +1,8 @@
-import * as AiError from "@effect/ai/AiError"
-import * as AiInput from "@effect/ai/AiInput"
-import * as AiLanguageModel from "@effect/ai/AiLanguageModel"
-import * as AiToolkit from "@effect/ai/AiToolkit"
-import * as Effect from "effect/Effect"
-import * as Schema from "effect/Schema"
-import * as Strand from "./Strand.ts"
-import { isTemplateStringsArray } from "./util/isTemplateStringsArray.ts"
-
-export const user: {
-  (template: TemplateStringsArray, ...substitutions: Array<unknown>): Effect.Effect<void, never, Strand.Strand>
-  (message: string): Effect.Effect<void, never, Strand.Strand>
-  (a0: TemplateStringsArray | string, ...aRest: Array<unknown>): Effect.Effect<void, never, Strand.Strand>
-} = Effect.fnUntraced(function*(a0, ...aRest) {
-  const { messages, onMessage } = yield* Strand.Strand
-  const text = isTemplateStringsArray(a0) ? String.raw({ raw: a0 }, ...aRest) : a0
-  const message = new AiInput.UserMessage({
-    parts: [new AiInput.TextPart({ text })],
-  })
-  yield* onMessage(message)
-  messages.push(message)
-})
-
-export const messages: Effect.Effect<Array<AiInput.Message>, never, Strand.Strand> = Effect.map(
-  Strand.Strand,
-  ({ messages }) => messages,
-)
-
-export const setMessages: (
-  messages: Iterable<AiInput.Message>,
-) => Effect.Effect<Array<AiInput.Message>, never, Strand.Strand> = Effect.fnUntraced(
-  function*(messages: Iterable<AiInput.Message>) {
-    const strand = yield* Strand.Strand
-    const { messages: prev } = strand
-    strand.messages = [...messages]
-    return prev
-  },
-)
-
-export const assistantText: Effect.Effect<
-  string,
-  AiError.AiError,
-  AiLanguageModel.AiLanguageModel | Strand.Strand
-> = Effect.gen(function*() {
-  const model = yield* AiLanguageModel.AiLanguageModel
-  const { system, messages, tools } = yield* Strand.Strand
-  const response = yield* model.generateText({
-    system,
-    prompt: messages,
-    toolkit: AiToolkit.make(...tools ?? []) as never,
-  })
-  const { text } = response
-  yield* append(text)
-  return text
-})
-
-export const assistantStruct: <O, I extends Record<string, unknown>>(
-  schema: Schema.Schema<O, I, never>,
-) => Effect.Effect<O, AiError.AiError, AiLanguageModel.AiLanguageModel | Strand.Strand> = Effect.fnUntraced(
-  function*(schema) {
-    const model = yield* AiLanguageModel.AiLanguageModel
-    const { system, messages } = yield* Strand.Strand
-    const response = yield* model.generateObject({
-      system,
-      schema,
-      prompt: messages,
-    })
-    const { value, text } = response
-    yield* append(text)
-    return value
-  },
-)
-
-const append = Effect.fnUntraced(function*(text: string) {
-  const { messages, onMessage } = yield* Strand.Strand
-  const message = new AiInput.AssistantMessage({
-    parts: [new AiInput.TextPart({ text })],
-  })
-  yield* onMessage(message)
-  messages.push(message)
-})
+export * from "./append.ts"
+export * from "./assistant.ts"
+export * from "./assistantStruct.ts"
+export * from "./events.ts"
+export * from "./reduce.ts"
+export * from "./turn.ts"
+export * from "./unsafeSet.ts"
+export * from "./user.ts"

package/LEvent.ts

@@ -0,0 +1,17 @@
+import { Message } from "@effect/ai/AiInput"
+import * as Schema from "effect/Schema"
+
+export class MessagesAppended extends Schema.TaggedClass<MessagesAppended>("MessagesAppended")("MessagesAppended", {
+  messages: Schema.Array(Message),
+}) {}
+
+export class MessagesReduced extends Schema.TaggedClass<MessagesReduced>("MessagesReduced")("MessagesReduced", {
+  previous: Schema.Array(Message),
+  messages: Schema.Array(Message),
+}) {}
+
+export type LEvent = typeof LEvent.Type
+export const LEvent: Schema.Union<[
+  typeof MessagesAppended,
+  typeof MessagesReduced,
+]> = Schema.Union(MessagesAppended, MessagesReduced)

package/Strand.ts

@@ -1,46 +1,45 @@
-import * as AiInput from "@effect/ai/AiInput"
+import { Message } from "@effect/ai/AiInput"
 import * as AiTool from "@effect/ai/AiTool"
 import * as Context from "effect/Context"
 import * as Effect from "effect/Effect"
 import * as Layer from "effect/Layer"
-import * as Option from "effect/Option"
-
-export interface StrandConfig<E, R> {
-  /** The system prompt. */
-  system?: string | undefined
-  /** The initial list of AI input messages. */
-  messages?: Array<AiInput.Message> | undefined
-  /** Handler to be execute when messages are appended. */
-  onMessage?: (message: AiInput.Message) => Effect.Effect<void, E, R>
-}
+import * as PubSub from "effect/PubSub"
+import type { LEvent } from "./LEvent.ts"
+import { normalize, type OptionallyTaggable } from "./Taggable.ts"
 
 export class Strand extends Context.Tag("liminal/Strand")<Strand, {
-  system?: string | undefined
-  messages: Array<AiInput.Message>
-  tools?: Array<AiTool.AiTool<string>>
-  onMessage: (message: AiInput.Message) => Effect.Effect<void>
-}>() {}
+  readonly system?: string | undefined
+  messages: Array<Message>
+  tools?: Array<AiTool.AiTool<string>> | undefined
+  readonly events: PubSub.PubSub<LEvent>
+}>() {
+  /** Create a layer for a Strand, which represents an conversation isolate. */
+  static new: OptionallyTaggable<Layer.Layer<Strand>> = (a0, ...aRest) =>
+    Layer.effect(
+      Strand,
+      PubSub.unbounded<LEvent>().pipe(
+        Effect.map((events) =>
+          Strand.of({
+            system: normalize(a0, aRest),
+            messages: [],
+            events,
+          })
+        ),
+      ),
+    )
 
-/** Create an isolated clone of the current conversation to provide for an effect. */
-export const make: <E = never, R = never>(
-  config?: StrandConfig<E, R>,
-) => Effect.Effect<Strand["Type"], E, R> = (config) =>
-  Effect.map(
-    Effect.serviceOption(Strand),
-    Option.match({
-      onSome: ({ system, messages, tools, onMessage }) => ({
-        system: config ? config?.system : system,
-        messages: [...config ? config?.messages ?? [] : messages],
-        tools: [...tools ?? []],
-        onMessage: onMessage ?? (() => Effect.succeed(undefined)),
-      }),
-      onNone: () => ({
-        system: config?.system,
-        messages: config?.messages ?? [],
-        onMessage: (config?.onMessage ?? (() => Effect.succeed(undefined))) as never,
+  /** Create a layer for a Strand, which represents an conversation isolate. */
+  static clone: OptionallyTaggable<Layer.Layer<Strand, never, Strand>> = (a0, ...aRest) =>
+    Layer.effect(
+      Strand,
+      Effect.gen(function*() {
+        const { system, messages, tools } = yield* Strand
+        return Strand.of({
+          system: a0 ? normalize(a0, aRest) : system,
+          messages: [...messages],
+          tools,
+          events: yield* PubSub.unbounded<LEvent>(),
+        })
       }),
-    }),
-  )
-
-export const layer: <E = never, R = never>(config?: StrandConfig<E, R>) => Layer.Layer<Strand, E, R> = (config) =>
-  Layer.effect(Strand, make(config))
+    )
+}

package/Taggable.ts

@@ -0,0 +1,17 @@
+export type Taggable<T> = {
+  (value: string): T
+  (template: TemplateStringsArray, ...substitutions: Array<unknown>): T
+  (template: string | TemplateStringsArray, ...substitutions: Array<unknown>): T
+}
+
+export type OptionallyTaggable<T> = {
+  (value?: string | undefined): T
+  (template: TemplateStringsArray, ...substitutions: Array<unknown>): T
+  (template?: string | TemplateStringsArray | undefined, ...substitutions: Array<unknown>): T
+}
+
+export const normalize = <A0 extends string | TemplateStringsArray | undefined>(
+  a0: A0,
+  aRest: Array<unknown> = [],
+): string | (undefined extends A0 ? undefined : never) =>
+  a0 ? typeof a0 === "string" ? a0 : String.raw(a0, aRest) : undefined as never

package/append.ts

@@ -0,0 +1,13 @@
+import { Message } from "@effect/ai/AiInput"
+import * as Effect from "effect/Effect"
+import { MessagesAppended } from "./LEvent.ts"
+import { Strand } from "./Strand.ts"
+
+/** Append messages to the current strand's message list. */
+export const append: (
+  ...messages: Array<Message>
+) => Effect.Effect<void, never, Strand> = Effect.fnUntraced(function*(...messages) {
+  const strand = yield* Strand
+  strand.messages.push(...messages)
+  yield* strand.events.publish(MessagesAppended.make({ messages }))
+})

package/assistant.ts

@@ -0,0 +1,24 @@
+import type { AiError } from "@effect/ai/AiError"
+import { AssistantMessage, TextPart } from "@effect/ai/AiInput"
+import { AiLanguageModel } from "@effect/ai/AiLanguageModel"
+import * as AiToolkit from "@effect/ai/AiToolkit"
+import * as Effect from "effect/Effect"
+import { append } from "./append.ts"
+import { Strand } from "./Strand.ts"
+
+/** Infer an assistant message and append it to the conversation. */
+export const assistant: Effect.Effect<string, AiError, AiLanguageModel | Strand> = Effect.gen(function*() {
+  const model = yield* AiLanguageModel
+  const { system, messages, tools } = yield* Strand
+  const { text } = yield* model.generateText({
+    system,
+    prompt: messages,
+    toolkit: AiToolkit.make(...tools ?? []) as never,
+  })
+  yield* append(
+    new AssistantMessage({
+      parts: [new TextPart({ text })],
+    }),
+  )
+  return text
+})

package/assistantStruct.ts

@@ -0,0 +1,33 @@
+import type { AiError } from "@effect/ai/AiError"
+import { AssistantMessage, TextPart } from "@effect/ai/AiInput"
+import { AiLanguageModel } from "@effect/ai/AiLanguageModel"
+import * as Effect from "effect/Effect"
+import * as Schema from "effect/Schema"
+import { append } from "./append.ts"
+import { Strand } from "./Strand.ts"
+
+/** Infer a structured assistant message and append its JSON representation to the conversation. */
+export const assistantStruct: {
+  <F extends Record<string, Schema.Schema.AnyNoContext>>(
+    fields: F,
+  ): Effect.Effect<{ [K in keyof F]: Schema.Schema.Type<F[K]> }, AiError, AiLanguageModel | Strand>
+  <O, I extends Record<string, unknown>>(
+    schema: Schema.Schema<O, I, never>,
+  ): Effect.Effect<O, AiError, AiLanguageModel | Strand>
+} = Effect.fnUntraced(
+  function*(schema) {
+    const model = yield* AiLanguageModel
+    const { system, messages } = yield* Strand
+    const { value, text } = yield* model.generateObject({
+      system,
+      schema: Schema.isSchema(schema) ? schema as Schema.Schema.AnyNoContext : Schema.Struct(schema),
+      prompt: messages,
+    })
+    yield* append(
+      new AssistantMessage({
+        parts: [new TextPart({ text })],
+      }),
+    )
+    return value
+  },
+)

package/dist/L.d.ts

@@ -1,15 +1,8 @@
-import * as AiError from "@effect/ai/AiError";
-import * as AiInput from "@effect/ai/AiInput";
-import * as AiLanguageModel from "@effect/ai/AiLanguageModel";
-import * as Effect from "effect/Effect";
-import * as Schema from "effect/Schema";
-import * as Strand from "./Strand.ts";
-export declare const user: {
-    (template: TemplateStringsArray, ...substitutions: Array<unknown>): Effect.Effect<void, never, Strand.Strand>;
-    (message: string): Effect.Effect<void, never, Strand.Strand>;
-    (a0: TemplateStringsArray | string, ...aRest: Array<unknown>): Effect.Effect<void, never, Strand.Strand>;
-};
-export declare const messages: Effect.Effect<Array<AiInput.Message>, never, Strand.Strand>;
-export declare const setMessages: (messages: Iterable<AiInput.Message>) => Effect.Effect<Array<AiInput.Message>, never, Strand.Strand>;
-export declare const assistantText: Effect.Effect<string, AiError.AiError, AiLanguageModel.AiLanguageModel | Strand.Strand>;
-export declare const assistantStruct: <O, I extends Record<string, unknown>>(schema: Schema.Schema<O, I, never>) => Effect.Effect<O, AiError.AiError, AiLanguageModel.AiLanguageModel | Strand.Strand>;
+export * from "./append.ts";
+export * from "./assistant.ts";
+export * from "./assistantStruct.ts";
+export * from "./events.ts";
+export * from "./reduce.ts";
+export * from "./turn.ts";
+export * from "./unsafeSet.ts";
+export * from "./user.ts";

package/dist/L.js

@@ -1,57 +1,9 @@
-import * as AiError from "@effect/ai/AiError";
-import * as AiInput from "@effect/ai/AiInput";
-import * as AiLanguageModel from "@effect/ai/AiLanguageModel";
-import * as AiToolkit from "@effect/ai/AiToolkit";
-import * as Effect from "effect/Effect";
-import * as Schema from "effect/Schema";
-import * as Strand from "./Strand.js";
-import { isTemplateStringsArray } from "./util/isTemplateStringsArray.js";
-export const user = Effect.fnUntraced(function* (a0, ...aRest) {
-    const { messages, onMessage } = yield* Strand.Strand;
-    const text = isTemplateStringsArray(a0) ? String.raw({ raw: a0 }, ...aRest) : a0;
-    const message = new AiInput.UserMessage({
-        parts: [new AiInput.TextPart({ text })],
-    });
-    yield* onMessage(message);
-    messages.push(message);
-});
-export const messages = Effect.map(Strand.Strand, ({ messages }) => messages);
-export const setMessages = Effect.fnUntraced(function* (messages) {
-    const strand = yield* Strand.Strand;
-    const { messages: prev } = strand;
-    strand.messages = [...messages];
-    return prev;
-});
-export const assistantText = Effect.gen(function* () {
-    const model = yield* AiLanguageModel.AiLanguageModel;
-    const { system, messages, tools } = yield* Strand.Strand;
-    const response = yield* model.generateText({
-        system,
-        prompt: messages,
-        toolkit: AiToolkit.make(...tools ?? []),
-    });
-    const { text } = response;
-    yield* append(text);
-    return text;
-});
-export const assistantStruct = Effect.fnUntraced(function* (schema) {
-    const model = yield* AiLanguageModel.AiLanguageModel;
-    const { system, messages } = yield* Strand.Strand;
-    const response = yield* model.generateObject({
-        system,
-        schema,
-        prompt: messages,
-    });
-    const { value, text } = response;
-    yield* append(text);
-    return value;
-});
-const append = Effect.fnUntraced(function* (text) {
-    const { messages, onMessage } = yield* Strand.Strand;
-    const message = new AiInput.AssistantMessage({
-        parts: [new AiInput.TextPart({ text })],
-    });
-    yield* onMessage(message);
-    messages.push(message);
-});
+export * from "./append.js";
+export * from "./assistant.js";
+export * from "./assistantStruct.js";
+export * from "./events.js";
+export * from "./reduce.js";
+export * from "./turn.js";
+export * from "./unsafeSet.js";
+export * from "./user.js";
 //# sourceMappingURL=L.js.map

package/dist/L.js.map

@@ -1 +1 @@
-{"version":3,"file":"L.js","sourceRoot":"","sources":["../L.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,OAAO,MAAM,oBAAoB,CAAA;AAC7C,OAAO,KAAK,OAAO,MAAM,oBAAoB,CAAA;AAC7C,OAAO,KAAK,eAAe,MAAM,4BAA4B,CAAA;AAC7D,OAAO,KAAK,SAAS,MAAM,sBAAsB,CAAA;AACjD,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AACvC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AACvC,OAAO,KAAK,MAAM,MAAM,aAAa,CAAA;AACrC,OAAO,EAAE,sBAAsB,EAAE,MAAM,kCAAkC,CAAA;AAEzE,MAAM,CAAC,MAAM,IAAI,GAIb,MAAM,CAAC,UAAU,CAAC,QAAQ,CAAC,EAAC,EAAE,EAAE,GAAG,KAAK;IAC1C,MAAM,EAAE,QAAQ,EAAE,SAAS,EAAE,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,MAAM,CAAA;IACpD,MAAM,IAAI,GAAG,sBAAsB,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,GAAG,EAAE,EAAE,EAAE,EAAE,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAA;IAChF,MAAM,OAAO,GAAG,IAAI,OAAO,CAAC,WAAW,CAAC;QACtC,KAAK,EAAE,CAAC,IAAI,OAAO,CAAC,QAAQ,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC;KACxC,CAAC,CAAA;IACF,KAAK,CAAC,CAAC,SAAS,CAAC,OAAO,CAAC,CAAA;IACzB,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,CAAA;AACxB,CAAC,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,QAAQ,GAAgE,MAAM,CAAC,GAAG,CAC7F,MAAM,CAAC,MAAM,EACb,CAAC,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC,QAAQ,CAC3B,CAAA;AAED,MAAM,CAAC,MAAM,WAAW,GAE2C,MAAM,CAAC,UAAU,CAClF,QAAQ,CAAC,EAAC,QAAmC;IAC3C,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,MAAM,CAAA;IACnC,MAAM,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,MAAM,CAAA;IACjC,MAAM,CAAC,QAAQ,GAAG,CAAC,GAAG,QAAQ,CAAC,CAAA;IAC/B,OAAO,IAAI,CAAA;AACb,CAAC,CACF,CAAA;AAED,MAAM,CAAC,MAAM,aAAa,GAItB,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IACtB,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,eAAe,CAAC,eAAe,CAAA;IACpD,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,KAAK,EAAE,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,MAAM,CAAA;IACxD,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,KAAK,CAAC,YAAY,CAAC;QACzC,MAAM;QACN,MAAM,EAAE,QAAQ;QAChB,OAAO,EAAE,SAAS,CAAC,IAAI,CAAC,GAAG,KAAK,IAAI,EAAE,CAAU;KACjD,CAAC,CAAA;IACF,MAAM,EAAE,IAAI,EAAE,GAAG,QAAQ,CAAA;IACzB,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAA;IACnB,OAAO,IAAI,CAAA;AACb,CAAC,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,eAAe,GAE8D,MAAM,CAAC,UAAU,CACzG,QAAQ,CAAC,EAAC,MAAM;IACd,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,eAAe,CAAC,eAAe,CAAA;IACpD,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,MAAM,CAAA;IACjD,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,KAAK,CAAC,cAAc,CAAC;QAC3C,MAAM;QACN,MAAM;QACN,MAAM,EAAE,QAAQ;KACjB,CAAC,CAAA;IACF,MAAM,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,QAAQ,CAAA;IAChC,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAA;IACnB,OAAO,KAAK,CAAA;AACd,CAAC,CACF,CAAA;AAED,MAAM,MAAM,GAAG,MAAM,CAAC,UAAU,CAAC,QAAQ,CAAC,EAAC,IAAY;IACrD,MAAM,EAAE,QAAQ,EAAE,SAAS,EAAE,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,MAAM,CAAA;IACpD,MAAM,OAAO,GAAG,IAAI,OAAO,CAAC,gBAAgB,CAAC;QAC3C,KAAK,EAAE,CAAC,IAAI,OAAO,CAAC,QAAQ,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC;KACxC,CAAC,CAAA;IACF,KAAK,CAAC,CAAC,SAAS,CAAC,OAAO,CAAC,CAAA;IACzB,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,CAAA;AACxB,CAAC,CAAC,CAAA"}
+{"version":3,"file":"L.js","sourceRoot":"","sources":["../L.ts"],"names":[],"mappings":"AAAA,cAAc,aAAa,CAAA;AAC3B,cAAc,gBAAgB,CAAA;AAC9B,cAAc,sBAAsB,CAAA;AACpC,cAAc,aAAa,CAAA;AAC3B,cAAc,aAAa,CAAA;AAC3B,cAAc,WAAW,CAAA;AACzB,cAAc,gBAAgB,CAAA;AAC9B,cAAc,WAAW,CAAA"}

package/dist/LEvent.d.ts

@@ -0,0 +1,22 @@
+import * as Schema from "effect/Schema";
+declare const MessagesAppended_base: Schema.TaggedClass<MessagesAppended, "MessagesAppended", {
+    readonly _tag: Schema.tag<"MessagesAppended">;
+} & {
+    messages: Schema.Array$<Schema.Union<[typeof import("@effect/ai/AiInput").UserMessage, typeof import("@effect/ai/AiInput").AssistantMessage, typeof import("@effect/ai/AiInput").ToolMessage]>>;
+}>;
+export declare class MessagesAppended extends MessagesAppended_base {
+}
+declare const MessagesReduced_base: Schema.TaggedClass<MessagesReduced, "MessagesReduced", {
+    readonly _tag: Schema.tag<"MessagesReduced">;
+} & {
+    previous: Schema.Array$<Schema.Union<[typeof import("@effect/ai/AiInput").UserMessage, typeof import("@effect/ai/AiInput").AssistantMessage, typeof import("@effect/ai/AiInput").ToolMessage]>>;
+    messages: Schema.Array$<Schema.Union<[typeof import("@effect/ai/AiInput").UserMessage, typeof import("@effect/ai/AiInput").AssistantMessage, typeof import("@effect/ai/AiInput").ToolMessage]>>;
+}>;
+export declare class MessagesReduced extends MessagesReduced_base {
+}
+export type LEvent = typeof LEvent.Type;
+export declare const LEvent: Schema.Union<[
+    typeof MessagesAppended,
+    typeof MessagesReduced
+]>;
+export {};

package/dist/LEvent.js

@@ -0,0 +1,13 @@
+import { Message } from "@effect/ai/AiInput";
+import * as Schema from "effect/Schema";
+export class MessagesAppended extends Schema.TaggedClass("MessagesAppended")("MessagesAppended", {
+    messages: Schema.Array(Message),
+}) {
+}
+export class MessagesReduced extends Schema.TaggedClass("MessagesReduced")("MessagesReduced", {
+    previous: Schema.Array(Message),
+    messages: Schema.Array(Message),
+}) {
+}
+export const LEvent = Schema.Union(MessagesAppended, MessagesReduced);
+//# sourceMappingURL=LEvent.js.map

package/dist/LEvent.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"LEvent.js","sourceRoot":"","sources":["../LEvent.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,oBAAoB,CAAA;AAC5C,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AAEvC,MAAM,OAAO,gBAAiB,SAAQ,MAAM,CAAC,WAAW,CAAmB,kBAAkB,CAAC,CAAC,kBAAkB,EAAE;IACjH,QAAQ,EAAE,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC;CAChC,CAAC;CAAG;AAEL,MAAM,OAAO,eAAgB,SAAQ,MAAM,CAAC,WAAW,CAAkB,iBAAiB,CAAC,CAAC,iBAAiB,EAAE;IAC7G,QAAQ,EAAE,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC;IAC/B,QAAQ,EAAE,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC;CAChC,CAAC;CAAG;AAGL,MAAM,CAAC,MAAM,MAAM,GAGd,MAAM,CAAC,KAAK,CAAC,gBAAgB,EAAE,eAAe,CAAC,CAAA"}

package/dist/Strand.d.ts

@@ -1,25 +1,20 @@
-import * as AiInput from "@effect/ai/AiInput";
+import { Message } from "@effect/ai/AiInput";
 import * as AiTool from "@effect/ai/AiTool";
 import * as Context from "effect/Context";
-import * as Effect from "effect/Effect";
 import * as Layer from "effect/Layer";
-export interface StrandConfig<E, R> {
-    /** The system prompt. */
-    system?: string | undefined;
-    /** The initial list of AI input messages. */
-    messages?: Array<AiInput.Message> | undefined;
-    /** Handler to be execute when messages are appended. */
-    onMessage?: (message: AiInput.Message) => Effect.Effect<void, E, R>;
-}
+import * as PubSub from "effect/PubSub";
+import type { LEvent } from "./LEvent.ts";
+import { type OptionallyTaggable } from "./Taggable.ts";
 declare const Strand_base: Context.TagClass<Strand, "liminal/Strand", {
-    system?: string | undefined;
-    messages: Array<AiInput.Message>;
-    tools?: Array<AiTool.AiTool<string>>;
-    onMessage: (message: AiInput.Message) => Effect.Effect<void>;
+    readonly system?: string | undefined;
+    messages: Array<Message>;
+    tools?: Array<AiTool.AiTool<string>> | undefined;
+    readonly events: PubSub.PubSub<LEvent>;
 }>;
 export declare class Strand extends Strand_base {
+    /** Create a layer for a Strand, which represents an conversation isolate. */
+    static new: OptionallyTaggable<Layer.Layer<Strand>>;
+    /** Create a layer for a Strand, which represents an conversation isolate. */
+    static clone: OptionallyTaggable<Layer.Layer<Strand, never, Strand>>;
 }
-/** Create an isolated clone of the current conversation to provide for an effect. */
-export declare const make: <E = never, R = never>(config?: StrandConfig<E, R>) => Effect.Effect<Strand["Type"], E, R>;
-export declare const layer: <E = never, R = never>(config?: StrandConfig<E, R>) => Layer.Layer<Strand, E, R>;
 export {};

package/dist/Strand.js

@@ -1,24 +1,26 @@
-import * as AiInput from "@effect/ai/AiInput";
+import { Message } from "@effect/ai/AiInput";
 import * as AiTool from "@effect/ai/AiTool";
 import * as Context from "effect/Context";
 import * as Effect from "effect/Effect";
 import * as Layer from "effect/Layer";
-import * as Option from "effect/Option";
+import * as PubSub from "effect/PubSub";
+import { normalize } from "./Taggable.js";
 export class Strand extends Context.Tag("liminal/Strand")() {
+    /** Create a layer for a Strand, which represents an conversation isolate. */
+    static new = (a0, ...aRest) => Layer.effect(Strand, PubSub.unbounded().pipe(Effect.map((events) => Strand.of({
+        system: normalize(a0, aRest),
+        messages: [],
+        events,
+    }))));
+    /** Create a layer for a Strand, which represents an conversation isolate. */
+    static clone = (a0, ...aRest) => Layer.effect(Strand, Effect.gen(function* () {
+        const { system, messages, tools } = yield* Strand;
+        return Strand.of({
+            system: a0 ? normalize(a0, aRest) : system,
+            messages: [...messages],
+            tools,
+            events: yield* PubSub.unbounded(),
+        });
+    }));
 }
-/** Create an isolated clone of the current conversation to provide for an effect. */
-export const make = (config) => Effect.map(Effect.serviceOption(Strand), Option.match({
-    onSome: ({ system, messages, tools, onMessage }) => ({
-        system: config ? config?.system : system,
-        messages: [...config ? config?.messages ?? [] : messages],
-        tools: [...tools ?? []],
-        onMessage: onMessage ?? (() => Effect.succeed(undefined)),
-    }),
-    onNone: () => ({
-        system: config?.system,
-        messages: config?.messages ?? [],
-        onMessage: (config?.onMessage ?? (() => Effect.succeed(undefined))),
-    }),
-}));
-export const layer = (config) => Layer.effect(Strand, make(config));
 //# sourceMappingURL=Strand.js.map

package/dist/Strand.js.map

@@ -1 +1 @@
-{"version":3,"file":"Strand.js","sourceRoot":"","sources":["../Strand.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,OAAO,MAAM,oBAAoB,CAAA;AAC7C,OAAO,KAAK,MAAM,MAAM,mBAAmB,CAAA;AAC3C,OAAO,KAAK,OAAO,MAAM,gBAAgB,CAAA;AACzC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AACvC,OAAO,KAAK,KAAK,MAAM,cAAc,CAAA;AACrC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AAWvC,MAAM,OAAO,MAAO,SAAQ,OAAO,CAAC,GAAG,CAAC,gBAAgB,CAAC,EAKrD;CAAG;AAEP,qFAAqF;AACrF,MAAM,CAAC,MAAM,IAAI,GAE0B,CAAC,MAAM,EAAE,EAAE,CACpD,MAAM,CAAC,GAAG,CACR,MAAM,CAAC,aAAa,CAAC,MAAM,CAAC,EAC5B,MAAM,CAAC,KAAK,CAAC;IACX,MAAM,EAAE,CAAC,EAAE,MAAM,EAAE,QAAQ,EAAE,KAAK,EAAE,SAAS,EAAE,EAAE,EAAE,CAAC,CAAC;QACnD,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC,MAAM;QACxC,QAAQ,EAAE,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,MAAM,EAAE,QAAQ,IAAI,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC;QACzD,KAAK,EAAE,CAAC,GAAG,KAAK,IAAI,EAAE,CAAC;QACvB,SAAS,EAAE,SAAS,IAAI,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;KAC1D,CAAC;IACF,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC;QACb,MAAM,EAAE,MAAM,EAAE,MAAM;QACtB,QAAQ,EAAE,MAAM,EAAE,QAAQ,IAAI,EAAE;QAChC,SAAS,EAAE,CAAC,MAAM,EAAE,SAAS,IAAI,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,CAAU;KAC7E,CAAC;CACH,CAAC,CACH,CAAA;AAEH,MAAM,CAAC,MAAM,KAAK,GAAqF,CAAC,MAAM,EAAE,EAAE,CAChH,KAAK,CAAC,MAAM,CAAC,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC,CAAA"}
+{"version":3,"file":"Strand.js","sourceRoot":"","sources":["../Strand.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,oBAAoB,CAAA;AAC5C,OAAO,KAAK,MAAM,MAAM,mBAAmB,CAAA;AAC3C,OAAO,KAAK,OAAO,MAAM,gBAAgB,CAAA;AACzC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AACvC,OAAO,KAAK,KAAK,MAAM,cAAc,CAAA;AACrC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AAEvC,OAAO,EAAE,SAAS,EAA2B,MAAM,eAAe,CAAA;AAElE,MAAM,OAAO,MAAO,SAAQ,OAAO,CAAC,GAAG,CAAC,gBAAgB,CAAC,EAKrD;IACF,6EAA6E;IAC7E,MAAM,CAAC,GAAG,GAA4C,CAAC,EAAE,EAAE,GAAG,KAAK,EAAE,EAAE,CACrE,KAAK,CAAC,MAAM,CACV,MAAM,EACN,MAAM,CAAC,SAAS,EAAU,CAAC,IAAI,CAC7B,MAAM,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CACpB,MAAM,CAAC,EAAE,CAAC;QACR,MAAM,EAAE,SAAS,CAAC,EAAE,EAAE,KAAK,CAAC;QAC5B,QAAQ,EAAE,EAAE;QACZ,MAAM;KACP,CAAC,CACH,CACF,CACF,CAAA;IAEH,6EAA6E;IAC7E,MAAM,CAAC,KAAK,GAA2D,CAAC,EAAE,EAAE,GAAG,KAAK,EAAE,EAAE,CACtF,KAAK,CAAC,MAAM,CACV,MAAM,EACN,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QAClB,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,KAAK,EAAE,GAAG,KAAK,CAAC,CAAC,MAAM,CAAA;QACjD,OAAO,MAAM,CAAC,EAAE,CAAC;YACf,MAAM,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM;YAC1C,QAAQ,EAAE,CAAC,GAAG,QAAQ,CAAC;YACvB,KAAK;YACL,MAAM,EAAE,KAAK,CAAC,CAAC,MAAM,CAAC,SAAS,EAAU;SAC1C,CAAC,CAAA;IACJ,CAAC,CAAC,CACH,CAAA"}

package/dist/Taggable.d.ts

@@ -0,0 +1,11 @@
+export type Taggable<T> = {
+    (value: string): T;
+    (template: TemplateStringsArray, ...substitutions: Array<unknown>): T;
+    (template: string | TemplateStringsArray, ...substitutions: Array<unknown>): T;
+};
+export type OptionallyTaggable<T> = {
+    (value?: string | undefined): T;
+    (template: TemplateStringsArray, ...substitutions: Array<unknown>): T;
+    (template?: string | TemplateStringsArray | undefined, ...substitutions: Array<unknown>): T;
+};
+export declare const normalize: <A0 extends string | TemplateStringsArray | undefined>(a0: A0, aRest?: Array<unknown>) => string | (undefined extends A0 ? undefined : never);

package/dist/Taggable.js

@@ -0,0 +1,2 @@
+export const normalize = (a0, aRest = []) => a0 ? typeof a0 === "string" ? a0 : String.raw(a0, aRest) : undefined;
+//# sourceMappingURL=Taggable.js.map

package/dist/Taggable.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Taggable.js","sourceRoot":"","sources":["../Taggable.ts"],"names":[],"mappings":"AAYA,MAAM,CAAC,MAAM,SAAS,GAAG,CACvB,EAAM,EACN,QAAwB,EAAE,EAC2B,EAAE,CACvD,EAAE,CAAC,CAAC,CAAC,OAAO,EAAE,KAAK,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,SAAkB,CAAA"}

package/dist/append.d.ts

@@ -0,0 +1,5 @@
+import { Message } from "@effect/ai/AiInput";
+import * as Effect from "effect/Effect";
+import { Strand } from "./Strand.ts";
+/** Append messages to the current strand's message list. */
+export declare const append: (...messages: Array<Message>) => Effect.Effect<void, never, Strand>;

package/dist/append.js

@@ -0,0 +1,11 @@
+import { Message } from "@effect/ai/AiInput";
+import * as Effect from "effect/Effect";
+import { MessagesAppended } from "./LEvent.js";
+import { Strand } from "./Strand.js";
+/** Append messages to the current strand's message list. */
+export const append = Effect.fnUntraced(function* (...messages) {
+    const strand = yield* Strand;
+    strand.messages.push(...messages);
+    yield* strand.events.publish(MessagesAppended.make({ messages }));
+});
+//# sourceMappingURL=append.js.map

package/dist/append.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"append.js","sourceRoot":"","sources":["../append.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,oBAAoB,CAAA;AAC5C,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AACvC,OAAO,EAAE,gBAAgB,EAAE,MAAM,aAAa,CAAA;AAC9C,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAA;AAEpC,4DAA4D;AAC5D,MAAM,CAAC,MAAM,MAAM,GAEuB,MAAM,CAAC,UAAU,CAAC,QAAQ,CAAC,EAAC,GAAG,QAAQ;IAC/E,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,MAAM,CAAA;IAC5B,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,GAAG,QAAQ,CAAC,CAAA;IACjC,KAAK,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,gBAAgB,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAA;AACnE,CAAC,CAAC,CAAA"}

package/dist/assistant.d.ts

@@ -0,0 +1,6 @@
+import type { AiError } from "@effect/ai/AiError";
+import { AiLanguageModel } from "@effect/ai/AiLanguageModel";
+import * as Effect from "effect/Effect";
+import { Strand } from "./Strand.ts";
+/** Infer an assistant message and append it to the conversation. */
+export declare const assistant: Effect.Effect<string, AiError, AiLanguageModel | Strand>;

package/dist/assistant.js

@@ -0,0 +1,21 @@
+import { AssistantMessage, TextPart } from "@effect/ai/AiInput";
+import { AiLanguageModel } from "@effect/ai/AiLanguageModel";
+import * as AiToolkit from "@effect/ai/AiToolkit";
+import * as Effect from "effect/Effect";
+import { append } from "./append.js";
+import { Strand } from "./Strand.js";
+/** Infer an assistant message and append it to the conversation. */
+export const assistant = Effect.gen(function* () {
+    const model = yield* AiLanguageModel;
+    const { system, messages, tools } = yield* Strand;
+    const { text } = yield* model.generateText({
+        system,
+        prompt: messages,
+        toolkit: AiToolkit.make(...tools ?? []),
+    });
+    yield* append(new AssistantMessage({
+        parts: [new TextPart({ text })],
+    }));
+    return text;
+});
+//# sourceMappingURL=assistant.js.map

package/dist/assistant.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"assistant.js","sourceRoot":"","sources":["../assistant.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,gBAAgB,EAAE,QAAQ,EAAE,MAAM,oBAAoB,CAAA;AAC/D,OAAO,EAAE,eAAe,EAAE,MAAM,4BAA4B,CAAA;AAC5D,OAAO,KAAK,SAAS,MAAM,sBAAsB,CAAA;AACjD,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AACvC,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAA;AACpC,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAA;AAEpC,oEAAoE;AACpE,MAAM,CAAC,MAAM,SAAS,GAA6D,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IACrG,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,eAAe,CAAA;IACpC,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,KAAK,EAAE,GAAG,KAAK,CAAC,CAAC,MAAM,CAAA;IACjD,MAAM,EAAE,IAAI,EAAE,GAAG,KAAK,CAAC,CAAC,KAAK,CAAC,YAAY,CAAC;QACzC,MAAM;QACN,MAAM,EAAE,QAAQ;QAChB,OAAO,EAAE,SAAS,CAAC,IAAI,CAAC,GAAG,KAAK,IAAI,EAAE,CAAU;KACjD,CAAC,CAAA;IACF,KAAK,CAAC,CAAC,MAAM,CACX,IAAI,gBAAgB,CAAC;QACnB,KAAK,EAAE,CAAC,IAAI,QAAQ,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC;KAChC,CAAC,CACH,CAAA;IACD,OAAO,IAAI,CAAA;AACb,CAAC,CAAC,CAAA"}

package/dist/assistantStruct.d.ts

@@ -0,0 +1,12 @@
+import type { AiError } from "@effect/ai/AiError";
+import { AiLanguageModel } from "@effect/ai/AiLanguageModel";
+import * as Effect from "effect/Effect";
+import * as Schema from "effect/Schema";
+import { Strand } from "./Strand.ts";
+/** Infer a structured assistant message and append its JSON representation to the conversation. */
+export declare const assistantStruct: {
+    <F extends Record<string, Schema.Schema.AnyNoContext>>(fields: F): Effect.Effect<{
+        [K in keyof F]: Schema.Schema.Type<F[K]>;
+    }, AiError, AiLanguageModel | Strand>;
+    <O, I extends Record<string, unknown>>(schema: Schema.Schema<O, I, never>): Effect.Effect<O, AiError, AiLanguageModel | Strand>;
+};