liminal 0.5.1 → 0.5.2

package/dist/types/Type.d.ts

@@ -21,6 +21,7 @@ export interface TypeMembers<T extends JSONValue, J extends JSONType> extends St
     declaration: () => Type<T, J> | ((...args: any) => Type<T, J>);
     args?: Array<any>;
     descriptions: Array<string>;
+    trace: string | undefined;
     description(): string;
     toJSON(): JSONRootType<J>;
     assert(value: unknown): T;

package/dist/types/Type.js.map

@@ -1 +1 @@
-{"version":3,"file":"Type.js","sourceRoot":"","sources":["../../types/Type.ts"],"names":[],"mappings":"AAyCA,MAAM,CAAC,MAAM,OAAO,GAAG,MAAM,CAAC,GAAG,CAAC,cAAc,CAAC,CAAA;AAEjD,MAAM,UAAU,MAAM,CAAC,KAAc;IACnC,OAAO,OAAO,KAAK,KAAK,UAAU,IAAI,OAAO,IAAI,KAAK,CAAA;AACxD,CAAC"}
+{"version":3,"file":"Type.js","sourceRoot":"","sources":["../../types/Type.ts"],"names":[],"mappings":"AA0CA,MAAM,CAAC,MAAM,OAAO,GAAG,MAAM,CAAC,GAAG,CAAC,cAAc,CAAC,CAAA;AAEjD,MAAM,UAAU,MAAM,CAAC,KAAc;IACnC,OAAO,OAAO,KAAK,KAAK,UAAU,IAAI,OAAO,IAAI,KAAK,CAAA;AACxD,CAAC"}

package/dist/types/array.js

@@ -1,9 +1,9 @@
-import { declareType } from "./declareType.js";
+import { makeType } from "./makeType.js";
 import { normalizeTypeLike } from "./TypeLike.js";
 export function array(element) {
     return _array(normalizeTypeLike(element));
 }
 export function _array(element) {
-    return declareType(() => _array, [element]);
+    return makeType(() => _array, [element]);
 }
 //# sourceMappingURL=array.js.map

package/dist/types/array.js.map

