@fncts/test 0.0.22 → 0.0.23

package/_cjs/control/AssertionIO/definition.cjs

@@ -5,7 +5,10 @@ Object.defineProperty(exports, "__esModule", {
 });
 exports.AssertionIOTypeId = exports.AssertionIO = void 0;
 exports.isAssertionIO = isAssertionIO;
-var _predicates = /*#__PURE__*/require("@fncts/base/util/predicates");
+var tsplus_module_1 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/base/util/predicates"));
+function _getRequireWildcardCache(nodeInterop) { if (typeof WeakMap !== "function") return null; var cacheBabelInterop = new WeakMap(); var cacheNodeInterop = new WeakMap(); return (_getRequireWildcardCache = function (nodeInterop) { return nodeInterop ? cacheNodeInterop : cacheBabelInterop; })(nodeInterop); }
+function _interopRequireWildcard(obj, nodeInterop) { if (!nodeInterop && obj && obj.__esModule) { return obj; } if (obj === null || typeof obj !== "object" && typeof obj !== "function") { return { default: obj }; } var cache = _getRequireWildcardCache(nodeInterop); if (cache && cache.has(obj)) { return cache.get(obj); } var newObj = {}; var hasPropertyDescriptor = Object.defineProperty && Object.getOwnPropertyDescriptor; for (var key in obj) { if (key !== "default" && Object.prototype.hasOwnProperty.call(obj, key)) { var desc = hasPropertyDescriptor ? Object.getOwnPropertyDescriptor(obj, key) : null; if (desc && (desc.get || desc.set)) { Object.defineProperty(newObj, key, desc); } else { newObj[key] = obj[key]; } } } newObj.default = obj; if (cache) { cache.set(obj, newObj); } return newObj; }
+var _a;
 const AssertionIOTypeId = /*#__PURE__*/Symbol.for("fncts.test.AssertionIO");
 /**
  * @tsplus type fncts.test.AssertionIO
@@ -16,14 +19,15 @@ class AssertionIO {
   constructor(render, runIO) {
     this.render = render;
     this.runIO = runIO;
-    this._typeId = AssertionIOTypeId;
+    this[_a] = AssertionIOTypeId;
   }
   get rendered() {
     return this.render.rendered;
   }
 }
 exports.AssertionIO = AssertionIO;
+_a = AssertionIOTypeId;
 function isAssertionIO(u) {
-  return (0, _predicates.hasTypeId)(u, AssertionIOTypeId);
+  return tsplus_module_1.isObject(u) && AssertionIOTypeId in u;
 }
 //# sourceMappingURL=definition.cjs.map

package/_cjs/control/AssertionIO/definition.cjs.map

@@ -1 +1 @@
-{"version":3,"file":"definition.cjs","mappings":";;;;;;;AAIA;AAIO,MAAMA,iBAAiB,gBAAGC,MAAM,CAACC,GAAG,CAAC,wBAAwB,CAAC;AAGrE;;;;AAAA;AAIM,MAAOC,WAAW;EAEtBC,YAAqBC,MAAc,EAAWC,KAAuC;IAAhE,WAAM,GAAND,MAAM;IAAmB,UAAK,GAALC,KAAK;IAD1C,YAAO,GAAsBN,iBAAiB;EACiC;EACxF,IAAIO,QAAQ;IACV,OAAO,IAAI,CAACF,MAAM,CAACE,QAAQ;EAC7B;;AACD;AAEK,SAAUC,aAAa,CAACC,CAAU;EACtC,OAAO,yBAAS,EAACA,CAAC,EAAET,iBAAiB,CAAC;AACxC","names":["AssertionIOTypeId","Symbol","for","AssertionIO","constructor","render","runIO","rendered","isAssertionIO","u"],"sourceRoot":"","sources":["../../../_src/control/AssertionIO/definition.ts"],"sourcesContent":[null]}
+{"version":3,"file":"definition.cjs","mappings":";;;;;;;;;;;AAMO,MAAMA,iBAAiB,gBAAGC,MAAM,CAACC,GAAG,CAAC,wBAAwB,CAAC;AAGrE;;;;AAAA;AAIM,MAAOC,WAAW;EAEtBC,YAAqBC,MAAc,EAAWC,KAAuC;IAAhE,WAAM,GAAND,MAAM;IAAmB,UAAK,GAALC,KAAK;IAD1C,QAAmB,GAAsBN,iBAAiB;EACqB;EACxF,IAAIO,QAAQ;IACV,OAAO,IAAI,CAACF,MAAM,CAACE,QAAQ;EAC7B;;AACD;KALWP,iBAAiB;AAOvB,SAAUQ,aAAa,CAACC,CAAU;EACtC,OAAOC,wBAAQ,CAACD,CAAC,CAAC,IAAIT,iBAAiB,IAAIS,CAAC;AAC9C","names":["AssertionIOTypeId","Symbol","for","AssertionIO","constructor","render","runIO","rendered","isAssertionIO","u","tsplus_module_1"],"sourceRoot":"","sources":["../../../_src/control/AssertionIO/definition.ts"],"sourcesContent":[null]}

package/_cjs/data/AssertionData.cjs

@@ -9,6 +9,7 @@ var tsplus_module_2 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require
 var _AssertionValue = /*#__PURE__*/require("./AssertionValue.cjs");
 function _getRequireWildcardCache(nodeInterop) { if (typeof WeakMap !== "function") return null; var cacheBabelInterop = new WeakMap(); var cacheNodeInterop = new WeakMap(); return (_getRequireWildcardCache = function (nodeInterop) { return nodeInterop ? cacheNodeInterop : cacheBabelInterop; })(nodeInterop); }
 function _interopRequireWildcard(obj, nodeInterop) { if (!nodeInterop && obj && obj.__esModule) { return obj; } if (obj === null || typeof obj !== "object" && typeof obj !== "function") { return { default: obj }; } var cache = _getRequireWildcardCache(nodeInterop); if (cache && cache.has(obj)) { return cache.get(obj); } var newObj = {}; var hasPropertyDescriptor = Object.defineProperty && Object.getOwnPropertyDescriptor; for (var key in obj) { if (key !== "default" && Object.prototype.hasOwnProperty.call(obj, key)) { var desc = hasPropertyDescriptor ? Object.getOwnPropertyDescriptor(obj, key) : null; if (desc && (desc.get || desc.set)) { Object.defineProperty(newObj, key, desc); } else { newObj[key] = obj[key]; } } } newObj.default = obj; if (cache) { cache.set(obj, newObj); } return newObj; }
