liminal 0.9.0 → 0.11.0

package/CHANGELOG.md

@@ -1,5 +1,17 @@
 # liminal
 
+## 0.11.0
+
+### Minor Changes
+
+- 48aa187: Rework mechanism of denoting strand boundary.
+
+## 0.10.0
+
+### Minor Changes
+
+- 866e64a: Redesigning much of the API.
+
 ## 0.9.0
 
 ### Minor Changes

package/L.ts

@@ -1,81 +1,14 @@
-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 "./branch.ts"
+export * from "./clear.ts"
+export * from "./events.ts"
+export * from "./messages.ts"
+export * from "./reduce.ts"
+export * from "./Sequence.ts"
+export * from "./sequence_.ts"
+export * from "./strand_.ts"
+export * from "./system.ts"
+export * from "./user.ts"
+export * from "./userJson.ts"

package/LEvent.ts

@@ -0,0 +1,23 @@
+import { Message } from "@effect/ai/AiInput"
+import * as Schema from "effect/Schema"
+
+export class Messages extends Schema.Array(Message) {}
+
+/** An event in which one or more messages were added to the current strand's message list. */
+export class MessagesAppended extends Schema.TaggedClass<MessagesAppended>("MessagesAppended")("MessagesAppended", {
+  messages: Messages,
+}) {}
+
+/** An event in which the current strand's message list is cleared. */
+export class MessagesCleared extends Schema.TaggedClass<MessagesCleared>("MessagesCleared")("MessagesCleared", {
+  cleared: Messages,
+}) {}
+
+export type LEvent = typeof LEvent["Type"]
+export const LEvent: Schema.Union<[
+  typeof MessagesAppended,
+  typeof MessagesCleared,
+]> = Schema.Union(
+  MessagesAppended,
+  MessagesCleared,
+)

package/Sequence.ts

@@ -0,0 +1,14 @@
+import * as Effect from "effect/Effect"
+
+export type Sequence<P = never, R1 = never> = <Arg extends Array<Effect.Effect<any, any, any>>>(
+  ...steps: Arg
+) => Effect.Effect<
+  Arg extends [] ? void
+    : [Arg extends [...infer _0, infer L] ? L : never] extends [Effect.Effect<infer A, infer _E, infer _R>] ? A
+    : never,
+  Arg[number] extends never ? never : [Arg[number]] extends [Effect.Effect<infer _A, infer E, infer _R>] ? E : never,
+  Exclude<
+    Arg[number] extends never ? never : [Arg[number]] extends [Effect.Effect<infer _A, infer _E, infer R>] ? R : never,
+    P
+  > | R1
+>

package/Strand.ts

@@ -1,46 +1,24 @@
-import * as AiInput from "@effect/ai/AiInput"
-import * as AiTool from "@effect/ai/AiTool"
+import { Message } from "@effect/ai/AiInput"
+import type { 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 type { LEvent } from "./LEvent.ts"
 
-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>
+export declare namespace Strand {
+  export interface Service {
+    /** The parent strand. */
+    readonly parent: Option.Option<Service>
+    /** The pubsub with which the current strand's events are emitted. */
+    readonly events: PubSub.PubSub<LEvent>
+    /** The current system prompt to be passed along to the model. */
+    system: Option.Option<string>
+    /** The list of messages that the model uses to infer the next message. */
+    messages: Array<Message>
+    /** The tools available to the model. */
+    tools: Array<AiTool<string>>
+  }
 }
 
-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>
-}>() {}
-
-/** 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,
-      }),
-    }),
-  )
-
-export const layer: <E = never, R = never>(config?: StrandConfig<E, R>) => Layer.Layer<Strand, E, R> = (config) =>
-  Layer.effect(Strand, make(config))
+/** A context tag that denotes the boundary of a conversation isolate. */
+export class Strand extends Context.Tag("liminal/Strand")<Strand, Strand.Service>() {}

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,23 @@
+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 Option from "effect/Option"
+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 } = yield* Strand
+  const { text } = yield* model.generateText({
+    system: Option.getOrUndefined(system),
+    prompt: messages,
+  })
+  yield* append(
+    new AssistantMessage({
+      parts: [new TextPart({ text })],
+    }),
+  )
+  return text
+})

package/assistantStruct.ts

