selaws 0.0.0-stage → 0.1.0

package/dist/variant.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"variant.d.ts","sourceRoot":"","sources":["../src/variant.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,wBAAwB,CAAC;AAC7D,OAAO,KAAK,EAAE,UAAU,EAAE,YAAY,EAAE,KAAK,EAAE,MAAM,sBAAsB,CAAC;AAE5E,KAAK,QAAQ,GAAG,MAAM,GAAG;IACvB,QAAQ,CAAC,sBAAsB,EAAE,MAAM,CAAC;CACzC,CAAC;AAEF,KAAK,WAAW,CAAC,CAAC,IAAI,MAAM,GAAG;IAC7B,QAAQ,CAAC,sBAAsB,EAAE,SAAS,CAAC;IAC3C,QAAQ,CAAC,yBAAyB,EAAE,CAAC,CAAC;CACvC,CAAC;AAEF,KAAK,QAAQ,GAAG,QAAQ,GAAG,WAAW,CAAC,OAAO,CAAC,CAAC;AAChD,KAAK,SAAS,GAAG,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC,CAAC;AACpD,KAAK,SAAS,GAAG,SAAS,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,QAAQ,CAAC,CAAC;AAEzD,KAAK,OAAO,CAAC,CAAC,EAAE,KAAK,GAAG,CAAC,IAAI,CAAC,SAAS,KAAK,GACxC,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,GACjB,KAAK,GACL,IAAI,GACN,KAAK,CAAC;AAEV,KAAK,SAAS,CAAC,KAAK,IAAI,KAAK,SAAS,SAAS,CAAC,MAAM,IAAI,SAAS,MAAM,EAAE,QAAQ,CAAC,GAChF,IAAI,GACJ,KAAK,CAAC;AAEV,KAAK,SAAS,CAAC,KAAK,IAAI,KAAK,SAAS,SAAS,CAAC,MAAM,EAAE,MAAM,IAAI,SAAS,QAAQ,CAAC,GAChF,IAAI,GACJ,KAAK,CAAC;AAEV,KAAK,gBAAgB,CAAC,OAAO,SAAS,SAAS,SAAS,EAAE,IAAI;KAC3D,KAAK,IAAI,MAAM,OAAO,GAAG,OAAO,CAAC,KAAK,CAAC,SAAS,SAAS;QACxD,MAAM,IAAI,SAAS,MAAM;QACzB,MAAM,IAAI,SAAS,QAAQ;KAC5B,GACG,IAAI,SAAS,UAAU,CAAC,IAAI,CAAC,GAC3B,CAAC,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,GACvB,KAAK,GACL,CAAC,IAAI,CAAC,SAAS,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC,GACnC,KAAK,GACL,KAAK,GACT,KAAK,GACP,KAAK;CACV,CAAC,MAAM,CAAC,CAAC;AAEV,KAAK,iBAAiB,CACpB,OAAO,SAAS,SAAS,SAAS,EAAE,EACpC,IAAI,SAAS,MAAM,GAAG,KAAK,IACzB,OAAO,SAAS,SAAS;IAC3B,MAAM,IAAI,SAAS,SAAS;IAC5B,GAAG,MAAM,IAAI,SAAS,SAAS,SAAS,EAAE;CAC3C,GACG,SAAS,CAAC,IAAI,CAAC,SAAS,IAAI,GAC1B,SAAS,CAAC,IAAI,CAAC,GACf,iBAAiB,CAAC,IAAI,EAAE,IAAI,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC,GACjD,KAAK,CAAC;AAEV,KAAK,cAAc,CAAC,KAAK,IAAI,KAAK,SAAS,OAAO,EAAE,GAAG,IAAI,GAAG,KAAK,CAAC;AAEpE,KAAK,iBAAiB,CAAC,OAAO,SAAS,SAAS,SAAS,EAAE,IACzD,IAAI,SAAS,OAAO,CAAC,OAAO,CAAC,GACzB,KAAK,GACL,IAAI,SAAS,cAAc,CAAC,OAAO,CAAC,GAClC,KAAK,GACL,IAAI,SAAS,cAAc,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,GAC1C,KAAK,GACL,MAAM,SAAS,OAAO,CAAC,QAAQ,CAAC,GAC9B,KAAK,GACL,CAAC,gBAAgB,CAAC,OAAO,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,GACzC,CAAC,iBAAiB,CAAC,OAAO,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,GAC1C,OAAO,GACP,KAAK,GACP,KAAK,CAAC;AAEpB,KAAK,gBAAgB,CACnB,OAAO,SAAS,SAAS,SAAS,EAAE,EACpC,IAAI,SAAS,MAAM,IACjB,SAAS,CAAC,OAAO,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,SAAS,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC;AAEnE,KAAK,oBAAoB,CAAC,OAAO,SAAS,SAAS,SAAS,EAAE,IAAI,QAAQ,CAAC;KACxE,IAAI,IAAI,SAAS,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,GAAG,gBAAgB,CAAC,OAAO,EAAE,IAAI,CAAC;CACtE,CAAC,CAAC;AAEH,KAAK,QAAQ,CAAC,KAAK,SAAS,SAAS,IAAI,OAAO,CAAC,MAAM,KAAK,EAAE,MAAM,CAAC,CAAC;AAEtE,KAAK,SAAS,CAAC,IAAI,IAAI,IAAI,SAAS,WAAW,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC;AAErE,KAAK,aAAa,CAAC,IAAI,SAAS,QAAQ,IAAI,IAAI,SAAS,QAAQ,GAC7D,QAAQ,CAAC;IAAE,IAAI,EAAE,MAAM,CAAA;CAAE,CAAC,GAC1B,IAAI,SAAS,WAAW,CAAC,MAAM,CAAC,CAAC,GAC/B,QAAQ,CAAC;IAAE,IAAI,EAAE,SAAS,CAAC;IAAC,OAAO,EAAE,CAAC,CAAA;CAAE,CAAC,GACzC,KAAK,CAAC;AAEZ,KAAK,eAAe,CAAC,KAAK,SAAS,SAAS,IAAI;IAC9C,QAAQ,EAAE,CAAC,IAAI,MAAM,KAAK,GAAG,aAAa,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;CACrD,CAAC;AAEF,KAAK,aAAa,CAAC,KAAK,SAAS,SAAS,IAAI,QAAQ,CAAC;IACrD,iBAAiB,EAAE,IAAI,CAAC;IACxB,KAAK,EAAE,eAAe,CAAC,KAAK,CAAC,CAAC;IAC9B,KAAK,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,KAAK,MAAM,KAAK,CAAC;CAC3C,CAAC,CAAC;AAEH,KAAK,WAAW,CACd,UAAU,SAAS,KAAK,EACxB,KAAK,SAAS,SAAS,IACrB,UAAU,SAAS,MAAM,GACzB;IACE,QAAQ,EAAE,CAAC,IAAI,mBAAmB,UAAU,EAAE,GAAG,aAAa,CAAC,KAAK,CAAC;CACtE,GACD,UAAU,SAAS,MAAM,GACvB;IACE,QAAQ,EAAE,CAAC,IAAI,UAAU,GAAG,aAAa,CAAC,KAAK,CAAC;CACjD,GACD,KAAK,CAAC;AAEZ,KAAK,QAAQ,CACX,UAAU,SAAS,KAAK,EACxB,KAAK,SAAS,SAAS,EACvB,IAAI,SAAS,QAAQ,CAAC,KAAK,CAAC,IAC1B,QAAQ,CAAC;IACX,GAAG,EAAE,IAAI,CAAC;CACX,CAAC,GACA,WAAW,CAAC,UAAU,EAAE,KAAK,CAAC,CAAC;AAEjC,KAAK,WAAW,CACd,UAAU,SAAS,KAAK,EACxB,KAAK,SAAS,SAAS,EACvB,IAAI,SAAS,QAAQ,CAAC,KAAK,CAAC,EAC5B,OAAO,IACL,QAAQ,CAAC;IACX,GAAG,EAAE,IAAI,CAAC;IACV,KAAK,EAAE,OAAO,CAAC;CAChB,CAAC,GACA,WAAW,CAAC,UAAU,EAAE,KAAK,CAAC,CAAC;AAEjC,KAAK,YAAY,CACf,UAAU,SAAS,KAAK,EACxB,KAAK,SAAS,SAAS,EACvB,IAAI,SAAS,QAAQ,CAAC,KAAK,CAAC,GAAG,QAAQ,CAAC,KAAK,CAAC,IAE9C,IAAI,SAAS,QAAQ,CAAC,KAAK,CAAC,GACxB,KAAK,CAAC,IAAI,CAAC,SAAS,QAAQ,GAC1B,QAAQ,CAAC,UAAU,EAAE,KAAK,EAAE,IAAI,CAAC,GACjC,WAAW,CAAC,UAAU,EAAE,KAAK,EAAE,IAAI,EAAE,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,GAC9D,KAAK,CAAC;AAEZ,KAAK,YAAY,CAAC,UAAU,SAAS,KAAK,EAAE,KAAK,SAAS,SAAS,IAAI,QAAQ,CAAC;KAC7E,IAAI,IAAI,QAAQ,CAAC,KAAK,CAAC,GAAG,KAAK,CAAC,IAAI,CAAC,SAAS,QAAQ,GACnD,MAAM,QAAQ,CAAC,UAAU,EAAE,KAAK,EAAE,IAAI,CAAC,GACvC,CAAC,KAAK,SAAS,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,EACnC,KAAK,EAAE,KAAK,KACT,WAAW,CAAC,UAAU,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,CAAC;CACrD,CAAC,CAAC;AAEH,KAAK,QAAQ,CAAC,KAAK,SAAS,SAAS,IAAI,QAAQ,CAAC;KAC/C,IAAI,IAAI,QAAQ,CAAC,KAAK,CAAC,GAAG,KAAK,CAAC,IAAI,CAAC,SAAS,QAAQ,GACnD,CAAC,IAAI,EAAE,IAAI,KAAK,OAAO,GACvB,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,KAAK,OAAO;CAC3D,CAAC,CAAC;AAEH,KAAK,WAAW,CACd,KAAK,SAAS,SAAS,EACvB,QAAQ,SAAS,QAAQ,CAAC,KAAK,CAAC,IAC9B,cAAc,CAAC,QAAQ,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;AAE9C,KAAK,aAAa,CAAC,UAAU,SAAS,KAAK,EAAE,KAAK,SAAS,SAAS,IAAI,QAAQ,CAAC;IAC/E,IAAI,EAAE,YAAY,CAAC,UAAU,EAAE,KAAK,CAAC,CAAC;IACtC,yDAAyD;IACzD,KAAK,CAAC,KAAK,CAAC,QAAQ,SAAS,QAAQ,CAAC,KAAK,CAAC,EAC1C,KAAK,EAAE,YAAY,CAAC,UAAU,EAAE,KAAK,CAAC,EACtC,QAAQ,EAAE,QAAQ,GACjB,WAAW,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;CACjC,CAAC,CAAC;AAEH,KAAK,gBAAgB,CAAC,WAAW,IAAI,WAAW,SAAS,CACvD,GAAG,IAAI,EAAE,KAAK,EAAE,KACb,MAAM,KAAK,GACZ,KAAK,GACL,KAAK,CAAC;AAEV,sEAAsE;AACtE,MAAM,MAAM,OAAO,CAAC,MAAM,IAAI,MAAM,SAAS;IAC3C,QAAQ,CAAC,IAAI,EAAE,MAAM,IAAI,SAAS,MAAM,CAAC;CAC1C,GACG,gBAAgB,CAAC,IAAI,CAAC,MAAM,IAAI,CAAC,CAAC,GAClC,KAAK,CAAC;AAKV,yCAAyC;AACzC,eAAO,MAAM,IAAI,EAAE,QAAmB,CAAC;AAEvC,yDAAyD;AACzD,eAAO,MAAM,OAAO,GAAI,CAAC,OAAK,WAAW,CAAC,CAAC,CAAkC,CAAC;AAsI9E,KAAK,YAAY,CAAC,UAAU,SAAS,KAAK,IAAI,CAAC,UAAU,CAAC,SAAS,CAAC,MAAM,CAAC,GACvE,UAAU,GAAG,UAAU,CAAC,UAAU,GAAG,MAAM,CAAC,GAC5C,CAAC,UAAU,CAAC,SAAS,CAAC,MAAM,CAAC,GAC3B,UAAU,GAAG,YAAY,CAAC,UAAU,GAAG,MAAM,CAAC,GAC9C,KAAK,CAAC;AAEZ,oEAAoE;AACpE,eAAO,MAAM,MAAM,GACjB,KAAK,CAAC,UAAU,SAAS,KAAK,EAC9B,KAAK,CAAC,OAAO,SAAS,SAAS,SAAS,EAAE,SAEnC,YAAY,CAAC,UAAU,CAAC,WACtB,OAAO,cACJ,iBAAiB,CAAC,OAAO,CAAC,SAAS,KAAK,GAAG,CAAC,KAAK,CAAC,GAAG,EAAE,KAClE,aAAa,CAAC,UAAU,EAAE,oBAAoB,CAAC,OAAO,CAAC,CACO,CAAC;AAElE,KAAK,aAAa,GAAG,QAAQ,CAAC;IAC5B,MAAM,EAAE,OAAO,MAAM,CAAC;IACtB,OAAO,EAAE,OAAO,OAAO,CAAC;IACxB,IAAI,EAAE,OAAO,IAAI,CAAC;CACnB,CAAC,CAAC;AAEH,uFAAuF;AACvF,eAAO,MAAM,OAAO,EAAE,aAIrB,CAAC;AAEF,yBAAiB,OAAO,CAAC;IACvB,sEAAsE;IACtE,KAAY,KAAK,CAAC,MAAM,IAAI,OAAO,cAAc,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC;CACpE"}