+var _a;
 const asSuccess = asSuccess_1;
 exports.asSuccess = asSuccess;
 const asFailure = asFailure_1;
@@ -22,13 +23,14 @@ class AssertionData {
   constructor(value, assertion) {
     this.value = value;
     this.assertion = assertion;
-    this._typeId = AssertionDataTypeId;
+    this[_a] = AssertionDataTypeId;
   }
 }
+exports.AssertionData = AssertionData;
+_a = AssertionDataTypeId;
 /**
  * @tsplus getter fncts.test.data.AssertionData asSuccess
  */
-exports.AssertionData = AssertionData;
 function asSuccess_1(self) {
   return tsplus_module_2.success(new _AssertionValue.AssertionValue(tsplus_module_1.lazy(() => self.assertion), self.value, tsplus_module_1.lazy(() => asSuccess_1(self))));
 }

package/_cjs/data/AssertionData.cjs.map

@@ -1 +1 @@
-{"version":3,"file":"AssertionData.cjs","mappings":";;;;;;;;AAEA;AAAqD;AAAA;MAiBrCA,SAAS;AAAA;MASTC,SAAS;AAAA;AAvBlB,MAAMC,mBAAmB,gBAAGC,MAAM,CAACC,GAAG,CAAC,+BAA+B,CAAC;AAG9E;;;AAAA;AAGM,MAAOC,aAAa;EAExBC,YAAqBC,KAAQ,EAAWC,SAAuB;IAA1C,UAAK,GAALD,KAAK;IAAc,cAAS,GAATC,SAAS;IADxC,YAAO,GAAwBN,mBAAmB;EACO;;AAGpE;;;AAAA;AAGA,qBAA6BO,IAAsB;EACjD,OAAOC,wBACL,IAAIC,8BAAc,CAACC,2BAAUH,IAAI,CAACD,SAAS,CAAC,EAAEC,IAAI,CAACF,KAAK,EAAEK,uCAAUH,IAAI,EAAW,CAAC,CACrF;AACH;AAEA;;;AAGA,qBAA6BA,IAAsB;EACjD,OAAOC,wBACL,IAAIC,8BAAc,CAACC,2BAAUH,IAAI,CAACD,SAAS,CAAC,EAAEC,IAAI,CAACF,KAAK,EAAEK,uCAAUH,IAAI,EAAW,CAAC,CACrF;AACH","names":["asSuccess","asFailure","AssertionDataTypeId","Symbol","for","AssertionData","constructor","value","assertion","self","tsplus_module_2","AssertionValue","tsplus_module_1"],"sourceRoot":"","sources":["../../_src/data/AssertionData.ts"],"sourcesContent":[null]}
+{"version":3,"file":"AssertionData.cjs","mappings":";;;;;;;;AAEA;AAAqD;AAAA;;MAiBrCA,SAAS;AAAA;MASTC,SAAS;AAAA;AAvBlB,MAAMC,mBAAmB,gBAAGC,MAAM,CAACC,GAAG,CAAC,+BAA+B,CAAC;AAG9E;;;AAAA;AAGM,MAAOC,aAAa;EAExBC,YAAqBC,KAAQ,EAAWC,SAAuB;IAA1C,UAAK,GAALD,KAAK;IAAc,cAAS,GAATC,SAAS;IADxC,QAAqB,GAAwBN,mBAAmB;EACP;;AACnE;KAFWA,mBAAmB;AAI/B;;;AAGA,qBAA6BO,IAAsB;EACjD,OAAOC,wBACL,IAAIC,8BAAc,CAACC,2BAAUH,IAAI,CAACD,SAAS,CAAC,EAAEC,IAAI,CAACF,KAAK,EAAEK,uCAAUH,IAAI,EAAW,CAAC,CACrF;AACH;AAEA;;;AAGA,qBAA6BA,IAAsB;EACjD,OAAOC,wBACL,IAAIC,8BAAc,CAACC,2BAAUH,IAAI,CAACD,SAAS,CAAC,EAAEC,IAAI,CAACF,KAAK,EAAEK,uCAAUH,IAAI,EAAW,CAAC,CACrF;AACH","names":["asSuccess","asFailure","AssertionDataTypeId","Symbol","for","AssertionData","constructor","value","assertion","self","tsplus_module_2","AssertionValue","tsplus_module_1"],"sourceRoot":"","sources":["../../_src/data/AssertionData.ts"],"sourcesContent":[null]}

package/_cjs/data/AssertionValue/definition.cjs

@@ -7,6 +7,7 @@ exports.AssertionValueTypeId = exports.AssertionValue = void 0;
 var tsplus_module_1 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/base/data/Maybe/constructors"));
 function _getRequireWildcardCache(nodeInterop) { if (typeof WeakMap !== "function") return null; var cacheBabelInterop = new WeakMap(); var cacheNodeInterop = new WeakMap(); return (_getRequireWildcardCache = function (nodeInterop) { return nodeInterop ? cacheNodeInterop : cacheBabelInterop; })(nodeInterop); }
 function _interopRequireWildcard(obj, nodeInterop) { if (!nodeInterop && obj && obj.__esModule) { return obj; } if (obj === null || typeof obj !== "object" && typeof obj !== "function") { return { default: obj }; } var cache = _getRequireWildcardCache(nodeInterop); if (cache && cache.has(obj)) { return cache.get(obj); } var newObj = {}; var hasPropertyDescriptor = Object.defineProperty && Object.getOwnPropertyDescriptor; for (var key in obj) { if (key !== "default" && Object.prototype.hasOwnProperty.call(obj, key)) { var desc = hasPropertyDescriptor ? Object.getOwnPropertyDescriptor(obj, key) : null; if (desc && (desc.get || desc.set)) { Object.defineProperty(newObj, key, desc); } else { newObj[key] = obj[key]; } } } newObj.default = obj; if (cache) { cache.set(obj, newObj); } return newObj; }
