liminal 0.16.0 → 0.17.1

package/dist/Thread.d.ts

@@ -1,55 +0,0 @@
-import * as Option from "effect/Option";
-import { type Pipeable } from "effect/Pipeable";
-import * as PubSub from "effect/PubSub";
-import * as Schema from "effect/Schema";
-import type { Mutable } from "effect/Types";
-import type { LEvent } from "./LEvent.ts";
-import type { NeverTool } from "./util/NeverTool.ts";
-import type { Sequencer } from "./util/Sequencer.ts";
-export declare const ThreadFqnTypeId: unique symbol;
-export declare const ThreadFqn: Schema.brand<typeof Schema.String, typeof ThreadFqnTypeId>;
-export type ThreadFqn = typeof ThreadFqn["Type"];
-declare const ThreadState_base: Schema.Class<ThreadState, {
-    /** The key with which the thread is referenced by others. */
-    fqn: Schema.Option<Schema.brand<typeof Schema.String, typeof ThreadFqnTypeId>>;
-    /** The system prompt to be passed along to the model. */
-    system: Schema.Option<typeof Schema.String>;
-    /** The messages based off of which the model infers the next message. */
-    messages: Schema.mutable<Schema.Array$<Schema.Union<[typeof import("@effect/ai/AiInput").UserMessage, typeof import("@effect/ai/AiInput").AssistantMessage, typeof import("@effect/ai/AiInput").ToolMessage]>>>;
-}, Schema.Struct.Encoded<{
-    /** The key with which the thread is referenced by others. */
-    fqn: Schema.Option<Schema.brand<typeof Schema.String, typeof ThreadFqnTypeId>>;
-    /** The system prompt to be passed along to the model. */
-    system: Schema.Option<typeof Schema.String>;
-    /** The messages based off of which the model infers the next message. */
-    messages: Schema.mutable<Schema.Array$<Schema.Union<[typeof import("@effect/ai/AiInput").UserMessage, typeof import("@effect/ai/AiInput").AssistantMessage, typeof import("@effect/ai/AiInput").ToolMessage]>>>;
-}>, never, {
-    readonly messages: (import("@effect/ai/AiInput").UserMessage | import("@effect/ai/AiInput").AssistantMessage | import("@effect/ai/AiInput").ToolMessage)[];
-} & {
-    readonly fqn: Option.Option<string & import("effect/Brand").Brand<typeof ThreadFqnTypeId>>;
-} & {
-    readonly system: Option.Option<string>;
-}, {}, {}>;
-export declare class ThreadState extends ThreadState_base {
-    static default: () => ThreadState;
-}
-export interface ThreadInit {
-    /** The parent thread. */
-    parent: Option.Option<Thread>;
-    /** The pubsub with which thread-specific events are emitted. */
-    events: PubSub.PubSub<LEvent>;
-    /** The state of the current thread. */
-    state: Mutable<ThreadState>;
-    /** The tools to be made accessible to the model. */
-    tools: Option.Option<Set<NeverTool>>;
-}
-export declare const ThreadTypeId: unique symbol;
-export type ThreadTypeId = typeof ThreadTypeId;
-interface ThreadMembers extends ThreadInit, Pipeable {
-    readonly [ThreadTypeId]: ThreadTypeId;
-}
-/** A conversation isolate. */
-export interface Thread extends Sequencer<Thread>, ThreadMembers {
-}
-export declare const Thread: (init: ThreadInit) => Thread;
-export {};

package/dist/Thread.js

@@ -1,38 +0,0 @@
-import { Message } from "@effect/ai/AiInput";
-import * as Effect from "effect/Effect";
-import * as Option from "effect/Option";
-import { pipeArguments } from "effect/Pipeable";
-import * as PubSub from "effect/PubSub";
-import * as Schema from "effect/Schema";
-import { Self } from "./L/Self.js";
-import { sequence } from "./L/sequence.js";
-import { prefix } from "./util/prefix.js";
-export const ThreadFqnTypeId = Symbol.for(prefix("ThreadFqn"));
-export const ThreadFqn = Schema.String.pipe(Schema.brand(ThreadFqnTypeId));
-export class ThreadState extends Schema.Class(prefix("ThreadState"))({
-    /** The key with which the thread is referenced by others. */
-    fqn: Schema.Option(ThreadFqn),
-    /** The system prompt to be passed along to the model. */
-    system: Schema.Option(Schema.String),
-    /** The messages based off of which the model infers the next message. */
-    messages: Schema.Array(Message).pipe(Schema.mutable),
-}) {
-    static default = () => ThreadState.make({
-        fqn: Option.none(),
-        system: Option.none(),
-        messages: [],
-    });
-}
-export const ThreadTypeId = Symbol.for(prefix("Thread"));
-export const Thread = (init) => {
-    const members = {
-        [ThreadTypeId]: ThreadTypeId,
-        ...init,
-        pipe() {
-            return pipeArguments(self, arguments);
-        },
-    };
-    const self = Object.assign(((...args) => sequence(...args).pipe(Effect.provideService(Self, self))), members);
-    return self;
-};
-//# sourceMappingURL=Thread.js.map