package/dist/variant.js

@@ -0,0 +1,102 @@
+const unitSpec = Symbol.for("selaws.variant.unit");
+const payloadSpec = Symbol.for("selaws.variant.payload");
+/** Declares one nullary Variant case. */
+export const unit = unitSpec;
+/** Declares one Variant case carrying a payload of T. */
+export const payload = () => payloadSpec;
+const createFamily = (token, entries) => {
+    void token;
+    if (!Array.isArray(entries)) {
+        throw new TypeError("Variant case declarations must be arrays.");
+    }
+    const length = entries.length;
+    const kinds = new Map();
+    const constructors = Object.create(null);
+    for (let index = 0; index < length; index += 1) {
+        if (!Object.hasOwn(entries, index)) {
+            throw new TypeError("Variant case declarations must contain own case entries.");
+        }
+        const entry = entries[index];
+        if (!Array.isArray(entry) ||
+            entry.length !== 2 ||
+            !Object.hasOwn(entry, 0) ||
+            !Object.hasOwn(entry, 1)) {
+            throw new TypeError("Variant cases must be own [name, spec] pairs.");
+        }
+        const name = entry[0];
+        const spec = entry[1];
+        if (typeof name !== "string") {
+            throw new TypeError("Variant case names must be strings.");
+        }
+        if (kinds.has(name)) {
+            throw new TypeError("Variant case names must be unique.");
+        }
+        if (spec === unitSpec) {
+            kinds.set(name, "unit");
+            Object.defineProperty(constructors, name, {
+                configurable: false,
+                enumerable: true,
+                value: () => ({ tag: name }),
+                writable: false,
+            });
+            continue;
+        }
+        if (spec === payloadSpec) {
+            kinds.set(name, "payload");
+            Object.defineProperty(constructors, name, {
+                configurable: false,
+                enumerable: true,
+                value: (value) => ({ tag: name, value }),
+                writable: false,
+            });
+            continue;
+        }
+        throw new TypeError("Variant cases must be declared with Variant.unit or Variant.payload().");
+    }
+    Object.freeze(constructors);
+    const family = {
+        make: constructors,
+        match(value, handlers) {
+            if (value === null ||
+                (typeof value !== "object" && typeof value !== "function")) {
+                throw new TypeError("Variant values must be tagged objects.");
+            }
+            const tagDescriptor = Object.getOwnPropertyDescriptor(value, "tag");
+            const tag = tagDescriptor !== undefined && Object.hasOwn(tagDescriptor, "value")
+                ? tagDescriptor.value
+                : undefined;
+            if (typeof tag !== "string") {
+                throw new TypeError("Variant values must provide an own data tag.");
+            }
+            const kind = kinds.get(tag);
+            if (kind === undefined) {
+                throw new TypeError("Variant value has an undeclared case tag.");
+            }
+            const descriptor = Object.getOwnPropertyDescriptor(handlers, tag);
+            const handler = descriptor !== undefined && Object.hasOwn(descriptor, "value")
+                ? descriptor.value
+                : undefined;
+            if (typeof handler !== "function") {
+                throw new TypeError("Variant match handlers must provide an own function for every declared case.");
+            }
+            if (kind === "unit") {
+                return handler();
+            }
+            const valueDescriptor = Object.getOwnPropertyDescriptor(value, "value");
+            if (valueDescriptor === undefined || !Object.hasOwn(valueDescriptor, "value")) {
+                throw new TypeError("Variant payload cases must provide an own data value.");
+            }
+            return handler(valueDescriptor.value);
+        },
+    };
+    return Object.freeze(family);
+};
+/** Defines one named or declaration-owned closed Variant family. */
+export const define = (token, entries, ..._closed) => createFamily(token, entries);
+/** Closed labeled alternatives with correlated payloads and exhaustive elimination. */
+export const Variant = {
+    define,
+    payload,
+    unit,
+};
+//# sourceMappingURL=variant.js.map