+var _a;
 const AssertionValueTypeId = /*#__PURE__*/Symbol.for("fncts.test.data.AssertionValue");
 /**
  * @tsplus type fncts.test.data.AssertionValue
@@ -20,8 +21,9 @@ class AssertionValue {
     this.result = result;
     this.expression = expression;
     this.sourceLocation = sourceLocation;
-    this._typeId = AssertionValueTypeId;
+    this[_a] = AssertionValueTypeId;
   }
 }
 exports.AssertionValue = AssertionValue;
+_a = AssertionValueTypeId;
 //# sourceMappingURL=definition.cjs.map

package/_cjs/data/AssertionValue/definition.cjs.map

@@ -1 +1 @@
-{"version":3,"file":"definition.cjs","mappings":";;;;;;;;;AAEO,MAAMA,oBAAoB,gBAAGC,MAAM,CAACC,GAAG,CAAC,gCAAgC,CAAC;AAGhF;;;;AAAA;AAIM,MAAOC,cAAc;EAEzBC,YACWC,SAAoC,EACpCC,KAAQ,EACRC,MAAwD,EACxDC,aAA4BC,yBAAS,EACrCC,iBAAgCD,yBAAS;IAJzC,cAAS,GAATJ,SAAS;IACT,UAAK,GAALC,KAAK;IACL,WAAM,GAANC,MAAM;IACN,eAAU,GAAVC,UAAU;IACV,mBAAc,GAAdE,cAAc;IANhB,YAAO,GAAyBV,oBAAoB;EAO1D;;AACJ","names":["AssertionValueTypeId","Symbol","for","AssertionValue","constructor","assertion","value","result","expression","tsplus_module_1","sourceLocation"],"sourceRoot":"","sources":["../../../_src/data/AssertionValue/definition.ts"],"sourcesContent":[null]}
+{"version":3,"file":"definition.cjs","mappings":";;;;;;;;;;AAEO,MAAMA,oBAAoB,gBAAGC,MAAM,CAACC,GAAG,CAAC,gCAAgC,CAAC;AAGhF;;;;AAAA;AAIM,MAAOC,cAAc;EAEzBC,YACWC,SAAoC,EACpCC,KAAQ,EACRC,MAAwD,EACxDC,aAA4BC,yBAAS,EACrCC,iBAAgCD,yBAAS;IAJzC,cAAS,GAATJ,SAAS;IACT,UAAK,GAALC,KAAK;IACL,WAAM,GAANC,MAAM;IACN,eAAU,GAAVC,UAAU;IACV,mBAAc,GAAdE,cAAc;IANhB,QAAsB,GAAyBV,oBAAoB;EAOzE;;AACJ;KARWA,oBAAoB","names":["AssertionValueTypeId","Symbol","for","AssertionValue","constructor","assertion","value","result","expression","tsplus_module_1","sourceLocation"],"sourceRoot":"","sources":["../../../_src/data/AssertionValue/definition.ts"],"sourcesContent":[null]}

package/_cjs/data/TestAnnotation/definition.cjs

@@ -3,15 +3,18 @@
 Object.defineProperty(exports, "__esModule", {
   value: true
 });
-exports.TestAnnotationTypeId = exports.TestAnnotation = void 0;
+exports.TestAnnotationVariance = exports.TestAnnotationTypeId = exports.TestAnnotation = void 0;
 exports.isTestAnnotation = isTestAnnotation;
 var tsplus_module_1 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/base/data/Hashable/definition"));
 var tsplus_module_2 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/base/data/Hashable/hash"));
 var tsplus_module_3 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/base/data/Equatable/definition"));
 var tsplus_module_4 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/base/data/Equatable/api"));
-var _predicates = /*#__PURE__*/require("@fncts/base/util/predicates");
+var tsplus_module_5 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/base/util/predicates"));
 function _getRequireWildcardCache(nodeInterop) { if (typeof WeakMap !== "function") return null; var cacheBabelInterop = new WeakMap(); var cacheNodeInterop = new WeakMap(); return (_getRequireWildcardCache = function (nodeInterop) { return nodeInterop ? cacheNodeInterop : cacheBabelInterop; })(nodeInterop); }
 function _interopRequireWildcard(obj, nodeInterop) { if (!nodeInterop && obj && obj.__esModule) { return obj; } if (obj === null || typeof obj !== "object" && typeof obj !== "function") { return { default: obj }; } var cache = _getRequireWildcardCache(nodeInterop); if (cache && cache.has(obj)) { return cache.get(obj); } var newObj = {}; var hasPropertyDescriptor = Object.defineProperty && Object.getOwnPropertyDescriptor; for (var key in obj) { if (key !== "default" && Object.prototype.hasOwnProperty.call(obj, key)) { var desc = hasPropertyDescriptor ? Object.getOwnPropertyDescriptor(obj, key) : null; if (desc && (desc.get || desc.set)) { Object.defineProperty(newObj, key, desc); } else { newObj[key] = obj[key]; } } } newObj.default = obj; if (cache) { cache.set(obj, newObj); } return newObj; }