package/dist/Thread.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"Thread.js","sourceRoot":"","sources":["../Thread.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,oBAAoB,CAAA;AAC5C,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AACvC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AACvC,OAAO,EAAiB,aAAa,EAAE,MAAM,iBAAiB,CAAA;AAC9D,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AACvC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AAEvC,OAAO,EAAE,IAAI,EAAE,MAAM,aAAa,CAAA;AAClC,OAAO,EAAE,QAAQ,EAAE,MAAM,iBAAiB,CAAA;AAG1C,OAAO,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAA;AAGzC,MAAM,CAAC,MAAM,eAAe,GAAkB,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,CAAA;AAC7E,MAAM,CAAC,MAAM,SAAS,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,eAAe,CAAC,CAAC,CAAA;AAG1E,MAAM,OAAO,WAAY,SAAQ,MAAM,CAAC,KAAK,CAAc,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC;IAChF,6DAA6D;IAC7D,GAAG,EAAE,MAAM,CAAC,MAAM,CAAC,SAAS,CAAC;IAC7B,yDAAyD;IACzD,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC;IACpC,yEAAyE;IACzE,QAAQ,EAAE,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC;CACrD,CAAC;IACA,MAAM,CAAC,OAAO,GAAG,GAAgB,EAAE,CACjC,WAAW,CAAC,IAAI,CAAC;QACf,GAAG,EAAE,MAAM,CAAC,IAAI,EAAE;QAClB,MAAM,EAAE,MAAM,CAAC,IAAI,EAAE;QACrB,QAAQ,EAAE,EAAE;KACb,CAAC,CAAA;;AAcN,MAAM,CAAC,MAAM,YAAY,GAAkB,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAA;AAUvE,MAAM,CAAC,MAAM,MAAM,GAAG,CAAC,IAAgB,EAAU,EAAE;IACjD,MAAM,OAAO,GAAG;QACd,CAAC,YAAY,CAAC,EAAE,YAAY;QAC5B,GAAG,IAAI;QACP,IAAI;YACF,OAAO,aAAa,CAAC,IAAI,EAAE,SAAS,CAAC,CAAA;QACvC,CAAC;KACsB,CAAA;IACzB,MAAM,IAAI,GAAG,MAAM,CAAC,MAAM,CACxB,CAAC,CAAC,GAAG,IAAI,EAAE,EAAE,CAAC,QAAQ,CAAC,GAAG,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,cAAc,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAA6B,EACpG,OAAO,CACE,CAAA;IACX,OAAO,IAAI,CAAA;AACb,CAAC,CAAA"}

package/dist/patterns/Debate.d.ts

@@ -1 +0,0 @@
-export {};

package/dist/patterns/Debate.js

@@ -1,3 +0,0 @@
-// TODO: utilize `Entity` and `Relation`
-export {};
-//# sourceMappingURL=Debate.js.map

package/dist/patterns/Debate.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"Debate.js","sourceRoot":"","sources":["../../patterns/Debate.ts"],"names":[],"mappings":"AAAA,wCAAwC;AACxC,OAAO,EAAE,CAAA"}

package/dist/patterns/Model.d.ts

@@ -1,6 +0,0 @@
-import type { AiError } from "@effect/ai/AiError";
-import type { AiLanguageModel } from "@effect/ai/AiLanguageModel";
-import type { AiModel } from "@effect/ai/AiModel";
-import * as Effect from "effect/Effect";
-import type { Thread } from "../Thread.ts";
-export declare const coalesce: <E, R, M extends Array<AiModel<any, any>>>(effect: Effect.Effect<any, E, R>, models: M) => Effect.Effect<string, AiError | E, Thread | AiLanguageModel | ([M[number]] extends [AiModel<any, infer R>] ? R : never)>;

package/dist/patterns/Model.js

@@ -1,14 +0,0 @@
-import * as Effect from "effect/Effect";
-import * as L from "../L/L.js";
-export const coalesce = Effect.fn(function* (effect, models) {
-    const all = yield* Effect.all(models.map((model) => effect.pipe(Effect.provide(model))));
-    yield* L.user `
-      Coalesce the following items into a single item:
-
-      ---
-
-      ${all.map((item) => JSON.stringify(item, null, 2)).join("\n\n---")}
-    `;
-    return yield* L.assistant;
-});
-//# sourceMappingURL=Model.js.map

package/dist/patterns/Model.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"Model.js","sourceRoot":"","sources":["../../patterns/Model.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AACvC,OAAO,KAAK,CAAC,MAAM,WAAW,CAAA;AAG9B,MAAM,CAAC,MAAM,QAAQ,GAOjB,MAAM,CAAC,EAAE,CACX,QAAQ,CAAC,EAAC,MAAM,EAAE,MAAM;IACtB,MAAM,GAAG,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAEtF,CAAA;IACD,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAA;;;;;QAKT,GAAG,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC;KACnE,CAAA;IACD,OAAO,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,CAAA;AAC3B,CAAC,CACF,CAAA"}

package/dist/patterns/Route.d.ts

@@ -1,3 +0,0 @@
-import * as Effect from "effect/Effect";
-import { Thread } from "../Thread.ts";
-export declare const byDescription: <R extends Record<string, Effect.All.EffectAny>>(routes: R) => Effect.Effect<Effect.Effect.Success<R[keyof R]>, ([R[keyof R]] extends [never] ? never : Effect.Effect.Error<R[keyof R]>), ([R[keyof R]] extends [never] ? never : Effect.Effect.Context<R[keyof R]>) | Thread>;

package/dist/patterns/Route.js

@@ -1,14 +0,0 @@
-import * as Effect from "effect/Effect";
-import * as Schema from "effect/Schema";
-import * as L from "../L/L.js";
-import { Thread } from "../Thread.js";
-export const byDescription = Effect.fnUntraced(function* (routes) {
-    const descriptions = Object.keys(routes);
-    const description = yield* L.branch(L.user `
-      Which of the following descriptions best matches the current conversation?
-
-      - ${descriptions.join("\n -")}
-    `, L.assistantSchema(Schema.Literal(...descriptions)));
-    return yield* routes[description];
-});
-//# sourceMappingURL=Route.js.map