@@ -0,0 +1,34 @@
+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 Option from "effect/Option"
+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: Option.getOrUndefined(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/branch.ts

@@ -0,0 +1,26 @@
+import * as Effect from "effect/Effect"
+import { flow, identity } from "effect/Function"
+import * as Option from "effect/Option"
+import * as PubSub from "effect/PubSub"
+import type { LEvent } from "./LEvent.ts"
+import type { Sequence } from "./Sequence.ts"
+import { sequence } from "./sequence_.ts"
+import { Strand } from "./Strand.ts"
+
+/** Isolate the effect with a new strand in context. */
+export const branch: Sequence<never, Strand> = flow(
+  sequence,
+  Effect.provideServiceEffect(
+    Strand,
+    Effect.gen(function*() {
+      const parent = yield* Strand
+      return Strand.of({
+        parent: Option.some(parent),
+        system: Option.map(parent.system, identity),
+        events: yield* PubSub.unbounded<LEvent>(),
+        messages: parent.messages.slice(),
+        tools: parent.tools.slice(),
+      })
+    }),
+  ),
+)

package/clear.ts

@@ -0,0 +1,15 @@
+import { Message } from "@effect/ai/AiInput"
+import * as Effect from "effect/Effect"
+import { MessagesCleared } from "./LEvent.ts"
+import { Strand } from "./Strand.ts"
+
+/** Clear the strand's conversation. */
+export const clear: Effect.Effect<Array<Message>, never, Strand> = Effect.gen(function*() {
+  const strand = yield* Strand
+  const { messages, events } = strand
+  strand.messages = []
+  yield* events.publish(MessagesCleared.make({
+    cleared: messages,
+  }))
+  return messages
+})

package/dist/L.d.ts

@@ -1,15 +1,14 @@
-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 "./branch.ts";
+export * from "./clear.ts";
+export * from "./events.ts";
+export * from "./messages.ts";
+export * from "./reduce.ts";
+export * from "./Sequence.ts";
+export * from "./sequence_.ts";
+export * from "./strand_.ts";
+export * from "./system.ts";
+export * from "./user.ts";
+export * from "./userJson.ts";

package/dist/L.js

@@ -1,57 +1,15 @@
-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 "./branch.js";
+export * from "./clear.js";
+export * from "./events.js";
+export * from "./messages.js";
+export * from "./reduce.js";
+export * from "./Sequence.js";
+export * from "./sequence_.js";
+export * from "./strand_.js";
+export * from "./system.js";
+export * from "./user.js";
+export * from "./userJson.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,YAAY,CAAA;AAC1B,cAAc,aAAa,CAAA;AAC3B,cAAc,eAAe,CAAA;AAC7B,cAAc,aAAa,CAAA;AAC3B,cAAc,eAAe,CAAA;AAC7B,cAAc,gBAAgB,CAAA;AAC9B,cAAc,cAAc,CAAA;AAC5B,cAAc,aAAa,CAAA;AAC3B,cAAc,WAAW,CAAA;AACzB,cAAc,eAAe,CAAA"}

package/dist/LEvent.d.ts

@@ -0,0 +1,26 @@
+import * as Schema from "effect/Schema";
+declare const Messages_base: 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 Messages extends Messages_base {
+}
+declare const MessagesAppended_base: Schema.TaggedClass<MessagesAppended, "MessagesAppended", {
+    readonly _tag: Schema.tag<"MessagesAppended">;
+} & {
+    messages: typeof Messages;
+}>;
+/** An event in which one or more messages were added to the current strand's message list. */
+export declare class MessagesAppended extends MessagesAppended_base {
+}
+declare const MessagesCleared_base: Schema.TaggedClass<MessagesCleared, "MessagesCleared", {
+    readonly _tag: Schema.tag<"MessagesCleared">;
+} & {
+    cleared: typeof Messages;
+}>;
+/** An event in which the current strand's message list is cleared. */
+export declare class MessagesCleared extends MessagesCleared_base {
+}
+export type LEvent = typeof LEvent["Type"];
+export declare const LEvent: Schema.Union<[
+    typeof MessagesAppended,
+    typeof MessagesCleared
+]>;
+export {};

package/dist/LEvent.js