+var _a;
+const TestAnnotationVariance = /*#__PURE__*/Symbol.for("fncts.test.TestAnnotation.Variance");
+exports.TestAnnotationVariance = TestAnnotationVariance;
 const TestAnnotationTypeId = /*#__PURE__*/Symbol.for("fncts.test.TestAnnotation");
 /**
  * @tsplus type fncts.test.TestAnnotation
@@ -24,9 +27,9 @@ class TestAnnotation {
     this.identifier = identifier;
     this.initial = initial;
     this.combine = combine;
-    this._typeId = TestAnnotationTypeId;
+    this[_a] = TestAnnotationTypeId;
   }
-  get [tsplus_module_1.hashSymbol]() {
+  get [(_a = TestAnnotationTypeId, tsplus_module_1.hashSymbol)]() {
     return tsplus_module_2.combineHash(tsplus_module_2.hashString(this.identifier), tsplus_module_2.hashUnknown(this.tag));
   }
   [tsplus_module_3.equalsSymbol](that) {
@@ -35,6 +38,6 @@ class TestAnnotation {
 }
 exports.TestAnnotation = TestAnnotation;
 function isTestAnnotation(u) {
-  return (0, _predicates.hasTypeId)(u, TestAnnotationTypeId);
+  return tsplus_module_5.isObject(u) && TestAnnotationTypeId in u;
 }
 //# sourceMappingURL=definition.cjs.map

package/_cjs/data/TestAnnotation/definition.cjs.map

@@ -1 +1 @@
-{"version":3,"file":"definition.cjs","mappings":";;;;;;;;;;;AAAA;AAAwD;AAAA;AAEjD,MAAMA,oBAAoB,gBAAGC,MAAM,CAACC,GAAG,CAAC,2BAA2B,CAAC;AAG3E;;;;AAAA;AAIM,MAAOC,cAAc;EAGzBC,YACWC,GAAW,EACXC,UAAkB,EAClBC,OAAU,EACVC,OAA4B;IAH5B,QAAG,GAAHH,GAAG;IACH,eAAU,GAAVC,UAAU;IACV,YAAO,GAAPC,OAAO;IACP,YAAO,GAAPC,OAAO;IANT,YAAO,GAAyBR,oBAAoB;EAO1D;EACH,KAAIS,8BAAa;IACf,OAAOC,4BAAiBA,2BAAgB,IAAI,CAACJ,UAAU,CAAC,EAAEI,4BAAiB,IAAI,CAACL,GAAG,CAAC,CAAC;EACvF;EACA,+BAAgBM,IAAa;IAC3B,OACEC,gBAAgB,CAACD,IAAI,CAAC,IACtBE,6BAAuB,IAAI,CAACR,GAAG,EAAEM,IAAI,CAACN,GAAG,CAAC,IAC1C,IAAI,CAACC,UAAU,KAAKK,IAAI,CAACL,UAAU,IACnCO,6BAAuB,IAAI,CAACN,OAAO,EAAEI,IAAI,CAACJ,OAAO,CAAC;EAEtD;;AACD;AAEK,SAAUK,gBAAgB,CAACE,CAAU;EACzC,OAAO,yBAAS,EAACA,CAAC,EAAEd,oBAAoB,CAAC;AAC3C","names":["TestAnnotationTypeId","Symbol","for","TestAnnotation","constructor","tag","identifier","initial","combine","tsplus_module_1","tsplus_module_2","that","isTestAnnotation","tsplus_module_4","u"],"sourceRoot":"","sources":["../../../_src/data/TestAnnotation/definition.ts"],"sourcesContent":[null]}
+{"version":3,"file":"definition.cjs","mappings":";;;;;;;;;;;;;;;AAAO,MAAMA,sBAAsB,gBAAGC,MAAM,CAACC,GAAG,CAAC,oCAAoC,CAAC;AAAC;AAGhF,MAAMC,oBAAoB,gBAAGF,MAAM,CAACC,GAAG,CAAC,2BAA2B,CAAC;AAG3E;;;;AAAA;AAIM,MAAOE,cAAc;EAKzBC,YACWC,GAAW,EACXC,UAAkB,EAClBC,OAAU,EACVC,OAA4B;IAH5B,QAAG,GAAHH,GAAG;IACH,eAAU,GAAVC,UAAU;IACV,YAAO,GAAPC,OAAO;IACP,YAAO,GAAPC,OAAO;IART,QAAsB,GAAyBN,oBAAoB;EASzE;EACH,MAAIO,KAVMP,oBAAoB,iCAUb;IACf,OAAOQ,4BAAiBA,2BAAgB,IAAI,CAACJ,UAAU,CAAC,EAAEI,4BAAiB,IAAI,CAACL,GAAG,CAAC,CAAC;EACvF;EACA,+BAAgBM,IAAa;IAC3B,OACEC,gBAAgB,CAACD,IAAI,CAAC,IACtBE,6BAAuB,IAAI,CAACR,GAAG,EAAEM,IAAI,CAACN,GAAG,CAAC,IAC1C,IAAI,CAACC,UAAU,KAAKK,IAAI,CAACL,UAAU,IACnCO,6BAAuB,IAAI,CAACN,OAAO,EAAEI,IAAI,CAACJ,OAAO,CAAC;EAEtD;;AACD;AAEK,SAAUK,gBAAgB,CAACE,CAAU;EACzC,OAAOC,wBAAQ,CAACD,CAAC,CAAC,IAAIZ,oBAAoB,IAAIY,CAAC;AACjD","names":["TestAnnotationVariance","Symbol","for","TestAnnotationTypeId","TestAnnotation","constructor","tag","identifier","initial","combine","_a","tsplus_module_2","that","isTestAnnotation","tsplus_module_4","u","tsplus_module_5"],"sourceRoot":"","sources":["../../../_src/data/TestAnnotation/definition.ts"],"sourcesContent":[null]}

package/_mjs/control/AssertionIO/definition.mjs

@@ -1,4 +1,5 @@
-import { hasTypeId } from "@fncts/base/util/predicates";
+var _a;
+import * as tsplus_module_1 from "@fncts/base/util/predicates";
 export const AssertionIOTypeId = /*#__PURE__*/Symbol.for("fncts.test.AssertionIO");
 /**
  * @tsplus type fncts.test.AssertionIO
@@ -8,13 +9,14 @@ export class AssertionIO {
   constructor(render, runIO) {
     this.render = render;
     this.runIO = runIO;
-    this._typeId = AssertionIOTypeId;
+    this[_a] = AssertionIOTypeId;
   }
   get rendered() {
     return this.render.rendered;
   }
 }
+_a = AssertionIOTypeId;
 export function isAssertionIO(u) {
-  return hasTypeId(u, AssertionIOTypeId);
+  return tsplus_module_1.isObject(u) && AssertionIOTypeId in u;
 }
 //# sourceMappingURL=definition.mjs.map

package/_mjs/control/AssertionIO/definition.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"definition.mjs","mappings":"AAIA,SAASA,SAAS,QAAQ,6BAA6B;AAIvD,OAAO,MAAMC,iBAAiB,gBAAGC,MAAM,CAACC,GAAG,CAAC,wBAAwB,CAAC;AAGrE;;;;AAIA,OAAM,MAAOC,WAAW;EAEtBC,YAAqBC,MAAc,EAAWC,KAAuC;IAAhE,WAAM,GAAND,MAAM;IAAmB,UAAK,GAALC,KAAK;IAD1C,YAAO,GAAsBN,iBAAiB;EACiC;EACxF,IAAIO,QAAQ;IACV,OAAO,IAAI,CAACF,MAAM,CAACE,QAAQ;EAC7B;;AAGF,OAAM,SAAUC,aAAa,CAACC,CAAU;EACtC,OAAOV,SAAS,CAACU,CAAC,EAAET,iBAAiB,CAAC;AACxC","names":["hasTypeId","AssertionIOTypeId","Symbol","for","AssertionIO","constructor","render","runIO","rendered","isAssertionIO","u"],"sourceRoot":"","sources":["../../../_src/control/AssertionIO/definition.ts"],"sourcesContent":[null]}
+{"version":3,"file":"definition.mjs","mappings":";;AAMA,OAAO,MAAMA,iBAAiB,gBAAGC,MAAM,CAACC,GAAG,CAAC,wBAAwB,CAAC;AAGrE;;;;AAIA,OAAM,MAAOC,WAAW;EAEtBC,YAAqBC,MAAc,EAAWC,KAAuC;IAAhE,WAAM,GAAND,MAAM;IAAmB,UAAK,GAALC,KAAK;IAD1C,QAAmB,GAAsBN,iBAAiB;EACqB;EACxF,IAAIO,QAAQ;IACV,OAAO,IAAI,CAACF,MAAM,CAACE,QAAQ;EAC7B;;KAJUP,iBAAiB;AAO7B,OAAM,SAAUQ,aAAa,CAACC,CAAU;EACtC,OAAOC,wBAAQ,CAACD,CAAC,CAAC,IAAIT,iBAAiB,IAAIS,CAAC;AAC9C","names":["AssertionIOTypeId","Symbol","for","AssertionIO","constructor","render","runIO","rendered","isAssertionIO","u","tsplus_module_1"],"sourceRoot":"","sources":["../../../_src/control/AssertionIO/definition.ts"],"sourcesContent":[null]}

package/_mjs/data/AssertionData.mjs

@@ -1,3 +1,4 @@
+var _a;
 import * as tsplus_module_1 from "@fncts/base/control/LazyValue";
 import * as tsplus_module_2 from "@fncts/test/data/FreeBooleanAlgebra/api";
 export const asSuccess = asSuccess_1;
@@ -11,9 +12,10 @@ export class AssertionData {
   constructor(value, assertion) {
     this.value = value;
     this.assertion = assertion;
-    this._typeId = AssertionDataTypeId;
+    this[_a] = AssertionDataTypeId;
   }
 }
+_a = AssertionDataTypeId;
 /**
  * @tsplus getter fncts.test.data.AssertionData asSuccess
  */