package/dist/patterns/Route.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"Route.js","sourceRoot":"","sources":["../../patterns/Route.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AACvC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AACvC,OAAO,KAAK,CAAC,MAAM,WAAW,CAAA;AAC9B,OAAO,EAAE,MAAM,EAAE,MAAM,cAAc,CAAA;AAErC,MAAM,CAAC,MAAM,aAAa,GAItB,MAAM,CAAC,UAAU,CAAC,QAAQ,CAAC,EAAC,MAAM;IACpC,MAAM,YAAY,GAAG,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAA;IACxC,MAAM,WAAW,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CACjC,CAAC,CAAC,IAAI,CAAA;;;UAGA,YAAY,CAAC,IAAI,CAAC,MAAM,CAAC;KAC9B,EACD,CAAC,CAAC,eAAe,CAAC,MAAM,CAAC,OAAO,CAAC,GAAG,YAAY,CAAC,CAAC,CACnD,CAAA;IACD,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,WAAW,CAAE,CAAA;AACpC,CAAC,CAAC,CAAA"}

package/dist/util/JsonValue.d.ts

@@ -1,8 +0,0 @@
-import * as Effect from "effect/Effect";
-import * as Schema from "effect/Schema";
-export type JsonValue = null | boolean | number | string | JsonValueArray | JsonValueObject;
-export type JsonValueArray = Array<JsonValue> | ReadonlyArray<JsonValue>;
-export type JsonValueObject = {
-    [key: string]: JsonValue;
-};
-export declare const encodeJsonc: <A, I extends JsonValue>(schema: Schema.Schema<A, I>) => (value: A) => Effect.Effect<string>;

package/dist/util/JsonValue.js

@@ -1,109 +0,0 @@
-import * as Effect from "effect/Effect";
-import { pipe } from "effect/Function";
-import * as Option from "effect/Option";
-import * as Schema from "effect/Schema";
-import * as SchemaAST from "effect/SchemaAST";
-export const encodeJsonc = (schema) => {
-    const encoder = encodeAst(SchemaAST.encodedBoundAST(schema.ast));
-    return (value) => encoder(value, new EncodeJsoncContext(0));
-};
-class EncodeJsoncContext {
-    depth;
-    indentation;
-    childIndentation;
-    constructor(depth) {
-        this.depth = depth;
-        this.indentation = " ".repeat(depth * 2);
-        this.childIndentation = " ".repeat((depth + 1) * 2);
-    }
-    next = () => new EncodeJsoncContext(this.depth + 1);
-    comment = (type) => Option.match(SchemaAST.getDescriptionAnnotation(type), {
-        onSome: (v) => {
-            v = v.trim();
-            if (v) {
-                return `// ${v}\n${this.childIndentation}`;
-            }
-            return "";
-        },
-        onNone: () => "",
-    });
-}
-const encodeAst = (ast, refinement) => {
-    switch (ast._tag) {
-        case "TypeLiteral": {
-            return Effect.fnUntraced(function* (value, ctx) {
-                const props = yield* Effect.all(ast.propertySignatures.map(Effect.fnUntraced(function* ({ name, type }) {
-                    if (typeof name === "symbol")
-                        throw 0;
-                    const child = yield* encodeAst(type)(value[name], ctx.next());
-                    return `${ctx.comment(refinement ?? type)}${name}: ${child}`;
-                }))).pipe(Effect.map((v) => v.join(`,\n${ctx.childIndentation}`)));
-                return `{\n${ctx.childIndentation}${props}\n${ctx.indentation}}`;
-            });
-        }
-        case "StringKeyword": {
-            return (value) => Effect.succeed(`"${value}"`);
-        }
-        case "BooleanKeyword":
-        case "NumberKeyword": {
-            return (value) => Effect.succeed(String(value));
-        }
-        case "Refinement": {
-            return encodeAst(ast.from, refinement ?? ast);
-        }
-        case "UnknownKeyword":
-        case "AnyKeyword": {
-            return (value, ctx) => Effect.succeed(JSON
-                .stringify(value, null, 2)
-                .split("\n")
-                .map((line, i) => i ? ctx.indentation.concat(line) : line)
-                .join("\n"));
-        }
-        case "Union": {
-            const { types } = ast;
-            const guards = types.map((ast) => pipe(ast, Schema.make, Schema.is));
-            return (value, ctx) => {
-                for (let i = 0; i < types.length; i++) {
-                    const guard = guards[i];
-                    if (guard(value)) {
-                        return encodeAst(types[i])(value, ctx);
-                    }
-                }
-                throw 0;
-            };
-        }
-        case "Literal": {
-            const { literal } = ast;
-            const v = (() => {
-                switch (typeof literal) {
-                    case "boolean":
-                    case "number": {
-                        return String(literal);
-                    }
-                    case "string": {
-                        return `"${literal}"`;
-                    }
-                }
-                if (literal === null) {
-                    return "null";
-                }
-                console.log({ literal });
-                throw 0;
-            })();
-            return () => Effect.succeed(v);
-        }
-        case "TupleType": {
-            const { elements, rest } = ast;
-            return (value, ctx) => Effect.all((elements.length ? elements : rest).map(Effect.fnUntraced(function* (element, i) {
-                const child = yield* encodeAst(element.type)(value[i], ctx.next());
-                return `${ctx.comment(refinement ?? element.type)}${child}`;
-            }))).pipe(Effect.map((v) => `[\n${ctx.childIndentation}${v.join(`,\n${ctx.childIndentation}`)}\n${ctx.indentation}]`));
-        }
-        case "Suspend": {
-            return encodeAst(ast.f());
-        }
-    }
-    console.log({ ast });
-    throw 0;
-};
-//# sourceMappingURL=JsonValue.js.map