package/dist/variant.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"variant.js","sourceRoot":"","sources":["../src/variant.ts"],"names":[],"mappings":"AA4LA,MAAM,QAAQ,GAAG,MAAM,CAAC,GAAG,CAAC,qBAAqB,CAAa,CAAC;AAC/D,MAAM,WAAW,GAAG,MAAM,CAAC,GAAG,CAAC,wBAAwB,CAAyB,CAAC;AAEjF,yCAAyC;AACzC,MAAM,CAAC,MAAM,IAAI,GAAa,QAAQ,CAAC;AAEvC,yDAAyD;AACzD,MAAM,CAAC,MAAM,OAAO,GAAG,GAAsB,EAAE,CAAC,WAA6B,CAAC;AAI9E,MAAM,YAAY,GAAG,CACnB,KAAiB,EACjB,OAAgB,EAC0C,EAAE;IAC5D,KAAK,KAAK,CAAC;IAEX,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC;QAC5B,MAAM,IAAI,SAAS,CAAC,2CAA2C,CAAC,CAAC;IACnE,CAAC;IAED,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC;IAC9B,MAAM,KAAK,GAAG,IAAI,GAAG,EAAuB,CAAC;IAC7C,MAAM,YAAY,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAA4B,CAAC;IAEpE,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,MAAM,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QAC/C,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,KAAK,CAAC,EAAE,CAAC;YACnC,MAAM,IAAI,SAAS,CAAC,0DAA0D,CAAC,CAAC;QAClF,CAAC;QAED,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,CAAY,CAAC;QAExC,IACE,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;YACrB,KAAK,CAAC,MAAM,KAAK,CAAC;YAClB,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC;YACxB,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC,EACxB,CAAC;YACD,MAAM,IAAI,SAAS,CAAC,+CAA+C,CAAC,CAAC;QACvE,CAAC;QAED,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;QACtB,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;QAEtB,IAAI,OAAO,IAAI,KAAK,QAAQ,EAAE,CAAC;YAC7B,MAAM,IAAI,SAAS,CAAC,qCAAqC,CAAC,CAAC;QAC7D,CAAC;QAED,IAAI,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YACpB,MAAM,IAAI,SAAS,CAAC,oCAAoC,CAAC,CAAC;QAC5D,CAAC;QAED,IAAI,IAAI,KAAK,QAAQ,EAAE,CAAC;YACtB,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;YACxB,MAAM,CAAC,cAAc,CAAC,YAAY,EAAE,IAAI,EAAE;gBACxC,YAAY,EAAE,KAAK;gBACnB,UAAU,EAAE,IAAI;gBAChB,KAAK,EAAE,GAAG,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC;gBAC5B,QAAQ,EAAE,KAAK;aAChB,CAAC,CAAC;YACH,SAAS;QACX,CAAC;QAED,IAAI,IAAI,KAAK,WAAW,EAAE,CAAC;YACzB,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;YAC3B,MAAM,CAAC,cAAc,CAAC,YAAY,EAAE,IAAI,EAAE;gBACxC,YAAY,EAAE,KAAK;gBACnB,UAAU,EAAE,IAAI;gBAChB,KAAK,EAAE,CAAC,KAAc,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;gBACjD,QAAQ,EAAE,KAAK;aAChB,CAAC,CAAC;YACH,SAAS;QACX,CAAC;QAED,MAAM,IAAI,SAAS,CACjB,wEAAwE,CACzE,CAAC;IACJ,CAAC;IAED,MAAM,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC;IAE5B,MAAM,MAAM,GAA6D;QACvE,IAAI,EAAE,YAAuE;QAC7E,KAAK,CACH,KAA8D,EAC9D,QAAkB;YAElB,IACE,KAAK,KAAK,IAAI;gBACd,CAAC,OAAO,KAAK,KAAK,QAAQ,IAAI,OAAO,KAAK,KAAK,UAAU,CAAC,EAC1D,CAAC;gBACD,MAAM,IAAI,SAAS,CAAC,wCAAwC,CAAC,CAAC;YAChE,CAAC;YAED,MAAM,aAAa,GAAG,MAAM,CAAC,wBAAwB,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;YACpE,MAAM,GAAG,GACP,aAAa,KAAK,SAAS,IAAI,MAAM,CAAC,MAAM,CAAC,aAAa,EAAE,OAAO,CAAC;gBAClE,CAAC,CAAC,aAAa,CAAC,KAAK;gBACrB,CAAC,CAAC,SAAS,CAAC;YAEhB,IAAI,OAAO,GAAG,KAAK,QAAQ,EAAE,CAAC;gBAC5B,MAAM,IAAI,SAAS,CAAC,8CAA8C,CAAC,CAAC;YACtE,CAAC;YAED,MAAM,IAAI,GAAG,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YAE5B,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;gBACvB,MAAM,IAAI,SAAS,CAAC,2CAA2C,CAAC,CAAC;YACnE,CAAC;YAED,MAAM,UAAU,GAAG,MAAM,CAAC,wBAAwB,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC;YAClE,MAAM,OAAO,GACX,UAAU,KAAK,SAAS,IAAI,MAAM,CAAC,MAAM,CAAC,UAAU,EAAE,OAAO,CAAC;gBAC5D,CAAC,CAAC,UAAU,CAAC,KAAK;gBAClB,CAAC,CAAC,SAAS,CAAC;YAEhB,IAAI,OAAO,OAAO,KAAK,UAAU,EAAE,CAAC;gBAClC,MAAM,IAAI,SAAS,CACjB,8EAA8E,CAC/E,CAAC;YACJ,CAAC;YAED,IAAI,IAAI,KAAK,MAAM,EAAE,CAAC;gBACpB,OAAO,OAAO,EAA0D,CAAC;YAC3E,CAAC;YAED,MAAM,eAAe,GAAG,MAAM,CAAC,wBAAwB,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;YACxE,IAAI,eAAe,KAAK,SAAS,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,eAAe,EAAE,OAAO,CAAC,EAAE,CAAC;gBAC9E,MAAM,IAAI,SAAS,CAAC,uDAAuD,CAAC,CAAC;YAC/E,CAAC;YAED,OAAO,OAAO,CAAC,eAAe,CAAC,KAAK,CAGnC,CAAC;QACJ,CAAC;KACF,CAAC;IAEF,OAAO,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;AAC/B,CAAC,CAAC;AAQF,oEAAoE;AACpE,MAAM,CAAC,MAAM,MAAM,GAAG,CAIpB,KAA+B,EAC/B,OAAgB,EAChB,GAAG,OAAgE,EACT,EAAE,CAC5D,YAAY,CAAsB,KAAmB,EAAE,OAAO,CAAC,CAAC;AAQlE,uFAAuF;AACvF,MAAM,CAAC,MAAM,OAAO,GAAkB;IACpC,MAAM;IACN,OAAO;IACP,IAAI;CACL,CAAC"}