package/_mjs/data/AssertionData.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"AssertionData.mjs","mappings":";;aAmBgBA,SAAS;aASTC,SAAS;AA1BzB,SAASC,cAAc,QAAQ,sBAAqB;AAGpD,OAAO,MAAMC,mBAAmB,gBAAGC,MAAM,CAACC,GAAG,CAAC,+BAA+B,CAAC;AAG9E;;;AAGA,OAAM,MAAOC,aAAa;EAExBC,YAAqBC,KAAQ,EAAWC,SAAuB;IAA1C,UAAK,GAALD,KAAK;IAAc,cAAS,GAATC,SAAS;IADxC,YAAO,GAAwBN,mBAAmB;EACO;;AAGpE;;;AAGA,qBAA6BO,IAAsB;EACjD,OAAOC,wBACL,IAAIT,cAAc,CAACU,2BAAUF,IAAI,CAACD,SAAS,CAAC,EAAEC,IAAI,CAACF,KAAK,EAAEI,uCAAUF,IAAI,EAAW,CAAC,CACrF;AACH;AAEA;;;AAGA,qBAA6BA,IAAsB;EACjD,OAAOC,wBACL,IAAIT,cAAc,CAACU,2BAAUF,IAAI,CAACD,SAAS,CAAC,EAAEC,IAAI,CAACF,KAAK,EAAEI,uCAAUF,IAAI,EAAW,CAAC,CACrF;AACH","names":["asSuccess","asFailure","AssertionValue","AssertionDataTypeId","Symbol","for","AssertionData","constructor","value","assertion","self","tsplus_module_2","tsplus_module_1"],"sourceRoot":"","sources":["../../_src/data/AssertionData.ts"],"sourcesContent":[null]}
+{"version":3,"file":"AssertionData.mjs","mappings":";;;aAmBgBA,SAAS;aASTC,SAAS;AA1BzB,SAASC,cAAc,QAAQ,sBAAqB;AAGpD,OAAO,MAAMC,mBAAmB,gBAAGC,MAAM,CAACC,GAAG,CAAC,+BAA+B,CAAC;AAG9E;;;AAGA,OAAM,MAAOC,aAAa;EAExBC,YAAqBC,KAAQ,EAAWC,SAAuB;IAA1C,UAAK,GAALD,KAAK;IAAc,cAAS,GAATC,SAAS;IADxC,QAAqB,GAAwBN,mBAAmB;EACP;;KADxDA,mBAAmB;AAI/B;;;AAGA,qBAA6BO,IAAsB;EACjD,OAAOC,wBACL,IAAIT,cAAc,CAACU,2BAAUF,IAAI,CAACD,SAAS,CAAC,EAAEC,IAAI,CAACF,KAAK,EAAEI,uCAAUF,IAAI,EAAW,CAAC,CACrF;AACH;AAEA;;;AAGA,qBAA6BA,IAAsB;EACjD,OAAOC,wBACL,IAAIT,cAAc,CAACU,2BAAUF,IAAI,CAACD,SAAS,CAAC,EAAEC,IAAI,CAACF,KAAK,EAAEI,uCAAUF,IAAI,EAAW,CAAC,CACrF;AACH","names":["asSuccess","asFailure","AssertionValue","AssertionDataTypeId","Symbol","for","AssertionData","constructor","value","assertion","self","tsplus_module_2","tsplus_module_1"],"sourceRoot":"","sources":["../../_src/data/AssertionData.ts"],"sourcesContent":[null]}