package/dist/util/JsonValue.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"JsonValue.js","sourceRoot":"","sources":["../../util/JsonValue.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AACvC,OAAO,EAAE,IAAI,EAAE,MAAM,iBAAiB,CAAA;AACtC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AACvC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AACvC,OAAO,KAAK,SAAS,MAAM,kBAAkB,CAAA;AAQ7C,MAAM,CAAC,MAAM,WAAW,GAEmB,CAAC,MAAM,EAAE,EAAE;IACpD,MAAM,OAAO,GAAG,SAAS,CAAC,SAAS,CAAC,eAAe,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAA;IAChE,OAAO,CAAC,KAAK,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,EAAE,IAAI,kBAAkB,CAAC,CAAC,CAAC,CAAC,CAAA;AAC7D,CAAC,CAAA;AAED,MAAM,kBAAkB;IACb,KAAK,CAAQ;IACb,WAAW,CAAQ;IACnB,gBAAgB,CAAQ;IACjC,YAAY,KAAa;QACvB,IAAI,CAAC,KAAK,GAAG,KAAK,CAAA;QAClB,IAAI,CAAC,WAAW,GAAG,GAAG,CAAC,MAAM,CAAC,KAAK,GAAG,CAAC,CAAC,CAAA;QACxC,IAAI,CAAC,gBAAgB,GAAG,GAAG,CAAC,MAAM,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAA;IACrD,CAAC;IAED,IAAI,GAAG,GAAG,EAAE,CAAC,IAAI,kBAAkB,CAAC,IAAI,CAAC,KAAK,GAAG,CAAC,CAAC,CAAA;IAEnD,OAAO,GAAG,CAAC,IAAmB,EAAU,EAAE,CACxC,MAAM,CAAC,KAAK,CAAC,SAAS,CAAC,wBAAwB,CAAC,IAAI,CAAC,EAAE;QACrD,MAAM,EAAE,CAAC,CAAC,EAAE,EAAE;YACZ,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,CAAA;YACZ,IAAI,CAAC,EAAE,CAAC;gBACN,OAAO,MAAM,CAAC,KAAK,IAAI,CAAC,gBAAgB,EAAE,CAAA;YAC5C,CAAC;YACD,OAAO,EAAE,CAAA;QACX,CAAC;QACD,MAAM,EAAE,GAAG,EAAE,CAAC,EAAE;KACjB,CAAC,CAAA;CACL;AAED,MAAM,SAAS,GAAG,CAChB,GAAkB,EAClB,UAAiC,EACmC,EAAE;IACtE,QAAQ,GAAG,CAAC,IAAI,EAAE,CAAC;QACjB,KAAK,aAAa,CAAC,CAAC,CAAC;YACnB,OAAO,MAAM,CAAC,UAAU,CAAC,QAAQ,CAAC,EAAC,KAAK,EAAE,GAAG;gBAC3C,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,GAAG,CAC7B,GAAG,CAAC,kBAAkB,CAAC,GAAG,CACxB,MAAM,CAAC,UAAU,CAAC,QAAQ,CAAC,EAAC,EAAE,IAAI,EAAE,IAAI,EAAE;oBACxC,IAAI,OAAO,IAAI,KAAK,QAAQ;wBAAE,MAAM,CAAC,CAAA;oBACrC,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,CAAE,KAAe,CAAC,IAAI,CAAC,EAAE,GAAG,CAAC,IAAI,EAAE,CAAC,CAAA;oBACxE,OAAO,GAAG,GAAG,CAAC,OAAO,CAAC,UAAU,IAAI,IAAI,CAAC,GAAG,IAAI,KAAK,KAAK,EAAE,CAAA;gBAC9D,CAAC,CAAC,CACH,CACF,CAAC,IAAI,CACJ,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,gBAAgB,EAAE,CAAC,CAAC,CACxD,CAAA;gBACD,OAAO,MAAM,GAAG,CAAC,gBAAgB,GAAG,KAAK,KAAK,GAAG,CAAC,WAAW,GAAG,CAAA;YAClE,CAAC,CAAC,CAAA;QACJ,CAAC;QACD,KAAK,eAAe,CAAC,CAAC,CAAC;YACrB,OAAO,CAAC,KAAK,EAAE,EAAE,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,KAAK,GAAG,CAAC,CAAA;QAChD,CAAC;QACD,KAAK,gBAAgB,CAAC;QACtB,KAAK,eAAe,CAAC,CAAC,CAAC;YACrB,OAAO,CAAC,KAAK,EAAE,EAAE,CAAC,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAA;QACjD,CAAC;QACD,KAAK,YAAY,CAAC,CAAC,CAAC;YAClB,OAAO,SAAS,CAAC,GAAG,CAAC,IAAI,EAAE,UAAU,IAAI,GAAG,CAAC,CAAA;QAC/C,CAAC;QACD,KAAK,gBAAgB,CAAC;QACtB,KAAK,YAAY,CAAC,CAAC,CAAC;YAClB,OAAO,CAAC,KAAK,EAAE,GAAG,EAAE,EAAE,CACpB,MAAM,CAAC,OAAO,CACZ,IAAI;iBACD,SAAS,CAAC,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;iBACzB,KAAK,CAAC,IAAI,CAAC;iBACX,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,WAAW,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;iBACzD,IAAI,CAAC,IAAI,CAAC,CACd,CAAA;QACL,CAAC;QACD,KAAK,OAAO,CAAC,CAAC,CAAC;YACb,MAAM,EAAE,KAAK,EAAE,GAAG,GAAG,CAAA;YACrB,MAAM,MAAM,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAC/B,IAAI,CACF,GAAG,EACH,MAAM,CAAC,IAAI,EACX,MAAM,CAAC,EAAE,CACV,CACF,CAAA;YACD,OAAO,CAAC,KAAK,EAAE,GAAG,EAAE,EAAE;gBACpB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;oBACtC,MAAM,KAAK,GAAG,MAAM,CAAC,CAAC,CAAE,CAAA;oBACxB,IAAI,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC;wBACjB,OAAO,SAAS,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC,CAAC,KAAK,EAAE,GAAG,CAAC,CAAA;oBACzC,CAAC;gBACH,CAAC;gBACD,MAAM,CAAC,CAAA;YACT,CAAC,CAAA;QACH,CAAC;QACD,KAAK,SAAS,CAAC,CAAC,CAAC;YACf,MAAM,EAAE,OAAO,EAAE,GAAG,GAAG,CAAA;YACvB,MAAM,CAAC,GAAG,CAAC,GAAG,EAAE;gBACd,QAAQ,OAAO,OAAO,EAAE,CAAC;oBACvB,KAAK,SAAS,CAAC;oBACf,KAAK,QAAQ,CAAC,CAAC,CAAC;wBACd,OAAO,MAAM,CAAC,OAAO,CAAC,CAAA;oBACxB,CAAC;oBACD,KAAK,QAAQ,CAAC,CAAC,CAAC;wBACd,OAAO,IAAI,OAAO,GAAG,CAAA;oBACvB,CAAC;gBACH,CAAC;gBACD,IAAI,OAAO,KAAK,IAAI,EAAE,CAAC;oBACrB,OAAO,MAAM,CAAA;gBACf,CAAC;gBACD,OAAO,CAAC,GAAG,CAAC,EAAE,OAAO,EAAE,CAAC,CAAA;gBACxB,MAAM,CAAC,CAAA;YACT,CAAC,CAAC,EAAE,CAAA;YACJ,OAAO,GAAG,EAAE,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAA;QAChC,CAAC;QACD,KAAK,WAAW,CAAC,CAAC,CAAC;YACjB,MAAM,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,GAAG,CAAA;YAC9B,OAAO,CAAC,KAAK,EAAE,GAAG,EAAE,EAAE,CACpB,MAAM,CAAC,GAAG,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,CAChD,MAAM,CAAC,UAAU,CAAC,QAAQ,CAAC,EAAC,OAAO,EAAE,CAAC;gBACpC,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,SAAS,CAAC,OAAO,CAAC,IAAI,CAAC,CAAE,KAAe,CAAC,CAAC,CAAE,EAAE,GAAG,CAAC,IAAI,EAAE,CAAC,CAAA;gBAC9E,OAAO,GAAG,GAAG,CAAC,OAAO,CAAC,UAAU,IAAI,OAAO,CAAC,IAAI,CAAC,GAAG,KAAK,EAAE,CAAA;YAC7D,CAAC,CAAC,CACH,CAAC,CAAC,IAAI,CACL,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,GAAG,CAAC,gBAAgB,GAAG,CAAC,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,gBAAgB,EAAE,CAAC,KAAK,GAAG,CAAC,WAAW,GAAG,CAAC,CAC5G,CAAA;QACL,CAAC;QACD,KAAK,SAAS,CAAC,CAAC,CAAC;YACf,OAAO,SAAS,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAA;QAC3B,CAAC;IACH,CAAC;IACD,OAAO,CAAC,GAAG,CAAC,EAAE,GAAG,EAAE,CAAC,CAAA;IACpB,MAAM,CAAC,CAAA;AACT,CAAC,CAAA"}