@@ -0,0 +1,16 @@
+import { Message } from "@effect/ai/AiInput";
+import * as Schema from "effect/Schema";
+export class Messages extends Schema.Array(Message) {
+}
+/** An event in which one or more messages were added to the current strand's message list. */
+export class MessagesAppended extends Schema.TaggedClass("MessagesAppended")("MessagesAppended", {
+    messages: Messages,
+}) {
+}
+/** An event in which the current strand's message list is cleared. */
+export class MessagesCleared extends Schema.TaggedClass("MessagesCleared")("MessagesCleared", {
+    cleared: Messages,
+}) {
+}
+export const LEvent = Schema.Union(MessagesAppended, MessagesCleared);
+//# 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,QAAS,SAAQ,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC;CAAG;AAEtD,8FAA8F;AAC9F,MAAM,OAAO,gBAAiB,SAAQ,MAAM,CAAC,WAAW,CAAmB,kBAAkB,CAAC,CAAC,kBAAkB,EAAE;IACjH,QAAQ,EAAE,QAAQ;CACnB,CAAC;CAAG;AAEL,sEAAsE;AACtE,MAAM,OAAO,eAAgB,SAAQ,MAAM,CAAC,WAAW,CAAkB,iBAAiB,CAAC,CAAC,iBAAiB,EAAE;IAC7G,OAAO,EAAE,QAAQ;CAClB,CAAC;CAAG;AAGL,MAAM,CAAC,MAAM,MAAM,GAGd,MAAM,CAAC,KAAK,CACf,gBAAgB,EAChB,eAAe,CAChB,CAAA"}

package/dist/Sequence.d.ts

@@ -0,0 +1,2 @@
+import * as Effect from "effect/Effect";
+export type Sequence<P = never, R1 = never> = <Arg extends Array<Effect.Effect<any, any, any>>>(...steps: Arg) => Effect.Effect<Arg extends [] ? void : [Arg extends [...infer _0, infer L] ? L : never] extends [Effect.Effect<infer A, infer _E, infer _R>] ? A : never, Arg[number] extends never ? never : [Arg[number]] extends [Effect.Effect<infer _A, infer E, infer _R>] ? E : never, Exclude<Arg[number] extends never ? never : [Arg[number]] extends [Effect.Effect<infer _A, infer _E, infer R>] ? R : never, P> | R1>;

package/dist/Sequence.js

@@ -0,0 +1,2 @@
+import * as Effect from "effect/Effect";
+//# sourceMappingURL=Sequence.js.map

package/dist/Sequence.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Sequence.js","sourceRoot":"","sources":["../Sequence.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA"}

package/dist/Strand.d.ts

@@ -1,25 +1,25 @@
-import * as AiInput from "@effect/ai/AiInput";
-import * as AiTool from "@effect/ai/AiTool";
+import { Message } from "@effect/ai/AiInput";
+import type { 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 Option from "effect/Option";
+import * as PubSub from "effect/PubSub";
+import type { LEvent } from "./LEvent.ts";
+export declare namespace Strand {
+    interface Service {
+        /** The parent strand. */
+        readonly parent: Option.Option<Service>;
+        /** The pubsub with which the current strand's events are emitted. */
+        readonly events: PubSub.PubSub<LEvent>;
+        /** The current system prompt to be passed along to the model. */
+        system: Option.Option<string>;
+        /** The list of messages that the model uses to infer the next message. */
+        messages: Array<Message>;
+        /** The tools available to the model. */
+        tools: Array<AiTool<string>>;
+    }
 }
-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>;
-}>;
+declare const Strand_base: Context.TagClass<Strand, "liminal/Strand", Strand.Service>;
+/** A context tag that denotes the boundary of a conversation isolate. */
 export declare class Strand extends Strand_base {
 }
-/** 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,8 @@
-import * as AiInput from "@effect/ai/AiInput";
-import * as AiTool from "@effect/ai/AiTool";
+import { Message } from "@effect/ai/AiInput";
 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";
+/** A context tag that denotes the boundary of a conversation isolate. */
 export class Strand extends Context.Tag("liminal/Strand")() {
 }
-/** 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;AAE5C,OAAO,KAAK,OAAO,MAAM,gBAAgB,CAAA;AACzC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AACvC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AAkBvC,yEAAyE;AACzE,MAAM,OAAO,MAAO,SAAQ,OAAO,CAAC,GAAG,CAAC,gBAAgB,CAAC,EAA0B;CAAG"}

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>;