@@ -1 +1 @@
-{"version":3,"file":"array.js","sourceRoot":"","sources":["../../types/array.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAA;AAI9C,OAAO,EAAE,iBAAiB,EAAmE,MAAM,eAAe,CAAA;AAElH,MAAM,UAAU,KAAK,CACnB,OAAU;IAEV,OAAO,MAAM,CAAC,iBAAiB,CAAC,OAAO,CAAC,CAAU,CAAA;AACpD,CAAC;AAED,MAAM,UAAU,MAAM,CAAC,OAAa;IAClC,OAAO,WAAW,CAAC,GAAG,EAAE,CAAC,MAAM,EAAE,CAAC,OAAO,CAAC,CAAC,CAAA;AAC7C,CAAC"}
+{"version":3,"file":"array.js","sourceRoot":"","sources":["../../types/array.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAA;AAExC,OAAO,EAAE,iBAAiB,EAAmE,MAAM,eAAe,CAAA;AAElH,MAAM,UAAU,KAAK,CACnB,OAAU;IAEV,OAAO,MAAM,CAAC,iBAAiB,CAAC,OAAO,CAAC,CAAU,CAAA;AACpD,CAAC;AAED,MAAM,UAAU,MAAM,CAAC,OAAa;IAClC,OAAO,QAAQ,CAAC,GAAG,EAAE,CAAC,MAAM,EAAE,CAAC,OAAO,CAAC,CAAC,CAAA;AAC1C,CAAC"}

package/dist/types/boolean.js

@@ -1,3 +1,3 @@
-import { declareType } from "./declareType.js";
-export const boolean = declareType(() => boolean);
+import { makeType } from "./makeType.js";
+export const boolean = makeType(() => boolean);
 //# sourceMappingURL=boolean.js.map

package/dist/types/boolean.js.map

@@ -1 +1 @@
-{"version":3,"file":"boolean.js","sourceRoot":"","sources":["../../types/boolean.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAA;AAI9C,MAAM,CAAC,MAAM,OAAO,GAAmC,WAAW,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC,CAAA"}
+{"version":3,"file":"boolean.js","sourceRoot":"","sources":["../../types/boolean.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAA;AAGxC,MAAM,CAAC,MAAM,OAAO,GAAmC,QAAQ,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC,CAAA"}

package/dist/types/const.js

@@ -1,6 +1,6 @@
-import { declareType } from "./declareType.js";
+import { makeType } from "./makeType.js";
 function const_(type, value) {
-    return declareType(() => const_, [type, value]);
+    return makeType(() => const_, [type, value]);
 }
 Object.defineProperty(const_, "name", { value: "const" });
 export { const_ as const };

package/dist/types/const.js.map

@@ -1 +1 @@
-{"version":3,"file":"const.js","sourceRoot":"","sources":["../../types/const.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAA;AAI9C,SAAS,MAAM,CACb,IAAgB,EAChB,KAAQ;IAER,OAAO,WAAW,CAAC,GAAG,EAAE,CAAC,MAAe,EAAE,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAA;AAC1D,CAAC;AACD,MAAM,CAAC,cAAc,CAAC,MAAM,EAAE,MAAM,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC,CAAA;AACzD,OAAO,EAAE,MAAM,IAAI,KAAK,EAAE,CAAA"}
+{"version":3,"file":"const.js","sourceRoot":"","sources":["../../types/const.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAA;AAGxC,SAAS,MAAM,CACb,IAAgB,EAChB,KAAQ;IAER,OAAO,QAAQ,CAAC,GAAG,EAAE,CAAC,MAAe,EAAE,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAA;AACvD,CAAC;AACD,MAAM,CAAC,cAAc,CAAC,MAAM,EAAE,MAAM,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC,CAAA;AACzD,OAAO,EAAE,MAAM,IAAI,KAAK,EAAE,CAAA"}

package/dist/types/enum.js

@@ -1,7 +1,7 @@
-import { declareType } from "./declareType.js";
+import { makeType } from "./makeType.js";
 export { enum_ as enum };
 function enum_(...values) {
-    return declareType(() => enum_, values);
+    return makeType(() => enum_, values);
 }
 Object.defineProperty(enum_, "name", { value: "enum" });
 //# sourceMappingURL=enum.js.map

package/dist/types/enum.js.map

@@ -1 +1 @@
-{"version":3,"file":"enum.js","sourceRoot":"","sources":["../../types/enum.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAA;AAI9C,OAAO,EAAE,KAAK,IAAI,IAAI,EAAE,CAAA;AACxB,SAAS,KAAK,CAA0B,GAAG,MAAS;IAClD,OAAO,WAAW,CAAC,GAAG,EAAE,CAAC,KAAQ,EAAE,MAAM,CAAC,CAAA;AAC5C,CAAC;AACD,MAAM,CAAC,cAAc,CAAC,KAAK,EAAE,MAAM,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,CAAA"}
+{"version":3,"file":"enum.js","sourceRoot":"","sources":["../../types/enum.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAA;AAGxC,OAAO,EAAE,KAAK,IAAI,IAAI,EAAE,CAAA;AACxB,SAAS,KAAK,CAA0B,GAAG,MAAS;IAClD,OAAO,QAAQ,CAAC,GAAG,EAAE,CAAC,KAAQ,EAAE,MAAM,CAAC,CAAA;AACzC,CAAC;AACD,MAAM,CAAC,cAAc,CAAC,KAAK,EAAE,MAAM,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,CAAA"}

package/dist/types/integer.js

@@ -1,3 +1,3 @@
-import { declareType } from "./declareType.js";
-export const integer = declareType(() => integer);
+import { makeType } from "./makeType.js";
+export const integer = makeType(() => integer);
 //# sourceMappingURL=integer.js.map

package/dist/types/integer.js.map

@@ -1 +1 @@
-{"version":3,"file":"integer.js","sourceRoot":"","sources":["../../types/integer.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAA;AAI9C,MAAM,CAAC,MAAM,OAAO,GAAkC,WAAW,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC,CAAA"}
+{"version":3,"file":"integer.js","sourceRoot":"","sources":["../../types/integer.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAA;AAGxC,MAAM,CAAC,MAAM,OAAO,GAAkC,QAAQ,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC,CAAA"}

package/dist/types/makeType.d.ts

@@ -0,0 +1,2 @@
+import { type Type } from "./Type.ts";
+export declare function makeType<X extends Type>(declaration: () => X | ((...args: any) => X), args?: Array<unknown>, descriptions?: Array<string>): X;

package/dist/types/{declareType.js → makeType.js}

@@ -5,12 +5,13 @@ import { isTemplateStringsArray } from "../util/isTemplateStringsArray.js";
 import { AssertDiagnostics, formatAssertDiagnostics } from "./AssertDiagnostics.js";
 import { toJSON } from "./toJSON.js";
 import { TypeKey } from "./Type.js";
-export function declareType(declaration, args, descriptions = []) {
+export function makeType(declaration, args, descriptions = []) {
     const type = Object.assign(Type, {
         [TypeKey]: true,
         declaration,
         args,
         descriptions,
+        trace: new Error().stack,
         description() {
             return descriptions.join("\n");
         },
@@ -46,7 +47,7 @@ export function declareType(declaration, args, descriptions = []) {
     });
     return type;
     function Type(e0, ...eRest) {
-        return declareType(declaration, args, [
+        return makeType(declaration, args, [
             ...descriptions,
             ...isTemplateStringsArray(e0)
                 ? [applyTemplateWithIndentation(e0, ...eRest)]
@@ -54,4 +55,4 @@ export function declareType(declaration, args, descriptions = []) {
         ]);
     }
 }
-//# sourceMappingURL=declareType.js.map
+//# sourceMappingURL=makeType.js.map

package/dist/types/makeType.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"makeType.js","sourceRoot":"","sources":["../../types/makeType.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,KAAK,EAAE,MAAM,qBAAqB,CAAA;AAC3C,OAAO,EAAE,qBAAqB,EAAE,MAAM,6BAA6B,CAAA;AAEnE,OAAO,EAAE,4BAA4B,EAAE,MAAM,+BAA+B,CAAA;AAC5E,OAAO,EAAE,sBAAsB,EAAE,MAAM,mCAAmC,CAAA;AAE1E,OAAO,EAAE,iBAAiB,EAAE,uBAAuB,EAAE,MAAM,wBAAwB,CAAA;AAEnF,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAA;AACpC,OAAO,EAAa,OAAO,EAAoB,MAAM,WAAW,CAAA;AAEhE,MAAM,UAAU,QAAQ,CACtB,WAA4C,EAC5C,IAAqB,EACrB,eAA8B,EAAE;IAEhC,MAAM,IAAI,GAAG,MAAM,CAAC,MAAM,CACxB,IAAI,EACJ;QACE,CAAC,OAAO,CAAC,EAAE,IAAI;QACf,WAAW;QACX,IAAI;QACJ,YAAY;QACZ,KAAK,EAAE,IAAI,KAAK,EAAE,CAAC,KAAK;QACxB,WAAW;YACT,OAAO,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QAChC,CAAC;QACD,WAAW,EAAE;YACX,MAAM,EAAE,SAAS;YACjB,OAAO,EAAE,CAAC;YACV,QAAQ,EAAE,CAAC,KAAK,EAAE,EAAE;gBAClB,MAAM,WAAW,GAAG,iBAAiB,CAAC,EAAE,EAAE,IAAa,EAAE,KAAK,CAAC,CAAA;gBAC/D,IAAI,WAAW,CAAC,MAAM,EAAE,CAAC;oBACvB,OAAO;wBACL,MAAM,EAAE,WAAW,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,EAA0B,EAAE,CAAC,CAAC;4BACpE,IAAI;4BACJ,OAAO,EAAE,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC;yBAC/B,CAAC,CAAC;qBACJ,CAAA;gBACH,CAAC;gBACD,OAAO,EAAE,KAAK,EAAE,KAAe,EAAE,CAAA;YACnC,CAAC;SACF;QACD,MAAM;QACN,MAAM,EAAE,CAAC,KAAK,EAAE,EAAE;YAChB,MAAM,WAAW,GAAG,iBAAiB,CAAC,EAAE,EAAE,IAAa,EAAE,KAAK,CAAC,CAAA;YAC/D,IAAI,WAAW,CAAC,MAAM,EAAE,CAAC;gBACvB,MAAM,IAAI,qBAAqB,CAAC,uBAAuB,CAAC,WAAW,CAAC,CAAC,CAAA;YACvE,CAAC;YACD,OAAO,KAAc,CAAA;QACvB,CAAC;QACD,GAAG;YACD,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC;gBAChB,OAAO,KAAK,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAA;YAC3B,CAAC;SACF;KACoC,CAC1B,CAAA;IACf,OAAO,IAAI,CAAA;IAIX,SAAS,IAAI,CAAC,EAAyC,EAAE,GAAG,KAA4B;QACtF,OAAO,QAAQ,CAAC,WAAW,EAAE,IAAI,EAAE;YACjC,GAAG,YAAY;YACf,GAAG,sBAAsB,CAAC,EAAE,CAAC;gBAC3B,CAAC,CAAC,CAAC,4BAA4B,CAAC,EAAE,EAAE,GAAG,KAAK,CAAC,CAAC;gBAC9C,CAAC,CAAC,CAAC,EAAE,EAAE,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAe,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;SACnD,CAAC,CAAA;IACJ,CAAC;AACH,CAAC"}

package/dist/types/null.js

@@ -1,4 +1,4 @@
-import { declareType } from "./declareType.js";
-const null_ = declareType(() => null_);
+import { makeType } from "./makeType.js";
+const null_ = makeType(() => null_);
 export { null_ as null };
 //# sourceMappingURL=null.js.map

package/dist/types/null.js.map

@@ -1 +1 @@
-{"version":3,"file":"null.js","sourceRoot":"","sources":["../../types/null.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAA;AAI9C,MAAM,KAAK,GAA6B,WAAW,CAAC,GAAG,EAAE,CAAC,KAAK,CAAC,CAAA;AAChE,OAAO,EAAE,KAAK,IAAI,IAAI,EAAE,CAAA"}
+{"version":3,"file":"null.js","sourceRoot":"","sources":["../../types/null.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAA;AAGxC,MAAM,KAAK,GAA6B,QAAQ,CAAC,GAAG,EAAE,CAAC,KAAK,CAAC,CAAA;AAC7D,OAAO,EAAE,KAAK,IAAI,IAAI,EAAE,CAAA"}

package/dist/types/number.js

@@ -1,3 +1,3 @@
-import { declareType } from "./declareType.js";
-export const number = declareType(() => number);
+import { makeType } from "./makeType.js";
+export const number = makeType(() => number);
 //# sourceMappingURL=number.js.map

package/dist/types/number.js.map

@@ -1 +1 @@
-{"version":3,"file":"number.js","sourceRoot":"","sources":["../../types/number.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAA;AAI9C,MAAM,CAAC,MAAM,MAAM,GAAiC,WAAW,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,CAAA"}
+{"version":3,"file":"number.js","sourceRoot":"","sources":["../../types/number.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAA;AAGxC,MAAM,CAAC,MAAM,MAAM,GAAiC,QAAQ,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,CAAA"}

package/dist/types/object.js

@@ -1,10 +1,10 @@
-import { declareType } from "./declareType.js";
+import { makeType } from "./makeType.js";
 import {} from "./Type.js";
 import { normalizeTypeLikes } from "./TypeLike.js";
 export function object(fields) {
     return normalizeTypeLikes(fields);
 }
 export function _object(fields) {
-    return declareType(() => _object, [fields]);
+    return makeType(() => _object, [fields]);
 }
 //# sourceMappingURL=object.js.map

package/dist/types/object.js.map

@@ -1 +1 @@
-{"version":3,"file":"object.js","sourceRoot":"","sources":["../../types/object.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAA;AAG9C,OAAO,EAAa,MAAM,WAAW,CAAA;AACrC,OAAO,EAAE,kBAAkB,EAAsE,MAAM,eAAe,CAAA;AAEtH,MAAM,UAAU,MAAM,CACpB,MAAS;IAET,OAAO,kBAAkB,CAAC,MAAM,CAAU,CAAA;AAC5C,CAAC;AAED,MAAM,UAAU,OAAO,CAAC,MAAoB;IAC1C,OAAO,WAAW,CAAC,GAAG,EAAE,CAAC,OAAO,EAAE,CAAC,MAAM,CAAC,CAAC,CAAA;AAC7C,CAAC"}
+{"version":3,"file":"object.js","sourceRoot":"","sources":["../../types/object.ts"],"names":[],"mappings":"AAGA,OAAO,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAA;AACxC,OAAO,EAAa,MAAM,WAAW,CAAA;AACrC,OAAO,EAAE,kBAAkB,EAAsE,MAAM,eAAe,CAAA;AAEtH,MAAM,UAAU,MAAM,CACpB,MAAS;IAET,OAAO,kBAAkB,CAAC,MAAM,CAAU,CAAA;AAC5C,CAAC;AAED,MAAM,UAAU,OAAO,CAAC,MAAoB;IAC1C,OAAO,QAAQ,CAAC,GAAG,EAAE,CAAC,OAAO,EAAE,CAAC,MAAM,CAAC,CAAC,CAAA;AAC1C,CAAC"}

package/dist/types/ref.js

@@ -1,5 +1,5 @@
-import { declareType } from "./declareType.js";
+import { makeType } from "./makeType.js";
 export function ref(getType) {
-    return declareType(() => ref, [getType]);
+    return makeType(() => ref, [getType]);
 }
 //# sourceMappingURL=ref.js.map

package/dist/types/ref.js.map

@@ -1 +1 @@
-{"version":3,"file":"ref.js","sourceRoot":"","sources":["../../types/ref.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAA;AAI9C,MAAM,UAAU,GAAG,CAA+C,OAAyB;IACzF,OAAO,WAAW,CAAC,GAAG,EAAE,CAAC,GAAS,EAAE,CAAC,OAAO,CAAC,CAAC,CAAA;AAChD,CAAC"}
+{"version":3,"file":"ref.js","sourceRoot":"","sources":["../../types/ref.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAA;AAGxC,MAAM,UAAU,GAAG,CAA+C,OAAyB;IACzF,OAAO,QAAQ,CAAC,GAAG,EAAE,CAAC,GAAS,EAAE,CAAC,OAAO,CAAC,CAAC,CAAA;AAC7C,CAAC"}

package/dist/types/string.js

@@ -1,3 +1,3 @@
-import { declareType } from "./declareType.js";
-export const string = declareType(() => string);
+import { makeType } from "./makeType.js";
+export const string = makeType(() => string);
 //# sourceMappingURL=string.js.map

package/dist/types/string.js.map

@@ -1 +1 @@
-{"version":3,"file":"string.js","sourceRoot":"","sources":["../../types/string.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAA;AAI9C,MAAM,CAAC,MAAM,MAAM,GAAiC,WAAW,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,CAAA"}
+{"version":3,"file":"string.js","sourceRoot":"","sources":["../../types/string.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAA;AAGxC,MAAM,CAAC,MAAM,MAAM,GAAiC,QAAQ,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,CAAA"}

package/dist/types/union.js

@@ -1,9 +1,9 @@
-import { declareType } from "./declareType.js";
+import { makeType } from "./makeType.js";
 import { normalizeTypeLike } from "./TypeLike.js";
 export function union(...members) {
     return _union(...members.map(normalizeTypeLike));
 }
 export function _union(...members) {
-    return declareType(() => _union, members);
+    return makeType(() => _union, members);
 }
 //# sourceMappingURL=union.js.map

package/dist/types/union.js.map

@@ -1 +1 @@
-{"version":3,"file":"union.js","sourceRoot":"","sources":["../../types/union.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAA;AAI9C,OAAO,EAAE,iBAAiB,EAAmE,MAAM,eAAe,CAAA;AAElH,MAAM,UAAU,KAAK,CACnB,GAAG,OAAU;IAEb,OAAO,MAAM,CAAC,GAAG,OAAO,CAAC,GAAG,CAAC,iBAAiB,CAAC,CAAU,CAAA;AAC3D,CAAC;AAED,MAAM,UAAU,MAAM,CAAC,GAAG,OAAoB;IAC5C,OAAO,WAAW,CAAC,GAAG,EAAE,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;AAC3C,CAAC"}
+{"version":3,"file":"union.js","sourceRoot":"","sources":["../../types/union.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAA;AAExC,OAAO,EAAE,iBAAiB,EAAmE,MAAM,eAAe,CAAA;AAElH,MAAM,UAAU,KAAK,CACnB,GAAG,OAAU;IAEb,OAAO,MAAM,CAAC,GAAG,OAAO,CAAC,GAAG,CAAC,iBAAiB,CAAC,CAAU,CAAA;AAC3D,CAAC;AAED,MAAM,UAAU,MAAM,CAAC,GAAG,OAAoB;IAC5C,OAAO,QAAQ,CAAC,GAAG,EAAE,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;AACxC,CAAC"}

package/dist/util/peekLast.d.ts

@@ -0,0 +1 @@
+export declare function peekLast<T>(set: Set<T>): T | undefined;

package/dist/util/peekLast.js

@@ -0,0 +1,4 @@
+export function peekLast(set) {
+    return [...set][set.size - 1];
+}
+//# sourceMappingURL=peekLast.js.map

package/dist/util/peekLast.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"peekLast.js","sourceRoot":"","sources":["../../util/peekLast.ts"],"names":[],"mappings":"AAAA,MAAM,UAAU,QAAQ,CAAI,GAAW;IACrC,OAAO,CAAC,GAAG,GAAG,CAAC,CAAC,GAAG,CAAC,IAAI,GAAG,CAAC,CAAC,CAAA;AAC/B,CAAC"}

package/events/LEvent.ts

@@ -11,6 +11,8 @@ import type { MessagesSet } from "./MessagesSet.ts"
 import type { ModelPushed } from "./ModelPushed.ts"
 import type { ModelRemoved } from "./ModelRemoved.ts"
 import type { Returned } from "./Returned.ts"
+import type { SectionCleared } from "./SectionCleared.ts"
+import type { Sectioned } from "./Sectioned.ts"
 import type { Threw } from "./Threw.ts"
 import type { ToolCalled } from "./ToolCalled.ts"
 import type { ToolDisabled } from "./ToolDisabled.ts"
@@ -34,3 +36,5 @@ export type LEvent =
   | Forked
   | ModelPushed
   | ModelRemoved
+  | Sectioned
+  | SectionCleared

package/events/SectionCleared.ts

@@ -0,0 +1,6 @@
+import type { JSONKey } from "../util/JSONKey.ts"
+import type { EventBase } from "./EventBase.ts"
+
+export interface SectionCleared<K extends JSONKey = JSONKey> extends EventBase<"section_cleared"> {
+  sectionKey: K
+}

package/events/Sectioned.ts

@@ -0,0 +1,6 @@
+import type { JSONKey } from "../util/JSONKey.ts"
+import type { EventBase } from "./EventBase.ts"
+
+export interface Sectioned<K extends JSONKey = JSONKey> extends EventBase<"sectioned"> {
+  sectionKey: K
+}

package/index.ts

@@ -1,6 +1,6 @@
 export * from "./Action.ts"
 export * from "./actions/appendMessage.ts"
-export * from "./Actor.ts"
+export * from "./Agent.ts"
 export * from "./events/Aborted.ts"
 export * from "./events/Embedded.ts"
 export * from "./events/EmbeddingRequested.ts"

package/package.json

@@ -3,7 +3,7 @@
   "publishConfig": {
     "access": "public"
   },
-  "version": "0.5.1",
+  "version": "0.5.2",
   "license": "Apache-2.0",
   "repository": {
     "type": "git",

package/testing/{ActorAssertions.ts → AgentAssertions.ts}

@@ -1,18 +1,16 @@
 import type { IsExact } from "conditional-type-checks"
 import type { Action } from "../Action.ts"
-import type { ActorLike } from "../Actor.ts"
+import type { AgentLike } from "../Agent.ts"
 import type { Spec } from "../Spec.ts"
 import type { Expand } from "../util/Expand.ts"
 
-export interface ActorAssertions<S extends Spec> {
+export interface AgentAssertions<S extends Spec> {
   assertSpec<A extends Spec>(
     ...[passes]: IsExact<S, Expand<A>> extends true ? [passes?: true] : [passes: false]
   ): void
 }
 
-export function ActorAssertions<Y extends Action, R>(
-  _actorLike: ActorLike<Y, R>,
-): ActorAssertions<Y[""]> {
+export function AgentAssertions<Y extends Action, R>(_agentLike: AgentLike<Y, R>): AgentAssertions<Y[""]> {
   return {
     assertSpec: () => {},
   }

package/testing/TestEmbeddingModel.ts

@@ -13,6 +13,7 @@ export function TestEmbeddingModel({
 }: TestEmbeddingModelConfig = defaultTestingEmbeddingModelConfig): EmbeddingModel {
   return {
     type: "embedding",
+    vendor: "liminal_testing",
     embed: getEmbedding,
   }
 }

package/testing/TestLanguageModel.ts

@@ -18,6 +18,7 @@ export function TestLanguageModel({
 }: TestLanguageModelConfig = defaultTestLanguageModelConfig): LanguageModel {
   return {
     type: "language",
+    vendor: "liminal_testing",
     async *infer(type) {
       if (type) {
         const object = getObject()

package/testing/index.ts

@@ -1,4 +1,4 @@
-export * from "./ActorAssertions.ts"
+export * from "./AgentAssertions.ts"
 export * from "./takeFirstAction.ts"
 export * from "./TestEmbeddingModel.ts"
 export * from "./TestLanguageModel.ts"

package/testing/takeFirstAction.ts

@@ -1,8 +1,8 @@
 import type { Action } from "../Action.ts"
-import type { ActorLike } from "../Actor.ts"
+import type { AgentLike } from "../Agent.ts"
 import { unwrapDeferred } from "../util/unwrapDeferred.ts"
 
-export async function takeFirstAction<Y extends Action>(f: ActorLike<Y>): Promise<Y | undefined> {
+export async function takeFirstAction<Y extends Action>(f: AgentLike<Y>): Promise<Y | undefined> {
   const { value } = await unwrapDeferred(f).next()
   return value
 }

package/types/Type.ts

@@ -33,6 +33,7 @@ export interface TypeMembers<T extends JSONValue, J extends JSONType> extends St
   declaration: () => Type<T, J> | ((...args: any) => Type<T, J>)
   args?: Array<any>
   descriptions: Array<string>
+  trace: string | undefined
   description(): string
   toJSON(): JSONRootType<J>
   assert(value: unknown): T

package/types/array.ts

@@ -1,6 +1,6 @@
-import { declareType } from "./declareType.ts"
 import type { JSONType } from "./JSONType.ts"
 import type { JSONTypeBase } from "./JSONTypeBase.ts"
+import { makeType } from "./makeType.ts"
 import type { Type } from "./Type.ts"
 import { normalizeTypeLike, type NormalizeTypeLikeJ, type NormalizeTypeLikeT, type TypeLike } from "./TypeLike.ts"
 
@@ -11,7 +11,7 @@ export function array<const F extends TypeLike>(
 }
 
 export function _array(element: Type): Type {
-  return declareType(() => _array, [element])
+  return makeType(() => _array, [element])
 }
 
 export interface JSONArrayType<E extends JSONType = any> extends JSONTypeBase {

package/types/boolean.ts

@@ -1,8 +1,8 @@
-import { declareType } from "./declareType.ts"
 import type { JSONTypeBase } from "./JSONTypeBase.ts"
+import { makeType } from "./makeType.ts"
 import type { Type } from "./Type.ts"
 
-export const boolean: Type<boolean, JSONBooleanType> = declareType(() => boolean)
+export const boolean: Type<boolean, JSONBooleanType> = makeType(() => boolean)
 
 export interface JSONBooleanType extends JSONTypeBase {
   type: "boolean"

package/types/const.ts

@@ -1,13 +1,13 @@
 import type { JSONValue } from "../util/JSONValue.ts"
-import { declareType } from "./declareType.ts"
 import type { ConstableType } from "./JSONType.ts"
+import { makeType } from "./makeType.ts"
 import type { Type } from "./Type.ts"
 
 function const_<T extends JSONValue, J extends ConstableType, const V extends T>(
   type: Type<T, J>,
   value: V,
 ): Type<V, JSONConstType<J, V>> {
-  return declareType(() => const_<T, J, V>, [type, value])
+  return makeType(() => const_<T, J, V>, [type, value])
 }
 Object.defineProperty(const_, "name", { value: "const" })
 export { const_ as const }

package/types/enum.ts

@@ -1,10 +1,10 @@
-import { declareType } from "./declareType.ts"
 import type { JSONTypeBase } from "./JSONTypeBase.ts"
+import { makeType } from "./makeType.ts"
 import type { Type } from "./Type.ts"
 
 export { enum_ as enum }
 function enum_<A extends Array<string>>(...values: A): Type<A[number], JSONEnumType<A[number]>> {
-  return declareType(() => enum_<A>, values)
+  return makeType(() => enum_<A>, values)
 }
 Object.defineProperty(enum_, "name", { value: "enum" })
 

package/types/integer.ts

@@ -1,8 +1,8 @@
-import { declareType } from "./declareType.ts"
 import type { JSONTypeBase } from "./JSONTypeBase.ts"
+import { makeType } from "./makeType.ts"
 import type { Type } from "./Type.ts"
 
-export const integer: Type<number, JSONIntegerType> = declareType(() => integer)
+export const integer: Type<number, JSONIntegerType> = makeType(() => integer)
 
 export interface JSONIntegerType extends JSONTypeBase {
   type: "integer"

package/types/{declareType.ts → makeType.ts}

@@ -10,7 +10,7 @@ import type { JSONObjectType } from "./object.ts"
 import { toJSON } from "./toJSON.ts"
 import { type Type, TypeKey, type TypeMembers } from "./Type.ts"
 
-export function declareType<X extends Type>(
+export function makeType<X extends Type>(
   declaration: () => X | ((...args: any) => X),
   args?: Array<unknown>,
   descriptions: Array<string> = [],
@@ -22,6 +22,7 @@ export function declareType<X extends Type>(
       declaration,
       args,
       descriptions,
+      trace: new Error().stack,
       description() {
         return descriptions.join("\n")
       },
@@ -61,7 +62,7 @@ export function declareType<X extends Type>(
   function Type(template: TemplateStringsArray, ...substitutions: Array<string>): X
   function Type(...values: Array<Falsy | string>): X
   function Type(e0: TemplateStringsArray | Falsy | string, ...eRest: Array<Falsy | string>): X {
-    return declareType(declaration, args, [
+    return makeType(declaration, args, [
       ...descriptions,
       ...isTemplateStringsArray(e0)
         ? [applyTemplateWithIndentation(e0, ...eRest)]

package/types/null.ts

@@ -1,8 +1,8 @@
-import { declareType } from "./declareType.ts"
 import type { JSONTypeBase } from "./JSONTypeBase.ts"
+import { makeType } from "./makeType.ts"
 import type { Type } from "./Type.ts"
 
-const null_: Type<null, JSONNullType> = declareType(() => null_)
+const null_: Type<null, JSONNullType> = makeType(() => null_)
 export { null_ as null }
 
 export interface JSONNullType extends JSONTypeBase {

package/types/number.ts

@@ -1,8 +1,8 @@
-import { declareType } from "./declareType.ts"
 import type { JSONTypeBase } from "./JSONTypeBase.ts"
+import { makeType } from "./makeType.ts"
 import type { Type } from "./Type.ts"
 
-export const number: Type<number, JSONNumberType> = declareType(() => number)
+export const number: Type<number, JSONNumberType> = makeType(() => number)
 
 export interface JSONNumberType extends JSONTypeBase {
   type: "number"

package/types/object.ts

@@ -1,7 +1,7 @@
 import type { JSONKey } from "../util/JSONKey.ts"
-import { declareType } from "./declareType.ts"
 import type { JSONType } from "./JSONType.ts"
 import type { JSONTypeBase } from "./JSONTypeBase.ts"
+import { makeType } from "./makeType.ts"
 import { type Type } from "./Type.ts"
 import { normalizeTypeLikes, type NormalizeTypeLikesJ, type NormalizeTypeLikesT, type TypeLikes } from "./TypeLike.ts"
 
@@ -12,7 +12,7 @@ export function object<const F extends TypeLikes>(
 }
 
 export function _object(fields: ObjectFields): Type {
-  return declareType(() => _object, [fields])
+  return makeType(() => _object, [fields])
 }
 
 export interface JSONObjectType<F extends Record<JSONKey, JSONType> = any> extends JSONTypeBase {

package/types/ref.ts

@@ -1,10 +1,10 @@
 import type { JSONValue } from "../util/JSONValue.ts"
-import { declareType } from "./declareType.ts"
 import type { ConstableType } from "./JSONType.ts"
+import { makeType } from "./makeType.ts"
 import type { Type } from "./Type.ts"
 
 export function ref<T extends JSONValue, J extends ConstableType>(getType: () => Type<T, J>): Type<T, JSONRefType> {
-  return declareType(() => ref<T, J>, [getType])
+  return makeType(() => ref<T, J>, [getType])
 }
 
 export interface JSONRefType {

package/types/string.ts

@@ -1,8 +1,8 @@
-import { declareType } from "./declareType.ts"
 import type { JSONTypeBase } from "./JSONTypeBase.ts"
+import { makeType } from "./makeType.ts"
 import type { Type } from "./Type.ts"
 
-export const string: Type<string, JSONStringType> = declareType(() => string)
+export const string: Type<string, JSONStringType> = makeType(() => string)
 
 export interface JSONStringType extends JSONTypeBase {
   type: "string"

package/types/union.ts

@@ -1,6 +1,6 @@
-import { declareType } from "./declareType.ts"
 import type { JSONType } from "./JSONType.ts"
 import type { JSONTypeBase } from "./JSONTypeBase.ts"
+import { makeType } from "./makeType.ts"
 import type { Type } from "./Type.ts"
 import { normalizeTypeLike, type NormalizeTypeLikeJ, type NormalizeTypeLikeT, type TypeLike } from "./TypeLike.ts"
 
@@ -11,7 +11,7 @@ export function union<const M extends Array<TypeLike>>(
 }
 
 export function _union(...members: Array<Type>): Type {
-  return declareType(() => _union, members)
+  return makeType(() => _union, members)
 }
 
 export interface JSONUnionType<M extends JSONType = any> extends JSONTypeBase {

package/util/peekLast.ts

@@ -0,0 +1,3 @@
+export function peekLast<T>(set: Set<T>): T | undefined {
+  return [...set][set.size - 1]
+}

package/Actor.ts

@@ -1,20 +0,0 @@
-import type { Action } from "./Action.ts"
-import type { DeferredOr } from "./util/DeferredOr.ts"
-import type { IteratorLike } from "./util/IteratorLike.ts"
-import type { JSONKey } from "./util/JSONKey.ts"
-
-export type Actor<Y extends Action = Action, R = any> = IteratorLike<Y, R>
-
-export type ActorLike<Y extends Action = Action, R = any> = DeferredOr<Actor<Y, R>>
-export type ActorLikeY<A extends ActorLike> = A extends ActorLike<infer Y> ? Y : never
-export type ActorLikeT<A extends ActorLike> = A extends ActorLike<Action, infer T> ? T : never
-
-export type ActorLikes = ActorLikeArray | ActorLikeRecord
-export type ActorLikeArray = Array<ActorLike>
-export type ActorLikeRecord = Record<JSONKey, ActorLike>
-
-export type ActorLikesT<A extends ActorLikes> =
-  & {
-    -readonly [K in keyof A]: A[K] extends ActorLike<Action, infer T> ? T : never
-  }
-  & {}

package/actions/actions_derived/getMessages.ts

@@ -1,9 +0,0 @@
-import { Action } from "../../Action.ts"
-import type { Message } from "../../Message.ts"
-
-export function* getMessages(): Generator<Action<"get_messages">, Array<Message>> {
-  return yield Action("get_messages", (scope) => ({
-    ...scope,
-    nextArg: [...scope.messages],
-  }))
-}

package/actions/getScope.ts

@@ -1,11 +0,0 @@
-import { Action } from "../Action.ts"
-import type { Scope } from "../Scope.ts"
-
-export interface getScope extends Action<"get_scope", never> {}
-
-export function* getScope(): Generator<getScope, Scope> {
-  return yield Action("get_scope", (scope) => ({
-    ...scope,
-    nextArg: scope,
-  }))
-}

package/actions/getSignal.ts

@@ -1,10 +0,0 @@
-import { Action } from "../Action.ts"
-
-export interface getSignal extends Action<"get_signal", never> {}
-
-export function* getSignal(): Generator<getSignal, AbortSignal> {
-  return yield (Action("get_signal", (scope) => ({
-    ...scope,
-    nextArg: scope.controller.signal,
-  })))
-}