package/dist/util/NeverTool.d.ts

@@ -1,3 +0,0 @@
-import * as AiTool from "@effect/ai/AiTool";
-import * as Schema from "effect/Schema";
-export type NeverTool = AiTool.AiTool<string, AiTool.AnyStructSchema, Schema.Schema.Any, Schema.Schema.Any, never>;

package/dist/util/NeverTool.js

@@ -1,3 +0,0 @@
-import * as AiTool from "@effect/ai/AiTool";
-import * as Schema from "effect/Schema";
-//# sourceMappingURL=NeverTool.js.map

package/dist/util/NeverTool.js.map

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

package/dist/util/Sequencer.d.ts

@@ -1,4 +0,0 @@
-import type * as Effect from "effect/Effect";
-export interface Sequencer<Provides = never, Requires = never> {
-    <Arg extends Array<Effect.All.EffectAny>>(...steps: Arg): Effect.Effect<Arg extends [] ? void : Arg extends [...infer _0, infer L extends Effect.All.EffectAny] ? Effect.Effect.Success<L> : never, Effect.Effect.Error<Arg[number]>, Exclude<Effect.Effect.Context<Arg[number]>, Provides> | Requires>;
-}

package/dist/util/Sequencer.js

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

package/dist/util/Sequencer.js.map

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

package/dist/util/Taggable.d.ts

@@ -1,5 +0,0 @@
-import * as Effect from "effect/Effect";
-export type Taggable<A, E, R> = <L extends Array<unknown>, E1 = never, R1 = never>(template?: TaggableArg0 | Effect.Effect<string | undefined, E1, R1>, ...substitutions: L) => Effect.Effect<A, ([ExtractEffect<L>] extends [never] ? never : Effect.Effect.Error<ExtractEffect<L>>) | E | E1, ([ExtractEffect<L>] extends [never] ? never : Effect.Effect.Context<ExtractEffect<L>>) | R | R1>;
-export type TaggableArg0 = TemplateStringsArray | string | undefined;
-type ExtractEffect<T extends Array<unknown>> = Extract<T[number], Effect.All.EffectAny>;
-export {};

package/dist/util/Taggable.js

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

package/dist/util/Taggable.js.map

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

package/dist/util/normalizeRaw.d.ts

