liminal 0.10.0 → 0.11.0

package/CHANGELOG.md

@@ -1,5 +1,11 @@
 # liminal
 
+## 0.11.0
+
+### Minor Changes
+
+- 48aa187: Rework mechanism of denoting strand boundary.
+
 ## 0.10.0
 
 ### Minor Changes

package/L.ts

@@ -1,8 +1,14 @@
 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 "./turn.ts"
-export * from "./unsafeSet.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

@@ -1,17 +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: Schema.Array(Message),
+  messages: Messages,
 }) {}
 
-export class MessagesReduced extends Schema.TaggedClass<MessagesReduced>("MessagesReduced")("MessagesReduced", {
-  previous: Schema.Array(Message),
-  messages: Schema.Array(Message),
+/** 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 type LEvent = typeof LEvent["Type"]
 export const LEvent: Schema.Union<[
   typeof MessagesAppended,
-  typeof MessagesReduced,
-]> = Schema.Union(MessagesAppended, MessagesReduced)
+  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,45 +1,24 @@
 import { Message } from "@effect/ai/AiInput"
-import * as AiTool from "@effect/ai/AiTool"
+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"
-import { normalize, type OptionallyTaggable } from "./Taggable.ts"
 
-export class Strand extends Context.Tag("liminal/Strand")<Strand, {
-  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 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 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>>
+  }
 }
+
+/** A context tag that denotes the boundary of a conversation isolate. */
+export class Strand extends Context.Tag("liminal/Strand")<Strand, Strand.Service>() {}

package/assistant.ts

@@ -1,19 +1,18 @@
 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 * 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, tools } = yield* Strand
+  const { system, messages } = yield* Strand
   const { text } = yield* model.generateText({
-    system,
+    system: Option.getOrUndefined(system),
     prompt: messages,
-    toolkit: AiToolkit.make(...tools ?? []) as never,
   })
   yield* append(
     new AssistantMessage({

package/assistantStruct.ts

@@ -2,6 +2,7 @@ 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"
@@ -19,7 +20,7 @@ export const assistantStruct: {
     const model = yield* AiLanguageModel
     const { system, messages } = yield* Strand
     const { value, text } = yield* model.generateObject({
-      system,
+      system: Option.getOrUndefined(system),
       schema: Schema.isSchema(schema) ? schema as Schema.Schema.AnyNoContext : Schema.Struct(schema),
       prompt: messages,
     })

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,8 +1,14 @@
 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 "./turn.ts";
-export * from "./unsafeSet.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,9 +1,15 @@
 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 "./turn.js";
-export * from "./unsafeSet.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,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"}
+{"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

@@ -1,22 +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: Schema.Array$<Schema.Union<[typeof import("@effect/ai/AiInput").UserMessage, typeof import("@effect/ai/AiInput").AssistantMessage, typeof import("@effect/ai/AiInput").ToolMessage]>>;
+    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 MessagesReduced_base: Schema.TaggedClass<MessagesReduced, "MessagesReduced", {
-    readonly _tag: Schema.tag<"MessagesReduced">;
+declare const MessagesCleared_base: Schema.TaggedClass<MessagesCleared, "MessagesCleared", {
+    readonly _tag: Schema.tag<"MessagesCleared">;
 } & {
-    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]>>;
+    cleared: typeof Messages;
 }>;
-export declare class MessagesReduced extends MessagesReduced_base {
+/** 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 type LEvent = typeof LEvent["Type"];
 export declare const LEvent: Schema.Union<[
     typeof MessagesAppended,
-    typeof MessagesReduced
+    typeof MessagesCleared
 ]>;
 export {};

package/dist/LEvent.js

@@ -1,13 +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: Schema.Array(Message),
+    messages: Messages,
 }) {
 }
-export class MessagesReduced extends Schema.TaggedClass("MessagesReduced")("MessagesReduced", {
-    previous: Schema.Array(Message),
-    messages: Schema.Array(Message),
+/** 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, MessagesReduced);
+export const LEvent = Schema.Union(MessagesAppended, MessagesCleared);
 //# sourceMappingURL=LEvent.js.map

package/dist/LEvent.js.map

@@ -1 +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"}
+{"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,20 +1,25 @@
 import { Message } from "@effect/ai/AiInput";
-import * as AiTool from "@effect/ai/AiTool";
+import type { AiTool } from "@effect/ai/AiTool";
 import * as Context from "effect/Context";
-import * as Layer from "effect/Layer";
+import * as Option from "effect/Option";
 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", {
-    readonly system?: string | undefined;
-    messages: Array<Message>;
-    tools?: Array<AiTool.AiTool<string>> | undefined;
-    readonly events: PubSub.PubSub<LEvent>;
-}>;
+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", Strand.Service>;
+/** A context tag that denotes the boundary of a conversation isolate. */
 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>>;
 }
 export {};

package/dist/Strand.js

@@ -1,26 +1,8 @@
 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";
+/** A context tag that denotes the boundary of a conversation isolate. */
 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(),
-        });
-    }));
 }
 //# sourceMappingURL=Strand.js.map

