liminal 0.15.0 → 0.17.0

package/dist/util/JsonValue.js.map

@@ -1 +1 @@
-{"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,GAG2D,CAAC,GAAG,EAAE,UAAU,EAAE,EAAE;IAC5F,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"}
+{"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

@@ -0,0 +1,3 @@
+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

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

package/dist/util/NeverTool.js.map

@@ -0,0 +1 @@
+{"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/Taggable.d.ts

@@ -1,6 +1,6 @@
 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 declare const normalize: <A0 extends TaggableArg0 | Effect.Effect<string | undefined, any, any>, L extends Array<unknown>>(a0: A0, aRest: L) => Effect.Effect<string | (undefined extends A0 ? undefined : never)>;
-export {};
+import type { ExtractE, ExtractR } from "./extract.ts";
+import { type TemplateStringsArrayLike } from "./raw.ts";
+export type TaggableArg0 = TemplateStringsArrayLike | string | Effect.Effect<string, any, any>;
+export type TaggableArgRest<E0 extends TaggableArg0> = E0 extends TemplateStringsArrayLike ? Array<unknown> : [];
+export declare const normalize: <A0 extends TaggableArg0, ARest extends TaggableArgRest<A0>>(a0: A0, ...aRest: ARest) => Effect.Effect<string, ExtractE<A0 | ARest[number]>, ExtractR<A0 | ARest[number]>>;

package/dist/util/Taggable.js

@@ -1,18 +1,13 @@
 import * as Effect from "effect/Effect";
-import { normalizeRaw } from "./fixRaw.js";
-export const normalize = Effect.fnUntraced(function* (a0, aRest) {
-    const a0_ = Effect.isEffect(a0)
-        ? yield* a0
-        : a0;
-    if (!a0_)
-        return undefined;
-    const aRest_ = yield* Effect.all(aRest.map((v) => Effect.isEffect(v)
-        ? v
-        : Effect.succeed(v)));
-    return typeof a0_ === "string"
-        ? aRest_.length === 0
-            ? a0_
-            : [a0_, ...aRest_].join("")
-        : normalizeRaw(a0_, aRest_);
+import { YieldWrap } from "effect/Utils";
+import { raw } from "./raw.js";
+export const normalize = Effect.fnUntraced(function* (a0, ...aRest) {
+    if (Effect.isEffect(a0)) {
+        return yield* a0;
+    }
+    if (typeof a0 === "string") {
+        return a0;
+    }
+    return yield* raw(a0, ...aRest);
 });
 //# sourceMappingURL=Taggable.js.map

package/dist/util/Taggable.js.map

@@ -1 +1 @@
-{"version":3,"file":"Taggable.js","sourceRoot":"","sources":["../../util/Taggable.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AACvC,OAAO,EAAE,YAAY,EAAE,MAAM,aAAa,CAAA;AAe1C,MAAM,CAAC,MAAM,SAAS,GAMoD,MAAM,CAAC,UAAU,CAAC,QAAQ,CAAC,EAAC,EAAE,EAAE,KAAK;IAC7G,MAAM,GAAG,GAAiB,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC3C,CAAC,CAAC,KAAK,CAAC,CAAC,EAAiC;QAC1C,CAAC,CAAC,EAAE,CAAA;IACN,IAAI,CAAC,GAAG;QAAE,OAAO,SAAkB,CAAA;IACnC,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,GAAG,CAC9B,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CACd,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC;QAChB,CAAC,CAAC,CAAC;QACH,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CACtB,CAC+B,CAAA;IAClC,OAAO,OAAO,GAAG,KAAK,QAAQ;QAC5B,CAAC,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC;YACnB,CAAC,CAAC,GAAG;YACL,CAAC,CAAC,CAAC,GAAG,EAAE,GAAG,MAAM,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC;QAC7B,CAAC,CAAC,YAAY,CAAC,GAAG,EAAE,MAAM,CAAC,CAAA;AAC/B,CAAC,CAAC,CAAA"}
+{"version":3,"file":"Taggable.js","sourceRoot":"","sources":["../../util/Taggable.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AACvC,OAAO,EAAE,SAAS,EAAE,MAAM,cAAc,CAAA;AAExC,OAAO,EAAE,GAAG,EAAiC,MAAM,UAAU,CAAA;AAK7D,MAAM,CAAC,MAAM,SAAS,GAAG,MAAM,CAAC,UAAU,CAAC,QAAQ,CAAC,EAIlD,EAAM,EACN,GAAG,KAAY;IAYf,IAAI,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC,EAAE,CAAC;QACxB,OAAO,KAAK,CAAC,CAAC,EAAE,CAAA;IAClB,CAAC;IACD,IAAI,OAAO,EAAE,KAAK,QAAQ,EAAE,CAAC;QAC3B,OAAO,EAAE,CAAA;IACX,CAAC;IACD,OAAO,KAAK,CAAC,CAAC,GAAG,CAAC,EAAE,EAAE,GAAG,KAAK,CAAC,CAAA;AACjC,CAAC,CAAC,CAAA"}

package/dist/util/extract.d.ts

@@ -0,0 +1,3 @@
+import * as Effect from "effect/Effect";
+export type ExtractE<T> = [Extract<T, Effect.Effect<any, any, any>>] extends [never] ? never : Effect.Effect.Error<Extract<T, Effect.Effect<any, any, any>>>;
+export type ExtractR<T> = [Extract<T, Effect.Effect<any, any, any>>] extends [never] ? never : Effect.Effect.Context<Extract<T, Effect.Effect<any, any, any>>>;

package/dist/util/extract.js

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

package/dist/util/extract.js.map

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

package/dist/util/messageCodec.d.ts

@@ -0,0 +1,98 @@
+export declare const decode: (i: {
+    readonly _tag: "UserMessage";
+    readonly parts: readonly ({
+        readonly _tag: "TextPart";
+        readonly text: string;
+    } | {
+        readonly _tag: "ImagePart";
+        readonly data: string;
+        readonly mediaType?: string | undefined;
+    } | {
+        readonly _tag: "ImageUrlPart";
+        readonly url: string;
+    } | {
+        readonly _tag: "FilePart";
+        readonly data: string;
+        readonly name?: string | undefined;
+        readonly mediaType?: string | undefined;
+    } | {
+        readonly _tag: "FileUrlPart";
+        readonly url: string;
+    })[];
+    readonly userName?: string | undefined;
+} | {
+    readonly _tag: "AssistantMessage";
+    readonly parts: readonly ({
+        readonly _tag: "TextPart";
+        readonly text: string;
+    } | {
+        readonly _tag: "ReasoningPart";
+        readonly reasoningText: string;
+        readonly signature?: string | undefined;
+    } | {
+        readonly _tag: "RedactedReasoningPart";
+        readonly redactedText: string;
+    } | {
+        readonly _tag: "ToolCallPart";
+        readonly name: string;
+        readonly id: string;
+        readonly params: unknown;
+    })[];
+} | {
+    readonly _tag: "ToolMessage";
+    readonly parts: readonly {
+        readonly _tag: "ToolCallResultPart";
+        readonly name: string;
+        readonly id: string;
+        readonly result: unknown;
+    }[];
+}, overrideOptions?: import("effect/SchemaAST").ParseOptions) => import("effect/Effect").Effect<import("@effect/ai/AiInput").UserMessage | import("@effect/ai/AiInput").AssistantMessage | import("@effect/ai/AiInput").ToolMessage, import("effect/ParseResult").ParseError, never>;
+export declare const encode: (a: import("@effect/ai/AiInput").UserMessage | import("@effect/ai/AiInput").AssistantMessage | import("@effect/ai/AiInput").ToolMessage, overrideOptions?: import("effect/SchemaAST").ParseOptions) => import("effect/Effect").Effect<{
+    readonly _tag: "UserMessage";
+    readonly parts: readonly ({
+        readonly _tag: "TextPart";
+        readonly text: string;
+    } | {
+        readonly _tag: "ImagePart";
+        readonly data: string;
+        readonly mediaType?: string | undefined;
+    } | {
+        readonly _tag: "ImageUrlPart";
+        readonly url: string;
+    } | {
+        readonly _tag: "FilePart";
+        readonly data: string;
+        readonly name?: string | undefined;
+        readonly mediaType?: string | undefined;
+    } | {
+        readonly _tag: "FileUrlPart";
+        readonly url: string;
+    })[];
+    readonly userName?: string | undefined;
+} | {
+    readonly _tag: "AssistantMessage";
+    readonly parts: readonly ({
+        readonly _tag: "TextPart";
+        readonly text: string;
+    } | {
+        readonly _tag: "ReasoningPart";
+        readonly reasoningText: string;
+        readonly signature?: string | undefined;
+    } | {
+        readonly _tag: "RedactedReasoningPart";
+        readonly redactedText: string;
+    } | {
+        readonly _tag: "ToolCallPart";
+        readonly name: string;
+        readonly id: string;
+        readonly params: unknown;
+    })[];
+} | {
+    readonly _tag: "ToolMessage";
+    readonly parts: readonly {
+        readonly _tag: "ToolCallResultPart";
+        readonly name: string;
+        readonly id: string;
+        readonly result: unknown;
+    }[];
+}, import("effect/ParseResult").ParseError, never>;

package/dist/util/messageCodec.js

@@ -0,0 +1,5 @@
+import { Message } from "@effect/ai/AiInput";
+import * as Schema from "effect/Schema";
+export const decode = Schema.decode(Message);
+export const encode = Schema.encode(Message);
+//# sourceMappingURL=messageCodec.js.map

package/dist/util/messageCodec.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"messageCodec.js","sourceRoot":"","sources":["../../util/messageCodec.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,oBAAoB,CAAA;AAC5C,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AAEvC,MAAM,CAAC,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAA;AAC5C,MAAM,CAAC,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAA"}

package/dist/util/{fixRaw.js → normalizeRaw.js}

@@ -72,4 +72,4 @@ export const normalizeTemplateStrings = (template) => {
     }
     return { raw };
 };
-//# sourceMappingURL=fixRaw.js.map
+//# sourceMappingURL=normalizeRaw.js.map

package/dist/util/normalizeRaw.js.map

@@ -0,0 +1 @@
+{"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

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

package/dist/util/prefix.js

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

package/dist/util/prefix.js.map

@@ -0,0 +1 @@
+{"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/dist/util/raw.d.ts

@@ -0,0 +1,6 @@
+import * as Effect from "effect/Effect";
+import type { ExtractE, ExtractR } from "./extract.ts";
+export type TemplateStringsArrayLike = {
+    raw: readonly string[] | ArrayLike<string>;
+};
+export declare const raw: <Substitutions extends Array<unknown>>(template: TemplateStringsArrayLike, ...substitutions: Substitutions) => Effect.Effect<string, ExtractE<Substitutions[number]>, ExtractR<Substitutions[number]>>;

package/dist/util/raw.js

@@ -0,0 +1,5 @@
+import * as Effect from "effect/Effect";
+export const raw = Effect.fnUntraced(function* (template, ...substitutions) {
+    return String.raw(template, ...yield* Effect.all(substitutions.map((v) => Effect.isEffect(v) ? v : Effect.succeed(v))));
+});
+//# sourceMappingURL=raw.js.map

package/dist/util/raw.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"raw.js","sourceRoot":"","sources":["../../util/raw.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AAQvC,MAAM,CAAC,MAAM,GAAG,GAAG,MAAM,CAAC,UAAU,CAAC,QAAQ,CAAC,EAC5C,QAAkC,EAClC,GAAG,aAA4B;IAQ/B,OAAO,MAAM,CAAC,GAAG,CACf,QAAQ,EACR,GAAG,KAAK,CAAC,CAAE,MAAM,CAAC,GAAG,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAIxF,CACH,CAAA;AACH,CAAC,CAAC,CAAA"}

package/index.ts

@@ -1,4 +1,7 @@
-export * as L from "./L.ts"
+export * from "./Digest.ts"
+export * from "./Envelope.ts"
+export * as F from "./F/F.ts"
+export * as L from "./L/L.ts"
 export * from "./LEvent.ts"
-export * as LPretty from "./LPretty.ts"
-export * from "./Strand.ts"
+export * from "./Thread.ts"
+export * as messageCodec from "./util/messageCodec.ts"

package/package.json

@@ -1,20 +1,29 @@
 {
   "name": "liminal",
-  "version": "0.15.0",
+  "version": "0.17.0",
   "repository": {
     "type": "git",
     "url": "https://github.com/harrysolovay/liminal.git",
     "directory": "liminal"
   },
-  "peerDependencies": {
-    "@effect/ai": "^0.25.2",
-    "effect": "^3.17.7"
-  },
   "exports": {
-    ".": "./index.ts",
+    ".": {
+      "import": "./dist/index.js",
+      "bun": "./index.ts"
+    },
     "./package.json": "./package.json",
-    "./patterns/coalesce_models": "./patterns/coalesce_models.ts",
-    "./patterns/match_gist": "./patterns/match_gist.ts"
+    "./patterns/Route": {
+      "import": "./dist/patterns/Route.js",
+      "bun": "./patterns/Route.ts"
+    },
+    "./patterns/Model": {
+      "import": "./dist/patterns/Model.js",
+      "bun": "./patterns/Model.ts"
+    },
+    "./patterns/Debate": {
+      "import": "./dist/patterns/Debate.js",
+      "bun": "./patterns/Debate.ts"
+    }
   },
   "description": "An Effect AI toolkit for conversation state management.",
   "homepage": "https://liminal.land",
@@ -26,5 +35,9 @@
     "provenance": true
   },
   "sideEffects": false,
-  "type": "module"
+  "type": "module",
+  "peerDependencies": {
+    "@effect/ai": "^0.25.2",
+    "effect": "^3.17.7"
+  }
 }

package/patterns/Debate.ts

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

package/patterns/{coalesce_models.ts → Model.ts}

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

package/patterns/{match_gist.ts → Route.ts}

@@ -1,23 +1,25 @@
 import * as Effect from "effect/Effect"
 import * as Schema from "effect/Schema"
-import { assistantSchema } from "../assistantSchema.ts"
-import { branch } from "../branch.ts"
-import { Strand } from "../Strand.ts"
-import { user } from "../user.ts"
+import * as L from "../L/L.ts"
+import { Thread } from "../Thread.ts"
 
-export const matchGist: <R extends Record<string, Effect.All.EffectAny>>(routes: R) => Effect.Effect<
+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]>) | Strand
+  ([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* branch(
-    user`
+  const description = yield* L.line(
+    L.user`
       Which of the following descriptions best matches the current conversation?
 
       - ${descriptions.join("\n -")}
     `,
-    assistantSchema(Schema.Literal(...descriptions)),
+    L.assistantSchema(Schema.Literal(...descriptions)),
+  ).pipe(
+    L.provide(
+      L.branch,
+    ),
   )
   return yield* routes[description]!
 })

package/util/JsonValue.ts

@@ -42,10 +42,10 @@ class EncodeJsoncContext {
     })
 }
 
-const encodeAst: (
+const encodeAst = (
   ast: SchemaAST.AST,
   refinement?: SchemaAST.Refinement,
-) => (value: unknown, ctx: EncodeJsoncContext) => Effect.Effect<string> = (ast, refinement) => {
+): (value: unknown, ctx: EncodeJsoncContext) => Effect.Effect<string> => {
   switch (ast._tag) {
     case "TypeLiteral": {
       return Effect.fnUntraced(function*(value, ctx) {

package/util/NeverTool.ts

@@ -0,0 +1,10 @@
+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/util/Taggable.ts

@@ -1,40 +1,33 @@
 import * as Effect from "effect/Effect"
-import { normalizeRaw } from "./fixRaw.ts"
+import { YieldWrap } from "effect/Utils"
+import type { ExtractE, ExtractR } from "./extract.ts"
+import { raw, type TemplateStringsArrayLike } from "./raw.ts"
 
-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 = TemplateStringsArrayLike | string | Effect.Effect<string, any, any>
+export type TaggableArgRest<E0 extends TaggableArg0> = E0 extends TemplateStringsArrayLike ? Array<unknown> : []
 
-export type TaggableArg0 = TemplateStringsArray | string | undefined
-
-type ExtractEffect<T extends Array<unknown>> = Extract<T[number], Effect.All.EffectAny>
-
-export const normalize: <
-  A0 extends TaggableArg0 | Effect.Effect<string | undefined, any, any>,
-  L extends Array<unknown>,
+export const normalize = Effect.fnUntraced(function*<
+  A0 extends TaggableArg0,
+  ARest extends TaggableArgRest<A0>,
 >(
   a0: A0,
-  aRest: L,
-) => Effect.Effect<string | (undefined extends A0 ? undefined : never)> = Effect.fnUntraced(function*(a0, aRest) {
-  const a0_: TaggableArg0 = Effect.isEffect(a0)
-    ? yield* a0 as Effect.Effect<TaggableArg0>
-    : a0
-  if (!a0_) return undefined as never
-  const aRest_ = yield* Effect.all(
-    aRest.map((v) =>
-      Effect.isEffect(v)
-        ? v
-        : Effect.succeed(v)
-    ),
-  ) as Effect.Effect<Array<unknown>>
-  return typeof a0_ === "string"
-    ? aRest_.length === 0
-      ? a0_
-      : [a0_, ...aRest_].join("")
-    : normalizeRaw(a0_, aRest_)
+  ...aRest: ARest
+): Generator<
+  YieldWrap<
+    Effect.Effect<
+      string,
+      ExtractE<A0 | ARest[number]>,
+      ExtractR<A0 | ARest[number]>
+    >
+  >,
+  string,
+  never
+> {
+  if (Effect.isEffect(a0)) {
+    return yield* a0
+  }
+  if (typeof a0 === "string") {
+    return a0
+  }
+  return yield* raw(a0, ...aRest)
 })

package/util/extract.ts

@@ -0,0 +1,7 @@
+import * as Effect from "effect/Effect"
+
+export type ExtractE<T> = [Extract<T, Effect.Effect<any, any, any>>] extends [never] ? never
+  : Effect.Effect.Error<Extract<T, Effect.Effect<any, any, any>>>
+
+export type ExtractR<T> = [Extract<T, Effect.Effect<any, any, any>>] extends [never] ? never
+  : Effect.Effect.Context<Extract<T, Effect.Effect<any, any, any>>>

package/util/messageCodec.ts

@@ -0,0 +1,5 @@
+import { Message } from "@effect/ai/AiInput"
+import * as Schema from "effect/Schema"
+
+export const decode = Schema.decode(Message)
+export const encode = Schema.encode(Message)

package/util/prefix.ts

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

package/util/raw.ts

@@ -0,0 +1,27 @@
+import * as Effect from "effect/Effect"
+import type { YieldWrap } from "effect/Utils"
+import type { ExtractE, ExtractR } from "./extract.ts"
+
+export type TemplateStringsArrayLike = {
+  raw: readonly string[] | ArrayLike<string>
+}
+
+export const raw = Effect.fnUntraced(function*<Substitutions extends Array<unknown>>(
+  template: TemplateStringsArrayLike,
+  ...substitutions: Substitutions
+): Generator<
+  YieldWrap<
+    Effect.Effect<Array<string>, ExtractE<Substitutions[number]>, ExtractR<Substitutions[number]>>
+  >,
+  string,
+  never
+> {
+  return String.raw(
+    template,
+    ...yield* (Effect.all(substitutions.map((v) => Effect.isEffect(v) ? v : Effect.succeed(v))) as Effect.Effect<
+      Array<string>,
+      ExtractE<Substitutions[number]>,
+      ExtractR<Substitutions[number]>
+    >),
+  )
+})

package/LPretty.ts

@@ -1,41 +0,0 @@
-import type { Message } from "@effect/ai/AiInput"
-import type { LEvent } from "./LEvent.ts"
-
-const GRAY = "\x1b[90m"
-const RESET = "\x1b[0m"
-const BOLD = "\x1b[1m"
-const GRAY_BG = "\x1b[47m"
-
-export const event: (event: typeof LEvent["Type"]) => string = (event) => {
-  let text = `${GRAY}${event._tag}${RESET}`
-  switch (event._tag) {
-    case "MessagesAppended": {
-      text += event.messages.map(message).join("\n")
-      break
-    }
-    case "MessagesCleared": {
-      text += `\n${event.cleared.length} messages cleared.`
-      break
-    }
-  }
-  return text
-}
-
-export const message = ({ _tag, parts }: Message): string => {
-  let value = ""
-  for (const part of parts) {
-    value += `\n${BOLD}${_tag}\n${GRAY_BG}`
-    switch (part._tag) {
-      case "TextPart": {
-        value += `${part.text}`
-        break
-      }
-      default: {
-        value += `${JSON.stringify(part, null, 2)}`
-        break
-      }
-    }
-    value += RESET
-  }
-  return value
-}

package/Strand.ts

@@ -1,49 +0,0 @@
-import type { Message } from "@effect/ai/AiInput"
-import type * 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 type { Schema } from "effect/Schema"
-import type { LEvent } from "./LEvent.ts"
-
-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: Set<AiTool.AiTool<string, AiTool.AnyStructSchema, Schema.Any, Schema.Any, never>>
-  }
-}
-
-/** A context tag that denotes the boundary of a conversation isolate. */
-export class Strand extends Context.Tag("liminal/Strand")<Strand, Strand.Service>() {
-  static layer: <T extends AiTool.Any = never>(init?: {
-    system?: string | undefined
-    messages?: Array<Message> | undefined
-    tools?: Set<T> | undefined
-  }) => Layer.Layer<
-    Strand,
-    [T] extends [AiTool.Any] ? AiTool.Failure<T> : never,
-    [T] extends [AiTool.Any] ? AiTool.Context<T> : never
-  > = ({ system, messages, tools } = {}) =>
-    Layer.effect(
-      Strand,
-      Effect.gen(function*() {
-        return Strand.of({
-          parent: yield* Effect.serviceOption(Strand),
-          events: yield* PubSub.unbounded<LEvent>(),
-          system: Option.fromNullable(system),
-          messages: [...messages ?? []],
-          tools: new Set(tools as never ?? []),
-        })
-      }),
-    )
-}