@@ -1,4 +0,0 @@
-export declare const normalizeRaw: (strings: TemplateStringsArray, values: Array<unknown>) => string;
-export declare const normalizeTemplateStrings: (template: TemplateStringsArray) => {
-    readonly raw: ReadonlyArray<string>;
-};

package/dist/util/normalizeRaw.js

@@ -1,75 +0,0 @@
-const LEADING_SPACE_RE = /^([ \t]*)/;
-const INDENTATION_RE = /^\n([ \t]+)/;
-const ESCAPE_SEQ_RE = /\\([`${\\]|\n)/g;
-const LAST_INDENTATION_RE = /\n[ \t]+$/;
-export const normalizeRaw = (strings, values) => {
-    const fixedStrings = normalizeTemplateStrings(strings);
-    const rawArr = fixedStrings.raw;
-    const valuesLength = values.length;
-    const resultParts = new Array(Math.max(1, rawArr.length * 2 - 1));
-    let resultIndex = 0;
-    for (let i = 0; i < rawArr.length; i++) {
-        const str = rawArr[i] || "";
-        resultParts[resultIndex++] = str;
-        // Only process values for non-final segments.
-        if (i < valuesLength) {
-            const value = String(values[i]);
-            // If value has line breaks, we should indent it.
-            if (value.includes("\n")) {
-                const lastNewlineIndex = str.lastIndexOf("\n");
-                if (lastNewlineIndex !== -1) {
-                    // Extract the indentation after the last newline.
-                    const textAfterLastNewline = str.substring(lastNewlineIndex + 1);
-                    const leadingSpaceMatch = LEADING_SPACE_RE.exec(textAfterLastNewline);
-                    const indentationToApply = leadingSpaceMatch && leadingSpaceMatch[1] ? leadingSpaceMatch[1] : "";
-                    if (indentationToApply) {
-                        // Split the value into lines once.
-                        const lines = value.split("\n");
-                        const linesLength = lines.length;
-                        // First line doesn't need indentation.
-                        resultParts[resultIndex++] = lines[0];
-                        // Apply indentation to subsequent lines.
-                        for (let j = 1; j < linesLength; j++) {
-                            resultParts[resultIndex++] = "\n" + indentationToApply + lines[j];
-                        }
-                        continue;
-                    }
-                }
-            }
-            // For simple values or when no indentation is needed.
-            resultParts[resultIndex++] = value;
-        }
-    }
-    // Combine all parts at once
-    return resultParts.slice(0, resultIndex).join("");
-};
-export const normalizeTemplateStrings = (template) => {
-    const leadingIndentMatch = INDENTATION_RE.exec(template.raw[0]);
-    const indentation = leadingIndentMatch?.[1];
-    const rawLength = template.raw.length;
-    const raw = new Array(rawLength);
-    for (let i = 0; i < rawLength; i++) {
-        let str = template.raw[i];
-        // Only perform common indentation replacements if needed.
-        if (indentation) {
-            // Remove leading newline and indentation in the first segment.
-            if (i === 0) {
-                str = str.slice(indentation.length + 1);
-            }
-            // Use a simple string replacement with a regular expression for better performance.
-            str = str.replaceAll(`\n${indentation}`, "\n");
-        }
-        // Replace common escape sequences in a single pass.
-        str = str.replace(ESCAPE_SEQ_RE, (_match, char) => {
-            // Keep the escaped newline replacement separate for clarity.
-            return char === "\n" ? "" : char;
-        });
-        // Handle trailing spaces only for the last segment.
-        if (indentation && i === rawLength - 1) {
-            str = str.replace(LAST_INDENTATION_RE, "");
-        }
-        raw[i] = str;
-    }
-    return { raw };
-};
-//# sourceMappingURL=normalizeRaw.js.map

package/dist/util/normalizeRaw.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"normalizeRaw.js","sourceRoot":"","sources":["../../util/normalizeRaw.ts"],"names":[],"mappings":"AAAA,MAAM,gBAAgB,GAAG,WAAW,CAAA;AACpC,MAAM,cAAc,GAAG,aAAa,CAAA;AACpC,MAAM,aAAa,GAAG,iBAAiB,CAAA;AACvC,MAAM,mBAAmB,GAAG,WAAW,CAAA;AAEvC,MAAM,CAAC,MAAM,YAAY,GAAG,CAAC,OAA6B,EAAE,MAAsB,EAAU,EAAE;IAC5F,MAAM,YAAY,GAAG,wBAAwB,CAAC,OAAO,CAAC,CAAA;IACtD,MAAM,MAAM,GAAG,YAAY,CAAC,GAAG,CAAA;IAC/B,MAAM,YAAY,GAAG,MAAM,CAAC,MAAM,CAAA;IAElC,MAAM,WAAW,GAAG,IAAI,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,MAAM,CAAC,MAAM,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAA;IACjE,IAAI,WAAW,GAAG,CAAC,CAAA;IAEnB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACvC,MAAM,GAAG,GAAG,MAAM,CAAC,CAAC,CAAC,IAAI,EAAE,CAAA;QAC3B,WAAW,CAAC,WAAW,EAAE,CAAC,GAAG,GAAG,CAAA;QAEhC,8CAA8C;QAC9C,IAAI,CAAC,GAAG,YAAY,EAAE,CAAC;YACrB,MAAM,KAAK,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAA;YAE/B,iDAAiD;YACjD,IAAI,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;gBACzB,MAAM,gBAAgB,GAAG,GAAG,CAAC,WAAW,CAAC,IAAI,CAAC,CAAA;gBAE9C,IAAI,gBAAgB,KAAK,CAAC,CAAC,EAAE,CAAC;oBAC5B,kDAAkD;oBAClD,MAAM,oBAAoB,GAAG,GAAG,CAAC,SAAS,CAAC,gBAAgB,GAAG,CAAC,CAAC,CAAA;oBAChE,MAAM,iBAAiB,GAAG,gBAAgB,CAAC,IAAI,CAAC,oBAAoB,CAAC,CAAA;oBACrE,MAAM,kBAAkB,GAAG,iBAAiB,IAAI,iBAAiB,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAA;oBAEhG,IAAI,kBAAkB,EAAE,CAAC;wBACvB,mCAAmC;wBACnC,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,CAAA;wBAC/B,MAAM,WAAW,GAAG,KAAK,CAAC,MAAM,CAAA;wBAEhC,uCAAuC;wBACvC,WAAW,CAAC,WAAW,EAAE,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,CAAA;wBAErC,yCAAyC;wBACzC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,WAAW,EAAE,CAAC,EAAE,EAAE,CAAC;4BACrC,WAAW,CAAC,WAAW,EAAE,CAAC,GAAG,IAAI,GAAG,kBAAkB,GAAG,KAAK,CAAC,CAAC,CAAC,CAAA;wBACnE,CAAC;wBACD,SAAQ;oBACV,CAAC;gBACH,CAAC;YACH,CAAC;YACD,sDAAsD;YACtD,WAAW,CAAC,WAAW,EAAE,CAAC,GAAG,KAAK,CAAA;QACpC,CAAC;IACH,CAAC;IAED,4BAA4B;IAC5B,OAAO,WAAW,CAAC,KAAK,CAAC,CAAC,EAAE,WAAW,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;AACnD,CAAC,CAAA;AAED,MAAM,CAAC,MAAM,wBAAwB,GAAG,CAAC,QAA8B,EAErE,EAAE;IACF,MAAM,kBAAkB,GAAG,cAAc,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAE,CAAC,CAAA;IAChE,MAAM,WAAW,GAAG,kBAAkB,EAAE,CAAC,CAAC,CAAC,CAAA;IAE3C,MAAM,SAAS,GAAG,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAA;IACrC,MAAM,GAAG,GAAG,IAAI,KAAK,CAAC,SAAS,CAAC,CAAA;IAEhC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,SAAS,EAAE,CAAC,EAAE,EAAE,CAAC;QACnC,IAAI,GAAG,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAE,CAAA;QAC1B,0DAA0D;QAC1D,IAAI,WAAW,EAAE,CAAC;YAChB,+DAA+D;YAC/D,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;gBACZ,GAAG,GAAG,GAAG,CAAC,KAAK,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC,CAAC,CAAA;YACzC,CAAC;YACD,oFAAoF;YACpF,GAAG,GAAG,GAAG,CAAC,UAAU,CAAC,KAAK,WAAW,EAAE,EAAE,IAAI,CAAC,CAAA;QAChD,CAAC;QAED,oDAAoD;QACpD,GAAG,GAAG,GAAG,CAAC,OAAO,CAAC,aAAa,EAAE,CAAC,MAAM,EAAE,IAAI,EAAE,EAAE;YAChD,6DAA6D;YAC7D,OAAO,IAAI,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAA;QAClC,CAAC,CAAC,CAAA;QAEF,oDAAoD;QACpD,IAAI,WAAW,IAAI,CAAC,KAAK,SAAS,GAAG,CAAC,EAAE,CAAC;YACvC,GAAG,GAAG,GAAG,CAAC,OAAO,CAAC,mBAAmB,EAAE,EAAE,CAAC,CAAA;QAC5C,CAAC;QAED,GAAG,CAAC,CAAC,CAAC,GAAG,GAAG,CAAA;IACd,CAAC;IAED,OAAO,EAAE,GAAG,EAAE,CAAA;AAChB,CAAC,CAAA"}

package/dist/util/prefix.d.ts

@@ -1 +0,0 @@
-export declare const prefix: <K extends string>(key: K) => `liminal/${K}`;

package/dist/util/prefix.js

@@ -1,2 +0,0 @@
-export const prefix = (key) => `liminal/${key}`;
-//# sourceMappingURL=prefix.js.map

package/dist/util/prefix.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"prefix.js","sourceRoot":"","sources":["../../util/prefix.ts"],"names":[],"mappings":"AAAA,MAAM,CAAC,MAAM,MAAM,GAAG,CAAmB,GAAM,EAAE,EAAE,CAAC,WAAW,GAAG,EAAW,CAAA"}

package/patterns/Debate.ts

@@ -1,2 +0,0 @@
-// TODO: utilize `Entity` and `Relation`
-export {}

package/patterns/Model.ts

@@ -1,29 +0,0 @@
-import type { AiError } from "@effect/ai/AiError"
-import type { AiLanguageModel } from "@effect/ai/AiLanguageModel"
-import type { AiModel } from "@effect/ai/AiModel"
-import * as Effect from "effect/Effect"
-import * as L from "../L/L.ts"
-import type { Thread } from "../Thread.ts"
-
-export const coalesce: <E, R, M extends Array<AiModel<any, any>>>(
-  effect: Effect.Effect<any, E, R>,
-  models: M,
-) => Effect.Effect<
-  string,
-  AiError | E,
-  Thread | AiLanguageModel | ([M[number]] extends [AiModel<any, infer R>] ? R : never)
-> = Effect.fn(
-  function*(effect, models) {
-    const all = yield* Effect.all(models.map((model) => effect.pipe(Effect.provide(model)))) as Effect.Effect<
-      Array<unknown>
-    >
-    yield* L.user`
-      Coalesce the following items into a single item:
-
-      ---
-
-      ${all.map((item) => JSON.stringify(item, null, 2)).join("\n\n---")}
-    `
-    return yield* L.assistant
-  },
-)

package/patterns/Route.ts

@@ -1,21 +0,0 @@
-import * as Effect from "effect/Effect"
-import * as Schema from "effect/Schema"
-import * as L from "../L/L.ts"
-import { Thread } from "../Thread.ts"
-
-export const byDescription: <R extends Record<string, Effect.All.EffectAny>>(routes: R) => Effect.Effect<
-  Effect.Effect.Success<R[keyof R]>,
-  ([R[keyof R]] extends [never] ? never : Effect.Effect.Error<R[keyof R]>),
-  ([R[keyof R]] extends [never] ? never : Effect.Effect.Context<R[keyof R]>) | Thread
-> = Effect.fnUntraced(function*(routes) {
-  const descriptions = Object.keys(routes)
-  const description = yield* L.branch(
-    L.user`
-      Which of the following descriptions best matches the current conversation?
-
-      - ${descriptions.join("\n -")}
-    `,
-    L.assistantSchema(Schema.Literal(...descriptions)),
-  )
-  return yield* routes[description]!
-})

package/util/JsonValue.ts

@@ -1,144 +0,0 @@
-import * as Effect from "effect/Effect"
-import { pipe } from "effect/Function"
-import * as Option from "effect/Option"
-import * as Schema from "effect/Schema"
-import * as SchemaAST from "effect/SchemaAST"
-
-export type JsonValue = null | boolean | number | string | JsonValueArray | JsonValueObject
-
-export type JsonValueArray = Array<JsonValue> | ReadonlyArray<JsonValue>
-
-export type JsonValueObject = { [key: string]: JsonValue }
-
-export const encodeJsonc: <A, I extends JsonValue>(
-  schema: Schema.Schema<A, I>,
-) => (value: A) => Effect.Effect<string> = (schema) => {
-  const encoder = encodeAst(SchemaAST.encodedBoundAST(schema.ast))
-  return (value) => encoder(value, new EncodeJsoncContext(0))
-}
-
-class EncodeJsoncContext {
-  readonly depth: number
-  readonly indentation: string
-  readonly childIndentation: string
-  constructor(depth: number) {
-    this.depth = depth
-    this.indentation = " ".repeat(depth * 2)
-    this.childIndentation = " ".repeat((depth + 1) * 2)
-  }
-
-  next = () => new EncodeJsoncContext(this.depth + 1)
-
-  comment = (type: SchemaAST.AST): string =>
-    Option.match(SchemaAST.getDescriptionAnnotation(type), {
-      onSome: (v) => {
-        v = v.trim()
-        if (v) {
-          return `// ${v}\n${this.childIndentation}`
-        }
-        return ""
-      },
-      onNone: () => "",
-    })
-}
-
-const encodeAst = (
-  ast: SchemaAST.AST,
-  refinement?: SchemaAST.Refinement,
-): (value: unknown, ctx: EncodeJsoncContext) => Effect.Effect<string> => {
-  switch (ast._tag) {
-    case "TypeLiteral": {
-      return Effect.fnUntraced(function*(value, ctx) {
-        const props = yield* Effect.all(
-          ast.propertySignatures.map(
-            Effect.fnUntraced(function*({ name, type }) {
-              if (typeof name === "symbol") throw 0
-              const child = yield* encodeAst(type)((value as never)[name], ctx.next())
-              return `${ctx.comment(refinement ?? type)}${name}: ${child}`
-            }),
-          ),
-        ).pipe(
-          Effect.map((v) => v.join(`,\n${ctx.childIndentation}`)),
-        )
-        return `{\n${ctx.childIndentation}${props}\n${ctx.indentation}}`
-      })
-    }
-    case "StringKeyword": {
-      return (value) => Effect.succeed(`"${value}"`)
-    }
-    case "BooleanKeyword":
-    case "NumberKeyword": {
-      return (value) => Effect.succeed(String(value))
-    }
-    case "Refinement": {
-      return encodeAst(ast.from, refinement ?? ast)
-    }
-    case "UnknownKeyword":
-    case "AnyKeyword": {
-      return (value, ctx) =>
-        Effect.succeed(
-          JSON
-            .stringify(value, null, 2)
-            .split("\n")
-            .map((line, i) => i ? ctx.indentation.concat(line) : line)
-            .join("\n"),
-        )
-    }
-    case "Union": {
-      const { types } = ast
-      const guards = types.map((ast) =>
-        pipe(
-          ast,
-          Schema.make,
-          Schema.is,
-        )
-      )
-      return (value, ctx) => {
-        for (let i = 0; i < types.length; i++) {
-          const guard = guards[i]!
-          if (guard(value)) {
-            return encodeAst(types[i]!)(value, ctx)
-          }
-        }
-        throw 0
-      }
-    }
-    case "Literal": {
-      const { literal } = ast
-      const v = (() => {
-        switch (typeof literal) {
-          case "boolean":
-          case "number": {
-            return String(literal)
-          }
-          case "string": {
-            return `"${literal}"`
-          }
-        }
-        if (literal === null) {
-          return "null"
-        }
-        console.log({ literal })
-        throw 0
-      })()
-      return () => Effect.succeed(v)
-    }
-    case "TupleType": {
-      const { elements, rest } = ast
-      return (value, ctx) =>
-        Effect.all((elements.length ? elements : rest).map(
-          Effect.fnUntraced(function*(element, i) {
-            const child = yield* encodeAst(element.type)((value as never)[i]!, ctx.next())
-            return `${ctx.comment(refinement ?? element.type)}${child}`
-          }),
-        )).pipe(
-          Effect.map((v) => `[\n${ctx.childIndentation}${v.join(`,\n${ctx.childIndentation}`)}\n${ctx.indentation}]`),
-        )
-    }
-    case "Suspend": {
-      return encodeAst(ast.f())
-    }
-  }
-  console.log({ ast })
-  throw 0
-}