package/_mjs/data/AssertionValue/definition.mjs

@@ -1,3 +1,4 @@
+var _a;
 import * as tsplus_module_1 from "@fncts/base/data/Maybe/constructors";
 export const AssertionValueTypeId = /*#__PURE__*/Symbol.for("fncts.test.data.AssertionValue");
 /**
@@ -11,7 +12,8 @@ export class AssertionValue {
     this.result = result;
     this.expression = expression;
     this.sourceLocation = sourceLocation;
-    this._typeId = AssertionValueTypeId;
+    this[_a] = AssertionValueTypeId;
   }
 }
+_a = AssertionValueTypeId;
 //# sourceMappingURL=definition.mjs.map

package/_mjs/data/AssertionValue/definition.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"definition.mjs","mappings":";AAEA,OAAO,MAAMA,oBAAoB,gBAAGC,MAAM,CAACC,GAAG,CAAC,gCAAgC,CAAC;AAGhF;;;;AAIA,OAAM,MAAOC,cAAc;EAEzBC,YACWC,SAAoC,EACpCC,KAAQ,EACRC,MAAwD,EACxDC,aAA4BC,yBAAS,EACrCC,iBAAgCD,yBAAS;IAJzC,cAAS,GAATJ,SAAS;IACT,UAAK,GAALC,KAAK;IACL,WAAM,GAANC,MAAM;IACN,eAAU,GAAVC,UAAU;IACV,mBAAc,GAAdE,cAAc;IANhB,YAAO,GAAyBV,oBAAoB;EAO1D","names":["AssertionValueTypeId","Symbol","for","AssertionValue","constructor","assertion","value","result","expression","tsplus_module_1","sourceLocation"],"sourceRoot":"","sources":["../../../_src/data/AssertionValue/definition.ts"],"sourcesContent":[null]}
+{"version":3,"file":"definition.mjs","mappings":";;AAEA,OAAO,MAAMA,oBAAoB,gBAAGC,MAAM,CAACC,GAAG,CAAC,gCAAgC,CAAC;AAGhF;;;;AAIA,OAAM,MAAOC,cAAc;EAEzBC,YACWC,SAAoC,EACpCC,KAAQ,EACRC,MAAwD,EACxDC,aAA4BC,yBAAS,EACrCC,iBAAgCD,yBAAS;IAJzC,cAAS,GAATJ,SAAS;IACT,UAAK,GAALC,KAAK;IACL,WAAM,GAANC,MAAM;IACN,eAAU,GAAVC,UAAU;IACV,mBAAc,GAAdE,cAAc;IANhB,QAAsB,GAAyBV,oBAAoB;EAOzE;;KAPOA,oBAAoB","names":["AssertionValueTypeId","Symbol","for","AssertionValue","constructor","assertion","value","result","expression","tsplus_module_1","sourceLocation"],"sourceRoot":"","sources":["../../../_src/data/AssertionValue/definition.ts"],"sourcesContent":[null]}

package/_mjs/data/TestAnnotation/definition.mjs

@@ -1,8 +1,10 @@
+var _a;
 import * as tsplus_module_1 from "@fncts/base/data/Hashable/definition";
 import * as tsplus_module_2 from "@fncts/base/data/Hashable/hash";
 import * as tsplus_module_3 from "@fncts/base/data/Equatable/definition";
 import * as tsplus_module_4 from "@fncts/base/data/Equatable/api";
-import { hasTypeId } from "@fncts/base/util/predicates";
+import * as tsplus_module_5 from "@fncts/base/util/predicates";
+export const TestAnnotationVariance = /*#__PURE__*/Symbol.for("fncts.test.TestAnnotation.Variance");
 export const TestAnnotationTypeId = /*#__PURE__*/Symbol.for("fncts.test.TestAnnotation");
 /**
  * @tsplus type fncts.test.TestAnnotation
@@ -14,9 +16,9 @@ export class TestAnnotation {
     this.identifier = identifier;
     this.initial = initial;
     this.combine = combine;
-    this._typeId = TestAnnotationTypeId;
+    this[_a] = TestAnnotationTypeId;
   }
-  get [tsplus_module_1.hashSymbol]() {
+  get [(_a = TestAnnotationTypeId, tsplus_module_1.hashSymbol)]() {
     return tsplus_module_2.combineHash(tsplus_module_2.hashString(this.identifier), tsplus_module_2.hashUnknown(this.tag));
   }
   [tsplus_module_3.equalsSymbol](that) {
@@ -24,6 +26,6 @@ export class TestAnnotation {
   }
 }
 export function isTestAnnotation(u) {
-  return hasTypeId(u, TestAnnotationTypeId);
+  return tsplus_module_5.isObject(u) && TestAnnotationTypeId in u;
 }
 //# sourceMappingURL=definition.mjs.map

package/_mjs/data/TestAnnotation/definition.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"definition.mjs","mappings":";;;;AAAA,SAASA,SAAS,QAAQ,6BAA6B;AAEvD,OAAO,MAAMC,oBAAoB,gBAAGC,MAAM,CAACC,GAAG,CAAC,2BAA2B,CAAC;AAG3E;;;;AAIA,OAAM,MAAOC,cAAc;EAGzBC,YACWC,GAAW,EACXC,UAAkB,EAClBC,OAAU,EACVC,OAA4B;IAH5B,QAAG,GAAHH,GAAG;IACH,eAAU,GAAVC,UAAU;IACV,YAAO,GAAPC,OAAO;IACP,YAAO,GAAPC,OAAO;IANT,YAAO,GAAyBR,oBAAoB;EAO1D;EACH,KAAIS,8BAAa;IACf,OAAOC,4BAAiBA,2BAAgB,IAAI,CAACJ,UAAU,CAAC,EAAEI,4BAAiB,IAAI,CAACL,GAAG,CAAC,CAAC;EACvF;EACA,+BAAgBM,IAAa;IAC3B,OACEC,gBAAgB,CAACD,IAAI,CAAC,IACtBE,6BAAuB,IAAI,CAACR,GAAG,EAAEM,IAAI,CAACN,GAAG,CAAC,IAC1C,IAAI,CAACC,UAAU,KAAKK,IAAI,CAACL,UAAU,IACnCO,6BAAuB,IAAI,CAACN,OAAO,EAAEI,IAAI,CAACJ,OAAO,CAAC;EAEtD;;AAGF,OAAM,SAAUK,gBAAgB,CAACE,CAAU;EACzC,OAAOf,SAAS,CAACe,CAAC,EAAEd,oBAAoB,CAAC;AAC3C","names":["hasTypeId","TestAnnotationTypeId","Symbol","for","TestAnnotation","constructor","tag","identifier","initial","combine","tsplus_module_1","tsplus_module_2","that","isTestAnnotation","tsplus_module_4","u"],"sourceRoot":"","sources":["../../../_src/data/TestAnnotation/definition.ts"],"sourcesContent":[null]}
+{"version":3,"file":"definition.mjs","mappings":";;;;;;AAAA,OAAO,MAAMA,sBAAsB,gBAAGC,MAAM,CAACC,GAAG,CAAC,oCAAoC,CAAC;AAGtF,OAAO,MAAMC,oBAAoB,gBAAGF,MAAM,CAACC,GAAG,CAAC,2BAA2B,CAAC;AAG3E;;;;AAIA,OAAM,MAAOE,cAAc;EAKzBC,YACWC,GAAW,EACXC,UAAkB,EAClBC,OAAU,EACVC,OAA4B;IAH5B,QAAG,GAAHH,GAAG;IACH,eAAU,GAAVC,UAAU;IACV,YAAO,GAAPC,OAAO;IACP,YAAO,GAAPC,OAAO;IART,QAAsB,GAAyBN,oBAAoB;EASzE;EACH,MAAIO,KAVMP,oBAAoB,iCAUb;IACf,OAAOQ,4BAAiBA,2BAAgB,IAAI,CAACJ,UAAU,CAAC,EAAEI,4BAAiB,IAAI,CAACL,GAAG,CAAC,CAAC;EACvF;EACA,+BAAgBM,IAAa;IAC3B,OACEC,gBAAgB,CAACD,IAAI,CAAC,IACtBE,6BAAuB,IAAI,CAACR,GAAG,EAAEM,IAAI,CAACN,GAAG,CAAC,IAC1C,IAAI,CAACC,UAAU,KAAKK,IAAI,CAACL,UAAU,IACnCO,6BAAuB,IAAI,CAACN,OAAO,EAAEI,IAAI,CAACJ,OAAO,CAAC;EAEtD;;AAGF,OAAM,SAAUK,gBAAgB,CAACE,CAAU;EACzC,OAAOC,wBAAQ,CAACD,CAAC,CAAC,IAAIZ,oBAAoB,IAAIY,CAAC;AACjD","names":["TestAnnotationVariance","Symbol","for","TestAnnotationTypeId","TestAnnotation","constructor","tag","identifier","initial","combine","_a","tsplus_module_2","that","isTestAnnotation","tsplus_module_4","u","tsplus_module_5"],"sourceRoot":"","sources":["../../../_src/data/TestAnnotation/definition.ts"],"sourcesContent":[null]}

package/_src/control/AssertionIO/definition.ts

@@ -2,8 +2,6 @@ import type { AssertionValue } from "../../data/AssertionValue.js";
 import type { Render } from "../../data/Render.js";
 import type { FreeBooleanAlgebraIO } from "../FreeBooleanAlgebraIO.js";
 
-import { hasTypeId } from "@fncts/base/util/predicates";
-
 export type AssertResultIO<A> = FreeBooleanAlgebraIO<never, never, AssertionValue<A>>;
 
 export const AssertionIOTypeId = Symbol.for("fncts.test.AssertionIO");
@@ -14,7 +12,7 @@ export type AssertionIOTypeId = typeof AssertionIOTypeId;
  * @tsplus companion fncts.test.AssertionIOOps
  */
 export class AssertionIO<A> {
-  readonly _typeId: AssertionIOTypeId = AssertionIOTypeId;
+  readonly [AssertionIOTypeId]: AssertionIOTypeId = AssertionIOTypeId;
   constructor(readonly render: Render, readonly runIO: (actual: A) => AssertResultIO<A>) {}
   get rendered() {
     return this.render.rendered;
@@ -22,5 +20,5 @@ export class AssertionIO<A> {
 }
 
 export function isAssertionIO(u: unknown): u is AssertionIO<unknown> {
-  return hasTypeId(u, AssertionIOTypeId);
+  return isObject(u) && AssertionIOTypeId in u;
 }

package/_src/data/AssertionData.ts

@@ -10,7 +10,7 @@ export type AssertionDataTypeId = typeof AssertionDataTypeId;
  * @tsplus type fncts.test.data.AssertionData
  */
 export class AssertionData<A> {
-  readonly _typeId: AssertionDataTypeId = AssertionDataTypeId;
+  readonly [AssertionDataTypeId]: AssertionDataTypeId = AssertionDataTypeId;
   constructor(readonly value: A, readonly assertion: Assertion<A>) {}
 }
 

package/_src/data/AssertionValue/definition.ts

@@ -8,7 +8,7 @@ export type AssertionValueTypeId = typeof AssertionValueTypeId;
  * @tsplus companion fncts.test.data.AssertionValueOps
  */
 export class AssertionValue<A> {
-  readonly _typeId: AssertionValueTypeId = AssertionValueTypeId;
+  readonly [AssertionValueTypeId]: AssertionValueTypeId = AssertionValueTypeId;
   constructor(
     readonly assertion: LazyValue<AssertionIO<A>>,
     readonly value: A,

package/_src/data/TestAnnotation/definition.ts

@@ -1,4 +1,5 @@
-import { hasTypeId } from "@fncts/base/util/predicates";
+export const TestAnnotationVariance = Symbol.for("fncts.test.TestAnnotation.Variance");
+export type TestAnnotationVariance = typeof TestAnnotationVariance;
 
 export const TestAnnotationTypeId = Symbol.for("fncts.test.TestAnnotation");
 export type TestAnnotationTypeId = typeof TestAnnotationTypeId;
@@ -8,8 +9,10 @@ export type TestAnnotationTypeId = typeof TestAnnotationTypeId;
  * @tsplus companion fncts.test.TestAnnotationOps
  */
 export class TestAnnotation<V> implements Hashable, Equatable {
-  readonly _typeId: TestAnnotationTypeId = TestAnnotationTypeId;
-  readonly _V!: () => V;
+  readonly [TestAnnotationTypeId]: TestAnnotationTypeId = TestAnnotationTypeId;
+  declare [TestAnnotationVariance]: {
+    readonly _V: (_: never) => V;
+  };
   constructor(
     readonly tag: Tag<V>,
     readonly identifier: string,
@@ -30,5 +33,5 @@ export class TestAnnotation<V> implements Hashable, Equatable {
 }
 
 export function isTestAnnotation(u: unknown): u is TestAnnotation<unknown> {
-  return hasTypeId(u, TestAnnotationTypeId);
+  return isObject(u) && TestAnnotationTypeId in u;
 }

package/control/AssertionIO/definition.d.ts

@@ -11,7 +11,7 @@ export type AssertionIOTypeId = typeof AssertionIOTypeId;
 export declare class AssertionIO<A> {
     readonly render: Render;
     readonly runIO: (actual: A) => AssertResultIO<A>;
-    readonly _typeId: AssertionIOTypeId;
+    readonly [AssertionIOTypeId]: AssertionIOTypeId;
     constructor(render: Render, runIO: (actual: A) => AssertResultIO<A>);
     get rendered(): string;
 }

package/data/AssertionData.d.ts

@@ -9,7 +9,7 @@ export type AssertionDataTypeId = typeof AssertionDataTypeId;
 export declare class AssertionData<A> {
     readonly value: A;
     readonly assertion: Assertion<A>;
-    readonly _typeId: AssertionDataTypeId;
+    readonly [AssertionDataTypeId]: AssertionDataTypeId;
     constructor(value: A, assertion: Assertion<A>);
 }
 /**

package/data/AssertionValue/definition.d.ts

@@ -14,6 +14,6 @@ export declare class AssertionValue<A> {
     readonly result: LazyValue<FreeBooleanAlgebra<AssertionValue<A>>>;
     readonly expression: Maybe<string>;
     readonly sourceLocation: Maybe<string>;
-    readonly _typeId: AssertionValueTypeId;
+    readonly [AssertionValueTypeId]: AssertionValueTypeId;
     constructor(assertion: LazyValue<AssertionIO<A>>, value: A, result: LazyValue<FreeBooleanAlgebra<AssertionValue<A>>>, expression?: Maybe<string>, sourceLocation?: Maybe<string>);
 }

package/data/TestAnnotation/definition.d.ts

@@ -1,6 +1,8 @@
 import { Hashable } from "@fncts/base/data/Hashable";
 import { Equatable } from "@fncts/base/data/Equatable";
 import { Tag } from "@fncts/base/data/Tag/definition";
+export declare const TestAnnotationVariance: unique symbol;
+export type TestAnnotationVariance = typeof TestAnnotationVariance;
 export declare const TestAnnotationTypeId: unique symbol;
 export type TestAnnotationTypeId = typeof TestAnnotationTypeId;
 /**
@@ -12,8 +14,10 @@ export declare class TestAnnotation<V> implements Hashable, Equatable {
     readonly identifier: string;
     readonly initial: V;
     readonly combine: (v1: V, v2: V) => V;
-    readonly _typeId: TestAnnotationTypeId;
-    readonly _V: () => V;
+    readonly [TestAnnotationTypeId]: TestAnnotationTypeId;
+    [TestAnnotationVariance]: {
+        readonly _V: (_: never) => V;
+    };
     constructor(tag: Tag<V>, identifier: string, initial: V, combine: (v1: V, v2: V) => V);
     get [Symbol.hash](): number;
     [Symbol.equals](that: unknown): boolean;

package/package.json

@@ -1,9 +1,9 @@
 {
   "name": "@fncts/test",
-  "version": "0.0.22",
+  "version": "0.0.23",
   "dependencies": {
-    "@fncts/base": "0.0.22",
-    "@fncts/io": "0.0.22",
+    "@fncts/base": "0.0.23",
+    "@fncts/io": "0.0.23",
     "@fncts/typelevel": "0.0.15"
   },
   "exports": {