package/dist/Strand.js.map

@@ -1 +1 @@
-{"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"}
+{"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/assistant.js

@@ -1,17 +1,16 @@
 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 * as Option from "effect/Option";
 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 { system, messages } = yield* Strand;
     const { text } = yield* model.generateText({
-        system,
+        system: Option.getOrUndefined(system),
         prompt: messages,
-        toolkit: AiToolkit.make(...tools ?? []),
     });
     yield* append(new AssistantMessage({
         parts: [new TextPart({ text })],

package/dist/assistant.js.map

@@ -1 +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"}
+{"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,MAAM,MAAM,eAAe,CAAA;AACvC,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,GAAG,KAAK,CAAC,CAAC,MAAM,CAAA;IAC1C,MAAM,EAAE,IAAI,EAAE,GAAG,KAAK,CAAC,CAAC,KAAK,CAAC,YAAY,CAAC;QACzC,MAAM,EAAE,MAAM,CAAC,cAAc,CAAC,MAAM,CAAC;QACrC,MAAM,EAAE,QAAQ;KACjB,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.js

@@ -1,6 +1,7 @@
 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.js";
 import { Strand } from "./Strand.js";
@@ -9,7 +10,7 @@ export const assistantStruct = Effect.fnUntraced(function* (schema) {
     const model = yield* AiLanguageModel;
     const { system, messages } = yield* Strand;
     const { value, text } = yield* model.generateObject({
-        system,
+        system: Option.getOrUndefined(system),
         schema: Schema.isSchema(schema) ? schema : Schema.Struct(schema),
         prompt: messages,
     });

package/dist/assistantStruct.js.map

@@ -1 +1 @@
-{"version":3,"file":"assistantStruct.js","sourceRoot":"","sources":["../assistantStruct.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,MAAM,MAAM,eAAe,CAAA;AACvC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AACvC,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAA;AACpC,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAA;AAEpC,mGAAmG;AACnG,MAAM,CAAC,MAAM,eAAe,GAOxB,MAAM,CAAC,UAAU,CACnB,QAAQ,CAAC,EAAC,MAAM;IACd,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,eAAe,CAAA;IACpC,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,GAAG,KAAK,CAAC,CAAC,MAAM,CAAA;IAC1C,MAAM,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,KAAK,CAAC,CAAC,KAAK,CAAC,cAAc,CAAC;QAClD,MAAM;QACN,MAAM,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,MAAoC,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC;QAC9F,MAAM,EAAE,QAAQ;KACjB,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,KAAK,CAAA;AACd,CAAC,CACF,CAAA"}
+{"version":3,"file":"assistantStruct.js","sourceRoot":"","sources":["../assistantStruct.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,MAAM,MAAM,eAAe,CAAA;AACvC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AACvC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AACvC,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAA;AACpC,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAA;AAEpC,mGAAmG;AACnG,MAAM,CAAC,MAAM,eAAe,GAOxB,MAAM,CAAC,UAAU,CACnB,QAAQ,CAAC,EAAC,MAAM;IACd,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,eAAe,CAAA;IACpC,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,GAAG,KAAK,CAAC,CAAC,MAAM,CAAA;IAC1C,MAAM,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,KAAK,CAAC,CAAC,KAAK,CAAC,cAAc,CAAC;QAClD,MAAM,EAAE,MAAM,CAAC,cAAc,CAAC,MAAM,CAAC;QACrC,MAAM,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,MAAoC,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC;QAC9F,MAAM,EAAE,QAAQ;KACjB,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,KAAK,CAAA;AACd,CAAC,CACF,CAAA"}

package/dist/branch.d.ts

@@ -0,0 +1,4 @@
+import type { Sequence } from "./Sequence.ts";
+import { Strand } from "./Strand.ts";
+/** Isolate the effect with a new strand in context. */
+export declare const branch: Sequence<never, Strand>;

package/dist/branch.js

@@ -0,0 +1,18 @@
+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 { sequence } from "./sequence_.js";
+import { Strand } from "./Strand.js";
+/** Isolate the effect with a new strand in context. */
+export const branch = 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(),
+        messages: parent.messages.slice(),
+        tools: parent.tools.slice(),
+    });
+})));
+//# sourceMappingURL=branch.js.map

package/dist/branch.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"branch.js","sourceRoot":"","sources":["../branch.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AACvC,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,iBAAiB,CAAA;AAChD,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AACvC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AAGvC,OAAO,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAA;AACzC,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAA;AAEpC,uDAAuD;AACvD,MAAM,CAAC,MAAM,MAAM,GAA4B,IAAI,CACjD,QAAQ,EACR,MAAM,CAAC,oBAAoB,CACzB,MAAM,EACN,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IAClB,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,MAAM,CAAA;IAC5B,OAAO,MAAM,CAAC,EAAE,CAAC;QACf,MAAM,EAAE,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC;QAC3B,MAAM,EAAE,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC;QAC3C,MAAM,EAAE,KAAK,CAAC,CAAC,MAAM,CAAC,SAAS,EAAU;QACzC,QAAQ,EAAE,MAAM,CAAC,QAAQ,CAAC,KAAK,EAAE;QACjC,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC,KAAK,EAAE;KAC5B,CAAC,CAAA;AACJ,CAAC,CAAC,CACH,CACF,CAAA"}

package/dist/clear.d.ts

@@ -0,0 +1,5 @@
+import { Message } from "@effect/ai/AiInput";
+import * as Effect from "effect/Effect";
+import { Strand } from "./Strand.ts";
+/** Clear the strand's conversation. */
+export declare const clear: Effect.Effect<Array<Message>, never, Strand>;

package/dist/clear.js

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

package/dist/clear.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"clear.js","sourceRoot":"","sources":["../clear.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,oBAAoB,CAAA;AAC5C,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AACvC,OAAO,EAAE,eAAe,EAAE,MAAM,aAAa,CAAA;AAC7C,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAA;AAEpC,uCAAuC;AACvC,MAAM,CAAC,MAAM,KAAK,GAAiD,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IACrF,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,MAAM,CAAA;IAC5B,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,GAAG,MAAM,CAAA;IACnC,MAAM,CAAC,QAAQ,GAAG,EAAE,CAAA;IACpB,KAAK,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,eAAe,CAAC,IAAI,CAAC;QACzC,OAAO,EAAE,QAAQ;KAClB,CAAC,CAAC,CAAA;IACH,OAAO,QAAQ,CAAA;AACjB,CAAC,CAAC,CAAA"}

package/dist/events.d.ts

@@ -1,5 +1,5 @@
 import * as Stream from "effect/Stream";
 import type { LEvent } from "./LEvent";
 import { Strand } from "./Strand.ts";
-/** Event stream underlying the current strand. */
+/** Get a new event stream of the events of the current strand. */
 export declare const events: Stream.Stream<LEvent, never, Strand>;

package/dist/events.js

@@ -1,6 +1,6 @@
 import * as Effect from "effect/Effect";
 import * as Stream from "effect/Stream";
 import { Strand } from "./Strand.js";
-/** Event stream underlying the current strand. */
+/** Get a new event stream of the events of the current strand. */
 export const events = Stream.unwrap(Effect.map(Strand, ({ events }) => Stream.fromPubSub(events)));
 //# sourceMappingURL=events.js.map

package/dist/events.js.map

@@ -1 +1 @@
-{"version":3,"file":"events.js","sourceRoot":"","sources":["../events.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AACvC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AAEvC,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAA;AAEpC,kDAAkD;AAClD,MAAM,CAAC,MAAM,MAAM,GAAyC,MAAM,CAAC,MAAM,CACvE,MAAM,CAAC,GAAG,CAAC,MAAM,EAAE,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,MAAM,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAC9D,CAAA"}
+{"version":3,"file":"events.js","sourceRoot":"","sources":["../events.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AACvC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AAEvC,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAA;AAEpC,kEAAkE;AAClE,MAAM,CAAC,MAAM,MAAM,GAAyC,MAAM,CAAC,MAAM,CACvE,MAAM,CAAC,GAAG,CAAC,MAAM,EAAE,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,MAAM,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAC9D,CAAA"}

package/dist/index.d.ts

@@ -1,3 +1,4 @@
 export * as L from "./L.ts";
 export * from "./LEvent.ts";
+export * from "./pretty.ts";
 export * from "./Strand.ts";

package/dist/index.js

@@ -1,4 +1,5 @@
 export * as L from "./L.js";
 export * from "./LEvent.js";
+export * from "./pretty.js";
 export * from "./Strand.js";
 //# sourceMappingURL=index.js.map

package/dist/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../index.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,CAAC,MAAM,QAAQ,CAAA;AAC3B,cAAc,aAAa,CAAA;AAC3B,cAAc,aAAa,CAAA"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../index.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,CAAC,MAAM,QAAQ,CAAA;AAC3B,cAAc,aAAa,CAAA;AAC3B,cAAc,aAAa,CAAA;AAC3B,cAAc,aAAa,CAAA"}

package/dist/internal/JsonValue.d.ts

@@ -0,0 +1,5 @@
+export type JsonValue = null | boolean | number | string | JsonValueArray | JsonValueObject;
+export type JsonValueArray = Array<JsonValue> | ReadonlyArray<JsonValue>;
+export type JsonValueObject = {
+    [key: string]: JsonValue;
+};

package/dist/internal/JsonValue.js

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=JsonValue.js.map

package/dist/internal/JsonValue.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"JsonValue.js","sourceRoot":"","sources":["../../internal/JsonValue.ts"],"names":[],"mappings":""}

package/dist/{Taggable.d.ts → internal/Taggable.d.ts}

@@ -3,7 +3,7 @@ export type Taggable<T> = {
     (template: TemplateStringsArray, ...substitutions: Array<unknown>): T;
     (template: string | TemplateStringsArray, ...substitutions: Array<unknown>): T;
 };
-export type OptionallyTaggable<T> = {
+export type TaggableNullable<T> = {
     (value?: string | undefined): T;
     (template: TemplateStringsArray, ...substitutions: Array<unknown>): T;
     (template?: string | TemplateStringsArray | undefined, ...substitutions: Array<unknown>): T;

package/dist/internal/Taggable.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Taggable.js","sourceRoot":"","sources":["../../internal/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/messages.d.ts

@@ -0,0 +1,5 @@
+import type { Message } from "@effect/ai/AiInput";
+import * as Effect from "effect/Effect";
+import { Strand } from "./Strand.ts";
+/** Get a copy of the current list of messages. */
+export declare const messages: Effect.Effect<Array<Message>, never, Strand>;