package/docs/API.md

@@ -0,0 +1,543 @@
+# Selaws API
+
+This document is the public-surface index. For design guidance and complete
+examples, see [GUIDE.md](./GUIDE.md). Normative behavior is defined in
+[SEMANTICS.md](./SEMANTICS.md) and the owner/shared laws under
+[docs/laws](./laws/).
+
+## Root: `selaws`
+
+The root exposes owner facades and principal carrier types so mixed-owner
+application code can keep ownership visible.
+
+Runtime values:
+
+```text
+identity
+evidence
+Protocol
+Variant
+Option
+Validation
+Result
+```
+
+Principal types:
+
+```text
+Scalar
+Identity
+Evidence
+Protocol
+Variant
+
+Option
+Some
+None
+OptionValue
+
+Validation
+Valid
+Invalid
+ValidationIssues
+ValidationValue
+ValidationError
+
+Result
+Ok
+Err
+AsyncResult
+ResultValue
+ResultError
+```
+
+Generic operation names such as `map`, `match`, `define`, and `Next` are
+not exported as root-level functions. They belong to focused subpaths or to the
+corresponding facade.
+
+```ts
+import {
+  Option,
+  Protocol,
+  Result,
+  Validation,
+  Variant,
+} from "selaws";
+
+const maybe = Option.some(1);
+const success = Result.ok(1);
+```
+
+Result capture helpers such as `attempt` and `wrap` live on
+`selaws/result`; they are explicit JavaScript control-boundary operations, not
+members of the root Result data facade.
+
+## Shared Match law
+
+Match is a first-class shared elimination law, not a public namespace or
+dispatcher. There is no root `Match` export and no `selaws/match` entry point.
+
+The public realizations stay on the semantic owner that defines the branch
+universe:
+
+```text
+Option.match
+Result.match
+Validation.match
+VariantFamily.match
+```
+
+All four require typed total handling of the owner's branches, invoke exactly
+one selected handler without a library-defined `this` receiver, leave
+unselected handlers untouched, and preserve the selected handler's ordinary
+return, throw, or Promise completion.
+
+The owner remains responsible for branch meaning and any extra runtime
+validation. Variant therefore retains family-specific runtime representation
+checks that fixed structural carriers do not share.
+
+See [the Match law](./laws/match.md) for the normative cross-owner contract.
+
+## `selaws/identity`
+
+Exports:
+
+```text
+Scalar
+Identity
+defineIdentity
+identity
+
+identity.string
+identity.number
+identity.bigint
+identity.boolean
+identity.symbol
+identity.define
+identity.Value
+```
+
+### Named formation
+
+```ts
+const UserId = identity.string("UserId");
+type UserId = identity.Value<typeof UserId>;
+
+const id = UserId("u_1");
+```
+
+Each carrier factory accepts either a concrete string name or a narrow symbol.
+Without a predicate, a correctly typed carrier is formed directly and unknown
+input is checked for the correct scalar kind. With a predicate, formation can
+return `undefined`.
+
+```ts
+const Port = identity.number(
+  "Port",
+  (value) =>
+    Number.isInteger(value) &&
+    value >= 0 &&
+    value <= 65_535,
+);
+```
+
+String names define package-copy-stable structural identity. A bound symbol
+defines declaration-owned identity.
+
+### `defineIdentity`
+
+`defineIdentity<T>()(token, build)` supplies a private `mint` function to the
+declaration callback. Use it when the declaring module needs a custom formation
+API rather than one scalar factory function.
+
+## `selaws/evidence`
+
+Exports:
+
+```text
+Scalar
+Evidence
+defineFact
+evidence
+
+evidence.string
+evidence.number
+evidence.bigint
+evidence.boolean
+evidence.symbol
+evidence.define
+evidence.Proven
+```
+
+Every Evidence factory requires a predicate.
+
+```ts
+const NonEmpty = evidence.string(
+  "NonEmpty",
+  (value) => value.length > 0,
+);
+
+const checked = NonEmpty(value);
+// proven value | undefined
+```
+
+Successful establishment preserves identity and previously established evidence
+on the same scalar.
+
+`evidence.Proven<typeof Fact, Value>` applies a fact declaration's evidence
+type to an already compatible scalar type.
+
+`defineFact<T>()(token, build)` is the declaration-owned form. Its callback
+receives the private establishment function.
+
+## `selaws/protocol`
+
+Types:
+
+```text
+State
+Label
+Transition
+States
+Labels
+Next
+Protocol
+```
+
+Runtime exports:
+
+```text
+define
+Protocol
+Protocol.define
+```
+
+### Define a relation
+
+```ts
+const transitions = [
+  ["pending", "pay", "paid"],
+  ["pending", "cancel", "cancelled"],
+] as const;
+
+const OrderProtocol =
+  Protocol.define(transitions);
+```
+
+`Protocol.define` snapshots a readonly relation of readonly
+`[from, label, to]` triples into an immutable membership relation. Typed
+declarations reject directly mutable outer arrays and triples. A readonly view
+over a separately mutable alias is still subject to the TypeScript trust model
+described in [SEMANTICS.md](./SEMANTICS.md).
+
+### Static projections
+
+```ts
+type State =
+  States<typeof transitions>;
+
+type Label =
+  Labels<typeof transitions>;
+
+type AfterPay =
+  Next<
+    typeof transitions,
+    "pending",
+    "pay"
+  >;
+// "paid"
+```
+
+`States` contains source and target identifiers that occur in the declaration.
+`Labels` contains declared labels. `Next` projects the targets statically
+admissible for a source/label pair.
+
+### Runtime membership
+
+```ts
+OrderProtocol.allows(
+  "pending",
+  "pay",
+  "paid",
+);
+// boolean
+```
+
+`allows` tests one concrete triple. It returns a boolean rather than a
+target-narrowing type predicate. The relation may be nondeterministic.
+
+Protocol does not store current state or perform a transition.
+
+## `selaws/variant`
+
+Type:
+
+```text
+Variant
+```
+
+Runtime exports and facade members:
+
+```text
+define
+payload
+unit
+Variant
+
+Variant.define
+Variant.payload
+Variant.unit
+Variant.Value
+```
+
+### Declare a family
+
+```ts
+const Message = Variant.define("Message", [
+  ["quit", Variant.unit],
+  ["write", Variant.payload<string>()],
+]);
+
+type Message =
+  Variant.Value<typeof Message>;
+```
+
+`Variant.define` accepts one finite readonly tuple of `[caseName, caseSpec]`
+entries, snapshots that tuple, and returns an immutable family with:
+
+```text
+family.make.<case>(...)
+family.match(value, handlers)
+```
+
+`Variant.unit` declares a nullary case.
+`Variant.payload<T>()` declares a case carrying exactly one typed payload.
+Case names must be concrete string literals. The outer declaration tuple and
+each case-entry pair must be readonly. Duplicate names and broad-length or
+union declaration lists are outside the typed grammar.
+
+`Variant.Value<Family>` extracts the complete tagged value union. The
+top-level type `Variant<Family>` is the equivalent carrier type.
+
+### Construct and eliminate
+
+```ts
+const value =
+  Message.make.write("hello");
+
+const length = Message.match(value, {
+  quit: () => 0,
+  write: (text) => text.length,
+});
+```
+
+Typed `match` requires handlers for the complete family. At runtime, the
+Variant value must carry its tag as an own data property; payload cases must
+also carry their payload as an own data `value` property. The selected tag must
+belong to the declaration, and the selected handler must be an own function
+property.
+
+A string family token defines named package-copy-stable identity. A bound
+symbol defines declaration-owned family identity.
+
+## `selaws/option`
+
+Types:
+
+```text
+Some
+None
+Option
+OptionValue
+```
+
+Runtime exports and facade members:
+
+```text
+some
+none
+isSome
+isNone
+match
+map
+andThen
+orElse
+flatten
+filter
+inspect
+unwrapOr
+unwrapOrElse
+all
+fromUndefined
+fromNullable
+toUndefined
+toNullable
+Option
+```
+
+Operation groups:
+
+| Group | Operations | Meaning |
+| --- | --- | --- |
+| Formation | `some`, `none`, `fromUndefined`, `fromNullable` | create explicit presence/absence |
+| Narrowing/elimination | `isSome`, `isNone`, `match` | inspect the branch |
+| Composition | `map`, `andThen`, `orElse`, `flatten`, `filter` | transform while preserving Option meaning |
+| Observation/fallback | `inspect`, `unwrapOr`, `unwrapOrElse` | observe or leave Option |
+| Collection | `all` | combine already-materialized Options |
+| JS boundary | `toUndefined`, `toNullable` | project None to a conventional JS sentinel |
+
+`OptionValue<O>` extracts the Some payload type.
+
+`some(undefined)` is Some; `fromUndefined(undefined)` is None.
+
+`inspect` is synchronous and returns the original Option.
+
+`Option.all` preserves finite tuple positions. Typed input arrays must be
+readonly; broad `readonly Option<T>[]` inputs remain valid.
+
+## `selaws/validation`
+
+Types:
+
+```text
+Valid
+Invalid
+Validation
+ValidationIssues
+ValidationValue
+ValidationError
+```
+
+Runtime exports and facade members:
+
+```text
+valid
+invalid
+isValid
+isInvalid
+match
+map
+mapError
+inspect
+inspectErrors
+unwrapOr
+unwrapOrElse
+all
+struct
+fromOption
+fromResult
+Validation
+```
+
+Operation groups:
+
+| Group | Operations | Meaning |
+| --- | --- | --- |
+| Formation | `valid`, `invalid` | construct valid data or non-empty issues |
+| Narrowing/elimination | `isValid`, `isInvalid`, `match` | inspect the branch |
+| Mapping | `map`, `mapError` | transform values or every issue |
+| Observation/fallback | `inspect`, `inspectErrors`, `unwrapOr`, `unwrapOrElse` | observe or leave Validation |
+| Accumulation | `all`, `struct` | combine independent available checks |
+| Conversion | `fromOption`, `fromResult` | introduce Validation meaning at an explicit boundary |
+
+`ValidationIssues<E>` is a non-empty readonly tuple type.
+
+`ValidationValue<V>` extracts the Valid payload.
+`ValidationError<V>` extracts one issue type.
+
+`Validation.all` preserves finite tuple positions. Typed input arrays must be
+readonly; broad readonly Validation arrays remain valid. `Validation.struct` accepts one
+finite readonly tuple of readonly `[key, Validation]` entries, preserves those
+string or symbol keys, and accumulates issues in entry order. Directly mutable
+outer or inner tuples, duplicate keys, broad keys, and broad-length declarations
+are outside the typed grammar. Readonly views over separately mutable aliases
+remain subject to the package TypeScript trust model.
+
+`Validation.fromResult` turns one Err value into one Validation issue even
+when that Err value is itself an array.
+
+## `selaws/result`
+
+Types:
+
+```text
+Ok
+Err
+Result
+AsyncResult
+ResultValue
+ResultError
+```
+
+### Result data algebra
+
+Runtime exports and Result facade members:
+
+```text
+ok
+err
+isOk
+isErr
+match
+map
+mapError
+andThen
+orElse
+flatten
+inspect
+inspectError
+unwrapOr
+unwrapOrElse
+all
+fromOption
+fromValidation
+Result
+```
+
+Operation groups:
+
+| Group | Operations | Meaning |
+| --- | --- | --- |
+| Formation | `ok`, `err` | construct recoverable success/error data |
+| Narrowing/elimination | `isOk`, `isErr`, `match` | inspect the branch |
+| Composition | `map`, `mapError`, `andThen`, `orElse`, `flatten` | transform or sequence Result data |
+| Observation/fallback | `inspect`, `inspectError`, `unwrapOr`, `unwrapOrElse` | observe or leave Result |
+| Collection | `all` | combine already-materialized Results, stopping at the first Err |
+| Conversion | `fromOption`, `fromValidation` | introduce Result meaning at an explicit boundary |
+
+`ResultValue<R>` extracts the Ok payload.
+`ResultError<R>` extracts the Err payload.
+
+`Result.all` traverses in input order and returns the first Err object itself.
+Typed input arrays must be readonly; broad readonly Result arrays remain valid.
+
+`Result.fromValidation` carries the entire non-empty issue collection as one
+Err value.
+
+### JavaScript control boundaries
+
+Focused-only runtime exports:
+
+```text
+attempt
+attemptAsync
+wrap
+wrapAsync
+orThrow
+```
+
+`attempt(read, mapThrown)` captures one synchronous invocation boundary.
+Thrown values become Err through `mapThrown`. A Promise-like return violates
+the synchronous contract and raises `TypeError`.
+
+`attemptAsync(read, mapThrown)` captures invocation throws and Promise
+rejection into `Promise<Result<...>>`.
+
+`wrap` and `wrapAsync` produce reusable wrapped functions while preserving
+arguments and `this`.
+
+`orThrow(result, mapErrorToThrowable)` returns the Ok value or explicitly maps
+Err back to a thrown JavaScript value.
+
+Promise remains the async scheduling owner; these helpers do not introduce an
+async Result runtime.