@fncts/test 0.0.5 → 0.0.8

package/_cjs/api.cjs

@@ -5,6 +5,10 @@ Object.defineProperty(exports, "__esModule", {
 });
 exports.assertIO_ = assertIO_;
 exports.assert_ = assert_;
+exports.check = check;
+exports.checkAllC = checkAllC;
+exports.checkAllIOC = checkAllIOC;
+exports.checkIO = checkIO;
 exports.suite = suite;
 exports.test = test;
 exports.testIO = testIO;
@@ -28,12 +32,30 @@ var tsplus_module_8 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require
 
 var tsplus_module_9 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/test/control/Test"));
 
+var tsplus_module_10 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/io/Stream/api"));
+
+var tsplus_module_11 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/test/data/TestConfig"));
+
+var tsplus_module_12 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/base/data/Either/destructors"));
+
+var tsplus_module_13 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/test/control/Sample/api"));
+
+var tsplus_module_14 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/test/control/Assertion/api"));
+
+var tsplus_module_15 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/base/collection/immutable/Conc/api"));
+
+var tsplus_module_16 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/base/data/Maybe/destructors"));
+
+var _function = /*#__PURE__*/require("@fncts/base/data/function");
+
 var _AssertionResult = /*#__PURE__*/require("./data/AssertionResult.cjs");
 
 var _AssertionValue = /*#__PURE__*/require("./data/AssertionValue.cjs");
 
 var _FailureDetails = /*#__PURE__*/require("./data/FailureDetails.cjs");
 
+var _GenFailureDetails = /*#__PURE__*/require("./data/GenFailureDetails.cjs");
+
 var _TestAnnotationMap = /*#__PURE__*/require("./data/TestAnnotationMap.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); }
@@ -71,8 +93,8 @@ function assert_(value, assertion) {
 
 function assertIO_(io, assertion) {
   return tsplus_module_6.gen(function* (_) {
-    const value = yield* _(io, fileName_1 + ":57:34");
-    const assertResult = yield* _(assertion.runIO(value), fileName_1 + ":58:34");
+    const value = yield* _(io, fileName_1 + ":64:34");
+    const assertResult = yield* _(assertion.runIO(value), fileName_1 + ":65:34");
     return traverseResult(value, assertResult, assertion);
   });
 }
@@ -86,6 +108,50 @@ function testIO(label, assertion) {
 }
 
 function test(label, assertion) {
-  return testIO(label, () => tsplus_module_6.succeed(assertion, fileName_1 + ":75:34"));
+  return testIO(label, () => tsplus_module_6.succeed(assertion, fileName_1 + ":82:34"));
+}
+/**
+ * @tsplus fluent fncts.test.Gen check
+ */
+
+
+function check(rv, test) {
+  return tsplus_module_6.flatMap_(tsplus_module_11.samples, n => checkStream(tsplus_module_10.take_(tsplus_module_10.filterMap_(tsplus_module_10.forever(rv.sample), _function.identity), n), a => tsplus_module_6.succeed(() => test(a), fileName_1 + ":90:81")), fileName_1 + ":89:36");
+}
+/**
+ * @tsplus fluent fncts.test.Gen check
+ */
+
+
+function checkIO(rv, test) {
+  return tsplus_module_6.flatMap_(tsplus_module_11.samples, n => checkStream(tsplus_module_10.take_(tsplus_module_10.filterMap_(tsplus_module_10.forever(rv.sample), _function.identity), n), test), fileName_1 + ":101:36");
+}
+/**
+ * @tsplus fluent fncts.test.Gen checkAllC
+ */
+
+
+function checkAllC(rv, concurrency, test) {
+  return checkStreamC(tsplus_module_10.filterMap_(tsplus_module_10.forever(rv.sample), _function.identity), concurrency, a => tsplus_module_6.succeed(() => test(a), fileName_1 + ":112:92"));
+}
+/**
+ * @tsplus fluent fncts.test.Gen checkAllC
+ */
+
+
+function checkAllIOC(rv, concurrency, test) {
+  return checkStreamC(tsplus_module_10.filterMap_(tsplus_module_10.forever(rv.sample), _function.identity), concurrency, test);
+}
+
+function checkStreamC(stream, concurrency, test) {
+  return tsplus_module_6.flatMap_(tsplus_module_11.shrinks, shrinks => shrinkStream(tsplus_module_10.catchAll_(tsplus_module_10.mapIOC_(tsplus_module_10.zipWithIndex_(stream), concurrency, ([initial, index]) => tsplus_module_6.flatMap_(tsplus_module_13.foreach_(initial, input => tsplus_module_6.either(tsplus_module_6.map_(test(input), result => tsplus_module_2.map_(result, details => new _AssertionResult.FailureDetailsResult(details.failureDetails, tsplus_module_5.just(new _GenFailureDetails.GenFailureDetails(initial.value, input, index)))), fileName_1 + ":138:32"))), sample => tsplus_module_12.match_(sample.value, () => tsplus_module_6.fail(() => sample, fileName_1 + ":150:30"), () => tsplus_module_6.succeed(() => sample, fileName_1 + ":151:33")), fileName_1 + ":148:21")), tsplus_module_10.succeedNow), shrinks), fileName_1 + ":131:36");
+}
+
+function checkStream(stream, test) {
+  return tsplus_module_6.flatMap_(tsplus_module_11.shrinks, shrinks => shrinkStream(tsplus_module_10.mapIO_(tsplus_module_10.zipWithIndex_(stream), ([initial, index]) => tsplus_module_13.foreach_(initial, input => tsplus_module_6.either(tsplus_module_6.map_(test(input), result => tsplus_module_2.map_(result, details => new _AssertionResult.FailureDetailsResult(details.failureDetails, tsplus_module_5.just(new _GenFailureDetails.GenFailureDetails(initial.value, input, index)))), fileName_1 + ":170:28")))), shrinks), fileName_1 + ":165:36");
+}
+
+function shrinkStream(stream, maxShrinks, __tsPlusTrace) {
+  return tsplus_module_6.flatMap_(tsplus_module_10.runCollect(tsplus_module_10.flatMap_(tsplus_module_10.take_(tsplus_module_10.dropWhile_(stream, sample => !tsplus_module_12.match_(sample.value, () => true, result => tsplus_module_2.isFailure(result))), 1), sample => tsplus_module_10.take_(tsplus_module_13.shrinkSearch_(sample, value => tsplus_module_12.match_(value, () => true, result => tsplus_module_2.isFailure(result))), maxShrinks + 1))), shrinks => tsplus_module_16.match_(tsplus_module_15.last(tsplus_module_15.filter_(shrinks, value => tsplus_module_12.match_(value, () => true, result => tsplus_module_2.isFailure(result)))), () => tsplus_module_6.succeedNow(tsplus_module_2.success(new _AssertionResult.FailureDetailsResult(new _FailureDetails.FailureDetails(tsplus_module_3.cons(new _AssertionValue.AssertionValue(tsplus_module_4.lazy(() => tsplus_module_14.anything), undefined, tsplus_module_4.lazy(() => tsplus_module_14.anything.run(undefined)))), tsplus_module_5.nothing()))), fileName_1 + ":220:26"), tsplus_module_6.fromEitherNow), fileName_1 + ":210:24");
 }
 //# sourceMappingURL=api.cjs.map

package/_cjs/api.cjs.map

@@ -1 +1 @@
-{"version":3,"file":"api.cjs","mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAOA;;AACA;;AACA;;AAEA;;;;;;;;AAEA,SAASA,kBAAT,CAA+BC,KAA/B,EAAyDC,cAAzD,EAAuF;EACrF,IAAIC,yCAAwBD,cAAc,CAACE,SAAf,CAAyBC,IAAjD,CAAJ,EAA4D;IAC1D,OAAOC,wBAA2B,IAAIC,qCAAJ,CAAyBL,cAAzB,CAA3B,CAAP;EACD,CAFD,MAEO;IACL,MAAMM,QAAQ,GAAGP,KAAK,CAACQ,MAAvB;IACA,MAAMC,EAAE,GAASF,QAAQ,CAACG,KAA1B;IACA,MAAMF,MAAM,GAAKH,gCAAeI,EAAf,GAAmBJ,oBAACI,EAAD,CAApC;IACA,OAAOJ,iCAAgBE,QAAD,IACpBR,kBAAkB,CAACQ,QAAD,EAAW,IAAII,8BAAJ,CAAmBC,qBAAKZ,KAAL,EAAYC,cAAc,CAACE,SAA3B,CAAnB,EAA0DF,cAAc,CAACY,GAAzE,CAAX,CADb,CAAP;EAGD;AACF;;AAEK,SAAUC,cAAV,CAA4BJ,KAA5B,EAAsCK,YAAtC,EAAqEZ,SAArE,EAA8F;EAClG,OAAOE,uCAAsBE,QAAD,IAC1BR,kBAAkB,CAChBQ,QADgB,EAEhB,IAAII,8BAAJ,CACEC,qBACE,IAAII,8BAAJ,CACEC,qBAAU,MAAMd,SAAhB,CADF,EAEEO,KAFF,EAGEO,qBAAU,MAAMF,YAAhB,CAHF,CADF,CADF,EAQEG,yBARF,CAFgB,CADb,CAAP;AAeD;AAED;;;;;AAGM,SAAUC,OAAV,CAAqBT,KAArB,EAA+BP,SAA/B,EAAsD;EAC1D,OAAOW,cAAc,CAACJ,KAAD,EAAQP,SAAS,CAACiB,GAAV,CAAcV,KAAd,CAAR,EAA8BP,SAA9B,CAArB;AACD;AAED;;;;;AAGM,SAAUkB,SAAV,CAA6BC,EAA7B,EAA8CnB,SAA9C,EAAuE;EAC3E,OAAOoB,oBAAO,WAAWC,CAAX,EAAY;IACxB,MAAMd,KAAK,GAAU,OAAOc,CAAC,CAACF,EAAD,EAAGG,qBAAH,CAA7B;IACA,MAAMV,YAAY,GAAG,OAAOS,CAAC,CAACrB,SAAS,CAACuB,KAAV,CAAgBhB,KAAhB,CAAD,EAAuBe,qBAAvB,CAA7B;IACA,OAAOX,cAAc,CAACJ,KAAD,EAAQK,YAAR,EAAsBZ,SAAtB,CAArB;EACD,CAJM,CAAP;AAKD;;AAEK,SAAUwB,KAAV,CACJC,KADI,EAEJ,GAAGC,KAFC,EAEW;EAEf,OAAOC,yDAAcC,qBAAUF,KAAV,CAAd,GAAwCD,KAAxC,CAAP;AACD;;AAEK,SAAUI,MAAV,CAAuBJ,KAAvB,EAAsCzB,SAAtC,EAA2E;EAC/E,OAAO2B,qDAAUG,8BAAmB9B,SAAnB,CAAV,EAAyC+B,qCAAkBC,KAA3D,GAA0EP,KAA1E,CAAP;AACD;;AAEK,SAAUQ,IAAV,CAAeR,KAAf,EAA8BzB,SAA9B,EAAyD;EAC7D,OAAO6B,MAAM,CAACJ,KAAD,EAAM,MAAEL,wBAAWpB,SAAX,EAAoBsB,qBAApB,CAAR,CAAb;AACD","names":["traverseResultLoop","whole","failureDetails","tsplus_module_1","assertion","head","tsplus_module_2","FailureDetailsResult","fragment","result","r0","value","FailureDetails","tsplus_module_3","gen","traverseResult","assertResult","AssertionValue","tsplus_module_4","tsplus_module_5","assert_","run","assertIO_","io","tsplus_module_6","_","fileName_1","runIO","suite","label","specs","tsplus_module_8","tsplus_module_7","testIO","tsplus_module_9","TestAnnotationMap","empty","test"],"sourceRoot":"","sources":["../_src/api.ts"],"sourcesContent":[null]}
+{"version":3,"file":"api.cjs","mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAOA;;AAKA;;AACA;;AACA;;AAEA;;AACA;;;;;;;;AAGA,SAASA,kBAAT,CAA+BC,KAA/B,EAAyDC,cAAzD,EAAuF;EACrF,IAAIC,yCAAwBD,cAAc,CAACE,SAAf,CAAyBC,IAAjD,CAAJ,EAA4D;IAC1D,OAAOC,wBAA2B,IAAIC,qCAAJ,CAAyBL,cAAzB,CAA3B,CAAP;EACD,CAFD,MAEO;IACL,MAAMM,QAAQ,GAAGP,KAAK,CAACQ,MAAvB;IACA,MAAMC,EAAE,GAASF,QAAQ,CAACG,KAA1B;IACA,MAAMF,MAAM,GAAKH,gCAAeI,EAAf,GAAmBJ,oBAACI,EAAD,CAApC;IACA,OAAOJ,iCAAgBE,QAAD,IACpBR,kBAAkB,CAACQ,QAAD,EAAW,IAAII,8BAAJ,CAAmBC,qBAAKZ,KAAL,EAAYC,cAAc,CAACE,SAA3B,CAAnB,EAA0DF,cAAc,CAACY,GAAzE,CAAX,CADb,CAAP;EAGD;AACF;;AAEK,SAAUC,cAAV,CAA4BJ,KAA5B,EAAsCK,YAAtC,EAAqEZ,SAArE,EAA8F;EAClG,OAAOE,uCAAsBE,QAAD,IAC1BR,kBAAkB,CAChBQ,QADgB,EAEhB,IAAII,8BAAJ,CACEC,qBACE,IAAII,8BAAJ,CACEC,qBAAU,MAAMd,SAAhB,CADF,EAEEO,KAFF,EAGEO,qBAAU,MAAMF,YAAhB,CAHF,CADF,CADF,EAQEG,yBARF,CAFgB,CADb,CAAP;AAeD;AAED;;;;;AAGM,SAAUC,OAAV,CAAqBT,KAArB,EAA+BP,SAA/B,EAAsD;EAC1D,OAAOW,cAAc,CAACJ,KAAD,EAAQP,SAAS,CAACiB,GAAV,CAAcV,KAAd,CAAR,EAA8BP,SAA9B,CAArB;AACD;AAED;;;;;AAGM,SAAUkB,SAAV,CAA6BC,EAA7B,EAA8CnB,SAA9C,EAAuE;EAC3E,OAAOoB,oBAAO,WAAWC,CAAX,EAAY;IACxB,MAAMd,KAAK,GAAU,OAAOc,CAAC,CAACF,EAAD,EAAGG,qBAAH,CAA7B;IACA,MAAMV,YAAY,GAAG,OAAOS,CAAC,CAACrB,SAAS,CAACuB,KAAV,CAAgBhB,KAAhB,CAAD,EAAuBe,qBAAvB,CAA7B;IACA,OAAOX,cAAc,CAACJ,KAAD,EAAQK,YAAR,EAAsBZ,SAAtB,CAArB;EACD,CAJM,CAAP;AAKD;;AAEK,SAAUwB,KAAV,CACJC,KADI,EAEJ,GAAGC,KAFC,EAEW;EAEf,OAAOC,yDAAcC,qBAAUF,KAAV,CAAd,GAAwCD,KAAxC,CAAP;AACD;;AAEK,SAAUI,MAAV,CAAuBJ,KAAvB,EAAsCzB,SAAtC,EAA2E;EAC/E,OAAO2B,qDAAUG,8BAAmB9B,SAAnB,CAAV,EAAyC+B,qCAAkBC,KAA3D,GAA0EP,KAA1E,CAAP;AACD;;AAEK,SAAUQ,IAAV,CAAeR,KAAf,EAA8BzB,SAA9B,EAAyD;EAC7D,OAAO6B,MAAM,CAACJ,KAAD,EAAM,MAAEL,wBAAWpB,SAAX,EAAoBsB,qBAApB,CAAR,CAAb;AACD;AAED;;;;;AAGM,SAAUY,KAAV,CAAsBC,EAAtB,EAAqCF,IAArC,EAA+D;EACnE,OAAOb,mDAA4BgB,CAAD,IAChCC,WAAW,CAACC,8EAAE,CAACC,MAAH,GAA4BC,kBAA5B,GAA2CJ,CAA3C,CAAD,EAAiDK,CAAD,IAAOrB,8BAAWa,IAAI,CAACQ,CAAD,CAAf,EAAkBnB,qBAAlB,CAAvD,CADN,EACiFA,qBADjF,CAAP;AAGD;AAED;;;;;AAGM,SAAUoB,OAAV,CACJP,EADI,EAEJF,IAFI,EAEiC;EAErC,OAAOb,mDAA4BgB,CAAD,IAAOC,WAAW,CAACC,8EAAE,CAACC,MAAH,GAA4BC,kBAA5B,GAA2CJ,CAA3C,CAAD,EAAgDH,IAAhD,CAA7C,EAAkGX,sBAAlG,CAAP;AACD;AAED;;;;;AAGM,SAAUqB,SAAV,CACJR,EADI,EAEJS,WAFI,EAGJX,IAHI,EAGsB;EAE1B,OAAOY,YAAY,CAACP,uDAAE,CAACC,MAAH,GAA4BC,kBAA5B,CAAD,EAAwCI,WAAxC,EAAsDH,CAAD,IAAOrB,8BAAWa,IAAI,CAACQ,CAAD,CAAf,EAAkBnB,sBAAlB,CAA5D,CAAnB;AACD;AAED;;;;;AAGM,SAAUwB,WAAV,CACJX,EADI,EAEJS,WAFI,EAGJX,IAHI,EAGiC;EAErC,OAAOY,YAAY,CAACP,uDAAE,CAACC,MAAH,GAA4BC,kBAA5B,CAAD,EAAwCI,WAAxC,EAAqDX,IAArD,CAAnB;AACD;;AAED,SAASY,YAAT,CACEE,MADF,EAEEH,WAFF,EAGEX,IAHF,EAGuC;EAErC,OAAOb,mDAA4B4B,OAAD,IAChCC,YAAY,CACVX,4FACUM,WADV,EACuB,CAAC,CAACM,OAAD,EAAUC,KAAV,CAAD,KACnB/B,4DAEKgC,KAAD,IAAUhC,uBACRA,yBAAI,CAACgC,KAAD,CAAJ,EAAiB/C,MAAD,IACdH,6BACGmD,OAAD,IACE,IAAIlD,qCAAJ,CACEkD,OAAO,CAACvD,cADV,EAEEiB,qBAAK,IAAIuC,oCAAJ,CAAsBJ,OAAO,CAAC3C,KAA9B,EAAqC6C,KAArC,EAA4CD,KAA5C,CAAL,CAFF,CAFJ,CADF,EAOG7B,sBAPH,CADQ,CAFd,GAaYiB,MAAD,IACPgB,8BAAM,CAAChD,KAAP,EACE,MAAMa,2BAAQmB,MAAR,EAAcjB,sBAAd,CADR,EAEE,MAAMF,8BAAWmB,MAAX,EAAiBjB,sBAAjB,CAFR,CAdJ,EAiBKA,sBAjBL,CAFJ,GAqBGgB,2BArBH,CADU,EAwBVU,OAxBU,CADP,EA0BJ1B,sBA1BI,CAAP;AA4BD;;AAED,SAASe,WAAT,CACEU,MADF,EAEEd,IAFF,EAEuC;EAErC,OAAOb,mDAA4B4B,OAAD,IAChCC,YAAY,CACVX,gEAA0B,CAAC,CAACY,OAAD,EAAUC,KAAV,CAAD,KACxBK,mCACGJ,KAAD,IAAUhC,uBACRA,yBAAI,CAACgC,KAAD,CAAJ,EAAiB/C,MAAD,IACdH,6BACGmD,OAAD,IACE,IAAIlD,qCAAJ,CACEkD,OAAO,CAACvD,cADV,EAEEiB,qBAAK,IAAIuC,oCAAJ,CAAsBJ,OAAO,CAAC3C,KAA9B,EAAqC6C,KAArC,EAA4CD,KAA5C,CAAL,CAFF,CAFJ,CADF,EAOG7B,sBAPH,CADQ,CADZ,CADF,CADU,EAeV0B,OAfU,CADP,EAiBJ1B,sBAjBI,CAAP;AAmBD;;AAED,SAAS2B,YAAT,CACEF,MADF,EAEEU,UAFF,EAGEC,aAHF,EAGwB;EAEtB,OAAOtC,0IAEFmB,MAAD,IACE,CAACgB,8BAAM,CAAChD,KAAP,EACC,MAAM,IADP,EAEEF,MAAD,IAAWH,0BAACG,MAAD,CAFZ,CAHA,GAQC,CARD,GASKkC,MAAD,IACPD,8DACiB/B,KAAD,IACZgD,+BACE,MAAM,IADR,EAEGlD,MAAD,IAAWH,0BAACG,MAAD,CAFb,CAFJ,GAOQoD,UAAU,GAAG,CAPrB,CAVG,IAmBgBT,OAAD,IAClBW,gFACWpD,KAAD,IACNgD,+BACE,MAAM,IADR,EAEGlD,MAAD,IAAWH,0BAACG,MAAD,CAFb,CAFJ,IAQI,MACEe,2BACElB,wBACE,IAAIC,qCAAJ,CACE,IAAIK,8BAAJ,CACEC,qBACE,IAAII,8BAAJ,CACEC,qDADF,EAEE8C,SAFF,EAGE9C,2BAAU+C,0BAAmB5C,GAAnB,CAAuB2C,SAAvB,CAAV,CAHF,CADF,CADF,EAQE7C,yBARF,CADF,CADF,CADF,EAcGO,sBAdH,CATN,EAwBOF,6BAxBP,CApBG,EA8CAE,sBA9CA,CAAP;AAgDD","names":["traverseResultLoop","whole","failureDetails","tsplus_module_1","assertion","head","tsplus_module_2","FailureDetailsResult","fragment","result","r0","value","FailureDetails","tsplus_module_3","gen","traverseResult","assertResult","AssertionValue","tsplus_module_4","tsplus_module_5","assert_","run","assertIO_","io","tsplus_module_6","_","fileName_1","runIO","suite","label","specs","tsplus_module_8","tsplus_module_7","testIO","tsplus_module_9","TestAnnotationMap","empty","test","check","rv","n","checkStream","tsplus_module_10","sample","identity","a","checkIO","checkAllC","concurrency","checkStreamC","checkAllIOC","stream","shrinks","shrinkStream","initial","index","input","details","GenFailureDetails","tsplus_module_12","tsplus_module_13","maxShrinks","__tsPlusTrace","tsplus_module_16","undefined","tsplus_module_14"],"sourceRoot":"","sources":["../_src/api.ts"],"sourcesContent":[null]}

package/_cjs/control/Assertion/api.cjs

@@ -6,7 +6,7 @@ Object.defineProperty(exports, "__esModule", {
 exports.and_ = and_;
 exports.anything = void 0;
 exports.approximatelyEquals = approximatelyEquals;
-exports.assertionRec = exports.assertionDirect = exports.assertion = void 0;
+exports.completes = exports.assertionRec = exports.assertionDirect = exports.assertion = void 0;
 exports.contains = contains;
 exports.containsCause = containsCause;
 exports.containsString = containsString;
@@ -264,4 +264,7 @@ function succeeds(assertion) {
 function test_1(self, actual) {
   return tsplus_module_3.isSuccess(self.run(actual));
 }
+
+const completes = /*#__PURE__*/assertion_1("completes", [], () => true);
+exports.completes = completes;
 //# sourceMappingURL=api.cjs.map

package/_cjs/control/Assertion/api.cjs.map

@@ -1 +1 @@
-{"version":3,"file":"api.cjs","mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAEA;;AAEA;;AACA;;AAIA;;;;;;MAgCgBA,SAAS;;MAuBTC,eAAe;;MAWfC,YAAY;;MA6KZC,KAAK;;;AA7OrB;;;;AAIM,SAAUC,IAAV,CAAkBC,IAAlB,EAAsCC,IAAtC,EAAwD;EAC5D,OAAO,IAAIC,sBAAJ,CACLC,sBAAaC,sBAAYJ,IAAZ,CAAb,EAAgC,IAAhC,EAAsCI,sBAAYH,IAAZ,CAAtC,CADK,EAEJI,MAAD,IAAWC,qBAACN,IAAI,CAACO,GAAL,CAASF,MAAT,CAAD,EAAqBJ,IAAI,CAACM,GAAL,CAASF,MAAT,CAArB,CAFN,CAAP;AAID;AAED;;;;;AAGO,MAAMG,QAAQ,gBAAmBC,YAAe,UAAf,EAA2B,EAA3B,EAA+B,MAAM,IAArC,CAAjC;AAEP;;;;;;AAGM,SAAUC,mBAAV,CAA8BC,SAA9B,EAAiDC,SAAjD,EAAkE;EACtE,OAAOH,YAAe,qBAAf,EAAsC,CAACL,sBAAYO,SAAZ,CAAD,EAAyBP,sBAAYQ,SAAZ,CAAzB,CAAtC,EAAyFP,MAAD,IAAW;IACxG,MAAMQ,GAAG,GAAGF,SAAS,GAAGC,SAAxB;IACA,MAAME,GAAG,GAAGH,SAAS,GAAGC,SAAxB;IACA,OAAOP,MAAM,IAAIS,GAAV,IAAiBT,MAAM,IAAIQ,GAAlC;EACD,CAJM,CAAP;AAKD;AAED;;;;;AAGA,qBACEE,IADF,EAEEC,MAFF,EAGET,GAHF,EAG6B;EAE3B,MAAMZ,SAAS,GAA4BsB,qBAAU,MAAK;IACxD,OAAOC,kBAAiBH,IAAjB,EAAuBC,MAAvB,EAAgCX,MAAD,IAAW;MAC/C,MAAMc,MAAM,GAAqDF,qBAAU,MAAK;QAC9E,IAAIV,GAAG,CAACF,MAAD,CAAP,EAAiB;UACf,OAAOC,wBAA2B,IAAIc,8BAAJ,CAAmBzB,SAAnB,EAA8BU,MAA9B,EAAsCc,MAAtC,CAA3B,CAAP;QACD,CAFD,MAEO;UACL,OAAOb,wBAA2B,IAAIc,8BAAJ,CAAmBzB,SAAnB,EAA8BU,MAA9B,EAAsCc,MAAtC,CAA3B,CAAP;QACD;MACF,CANgE,CAAjE;MAOA,OAAOA,MAAM,CAACE,KAAd;IACD,CATM,CAAP;EAUD,CAX0C,CAA3C;EAYA,OAAO1B,SAAS,CAAC0B,KAAjB;AACD;AAED;;;;;AAGA,2BACEN,IADF,EAEEC,MAFF,EAGET,GAHF,EAG2D;EAEzD,OAAO,IAAIL,sBAAJ,CAAcC,mBAAUY,IAAV,EAAgBO,uBAAYA,qBAAUN,MAAV,CAAZ,CAAhB,CAAd,EAA+DT,GAA/D,CAAP;AACD;AAED;;;;;AAGA,wBACEQ,IADF,EAEEC,MAFF,EAGErB,SAHF,EAIE4B,GAJF,EAKEC,SAA6EC,CAAD,IAAMC,0BAACD,CAAD,CALpF,EAKgG;EAE9F,MAAME,eAAe,GAA4BV,qBAAU,MACzDC,kBAAiBH,IAAjB,EAAuBC,MAAvB,EAAgCY,CAAD,IAC7BC,0BAAG,CAACD,CAAD,CAAH,EACE,MAAMJ,MAAM,CAAC,IAAIM,6BAAJ,CAAkBF,CAAlB,EAAqBD,eAAe,CAACN,KAArC,CAAD,CADd,EAEGU,CAAD,IAAM;IACJ,MAAMC,WAAW,GAAGrC,SAAS,CAACY,GAAV,CAAcwB,CAAd,CAApB;IACA,MAAMZ,MAAM,GAAuDF,qBAAU,MAAK;MAChF,8BAAIe,WAAJ,GAA2B;QACzB,OAAO1B,wBAA2B,IAAIc,8BAAJ,CAAmBO,eAAnB,EAAoCC,CAApC,EAAuCT,MAAvC,CAA3B,CAAP;MACD,CAFD,MAEO;QACL,OAAOb,wBAA2B,IAAIc,8BAAJ,CAAmBH,2BAAUtB,SAAV,CAAnB,EAAyCoC,CAAzC,EAA4Cd,2BAAUe,WAAV,CAA5C,CAA3B,CAAP;MACD;IACF,CANkE,CAAnE;IAOA,OAAOb,MAAM,CAACE,KAAd;EACD,CAZH,CADF,CAD+C,CAAjD;EAkBA,OAAOM,eAAe,CAACN,KAAvB;AACD;;AAEK,SAAUY,QAAV,CAAsBC,OAAtB,EAAgC;EACpC,OAAOzB,YAAe,UAAf,EAA2B,CAACL,sBAAY8B,OAAZ,CAAD,CAA3B,EAAoDC,EAAD,IACxDC,kDAASR,CAAD,IAAOS,2BAAqBT,CAArB,EAAwBM,OAAxB,CAAf,EADK,CAAP;AAGD;;AAEK,SAAUI,aAAV,CAA2BC,KAA3B,EAA0C;EAC9C,OAAO9B,YAAe,eAAf,EAAgC,CAACL,sBAAYmC,KAAZ,CAAD,CAAhC,EAAuDC,CAAD,IAAOC,8BAAWF,KAAX,CAA7D,CAAP;AACD;;AAEK,SAAUG,cAAV,CAAyBR,OAAzB,EAAwC;EAC5C,OAAOzB,YAAe,gBAAf,EAAiC,CAACL,sBAAY8B,OAAZ,CAAD,CAAjC,EAA0DS,GAAD,IAASA,GAAG,CAACC,QAAJ,CAAaV,OAAb,CAAlE,CAAP;AACD;;AAEK,SAAUW,MAAV,CAAoBlD,SAApB,EAA2C;EAC/C,OAAOmD,eAAc,QAAd,EAAwB,CAAC1C,sBAAYT,SAAZ,CAAD,CAAxB,EAAkDA,SAAlD,EAA8DwC,EAAD,IAAQY,0BAASnB,CAAD,IAAOoB,kBAAepB,CAAf,CAAf,CAArE,CAAP;AACD;;AAEK,SAAUqB,KAAV,CAAmBtD,SAAnB,EAA0C;EAC9C,OAAOmD,eAAc,OAAd,EAAuB,CAAC1C,sBAAYT,SAAZ,CAAD,CAAvB,EAAiDA,SAAjD,EAA6DuD,IAAD,IACjEC,8BACGZ,KAAD,IAAUa,gDAACb,KAAD,EADZ,EAEE,MAAMc,0BAFR,CADK,CAAP;AAMD;;AAEK,SAAUC,MAAV,CAAoB3D,SAApB,EAA2C;EAC/C,OAAOmD,eACL,QADK,EAEL,CAAC1C,sBAAYT,SAAZ,CAAD,CAFK,EAGLA,SAHK,EAIJwC,EAAD,IAAQY,0BAASnB,CAAD,IAAO,CAACoB,kBAAepB,CAAf,CAAhB,CAJH,EAKJ2B,IAAD,IAAS7B,0BAAC6B,IAAD,CALJ,CAAP;AAOD;;AAEK,SAAUC,KAAV,CAAgB7D,SAAhB,EAAyC;EAC7C,OAAOmD,eAAc,OAAd,EAAuB,CAAC1C,sBAAYT,SAAZ,CAAD,CAAvB,EAAiDA,SAAjD,EAA6DuD,IAAD,IACjEC,8BACGX,CAAD,IAAMC,2BAACD,CAAD,CADR,EAEE,MAAMa,0BAFR,CADK,CAAP;AAMD;;AAEK,SAAUI,aAAV,CAA2BC,QAA3B,EAAsC;EAC1C,OAAOjD,YAAe,eAAf,EAAgC,CAACL,sBAAYsD,QAAZ,CAAD,CAAhC,EAA0DrD,MAAD,IAAYgC,6BAAuBhC,MAAvB,EAA+BqD,QAA/B,CAArE,CAAP;AACD;;AAEK,SAAUC,WAAV,CAAyBD,QAAzB,EAAoC;EACxC,OAAOjD,YAAe,aAAf,EAA8B,CAACL,sBAAYsD,QAAZ,CAAD,CAA9B,EAAwDrD,MAAD,IAAYgC,2BAAqBhC,MAArB,EAA6BqD,QAA7B,CAAnE,CAAP;AACD;;AAEK,SAAUE,MAAV,CAAoBF,QAApB,EAAiCG,CAAjC,EAAyC;EAC7C,OAAOpD,YAAe,QAAf,EAAyB,CAACL,sBAAYsD,QAAZ,CAAD,CAAzB,EAAmDrD,MAAD,IAAYwD,CAAC,CAACD,MAAF,CAASvD,MAAT,EAAiBqD,QAAjB,CAA9D,CAAP;AACD;;AAEM,MAAMI,OAAO,gBAAuBrD,YAAe,QAAf,EAAyB,EAAzB,EAA8BsB,CAAD,IAAO,CAACA,CAArC,CAApC;;AAEA,MAAMgC,aAAa,gBAA8BtD,YAAe,eAAf,EAAgC,EAAhC,EAAqCyC,IAAD,IAC1FC,8BACGZ,KAAD,IAAUE,6BAACF,KAAD,CADZ,EAEE,MAAM,KAFR,CADsD,CAAjD;;AAOA,MAAMyB,iBAAiB,gBAA8BvD,YAAe,mBAAf,EAAoC,EAApC,EAAyCyC,IAAD,IAClGC,8BACGZ,KAAD,IAAWE,mCADb,EAEE,MAAM,KAFR,CAD0D,CAArD;;;AAOD,SAAUwB,MAAV,CAAoBtE,SAApB,EAA2C;EAC/C,OAAOmD,eAAc,QAAd,EAAwB,CAAC1C,sBAAYT,SAAZ,CAAD,CAAxB,EAAkDA,SAAlD,EAA8DU,MAAD,IAClE6D,gCACGtC,CAAD,IAAOyB,sBAAKzB,CAAL,CADT,EAEE,MAAMyB,0BAFR,CADK,CAAP;AAMD;;AAEK,SAAUc,MAAV,CAAoBxE,SAApB,EAA2C;EAC/C,OAAOmD,eAAc,QAAd,EAAwB,CAAC1C,sBAAYT,SAAZ,CAAD,CAAxB,EAAkDA,SAAlD,EAA6DyE,kBAA7D,CAAP;AACD;;AAEM,MAAMC,SAAS,gBAA0B5D,YAAe,WAAf,EAA4B,EAA5B,EAAiCJ,MAAD,IAAY+B,kCAA5C,CAAzC;;;AAED,SAAUkC,OAAV,CAAqB3E,SAArB,EAA4C;EAChD,OAAOmD,eAAc,SAAd,EAAyB,CAAC1C,sBAAYT,SAAZ,CAAD,CAAzB,EAAmDA,SAAnD,EAA+DU,MAAD,IACnE6D,gCACE,MAAMb,0BADR,EAEGzB,CAAD,IAAOyB,sBAAKzB,CAAL,CAFT,CADK,CAAP;AAMD;;AAEM,MAAM2C,MAAM,gBAAuB9D,YAAe,QAAf,EAAyB,EAAzB,EAA6B2D,kBAA7B,CAAnC;;AAEA,MAAMI,OAAO,gBAA6B/D,YAAe,SAAf,EAA0B,EAA1B,EAA+BJ,MAAD,IAAY0C,iCAAgB,CAA1D,CAA1C;;AAEA,MAAM0B,MAAM,gBAAoBhE,YAAe,QAAf,EAAyB,EAAzB,EAA8BJ,MAAD,IAAYA,MAAM,KAAK,KAAK,CAAzD,CAAhC;;;AAED,SAAUqE,mBAAV,CAA8BC,CAA9B,EAAuC;EAC3C,OAAOlE,YAAe,qBAAf,EAAsC,CAACL,sBAAYuE,CAAZ,CAAD,CAAtC,EAAyDtE,MAAD,IAAYA,MAAM,IAAIsE,CAA9E,CAAP;AACD;AAED;;;;;AAGM,SAAUC,MAAV,CAAoB5E,IAApB,EAAwC6E,KAAxC,EAAqD;EACzD,OAAO,IAAI3E,sBAAJ,CAAcC,sBAAaC,sBAAYJ,IAAZ,CAAb,EAAgC,GAAhC,EAAqCI,sBAAYyE,KAAZ,CAArC,CAAd,EAAwE7E,IAAI,CAACO,GAA7E,CAAP;AACD;AAED;;;;;AAGM,SAAUuE,GAAV,CAAiBnF,SAAjB,EAAwC;EAC5C,OAAOuB,kBAAiB,KAAjB,EAAwB,CAACd,sBAAYT,SAAZ,CAAD,CAAxB,EAAmDU,MAAD,IAAWC,oBAACX,SAAS,CAACY,GAAV,CAAcF,MAAd,CAAD,CAA7D,CAAP;AACD;AAED;;;;;;AAIM,SAAU0E,GAAV,CAAiB/E,IAAjB,EAAqCC,IAArC,EAAuD;EAC3D,OAAO,IAAIC,sBAAJ,CACLC,sBAAaC,sBAAYJ,IAAZ,CAAb,EAAgC,IAAhC,EAAsCI,sBAAYH,IAAZ,CAAtC,CADK,EAEJI,MAAD,IAAWC,oBAACN,IAAI,CAACO,GAAL,CAASF,MAAT,CAAD,EAAqBJ,IAAI,CAACM,GAAL,CAASF,MAAT,CAArB,CAFN,CAAP;AAID;;AAEK,SAAU2E,QAAV,CAAsBrF,SAAtB,EAA6C;EACjD,OAAOmD,eAAc,UAAd,EAA0B,CAAC1C,sBAAYT,SAAZ,CAAD,CAA1B,EAAoDA,SAApD,EAAgEuD,IAAD,IACpEC,8BACE,MAAME,0BADR,EAEGzB,CAAD,IAAOyB,sBAAKzB,CAAL,CAFT,CADK,CAAP;AAMD;AAED;;;;;AAGA,gBAAyB5B,IAAzB,EAA6CK,MAA7C,EAAsD;EACpD,iCAAOL,IAAI,CAACO,GAAL,CAASF,MAAT,CAAP;AACD","names":["assertion","assertionDirect","assertionRec","test_","and_","self","that","Assertion","tsplus_module_2","tsplus_module_1","actual","tsplus_module_3","run","anything","assertion_1","approximatelyEquals","reference","tolerance","max","min","name","params","tsplus_module_4","assertionDirect_1","result","AssertionValue","value","tsplus_module_5","get","orElse","_","tsplus_module_6","resultAssertion","a","tsplus_module_7","AssertionData","b","innerResult","contains","element","ia","tsplus_module_10","tsplus_module_8","containsCause","cause","c","tsplus_module_11","containsString","str","includes","exists","assertionRec_1","tsplus_module_9","test_1","fails","exit","tsplus_module_14","tsplus_module_12","tsplus_module_13","forall","data","halts","strictEqualTo","expected","deepEqualTo","equals","E","isFalse","isInterrupted","isOnlyInterrupted","isLeft","tsplus_module_15","isJust","identity","isNothing","isRight","isTrue","isEmpty","isUnit","isLessThanOrEqualTo","n","label_","label","not","or_","succeeds"],"sourceRoot":"","sources":["../../../_src/control/Assertion/api.ts"],"sourcesContent":[null]}
+{"version":3,"file":"api.cjs","mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAEA;;AAEA;;AACA;;AAIA;;;;;;MAgCgBA,SAAS;;MAuBTC,eAAe;;MAWfC,YAAY;;MA6KZC,KAAK;;;AA7OrB;;;;AAIM,SAAUC,IAAV,CAAkBC,IAAlB,EAAsCC,IAAtC,EAAwD;EAC5D,OAAO,IAAIC,sBAAJ,CACLC,sBAAaC,sBAAYJ,IAAZ,CAAb,EAAgC,IAAhC,EAAsCI,sBAAYH,IAAZ,CAAtC,CADK,EAEJI,MAAD,IAAWC,qBAACN,IAAI,CAACO,GAAL,CAASF,MAAT,CAAD,EAAqBJ,IAAI,CAACM,GAAL,CAASF,MAAT,CAArB,CAFN,CAAP;AAID;AAED;;;;;AAGO,MAAMG,QAAQ,gBAAmBC,YAAe,UAAf,EAA2B,EAA3B,EAA+B,MAAM,IAArC,CAAjC;AAEP;;;;;;AAGM,SAAUC,mBAAV,CAA8BC,SAA9B,EAAiDC,SAAjD,EAAkE;EACtE,OAAOH,YAAe,qBAAf,EAAsC,CAACL,sBAAYO,SAAZ,CAAD,EAAyBP,sBAAYQ,SAAZ,CAAzB,CAAtC,EAAyFP,MAAD,IAAW;IACxG,MAAMQ,GAAG,GAAGF,SAAS,GAAGC,SAAxB;IACA,MAAME,GAAG,GAAGH,SAAS,GAAGC,SAAxB;IACA,OAAOP,MAAM,IAAIS,GAAV,IAAiBT,MAAM,IAAIQ,GAAlC;EACD,CAJM,CAAP;AAKD;AAED;;;;;AAGA,qBACEE,IADF,EAEEC,MAFF,EAGET,GAHF,EAG6B;EAE3B,MAAMZ,SAAS,GAA4BsB,qBAAU,MAAK;IACxD,OAAOC,kBAAiBH,IAAjB,EAAuBC,MAAvB,EAAgCX,MAAD,IAAW;MAC/C,MAAMc,MAAM,GAAqDF,qBAAU,MAAK;QAC9E,IAAIV,GAAG,CAACF,MAAD,CAAP,EAAiB;UACf,OAAOC,wBAA2B,IAAIc,8BAAJ,CAAmBzB,SAAnB,EAA8BU,MAA9B,EAAsCc,MAAtC,CAA3B,CAAP;QACD,CAFD,MAEO;UACL,OAAOb,wBAA2B,IAAIc,8BAAJ,CAAmBzB,SAAnB,EAA8BU,MAA9B,EAAsCc,MAAtC,CAA3B,CAAP;QACD;MACF,CANgE,CAAjE;MAOA,OAAOA,MAAM,CAACE,KAAd;IACD,CATM,CAAP;EAUD,CAX0C,CAA3C;EAYA,OAAO1B,SAAS,CAAC0B,KAAjB;AACD;AAED;;;;;AAGA,2BACEN,IADF,EAEEC,MAFF,EAGET,GAHF,EAG2D;EAEzD,OAAO,IAAIL,sBAAJ,CAAcC,mBAAUY,IAAV,EAAgBO,uBAAYA,qBAAUN,MAAV,CAAZ,CAAhB,CAAd,EAA+DT,GAA/D,CAAP;AACD;AAED;;;;;AAGA,wBACEQ,IADF,EAEEC,MAFF,EAGErB,SAHF,EAIE4B,GAJF,EAKEC,SAA6EC,CAAD,IAAMC,0BAACD,CAAD,CALpF,EAKgG;EAE9F,MAAME,eAAe,GAA4BV,qBAAU,MACzDC,kBAAiBH,IAAjB,EAAuBC,MAAvB,EAAgCY,CAAD,IAC7BC,0BAAG,CAACD,CAAD,CAAH,EACE,MAAMJ,MAAM,CAAC,IAAIM,6BAAJ,CAAkBF,CAAlB,EAAqBD,eAAe,CAACN,KAArC,CAAD,CADd,EAEGU,CAAD,IAAM;IACJ,MAAMC,WAAW,GAAGrC,SAAS,CAACY,GAAV,CAAcwB,CAAd,CAApB;IACA,MAAMZ,MAAM,GAAuDF,qBAAU,MAAK;MAChF,8BAAIe,WAAJ,GAA2B;QACzB,OAAO1B,wBAA2B,IAAIc,8BAAJ,CAAmBO,eAAnB,EAAoCC,CAApC,EAAuCT,MAAvC,CAA3B,CAAP;MACD,CAFD,MAEO;QACL,OAAOb,wBAA2B,IAAIc,8BAAJ,CAAmBH,2BAAUtB,SAAV,CAAnB,EAAyCoC,CAAzC,EAA4Cd,2BAAUe,WAAV,CAA5C,CAA3B,CAAP;MACD;IACF,CANkE,CAAnE;IAOA,OAAOb,MAAM,CAACE,KAAd;EACD,CAZH,CADF,CAD+C,CAAjD;EAkBA,OAAOM,eAAe,CAACN,KAAvB;AACD;;AAEK,SAAUY,QAAV,CAAsBC,OAAtB,EAAgC;EACpC,OAAOzB,YAAe,UAAf,EAA2B,CAACL,sBAAY8B,OAAZ,CAAD,CAA3B,EAAoDC,EAAD,IACxDC,kDAASR,CAAD,IAAOS,2BAAqBT,CAArB,EAAwBM,OAAxB,CAAf,EADK,CAAP;AAGD;;AAEK,SAAUI,aAAV,CAA2BC,KAA3B,EAA0C;EAC9C,OAAO9B,YAAe,eAAf,EAAgC,CAACL,sBAAYmC,KAAZ,CAAD,CAAhC,EAAuDC,CAAD,IAAOC,8BAAWF,KAAX,CAA7D,CAAP;AACD;;AAEK,SAAUG,cAAV,CAAyBR,OAAzB,EAAwC;EAC5C,OAAOzB,YAAe,gBAAf,EAAiC,CAACL,sBAAY8B,OAAZ,CAAD,CAAjC,EAA0DS,GAAD,IAASA,GAAG,CAACC,QAAJ,CAAaV,OAAb,CAAlE,CAAP;AACD;;AAEK,SAAUW,MAAV,CAAoBlD,SAApB,EAA2C;EAC/C,OAAOmD,eAAc,QAAd,EAAwB,CAAC1C,sBAAYT,SAAZ,CAAD,CAAxB,EAAkDA,SAAlD,EAA8DwC,EAAD,IAAQY,0BAASnB,CAAD,IAAOoB,kBAAepB,CAAf,CAAf,CAArE,CAAP;AACD;;AAEK,SAAUqB,KAAV,CAAmBtD,SAAnB,EAA0C;EAC9C,OAAOmD,eAAc,OAAd,EAAuB,CAAC1C,sBAAYT,SAAZ,CAAD,CAAvB,EAAiDA,SAAjD,EAA6DuD,IAAD,IACjEC,8BACGZ,KAAD,IAAUa,gDAACb,KAAD,EADZ,EAEE,MAAMc,0BAFR,CADK,CAAP;AAMD;;AAEK,SAAUC,MAAV,CAAoB3D,SAApB,EAA2C;EAC/C,OAAOmD,eACL,QADK,EAEL,CAAC1C,sBAAYT,SAAZ,CAAD,CAFK,EAGLA,SAHK,EAIJwC,EAAD,IAAQY,0BAASnB,CAAD,IAAO,CAACoB,kBAAepB,CAAf,CAAhB,CAJH,EAKJ2B,IAAD,IAAS7B,0BAAC6B,IAAD,CALJ,CAAP;AAOD;;AAEK,SAAUC,KAAV,CAAgB7D,SAAhB,EAAyC;EAC7C,OAAOmD,eAAc,OAAd,EAAuB,CAAC1C,sBAAYT,SAAZ,CAAD,CAAvB,EAAiDA,SAAjD,EAA6DuD,IAAD,IACjEC,8BACGX,CAAD,IAAMC,2BAACD,CAAD,CADR,EAEE,MAAMa,0BAFR,CADK,CAAP;AAMD;;AAEK,SAAUI,aAAV,CAA2BC,QAA3B,EAAsC;EAC1C,OAAOjD,YAAe,eAAf,EAAgC,CAACL,sBAAYsD,QAAZ,CAAD,CAAhC,EAA0DrD,MAAD,IAAYgC,6BAAuBhC,MAAvB,EAA+BqD,QAA/B,CAArE,CAAP;AACD;;AAEK,SAAUC,WAAV,CAAyBD,QAAzB,EAAoC;EACxC,OAAOjD,YAAe,aAAf,EAA8B,CAACL,sBAAYsD,QAAZ,CAAD,CAA9B,EAAwDrD,MAAD,IAAYgC,2BAAqBhC,MAArB,EAA6BqD,QAA7B,CAAnE,CAAP;AACD;;AAEK,SAAUE,MAAV,CAAoBF,QAApB,EAAiCG,CAAjC,EAAyC;EAC7C,OAAOpD,YAAe,QAAf,EAAyB,CAACL,sBAAYsD,QAAZ,CAAD,CAAzB,EAAmDrD,MAAD,IAAYwD,CAAC,CAACD,MAAF,CAASvD,MAAT,EAAiBqD,QAAjB,CAA9D,CAAP;AACD;;AAEM,MAAMI,OAAO,gBAAuBrD,YAAe,QAAf,EAAyB,EAAzB,EAA8BsB,CAAD,IAAO,CAACA,CAArC,CAApC;;AAEA,MAAMgC,aAAa,gBAA8BtD,YAAe,eAAf,EAAgC,EAAhC,EAAqCyC,IAAD,IAC1FC,8BACGZ,KAAD,IAAUE,6BAACF,KAAD,CADZ,EAEE,MAAM,KAFR,CADsD,CAAjD;;AAOA,MAAMyB,iBAAiB,gBAA8BvD,YAAe,mBAAf,EAAoC,EAApC,EAAyCyC,IAAD,IAClGC,8BACGZ,KAAD,IAAWE,mCADb,EAEE,MAAM,KAFR,CAD0D,CAArD;;;AAOD,SAAUwB,MAAV,CAAoBtE,SAApB,EAA2C;EAC/C,OAAOmD,eAAc,QAAd,EAAwB,CAAC1C,sBAAYT,SAAZ,CAAD,CAAxB,EAAkDA,SAAlD,EAA8DU,MAAD,IAClE6D,gCACGtC,CAAD,IAAOyB,sBAAKzB,CAAL,CADT,EAEE,MAAMyB,0BAFR,CADK,CAAP;AAMD;;AAEK,SAAUc,MAAV,CAAoBxE,SAApB,EAA2C;EAC/C,OAAOmD,eAAc,QAAd,EAAwB,CAAC1C,sBAAYT,SAAZ,CAAD,CAAxB,EAAkDA,SAAlD,EAA6DyE,kBAA7D,CAAP;AACD;;AAEM,MAAMC,SAAS,gBAA0B5D,YAAe,WAAf,EAA4B,EAA5B,EAAiCJ,MAAD,IAAY+B,kCAA5C,CAAzC;;;AAED,SAAUkC,OAAV,CAAqB3E,SAArB,EAA4C;EAChD,OAAOmD,eAAc,SAAd,EAAyB,CAAC1C,sBAAYT,SAAZ,CAAD,CAAzB,EAAmDA,SAAnD,EAA+DU,MAAD,IACnE6D,gCACE,MAAMb,0BADR,EAEGzB,CAAD,IAAOyB,sBAAKzB,CAAL,CAFT,CADK,CAAP;AAMD;;AAEM,MAAM2C,MAAM,gBAAuB9D,YAAe,QAAf,EAAyB,EAAzB,EAA6B2D,kBAA7B,CAAnC;;AAEA,MAAMI,OAAO,gBAA6B/D,YAAe,SAAf,EAA0B,EAA1B,EAA+BJ,MAAD,IAAY0C,iCAAgB,CAA1D,CAA1C;;AAEA,MAAM0B,MAAM,gBAAoBhE,YAAe,QAAf,EAAyB,EAAzB,EAA8BJ,MAAD,IAAYA,MAAM,KAAK,KAAK,CAAzD,CAAhC;;;AAED,SAAUqE,mBAAV,CAA8BC,CAA9B,EAAuC;EAC3C,OAAOlE,YAAe,qBAAf,EAAsC,CAACL,sBAAYuE,CAAZ,CAAD,CAAtC,EAAyDtE,MAAD,IAAYA,MAAM,IAAIsE,CAA9E,CAAP;AACD;AAED;;;;;AAGM,SAAUC,MAAV,CAAoB5E,IAApB,EAAwC6E,KAAxC,EAAqD;EACzD,OAAO,IAAI3E,sBAAJ,CAAcC,sBAAaC,sBAAYJ,IAAZ,CAAb,EAAgC,GAAhC,EAAqCI,sBAAYyE,KAAZ,CAArC,CAAd,EAAwE7E,IAAI,CAACO,GAA7E,CAAP;AACD;AAED;;;;;AAGM,SAAUuE,GAAV,CAAiBnF,SAAjB,EAAwC;EAC5C,OAAOuB,kBAAiB,KAAjB,EAAwB,CAACd,sBAAYT,SAAZ,CAAD,CAAxB,EAAmDU,MAAD,IAAWC,oBAACX,SAAS,CAACY,GAAV,CAAcF,MAAd,CAAD,CAA7D,CAAP;AACD;AAED;;;;;;AAIM,SAAU0E,GAAV,CAAiB/E,IAAjB,EAAqCC,IAArC,EAAuD;EAC3D,OAAO,IAAIC,sBAAJ,CACLC,sBAAaC,sBAAYJ,IAAZ,CAAb,EAAgC,IAAhC,EAAsCI,sBAAYH,IAAZ,CAAtC,CADK,EAEJI,MAAD,IAAWC,oBAACN,IAAI,CAACO,GAAL,CAASF,MAAT,CAAD,EAAqBJ,IAAI,CAACM,GAAL,CAASF,MAAT,CAArB,CAFN,CAAP;AAID;;AAEK,SAAU2E,QAAV,CAAsBrF,SAAtB,EAA6C;EACjD,OAAOmD,eAAc,UAAd,EAA0B,CAAC1C,sBAAYT,SAAZ,CAAD,CAA1B,EAAoDA,SAApD,EAAgEuD,IAAD,IACpEC,8BACE,MAAME,0BADR,EAEGzB,CAAD,IAAOyB,sBAAKzB,CAAL,CAFT,CADK,CAAP;AAMD;AAED;;;;;AAGA,gBAAyB5B,IAAzB,EAA6CK,MAA7C,EAAsD;EACpD,iCAAOL,IAAI,CAACO,GAAL,CAASF,MAAT,CAAP;AACD;;AAEM,MAAM4E,SAAS,gBAAGxE,YAAe,WAAf,EAA4B,EAA5B,EAAgC,MAAM,IAAtC,CAAlB","names":["assertion","assertionDirect","assertionRec","test_","and_","self","that","Assertion","tsplus_module_2","tsplus_module_1","actual","tsplus_module_3","run","anything","assertion_1","approximatelyEquals","reference","tolerance","max","min","name","params","tsplus_module_4","assertionDirect_1","result","AssertionValue","value","tsplus_module_5","get","orElse","_","tsplus_module_6","resultAssertion","a","tsplus_module_7","AssertionData","b","innerResult","contains","element","ia","tsplus_module_10","tsplus_module_8","containsCause","cause","c","tsplus_module_11","containsString","str","includes","exists","assertionRec_1","tsplus_module_9","test_1","fails","exit","tsplus_module_14","tsplus_module_12","tsplus_module_13","forall","data","halts","strictEqualTo","expected","deepEqualTo","equals","E","isFalse","isInterrupted","isOnlyInterrupted","isLeft","tsplus_module_15","isJust","identity","isNothing","isRight","isTrue","isEmpty","isUnit","isLessThanOrEqualTo","n","label_","label","not","or_","succeeds","completes"],"sourceRoot":"","sources":["../../../_src/control/Assertion/api.ts"],"sourcesContent":[null]}

package/_cjs/data/FreeBooleanAlgebra/api.cjs

@@ -6,12 +6,13 @@ Object.defineProperty(exports, "__esModule", {
 exports.and_ = void 0;
 exports.failure = failure;
 exports.failures = failures;
-exports.flatMap_ = flatMap_;
-exports.fold_ = exports.foldEval_ = void 0;
+exports.fold_ = exports.foldEval_ = exports.flatMap_ = void 0;
 exports.iff_ = iff_;
 exports.implies_ = void 0;
 exports.isFailure = isFailure;
-exports.success = exports.or_ = exports.not = exports.isSuccess = void 0;
+exports.isSuccess = void 0;
+exports.map_ = map_;
+exports.success = exports.or_ = exports.not = void 0;
 
 var tsplus_module_1 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/base/data/Maybe/constructors"));
 
@@ -35,6 +36,8 @@ function _interopRequireWildcard(obj, nodeInterop) { if (!nodeInterop && obj &&
 
 const and_ = and_1;
 exports.and_ = and_;
+const flatMap_ = flatMap_1;
+exports.flatMap_ = flatMap_;
 const foldEval_ = foldEval_1;
 exports.foldEval_ = foldEval_;
 const fold_ = fold_1;
@@ -62,7 +65,7 @@ function and_1(left, right) {
  */
 
 
-function flatMap_(self, f) {
+function flatMap_1(self, f) {
   return fold_1(self, {
     Value: f,
     And: (l, r) => and_1(l, r),
@@ -70,6 +73,14 @@ function flatMap_(self, f) {
     Not: v => not_1(v)
   });
 }
+/**
+ * @tsplus fluent fncts.test.FreeBooleanAlgebra map
+ */
+
+
+function map_(self, f) {
+  return flatMap_1(self, a => success_1(f(a)));
+}
 /**
  * @tsplus static fncts.test.FreeBooleanAlgebraOps failure
  */

package/_cjs/data/FreeBooleanAlgebra/api.cjs.map

@@ -1 +1 @@
-{"version":3,"file":"api.cjs","mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAAA;;;;;;MAMgBA,IAAI;;MA4DJC,SAAS;;MA0BTC,KAAK;;MAsBLC,QAAQ;;MAcRC,SAAS;;MAYTC,GAAG;;MAQHC,GAAG;;MAOHC,OAAO;;;AAzJvB;;;;AAIA,eAAwBC,IAAxB,EAAqDC,KAArD,EAAiF;EAC/E,OAAO,IAAIC,eAAJ,CAAQF,IAAR,EAAcC,KAAd,CAAP;AACD;AAED;;;;;AAGM,SAAUE,QAAV,CAAyBC,IAAzB,EAAsDC,CAAtD,EAAwF;EAC5F,OAAOC,aAAU;IACfC,KAAK,EAAEF,CADQ;IAEfH,GAAG,EAAE,CAACM,CAAD,EAAIC,CAAJ,KAASC,MAACF,CAAD,EAAMC,CAAN,CAFC;IAGfE,EAAE,EAAE,CAACH,CAAD,EAAIC,CAAJ,KAASG,KAACJ,CAAD,EAAMC,CAAN,CAHE;IAIfI,GAAG,EAAGC,CAAD,IAAMC,MAACD,CAAD;EAJI,CAAV,CAAP;AAMD;AAED;;;;;AAGM,SAAUE,OAAV,CAAqBC,CAArB,EAAyB;EAC7B,aAAOC,UAA2BD,CAA3B,CAAP;AACD;AAED;;;;;AAGM,SAAUE,QAAV,CAAsBf,IAAtB,EAAiD;EACrD,OAAOgB,oCAC0D;IAC7Db,KAAK,EAAGU,CAAD,IAAOI,sBAAaH,UAA2BD,CAA3B,CAAb,CAD+C;IAE7Df,GAAG,EAAE,CAACM,CAAD,EAAIC,CAAJ,KAAS;MACZ;MACA;MACA,OAAOa,6BACHA,6BACED,4BAAab,CAAC,CAACP,KAAf,EAAwBQ,CAAC,CAACR,KAA1B,EADF,GAEEQ,CAHC,GAIHa,6BACAd,CADA,GAEAa,2BAAYb,CAAC,CAACR,IAAd,EAAsBS,CAAC,CAACT,IAAxB,EANJ;IAOD,CAZ4D;IAa7DW,EAAE,EAAE,CAACH,CAAD,EAAIC,CAAJ,KAAS;MACX;MACA;MACA,OAAOa,6BACHA,6BACED,2BAAab,CAAC,CAACP,KAAf,EAAwBQ,CAAC,CAACR,KAA1B,EADF,GAEEO,CAHC,GAIHc,6BACAb,CADA,GAEAY,0BAAYb,CAAC,CAACR,IAAd,EAAsBS,CAAC,CAACT,IAAxB,EANJ;IAOD,CAvB4D;IAwB7Da,GAAG,EAAGC,CAAD,IAAMQ,qBAACR,CAAD;EAxBkD,CAD1D,GA0BHS,oBA1BG,EA2Bc,MAAMA,yBA3BpB,CAAP;AA4BD;AAED;;;;;AAGA,oBACEnB,IADF,EAEEoB,KAFF,EAOG;EAED,OAAOC,sBAAW,MAAK;IACrB,QAAQrB,IAAI,CAACsB,IAAb;MACE;MAAA;MAAA;QACE,OAAOD,oBAASD,KAAK,CAACjB,KAAN,CAAYH,IAAI,CAACuB,KAAjB,CAAT,CAAP;;MACF;MAAA;MAAA;QACE,OAAOC,wCAAI,CAAC5B,IAAL,EAAmBwB,KAAnB,GAAkCK,eAAI,CAAC5B,KAAL,EAAoBuB,KAApB,CAAlC,EAA8DA,KAAK,CAACtB,GAApE,CAAP;;MACF;MAAA;MAAA;QACE,OAAO0B,wCAAI,CAAC5B,IAAL,EAAmBwB,KAAnB,GAAkCK,eAAI,CAAC5B,KAAL,EAAoBuB,KAApB,CAAlC,EAA8DA,KAAK,CAACb,EAApE,CAAP;;MACF;MAAA;MAAA;QACE,OAAOiB,oCAAI,CAACE,MAAL,EAAqBN,KAArB,GAAgCA,KAAK,CAACX,GAAtC,CAAP;IARJ;EAUD,CAXM,CAAP;AAYD;AAED;;;;;AAGA,gBACET,IADF,EAEEoB,KAFF,EAOG;EAED,2BAAOK,iBAAcL,KAAd,CAAP;AACD;AAED;;;;;AAGM,SAAUO,IAAV,CAAkB/B,IAAlB,EAA+CC,KAA/C,EAA2E;EAC/E,aAAO+B,gBAAa/B,KAAb,CAAP,EAA8B+B,iBAAchC,IAAd,CAA9B;AACD;AAED;;;;;AAGA,mBAA4BA,IAA5B,EAAyDC,KAAzD,EAAqF;EACnF,kBAAOD,IAAP,GAAsBC,KAAtB;AACD;AAED;;;;;AAGM,SAAUgC,SAAV,CAAuB7B,IAAvB,EAAkD;EACtD,OAAO,aAACA,IAAD,CAAP;AACD;AAED;;;;;AAGA,qBAA6BA,IAA7B,EAAwD;EACtD,OAAOE,aAAU;IACfC,KAAK,EAAE,MAAe,IADP;IAEfL,GAAG,EAAE,CAACM,CAAD,EAAIC,CAAJ,KAAUD,CAAC,IAAIC,CAFL;IAGfE,EAAE,EAAE,CAACH,CAAD,EAAIC,CAAJ,KAAUD,CAAC,IAAIC,CAHJ;IAIfI,GAAG,EAAGC,CAAD,IAAO,CAACA;EAJE,CAAV,CAAP;AAMD;AAED;;;;;AAGA,eAAuBV,IAAvB,EAAkD;EAChD,OAAO,IAAIS,eAAJ,CAAQT,IAAR,CAAP;AACD;AAED;;;;;;AAIA,cAAuBJ,IAAvB,EAAoDC,KAApD,EAAgF;EAC9E,OAAO,IAAIU,cAAJ,CAAOX,IAAP,EAAaC,KAAb,CAAP;AACD;AAED;;;;;AAGA,mBAA2BgB,CAA3B,EAA+B;EAC7B,OAAO,IAAIV,iBAAJ,CAAUU,CAAV,CAAP;AACD","names":["and_","foldEval_","fold_","implies_","isSuccess","not","or_","success","left","right","And","flatMap_","self","f","fold_1","Value","l","r","and_1","Or","or_1","Not","v","not_1","failure","a","success_1","failures","tsplus_module_4","tsplus_module_2","tsplus_module_3","tsplus_module_1","cases","tsplus_module_5","_tag","value","tsplus_module_6","foldEval_1","result","iff_","implies_1","isFailure"],"sourceRoot":"","sources":["../../../_src/data/FreeBooleanAlgebra/api.ts"],"sourcesContent":[null]}
+{"version":3,"file":"api.cjs","mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAAA;;;;;;MAMgBA,IAAI;;MAOJC,QAAQ;;MA4DRC,SAAS;;MA0BTC,KAAK;;MAsBLC,QAAQ;;MAcRC,SAAS;;MAYTC,GAAG;;MAQHC,GAAG;;MAOHC,OAAO;;;AAhKvB;;;;AAIA,eAAwBC,IAAxB,EAAqDC,KAArD,EAAiF;EAC/E,OAAO,IAAIC,eAAJ,CAAQF,IAAR,EAAcC,KAAd,CAAP;AACD;AAED;;;;;AAGA,mBAA+BE,IAA/B,EAA4DC,CAA5D,EAA8F;EAC5F,OAAOC,aAAU;IACfC,KAAK,EAAEF,CADQ;IAEfF,GAAG,EAAE,CAACK,CAAD,EAAIC,CAAJ,KAASC,MAACF,CAAD,EAAMC,CAAN,CAFC;IAGfE,EAAE,EAAE,CAACH,CAAD,EAAIC,CAAJ,KAASG,KAACJ,CAAD,EAAMC,CAAN,CAHE;IAIfI,GAAG,EAAGC,CAAD,IAAMC,MAACD,CAAD;EAJI,CAAV,CAAP;AAMD;AAED;;;;;AAGM,SAAUE,IAAV,CAAqBZ,IAArB,EAAkDC,CAAlD,EAAgE;EACpE,OAAOY,gBAAcC,CAAD,IAAOC,UAA2Bd,CAAC,CAACa,CAAD,CAA5B,CAApB,CAAP;AACD;AAED;;;;;AAGM,SAAUE,OAAV,CAAqBF,CAArB,EAAyB;EAC7B,aAAOC,UAA2BD,CAA3B,CAAP;AACD;AAED;;;;;AAGM,SAAUG,QAAV,CAAsBjB,IAAtB,EAAiD;EACrD,OAAOkB,oCAC0D;IAC7Df,KAAK,EAAGW,CAAD,IAAOK,sBAAaJ,UAA2BD,CAA3B,CAAb,CAD+C;IAE7Df,GAAG,EAAE,CAACK,CAAD,EAAIC,CAAJ,KAAS;MACZ;MACA;MACA,OAAOe,6BACHA,6BACED,4BAAaf,CAAC,CAACN,KAAf,EAAwBO,CAAC,CAACP,KAA1B,EADF,GAEEO,CAHC,GAIHe,6BACAhB,CADA,GAEAe,2BAAYf,CAAC,CAACP,IAAd,EAAsBQ,CAAC,CAACR,IAAxB,EANJ;IAOD,CAZ4D;IAa7DU,EAAE,EAAE,CAACH,CAAD,EAAIC,CAAJ,KAAS;MACX;MACA;MACA,OAAOe,6BACHA,6BACED,2BAAaf,CAAC,CAACN,KAAf,EAAwBO,CAAC,CAACP,KAA1B,EADF,GAEEM,CAHC,GAIHgB,6BACAf,CADA,GAEAc,0BAAYf,CAAC,CAACP,IAAd,EAAsBQ,CAAC,CAACR,IAAxB,EANJ;IAOD,CAvB4D;IAwB7DY,GAAG,EAAGC,CAAD,IAAMU,qBAACV,CAAD;EAxBkD,CAD1D,GA0BHW,oBA1BG,EA2Bc,MAAMA,yBA3BpB,CAAP;AA4BD;AAED;;;;;AAGA,oBACErB,IADF,EAEEsB,KAFF,EAOG;EAED,OAAOC,sBAAW,MAAK;IACrB,QAAQvB,IAAI,CAACwB,IAAb;MACE;MAAA;MAAA;QACE,OAAOD,oBAASD,KAAK,CAACnB,KAAN,CAAYH,IAAI,CAACyB,KAAjB,CAAT,CAAP;;MACF;MAAA;MAAA;QACE,OAAOC,wCAAI,CAAC7B,IAAL,EAAmByB,KAAnB,GAAkCK,eAAI,CAAC7B,KAAL,EAAoBwB,KAApB,CAAlC,EAA8DA,KAAK,CAACvB,GAApE,CAAP;;MACF;MAAA;MAAA;QACE,OAAO2B,wCAAI,CAAC7B,IAAL,EAAmByB,KAAnB,GAAkCK,eAAI,CAAC7B,KAAL,EAAoBwB,KAApB,CAAlC,EAA8DA,KAAK,CAACf,EAApE,CAAP;;MACF;MAAA;MAAA;QACE,OAAOmB,oCAAI,CAACE,MAAL,EAAqBN,KAArB,GAAgCA,KAAK,CAACb,GAAtC,CAAP;IARJ;EAUD,CAXM,CAAP;AAYD;AAED;;;;;AAGA,gBACET,IADF,EAEEsB,KAFF,EAOG;EAED,2BAAOK,iBAAcL,KAAd,CAAP;AACD;AAED;;;;;AAGM,SAAUO,IAAV,CAAkBhC,IAAlB,EAA+CC,KAA/C,EAA2E;EAC/E,aAAOgC,gBAAahC,KAAb,CAAP,EAA8BgC,iBAAcjC,IAAd,CAA9B;AACD;AAED;;;;;AAGA,mBAA4BA,IAA5B,EAAyDC,KAAzD,EAAqF;EACnF,kBAAOD,IAAP,GAAsBC,KAAtB;AACD;AAED;;;;;AAGM,SAAUiC,SAAV,CAAuB/B,IAAvB,EAAkD;EACtD,OAAO,aAACA,IAAD,CAAP;AACD;AAED;;;;;AAGA,qBAA6BA,IAA7B,EAAwD;EACtD,OAAOE,aAAU;IACfC,KAAK,EAAE,MAAe,IADP;IAEfJ,GAAG,EAAE,CAACK,CAAD,EAAIC,CAAJ,KAAUD,CAAC,IAAIC,CAFL;IAGfE,EAAE,EAAE,CAACH,CAAD,EAAIC,CAAJ,KAAUD,CAAC,IAAIC,CAHJ;IAIfI,GAAG,EAAGC,CAAD,IAAO,CAACA;EAJE,CAAV,CAAP;AAMD;AAED;;;;;AAGA,eAAuBV,IAAvB,EAAkD;EAChD,OAAO,IAAIS,eAAJ,CAAQT,IAAR,CAAP;AACD;AAED;;;;;;AAIA,cAAuBH,IAAvB,EAAoDC,KAApD,EAAgF;EAC9E,OAAO,IAAIS,cAAJ,CAAOV,IAAP,EAAaC,KAAb,CAAP;AACD;AAED;;;;;AAGA,mBAA2BgB,CAA3B,EAA+B;EAC7B,OAAO,IAAIX,iBAAJ,CAAUW,CAAV,CAAP;AACD","names":["and_","flatMap_","foldEval_","fold_","implies_","isSuccess","not","or_","success","left","right","And","self","f","fold_1","Value","l","r","and_1","Or","or_1","Not","v","not_1","map_","flatMap_1","a","success_1","failure","failures","tsplus_module_4","tsplus_module_2","tsplus_module_3","tsplus_module_1","cases","tsplus_module_5","_tag","value","tsplus_module_6","foldEval_1","result","iff_","implies_1","isFailure"],"sourceRoot":"","sources":["../../../_src/data/FreeBooleanAlgebra/api.ts"],"sourcesContent":[null]}

package/_mjs/api.mjs

@@ -8,9 +8,18 @@ import * as tsplus_module_6 from "@fncts/io/IO/api";
 import * as tsplus_module_7 from "@fncts/base/collection/immutable/Conc/constructors";
 import * as tsplus_module_8 from "@fncts/test/control/Spec/api";
 import * as tsplus_module_9 from "@fncts/test/control/Test";
+import * as tsplus_module_10 from "@fncts/io/Stream/api";
+import * as tsplus_module_11 from "@fncts/test/data/TestConfig";
+import * as tsplus_module_12 from "@fncts/base/data/Either/destructors";
+import * as tsplus_module_13 from "@fncts/test/control/Sample/api";
+import * as tsplus_module_14 from "@fncts/test/control/Assertion/api";
+import * as tsplus_module_15 from "@fncts/base/collection/immutable/Conc/api";
+import * as tsplus_module_16 from "@fncts/base/data/Maybe/destructors";
+import { identity } from "@fncts/base/data/function";
 import { FailureDetailsResult } from "./data/AssertionResult.mjs";
 import { AssertionValue } from "./data/AssertionValue.mjs";
 import { FailureDetails } from "./data/FailureDetails.mjs";
+import { GenFailureDetails } from "./data/GenFailureDetails.mjs";
 import { TestAnnotationMap } from "./data/TestAnnotationMap.mjs";
 
 function traverseResultLoop(whole, failureDetails) {
@@ -40,8 +49,8 @@ export function assert_(value, assertion) {
 
 export function assertIO_(io, assertion) {
   return tsplus_module_6.gen(function* (_) {
-    const value = yield* _(io, fileName_1 + ":57:34");
-    const assertResult = yield* _(assertion.runIO(value), fileName_1 + ":58:34");
+    const value = yield* _(io, fileName_1 + ":64:34");
+    const assertResult = yield* _(assertion.runIO(value), fileName_1 + ":65:34");
     return traverseResult(value, assertResult, assertion);
   });
 }
@@ -52,6 +61,46 @@ export function testIO(label, assertion) {
   return tsplus_module_8.labeledCase(tsplus_module_8.testCase(tsplus_module_9.fromAssertion(assertion), TestAnnotationMap.empty), label);
 }
 export function test(label, assertion) {
-  return testIO(label, () => tsplus_module_6.succeed(assertion, fileName_1 + ":75:34"));
+  return testIO(label, () => tsplus_module_6.succeed(assertion, fileName_1 + ":82:34"));
+}
+/**
+ * @tsplus fluent fncts.test.Gen check
+ */
+
+export function check(rv, test) {
+  return tsplus_module_6.flatMap_(tsplus_module_11.samples, n => checkStream(tsplus_module_10.take_(tsplus_module_10.filterMap_(tsplus_module_10.forever(rv.sample), identity), n), a => tsplus_module_6.succeed(() => test(a), fileName_1 + ":90:81")), fileName_1 + ":89:36");
+}
+/**
+ * @tsplus fluent fncts.test.Gen check
+ */
+
+export function checkIO(rv, test) {
+  return tsplus_module_6.flatMap_(tsplus_module_11.samples, n => checkStream(tsplus_module_10.take_(tsplus_module_10.filterMap_(tsplus_module_10.forever(rv.sample), identity), n), test), fileName_1 + ":101:36");
+}
+/**
+ * @tsplus fluent fncts.test.Gen checkAllC
+ */
+
+export function checkAllC(rv, concurrency, test) {
+  return checkStreamC(tsplus_module_10.filterMap_(tsplus_module_10.forever(rv.sample), identity), concurrency, a => tsplus_module_6.succeed(() => test(a), fileName_1 + ":112:92"));
+}
+/**
+ * @tsplus fluent fncts.test.Gen checkAllC
+ */
+
+export function checkAllIOC(rv, concurrency, test) {
+  return checkStreamC(tsplus_module_10.filterMap_(tsplus_module_10.forever(rv.sample), identity), concurrency, test);
+}
+
+function checkStreamC(stream, concurrency, test) {
+  return tsplus_module_6.flatMap_(tsplus_module_11.shrinks, shrinks => shrinkStream(tsplus_module_10.catchAll_(tsplus_module_10.mapIOC_(tsplus_module_10.zipWithIndex_(stream), concurrency, ([initial, index]) => tsplus_module_6.flatMap_(tsplus_module_13.foreach_(initial, input => tsplus_module_6.either(tsplus_module_6.map_(test(input), result => tsplus_module_2.map_(result, details => new FailureDetailsResult(details.failureDetails, tsplus_module_5.just(new GenFailureDetails(initial.value, input, index)))), fileName_1 + ":138:32"))), sample => tsplus_module_12.match_(sample.value, () => tsplus_module_6.fail(() => sample, fileName_1 + ":150:30"), () => tsplus_module_6.succeed(() => sample, fileName_1 + ":151:33")), fileName_1 + ":148:21")), tsplus_module_10.succeedNow), shrinks), fileName_1 + ":131:36");
+}
+
+function checkStream(stream, test) {
+  return tsplus_module_6.flatMap_(tsplus_module_11.shrinks, shrinks => shrinkStream(tsplus_module_10.mapIO_(tsplus_module_10.zipWithIndex_(stream), ([initial, index]) => tsplus_module_13.foreach_(initial, input => tsplus_module_6.either(tsplus_module_6.map_(test(input), result => tsplus_module_2.map_(result, details => new FailureDetailsResult(details.failureDetails, tsplus_module_5.just(new GenFailureDetails(initial.value, input, index)))), fileName_1 + ":170:28")))), shrinks), fileName_1 + ":165:36");
+}
+
+function shrinkStream(stream, maxShrinks, __tsPlusTrace) {
+  return tsplus_module_6.flatMap_(tsplus_module_10.runCollect(tsplus_module_10.flatMap_(tsplus_module_10.take_(tsplus_module_10.dropWhile_(stream, sample => !tsplus_module_12.match_(sample.value, () => true, result => tsplus_module_2.isFailure(result))), 1), sample => tsplus_module_10.take_(tsplus_module_13.shrinkSearch_(sample, value => tsplus_module_12.match_(value, () => true, result => tsplus_module_2.isFailure(result))), maxShrinks + 1))), shrinks => tsplus_module_16.match_(tsplus_module_15.last(tsplus_module_15.filter_(shrinks, value => tsplus_module_12.match_(value, () => true, result => tsplus_module_2.isFailure(result)))), () => tsplus_module_6.succeedNow(tsplus_module_2.success(new FailureDetailsResult(new FailureDetails(tsplus_module_3.cons(new AssertionValue(tsplus_module_4.lazy(() => tsplus_module_14.anything), undefined, tsplus_module_4.lazy(() => tsplus_module_14.anything.run(undefined)))), tsplus_module_5.nothing()))), fileName_1 + ":220:26"), tsplus_module_6.fromEitherNow), fileName_1 + ":210:24");
 }
 //# sourceMappingURL=api.mjs.map

package/_mjs/api.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"api.mjs","mappings":";;;;;;;;;;AAOA,SAASA,oBAAT,QAAqC,4BAArC;AACA,SAASC,cAAT,QAA+B,2BAA/B;AACA,SAASC,cAAT,QAA+B,2BAA/B;AAEA,SAASC,iBAAT,QAAkC,8BAAlC;;AAEA,SAASC,kBAAT,CAA+BC,KAA/B,EAAyDC,cAAzD,EAAuF;EACrF,IAAIC,yCAAwBD,cAAc,CAACE,SAAf,CAAyBC,IAAjD,CAAJ,EAA4D;IAC1D,OAAOC,wBAA2B,IAAIV,oBAAJ,CAAyBM,cAAzB,CAA3B,CAAP;EACD,CAFD,MAEO;IACL,MAAMK,QAAQ,GAAGN,KAAK,CAACO,MAAvB;IACA,MAAMC,EAAE,GAASF,QAAQ,CAACG,KAA1B;IACA,MAAMF,MAAM,GAAKF,gCAAeG,EAAf,GAAmBH,oBAACG,EAAD,CAApC;IACA,OAAOH,iCAAgBC,QAAD,IACpBP,kBAAkB,CAACO,QAAD,EAAW,IAAIT,cAAJ,CAAmBa,qBAAKV,KAAL,EAAYC,cAAc,CAACE,SAA3B,CAAnB,EAA0DF,cAAc,CAACU,GAAzE,CAAX,CADb,CAAP;EAGD;AACF;;AAED,OAAM,SAAUC,cAAV,CAA4BH,KAA5B,EAAsCI,YAAtC,EAAqEV,SAArE,EAA8F;EAClG,OAAOE,uCAAsBC,QAAD,IAC1BP,kBAAkB,CAChBO,QADgB,EAEhB,IAAIT,cAAJ,CACEa,qBACE,IAAId,cAAJ,CACEkB,qBAAU,MAAMX,SAAhB,CADF,EAEEM,KAFF,EAGEK,qBAAU,MAAMD,YAAhB,CAHF,CADF,CADF,EAQEE,yBARF,CAFgB,CADb,CAAP;AAeD;AAED;;;;AAGA,OAAM,SAAUC,OAAV,CAAqBP,KAArB,EAA+BN,SAA/B,EAAsD;EAC1D,OAAOS,cAAc,CAACH,KAAD,EAAQN,SAAS,CAACc,GAAV,CAAcR,KAAd,CAAR,EAA8BN,SAA9B,CAArB;AACD;AAED;;;;AAGA,OAAM,SAAUe,SAAV,CAA6BC,EAA7B,EAA8ChB,SAA9C,EAAuE;EAC3E,OAAOiB,oBAAO,WAAWC,CAAX,EAAY;IACxB,MAAMZ,KAAK,GAAU,OAAOY,CAAC,CAACF,EAAD,EAAGG,qBAAH,CAA7B;IACA,MAAMT,YAAY,GAAG,OAAOQ,CAAC,CAAClB,SAAS,CAACoB,KAAV,CAAgBd,KAAhB,CAAD,EAAuBa,qBAAvB,CAA7B;IACA,OAAOV,cAAc,CAACH,KAAD,EAAQI,YAAR,EAAsBV,SAAtB,CAArB;EACD,CAJM,CAAP;AAKD;AAED,OAAM,SAAUqB,KAAV,CACJC,KADI,EAEJ,GAAGC,KAFC,EAEW;EAEf,OAAOC,yDAAcC,qBAAUF,KAAV,CAAd,GAAwCD,KAAxC,CAAP;AACD;AAED,OAAM,SAAUI,MAAV,CAAuBJ,KAAvB,EAAsCtB,SAAtC,EAA2E;EAC/E,OAAOwB,qDAAUG,8BAAmB3B,SAAnB,CAAV,EAAyCL,iBAAiB,CAACiC,KAA3D,GAA0EN,KAA1E,CAAP;AACD;AAED,OAAM,SAAUO,IAAV,CAAeP,KAAf,EAA8BtB,SAA9B,EAAyD;EAC7D,OAAO0B,MAAM,CAACJ,KAAD,EAAM,MAAEL,wBAAWjB,SAAX,EAAoBmB,qBAApB,CAAR,CAAb;AACD","names":["FailureDetailsResult","AssertionValue","FailureDetails","TestAnnotationMap","traverseResultLoop","whole","failureDetails","tsplus_module_1","assertion","head","tsplus_module_2","fragment","result","r0","value","tsplus_module_3","gen","traverseResult","assertResult","tsplus_module_4","tsplus_module_5","assert_","run","assertIO_","io","tsplus_module_6","_","fileName_1","runIO","suite","label","specs","tsplus_module_8","tsplus_module_7","testIO","tsplus_module_9","empty","test"],"sourceRoot":"","sources":["../_src/api.ts"],"sourcesContent":[null]}
+{"version":3,"file":"api.mjs","mappings":";;;;;;;;;;;;;;;;;AAOA,SAASA,QAAT,QAAyB,2BAAzB;AAKA,SAASC,oBAAT,QAAqC,4BAArC;AACA,SAASC,cAAT,QAA+B,2BAA/B;AACA,SAASC,cAAT,QAA+B,2BAA/B;AAEA,SAASC,iBAAT,QAAkC,8BAAlC;AACA,SAASC,iBAAT,QAAkC,8BAAlC;;AAGA,SAASC,kBAAT,CAA+BC,KAA/B,EAAyDC,cAAzD,EAAuF;EACrF,IAAIC,yCAAwBD,cAAc,CAACE,SAAf,CAAyBC,IAAjD,CAAJ,EAA4D;IAC1D,OAAOC,wBAA2B,IAAIX,oBAAJ,CAAyBO,cAAzB,CAA3B,CAAP;EACD,CAFD,MAEO;IACL,MAAMK,QAAQ,GAAGN,KAAK,CAACO,MAAvB;IACA,MAAMC,EAAE,GAASF,QAAQ,CAACG,KAA1B;IACA,MAAMF,MAAM,GAAKF,gCAAeG,EAAf,GAAmBH,oBAACG,EAAD,CAApC;IACA,OAAOH,iCAAgBC,QAAD,IACpBP,kBAAkB,CAACO,QAAD,EAAW,IAAIV,cAAJ,CAAmBc,qBAAKV,KAAL,EAAYC,cAAc,CAACE,SAA3B,CAAnB,EAA0DF,cAAc,CAACU,GAAzE,CAAX,CADb,CAAP;EAGD;AACF;;AAED,OAAM,SAAUC,cAAV,CAA4BH,KAA5B,EAAsCI,YAAtC,EAAqEV,SAArE,EAA8F;EAClG,OAAOE,uCAAsBC,QAAD,IAC1BP,kBAAkB,CAChBO,QADgB,EAEhB,IAAIV,cAAJ,CACEc,qBACE,IAAIf,cAAJ,CACEmB,qBAAU,MAAMX,SAAhB,CADF,EAEEM,KAFF,EAGEK,qBAAU,MAAMD,YAAhB,CAHF,CADF,CADF,EAQEE,yBARF,CAFgB,CADb,CAAP;AAeD;AAED;;;;AAGA,OAAM,SAAUC,OAAV,CAAqBP,KAArB,EAA+BN,SAA/B,EAAsD;EAC1D,OAAOS,cAAc,CAACH,KAAD,EAAQN,SAAS,CAACc,GAAV,CAAcR,KAAd,CAAR,EAA8BN,SAA9B,CAArB;AACD;AAED;;;;AAGA,OAAM,SAAUe,SAAV,CAA6BC,EAA7B,EAA8ChB,SAA9C,EAAuE;EAC3E,OAAOiB,oBAAO,WAAWC,CAAX,EAAY;IACxB,MAAMZ,KAAK,GAAU,OAAOY,CAAC,CAACF,EAAD,EAAGG,qBAAH,CAA7B;IACA,MAAMT,YAAY,GAAG,OAAOQ,CAAC,CAAClB,SAAS,CAACoB,KAAV,CAAgBd,KAAhB,CAAD,EAAuBa,qBAAvB,CAA7B;IACA,OAAOV,cAAc,CAACH,KAAD,EAAQI,YAAR,EAAsBV,SAAtB,CAArB;EACD,CAJM,CAAP;AAKD;AAED,OAAM,SAAUqB,KAAV,CACJC,KADI,EAEJ,GAAGC,KAFC,EAEW;EAEf,OAAOC,yDAAcC,qBAAUF,KAAV,CAAd,GAAwCD,KAAxC,CAAP;AACD;AAED,OAAM,SAAUI,MAAV,CAAuBJ,KAAvB,EAAsCtB,SAAtC,EAA2E;EAC/E,OAAOwB,qDAAUG,8BAAmB3B,SAAnB,CAAV,EAAyCL,iBAAiB,CAACiC,KAA3D,GAA0EN,KAA1E,CAAP;AACD;AAED,OAAM,SAAUO,IAAV,CAAeP,KAAf,EAA8BtB,SAA9B,EAAyD;EAC7D,OAAO0B,MAAM,CAACJ,KAAD,EAAM,MAAEL,wBAAWjB,SAAX,EAAoBmB,qBAApB,CAAR,CAAb;AACD;AAED;;;;AAGA,OAAM,SAAUW,KAAV,CAAsBC,EAAtB,EAAqCF,IAArC,EAA+D;EACnE,OAAOZ,mDAA4Be,CAAD,IAChCC,WAAW,CAACC,8EAAE,CAACC,MAAH,GAA4B7C,QAA5B,GAA2C0C,CAA3C,CAAD,EAAiDI,CAAD,IAAOnB,8BAAWY,IAAI,CAACO,CAAD,CAAf,EAAkBjB,qBAAlB,CAAvD,CADN,EACiFA,qBADjF,CAAP;AAGD;AAED;;;;AAGA,OAAM,SAAUkB,OAAV,CACJN,EADI,EAEJF,IAFI,EAEiC;EAErC,OAAOZ,mDAA4Be,CAAD,IAAOC,WAAW,CAACC,8EAAE,CAACC,MAAH,GAA4B7C,QAA5B,GAA2C0C,CAA3C,CAAD,EAAgDH,IAAhD,CAA7C,EAAkGV,sBAAlG,CAAP;AACD;AAED;;;;AAGA,OAAM,SAAUmB,SAAV,CACJP,EADI,EAEJQ,WAFI,EAGJV,IAHI,EAGsB;EAE1B,OAAOW,YAAY,CAACN,uDAAE,CAACC,MAAH,GAA4B7C,QAA5B,CAAD,EAAwCiD,WAAxC,EAAsDH,CAAD,IAAOnB,8BAAWY,IAAI,CAACO,CAAD,CAAf,EAAkBjB,sBAAlB,CAA5D,CAAnB;AACD;AAED;;;;AAGA,OAAM,SAAUsB,WAAV,CACJV,EADI,EAEJQ,WAFI,EAGJV,IAHI,EAGiC;EAErC,OAAOW,YAAY,CAACN,uDAAE,CAACC,MAAH,GAA4B7C,QAA5B,CAAD,EAAwCiD,WAAxC,EAAqDV,IAArD,CAAnB;AACD;;AAED,SAASW,YAAT,CACEE,MADF,EAEEH,WAFF,EAGEV,IAHF,EAGuC;EAErC,OAAOZ,mDAA4B0B,OAAD,IAChCC,YAAY,CACVV,4FACUK,WADV,EACuB,CAAC,CAACM,OAAD,EAAUC,KAAV,CAAD,KACnB7B,4DAEK8B,KAAD,IAAU9B,uBACRA,yBAAI,CAAC8B,KAAD,CAAJ,EAAiB3C,MAAD,IACdF,6BACG8C,OAAD,IACE,IAAIzD,oBAAJ,CACEyD,OAAO,CAAClD,cADV,EAEEc,qBAAK,IAAIlB,iBAAJ,CAAsBmD,OAAO,CAACvC,KAA9B,EAAqCyC,KAArC,EAA4CD,KAA5C,CAAL,CAFF,CAFJ,CADF,EAOG3B,sBAPH,CADQ,CAFd,GAaYgB,MAAD,IACPc,8BAAM,CAAC3C,KAAP,EACE,MAAMW,2BAAQkB,MAAR,EAAchB,sBAAd,CADR,EAEE,MAAMF,8BAAWkB,MAAX,EAAiBhB,sBAAjB,CAFR,CAdJ,EAiBKA,sBAjBL,CAFJ,GAqBGe,2BArBH,CADU,EAwBVS,OAxBU,CADP,EA0BJxB,sBA1BI,CAAP;AA4BD;;AAED,SAASc,WAAT,CACES,MADF,EAEEb,IAFF,EAEuC;EAErC,OAAOZ,mDAA4B0B,OAAD,IAChCC,YAAY,CACVV,gEAA0B,CAAC,CAACW,OAAD,EAAUC,KAAV,CAAD,KACxBI,mCACGH,KAAD,IAAU9B,uBACRA,yBAAI,CAAC8B,KAAD,CAAJ,EAAiB3C,MAAD,IACdF,6BACG8C,OAAD,IACE,IAAIzD,oBAAJ,CACEyD,OAAO,CAAClD,cADV,EAEEc,qBAAK,IAAIlB,iBAAJ,CAAsBmD,OAAO,CAACvC,KAA9B,EAAqCyC,KAArC,EAA4CD,KAA5C,CAAL,CAFF,CAFJ,CADF,EAOG3B,sBAPH,CADQ,CADZ,CADF,CADU,EAeVwB,OAfU,CADP,EAiBJxB,sBAjBI,CAAP;AAmBD;;AAED,SAASyB,YAAT,CACEF,MADF,EAEES,UAFF,EAGEC,aAHF,EAGwB;EAEtB,OAAOnC,0IAEFkB,MAAD,IACE,CAACc,8BAAM,CAAC3C,KAAP,EACC,MAAM,IADP,EAEEF,MAAD,IAAWF,0BAACE,MAAD,CAFZ,CAHA,GAQC,CARD,GASK+B,MAAD,IACPD,8DACiB5B,KAAD,IACZ2C,+BACE,MAAM,IADR,EAEG7C,MAAD,IAAWF,0BAACE,MAAD,CAFb,CAFJ,GAOQ+C,UAAU,GAAG,CAPrB,CAVG,IAmBgBR,OAAD,IAClBU,gFACW/C,KAAD,IACN2C,+BACE,MAAM,IADR,EAEG7C,MAAD,IAAWF,0BAACE,MAAD,CAFb,CAFJ,IAQI,MACEa,2BACEf,wBACE,IAAIX,oBAAJ,CACE,IAAIE,cAAJ,CACEc,qBACE,IAAIf,cAAJ,CACEmB,qDADF,EAEE2C,SAFF,EAGE3C,2BAAU4C,0BAAmBzC,GAAnB,CAAuBwC,SAAvB,CAAV,CAHF,CADF,CADF,EAQE1C,yBARF,CADF,CADF,CADF,EAcGO,sBAdH,CATN,EAwBOF,6BAxBP,CApBG,EA8CAE,sBA9CA,CAAP;AAgDD","names":["identity","FailureDetailsResult","AssertionValue","FailureDetails","GenFailureDetails","TestAnnotationMap","traverseResultLoop","whole","failureDetails","tsplus_module_1","assertion","head","tsplus_module_2","fragment","result","r0","value","tsplus_module_3","gen","traverseResult","assertResult","tsplus_module_4","tsplus_module_5","assert_","run","assertIO_","io","tsplus_module_6","_","fileName_1","runIO","suite","label","specs","tsplus_module_8","tsplus_module_7","testIO","tsplus_module_9","empty","test","check","rv","n","checkStream","tsplus_module_10","sample","a","checkIO","checkAllC","concurrency","checkStreamC","checkAllIOC","stream","shrinks","shrinkStream","initial","index","input","details","tsplus_module_12","tsplus_module_13","maxShrinks","__tsPlusTrace","tsplus_module_16","undefined","tsplus_module_14"],"sourceRoot":"","sources":["../_src/api.ts"],"sourcesContent":[null]}

package/_mjs/control/Assertion/api.mjs

@@ -173,4 +173,6 @@ export function succeeds(assertion) {
 function test_1(self, actual) {
   return tsplus_module_3.isSuccess(self.run(actual));
 }
+
+export const completes = /*#__PURE__*/assertion_1("completes", [], () => true);
 //# sourceMappingURL=api.mjs.map

package/_mjs/control/Assertion/api.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"api.mjs","mappings":";;;;;;;;;;;;;;;aAyCgBA,SAAS;aAuBTC,eAAe;aAWfC,YAAY;aA6KZC,KAAK;AAtPrB,SAASC,QAAT,QAAyB,2BAAzB;AAEA,SAASC,aAAT,QAA8B,8BAA9B;AACA,SAASC,cAAT,QAA+B,+BAA/B;AAIA,SAASC,SAAT,QAA0B,kBAA1B;AAEA;;;;;AAIA,OAAM,SAAUC,IAAV,CAAkBC,IAAlB,EAAsCC,IAAtC,EAAwD;EAC5D,OAAO,IAAIH,SAAJ,CACLI,sBAAaC,sBAAYH,IAAZ,CAAb,EAAgC,IAAhC,EAAsCG,sBAAYF,IAAZ,CAAtC,CADK,EAEJG,MAAD,IAAWC,qBAACL,IAAI,CAACM,GAAL,CAASF,MAAT,CAAD,EAAqBH,IAAI,CAACK,GAAL,CAASF,MAAT,CAArB,CAFN,CAAP;AAID;AAED;;;;AAGA,OAAO,MAAMG,QAAQ,gBAAmBC,YAAe,UAAf,EAA2B,EAA3B,EAA+B,MAAM,IAArC,CAAjC;AAEP;;;;AAGA,OAAM,SAAUC,mBAAV,CAA8BC,SAA9B,EAAiDC,SAAjD,EAAkE;EACtE,OAAOH,YAAe,qBAAf,EAAsC,CAACL,sBAAYO,SAAZ,CAAD,EAAyBP,sBAAYQ,SAAZ,CAAzB,CAAtC,EAAyFP,MAAD,IAAW;IACxG,MAAMQ,GAAG,GAAGF,SAAS,GAAGC,SAAxB;IACA,MAAME,GAAG,GAAGH,SAAS,GAAGC,SAAxB;IACA,OAAOP,MAAM,IAAIS,GAAV,IAAiBT,MAAM,IAAIQ,GAAlC;EACD,CAJM,CAAP;AAKD;AAED;;;;AAGA,qBACEE,IADF,EAEEC,MAFF,EAGET,GAHF,EAG6B;EAE3B,MAAMf,SAAS,GAA4ByB,qBAAU,MAAK;IACxD,OAAOC,kBAAiBH,IAAjB,EAAuBC,MAAvB,EAAgCX,MAAD,IAAW;MAC/C,MAAMc,MAAM,GAAqDF,qBAAU,MAAK;QAC9E,IAAIV,GAAG,CAACF,MAAD,CAAP,EAAiB;UACf,OAAOC,wBAA2B,IAAIR,cAAJ,CAAmBN,SAAnB,EAA8Ba,MAA9B,EAAsCc,MAAtC,CAA3B,CAAP;QACD,CAFD,MAEO;UACL,OAAOb,wBAA2B,IAAIR,cAAJ,CAAmBN,SAAnB,EAA8Ba,MAA9B,EAAsCc,MAAtC,CAA3B,CAAP;QACD;MACF,CANgE,CAAjE;MAOA,OAAOA,MAAM,CAACC,KAAd;IACD,CATM,CAAP;EAUD,CAX0C,CAA3C;EAYA,OAAO5B,SAAS,CAAC4B,KAAjB;AACD;AAED;;;;;AAGA,2BACEL,IADF,EAEEC,MAFF,EAGET,GAHF,EAG2D;EAEzD,OAAO,IAAIR,SAAJ,CAAcI,mBAAUY,IAAV,EAAgBM,uBAAYA,qBAAUL,MAAV,CAAZ,CAAhB,CAAd,EAA+DT,GAA/D,CAAP;AACD;AAED;;;;;AAGA,wBACEQ,IADF,EAEEC,MAFF,EAGExB,SAHF,EAIE8B,GAJF,EAKEC,SAA6EC,CAAD,IAAMC,0BAACD,CAAD,CALpF,EAKgG;EAE9F,MAAME,eAAe,GAA4BT,qBAAU,MACzDC,kBAAiBH,IAAjB,EAAuBC,MAAvB,EAAgCW,CAAD,IAC7BC,0BAAG,CAACD,CAAD,CAAH,EACE,MAAMJ,MAAM,CAAC,IAAI1B,aAAJ,CAAkB8B,CAAlB,EAAqBD,eAAe,CAACN,KAArC,CAAD,CADd,EAEGS,CAAD,IAAM;IACJ,MAAMC,WAAW,GAAGtC,SAAS,CAACe,GAAV,CAAcsB,CAAd,CAApB;IACA,MAAMV,MAAM,GAAuDF,qBAAU,MAAK;MAChF,8BAAIa,WAAJ,GAA2B;QACzB,OAAOxB,wBAA2B,IAAIR,cAAJ,CAAmB4B,eAAnB,EAAoCC,CAApC,EAAuCR,MAAvC,CAA3B,CAAP;MACD,CAFD,MAEO;QACL,OAAOb,wBAA2B,IAAIR,cAAJ,CAAmBmB,2BAAUzB,SAAV,CAAnB,EAAyCqC,CAAzC,EAA4CZ,2BAAUa,WAAV,CAA5C,CAA3B,CAAP;MACD;IACF,CANkE,CAAnE;IAOA,OAAOX,MAAM,CAACC,KAAd;EACD,CAZH,CADF,CAD+C,CAAjD;EAkBA,OAAOM,eAAe,CAACN,KAAvB;AACD;;AAED,OAAM,SAAUW,QAAV,CAAsBC,OAAtB,EAAgC;EACpC,OAAOvB,YAAe,UAAf,EAA2B,CAACL,sBAAY4B,OAAZ,CAAD,CAA3B,EAAoDC,EAAD,IACxDC,kDAASP,CAAD,IAAOQ,2BAAqBR,CAArB,EAAwBK,OAAxB,CAAf,EADK,CAAP;AAGD;AAED,OAAM,SAAUI,aAAV,CAA2BC,KAA3B,EAA0C;EAC9C,OAAO5B,YAAe,eAAf,EAAgC,CAACL,sBAAYiC,KAAZ,CAAD,CAAhC,EAAuDC,CAAD,IAAOC,8BAAWF,KAAX,CAA7D,CAAP;AACD;AAED,OAAM,SAAUG,cAAV,CAAyBR,OAAzB,EAAwC;EAC5C,OAAOvB,YAAe,gBAAf,EAAiC,CAACL,sBAAY4B,OAAZ,CAAD,CAAjC,EAA0DS,GAAD,IAASA,GAAG,CAACC,QAAJ,CAAaV,OAAb,CAAlE,CAAP;AACD;AAED,OAAM,SAAUW,MAAV,CAAoBnD,SAApB,EAA2C;EAC/C,OAAOoD,eAAc,QAAd,EAAwB,CAACxC,sBAAYZ,SAAZ,CAAD,CAAxB,EAAkDA,SAAlD,EAA8DyC,EAAD,IAAQY,0BAASlB,CAAD,IAAOmB,kBAAenB,CAAf,CAAf,CAArE,CAAP;AACD;AAED,OAAM,SAAUoB,KAAV,CAAmBvD,SAAnB,EAA0C;EAC9C,OAAOoD,eAAc,OAAd,EAAuB,CAACxC,sBAAYZ,SAAZ,CAAD,CAAvB,EAAiDA,SAAjD,EAA6DwD,IAAD,IACjEC,8BACGZ,KAAD,IAAUa,gDAACb,KAAD,EADZ,EAEE,MAAMc,0BAFR,CADK,CAAP;AAMD;AAED,OAAM,SAAUC,MAAV,CAAoB5D,SAApB,EAA2C;EAC/C,OAAOoD,eACL,QADK,EAEL,CAACxC,sBAAYZ,SAAZ,CAAD,CAFK,EAGLA,SAHK,EAIJyC,EAAD,IAAQY,0BAASlB,CAAD,IAAO,CAACmB,kBAAenB,CAAf,CAAhB,CAJH,EAKJ0B,IAAD,IAAS5B,0BAAC4B,IAAD,CALJ,CAAP;AAOD;AAED,OAAM,SAAUC,KAAV,CAAgB9D,SAAhB,EAAyC;EAC7C,OAAOoD,eAAc,OAAd,EAAuB,CAACxC,sBAAYZ,SAAZ,CAAD,CAAvB,EAAiDA,SAAjD,EAA6DwD,IAAD,IACjEC,8BACGX,CAAD,IAAMC,2BAACD,CAAD,CADR,EAEE,MAAMa,0BAFR,CADK,CAAP;AAMD;AAED,OAAM,SAAUI,aAAV,CAA2BC,QAA3B,EAAsC;EAC1C,OAAO/C,YAAe,eAAf,EAAgC,CAACL,sBAAYoD,QAAZ,CAAD,CAAhC,EAA0DnD,MAAD,IAAY8B,6BAAuB9B,MAAvB,EAA+BmD,QAA/B,CAArE,CAAP;AACD;AAED,OAAM,SAAUC,WAAV,CAAyBD,QAAzB,EAAoC;EACxC,OAAO/C,YAAe,aAAf,EAA8B,CAACL,sBAAYoD,QAAZ,CAAD,CAA9B,EAAwDnD,MAAD,IAAY8B,2BAAqB9B,MAArB,EAA6BmD,QAA7B,CAAnE,CAAP;AACD;AAED,OAAM,SAAUE,MAAV,CAAoBF,QAApB,EAAiCG,CAAjC,EAAyC;EAC7C,OAAOlD,YAAe,QAAf,EAAyB,CAACL,sBAAYoD,QAAZ,CAAD,CAAzB,EAAmDnD,MAAD,IAAYsD,CAAC,CAACD,MAAF,CAASrD,MAAT,EAAiBmD,QAAjB,CAA9D,CAAP;AACD;AAED,OAAO,MAAMI,OAAO,gBAAuBnD,YAAe,QAAf,EAAyB,EAAzB,EAA8BoB,CAAD,IAAO,CAACA,CAArC,CAApC;AAEP,OAAO,MAAMgC,aAAa,gBAA8BpD,YAAe,eAAf,EAAgC,EAAhC,EAAqCuC,IAAD,IAC1FC,8BACGZ,KAAD,IAAUE,6BAACF,KAAD,CADZ,EAEE,MAAM,KAFR,CADsD,CAAjD;AAOP,OAAO,MAAMyB,iBAAiB,gBAA8BrD,YAAe,mBAAf,EAAoC,EAApC,EAAyCuC,IAAD,IAClGC,8BACGZ,KAAD,IAAWE,mCADb,EAEE,MAAM,KAFR,CAD0D,CAArD;AAOP,OAAM,SAAUwB,MAAV,CAAoBvE,SAApB,EAA2C;EAC/C,OAAOoD,eAAc,QAAd,EAAwB,CAACxC,sBAAYZ,SAAZ,CAAD,CAAxB,EAAkDA,SAAlD,EAA8Da,MAAD,IAClE2D,gCACGrC,CAAD,IAAOwB,sBAAKxB,CAAL,CADT,EAEE,MAAMwB,0BAFR,CADK,CAAP;AAMD;AAED,OAAM,SAAUc,MAAV,CAAoBzE,SAApB,EAA2C;EAC/C,OAAOoD,eAAc,QAAd,EAAwB,CAACxC,sBAAYZ,SAAZ,CAAD,CAAxB,EAAkDA,SAAlD,EAA6DI,QAA7D,CAAP;AACD;AAED,OAAO,MAAMsE,SAAS,gBAA0BzD,YAAe,WAAf,EAA4B,EAA5B,EAAiCJ,MAAD,IAAY6B,kCAA5C,CAAzC;AAEP,OAAM,SAAUiC,OAAV,CAAqB3E,SAArB,EAA4C;EAChD,OAAOoD,eAAc,SAAd,EAAyB,CAACxC,sBAAYZ,SAAZ,CAAD,CAAzB,EAAmDA,SAAnD,EAA+Da,MAAD,IACnE2D,gCACE,MAAMb,0BADR,EAEGxB,CAAD,IAAOwB,sBAAKxB,CAAL,CAFT,CADK,CAAP;AAMD;AAED,OAAO,MAAMyC,MAAM,gBAAuB3D,YAAe,QAAf,EAAyB,EAAzB,EAA6Bb,QAA7B,CAAnC;AAEP,OAAO,MAAMyE,OAAO,gBAA6B5D,YAAe,SAAf,EAA0B,EAA1B,EAA+BJ,MAAD,IAAYwC,iCAAgB,CAA1D,CAA1C;AAEP,OAAO,MAAMyB,MAAM,gBAAoB7D,YAAe,QAAf,EAAyB,EAAzB,EAA8BJ,MAAD,IAAYA,MAAM,KAAK,KAAK,CAAzD,CAAhC;AAEP,OAAM,SAAUkE,mBAAV,CAA8BC,CAA9B,EAAuC;EAC3C,OAAO/D,YAAe,qBAAf,EAAsC,CAACL,sBAAYoE,CAAZ,CAAD,CAAtC,EAAyDnE,MAAD,IAAYA,MAAM,IAAImE,CAA9E,CAAP;AACD;AAED;;;;AAGA,OAAM,SAAUC,MAAV,CAAoBxE,IAApB,EAAwCyE,KAAxC,EAAqD;EACzD,OAAO,IAAI3E,SAAJ,CAAcI,sBAAaC,sBAAYH,IAAZ,CAAb,EAAgC,GAAhC,EAAqCG,sBAAYsE,KAAZ,CAArC,CAAd,EAAwEzE,IAAI,CAACM,GAA7E,CAAP;AACD;AAED;;;;AAGA,OAAM,SAAUoE,GAAV,CAAiBnF,SAAjB,EAAwC;EAC5C,OAAO0B,kBAAiB,KAAjB,EAAwB,CAACd,sBAAYZ,SAAZ,CAAD,CAAxB,EAAmDa,MAAD,IAAWC,oBAACd,SAAS,CAACe,GAAV,CAAcF,MAAd,CAAD,CAA7D,CAAP;AACD;AAED;;;;;AAIA,OAAM,SAAUuE,GAAV,CAAiB3E,IAAjB,EAAqCC,IAArC,EAAuD;EAC3D,OAAO,IAAIH,SAAJ,CACLI,sBAAaC,sBAAYH,IAAZ,CAAb,EAAgC,IAAhC,EAAsCG,sBAAYF,IAAZ,CAAtC,CADK,EAEJG,MAAD,IAAWC,oBAACL,IAAI,CAACM,GAAL,CAASF,MAAT,CAAD,EAAqBH,IAAI,CAACK,GAAL,CAASF,MAAT,CAArB,CAFN,CAAP;AAID;AAED,OAAM,SAAUwE,QAAV,CAAsBrF,SAAtB,EAA6C;EACjD,OAAOoD,eAAc,UAAd,EAA0B,CAACxC,sBAAYZ,SAAZ,CAAD,CAA1B,EAAoDA,SAApD,EAAgEwD,IAAD,IACpEC,8BACE,MAAME,0BADR,EAEGxB,CAAD,IAAOwB,sBAAKxB,CAAL,CAFT,CADK,CAAP;AAMD;AAED;;;;AAGA,gBAAyB1B,IAAzB,EAA6CI,MAA7C,EAAsD;EACpD,iCAAOJ,IAAI,CAACM,GAAL,CAASF,MAAT,CAAP;AACD","names":["assertion","assertionDirect","assertionRec","test_","identity","AssertionData","AssertionValue","Assertion","and_","self","that","tsplus_module_2","tsplus_module_1","actual","tsplus_module_3","run","anything","assertion_1","approximatelyEquals","reference","tolerance","max","min","name","params","tsplus_module_4","assertionDirect_1","result","value","tsplus_module_5","get","orElse","_","tsplus_module_6","resultAssertion","a","tsplus_module_7","b","innerResult","contains","element","ia","tsplus_module_10","tsplus_module_8","containsCause","cause","c","tsplus_module_11","containsString","str","includes","exists","assertionRec_1","tsplus_module_9","test_1","fails","exit","tsplus_module_14","tsplus_module_12","tsplus_module_13","forall","data","halts","strictEqualTo","expected","deepEqualTo","equals","E","isFalse","isInterrupted","isOnlyInterrupted","isLeft","tsplus_module_15","isJust","isNothing","isRight","isTrue","isEmpty","isUnit","isLessThanOrEqualTo","n","label_","label","not","or_","succeeds"],"sourceRoot":"","sources":["../../../_src/control/Assertion/api.ts"],"sourcesContent":[null]}
+{"version":3,"file":"api.mjs","mappings":";;;;;;;;;;;;;;;aAyCgBA,SAAS;aAuBTC,eAAe;aAWfC,YAAY;aA6KZC,KAAK;AAtPrB,SAASC,QAAT,QAAyB,2BAAzB;AAEA,SAASC,aAAT,QAA8B,8BAA9B;AACA,SAASC,cAAT,QAA+B,+BAA/B;AAIA,SAASC,SAAT,QAA0B,kBAA1B;AAEA;;;;;AAIA,OAAM,SAAUC,IAAV,CAAkBC,IAAlB,EAAsCC,IAAtC,EAAwD;EAC5D,OAAO,IAAIH,SAAJ,CACLI,sBAAaC,sBAAYH,IAAZ,CAAb,EAAgC,IAAhC,EAAsCG,sBAAYF,IAAZ,CAAtC,CADK,EAEJG,MAAD,IAAWC,qBAACL,IAAI,CAACM,GAAL,CAASF,MAAT,CAAD,EAAqBH,IAAI,CAACK,GAAL,CAASF,MAAT,CAArB,CAFN,CAAP;AAID;AAED;;;;AAGA,OAAO,MAAMG,QAAQ,gBAAmBC,YAAe,UAAf,EAA2B,EAA3B,EAA+B,MAAM,IAArC,CAAjC;AAEP;;;;AAGA,OAAM,SAAUC,mBAAV,CAA8BC,SAA9B,EAAiDC,SAAjD,EAAkE;EACtE,OAAOH,YAAe,qBAAf,EAAsC,CAACL,sBAAYO,SAAZ,CAAD,EAAyBP,sBAAYQ,SAAZ,CAAzB,CAAtC,EAAyFP,MAAD,IAAW;IACxG,MAAMQ,GAAG,GAAGF,SAAS,GAAGC,SAAxB;IACA,MAAME,GAAG,GAAGH,SAAS,GAAGC,SAAxB;IACA,OAAOP,MAAM,IAAIS,GAAV,IAAiBT,MAAM,IAAIQ,GAAlC;EACD,CAJM,CAAP;AAKD;AAED;;;;AAGA,qBACEE,IADF,EAEEC,MAFF,EAGET,GAHF,EAG6B;EAE3B,MAAMf,SAAS,GAA4ByB,qBAAU,MAAK;IACxD,OAAOC,kBAAiBH,IAAjB,EAAuBC,MAAvB,EAAgCX,MAAD,IAAW;MAC/C,MAAMc,MAAM,GAAqDF,qBAAU,MAAK;QAC9E,IAAIV,GAAG,CAACF,MAAD,CAAP,EAAiB;UACf,OAAOC,wBAA2B,IAAIR,cAAJ,CAAmBN,SAAnB,EAA8Ba,MAA9B,EAAsCc,MAAtC,CAA3B,CAAP;QACD,CAFD,MAEO;UACL,OAAOb,wBAA2B,IAAIR,cAAJ,CAAmBN,SAAnB,EAA8Ba,MAA9B,EAAsCc,MAAtC,CAA3B,CAAP;QACD;MACF,CANgE,CAAjE;MAOA,OAAOA,MAAM,CAACC,KAAd;IACD,CATM,CAAP;EAUD,CAX0C,CAA3C;EAYA,OAAO5B,SAAS,CAAC4B,KAAjB;AACD;AAED;;;;;AAGA,2BACEL,IADF,EAEEC,MAFF,EAGET,GAHF,EAG2D;EAEzD,OAAO,IAAIR,SAAJ,CAAcI,mBAAUY,IAAV,EAAgBM,uBAAYA,qBAAUL,MAAV,CAAZ,CAAhB,CAAd,EAA+DT,GAA/D,CAAP;AACD;AAED;;;;;AAGA,wBACEQ,IADF,EAEEC,MAFF,EAGExB,SAHF,EAIE8B,GAJF,EAKEC,SAA6EC,CAAD,IAAMC,0BAACD,CAAD,CALpF,EAKgG;EAE9F,MAAME,eAAe,GAA4BT,qBAAU,MACzDC,kBAAiBH,IAAjB,EAAuBC,MAAvB,EAAgCW,CAAD,IAC7BC,0BAAG,CAACD,CAAD,CAAH,EACE,MAAMJ,MAAM,CAAC,IAAI1B,aAAJ,CAAkB8B,CAAlB,EAAqBD,eAAe,CAACN,KAArC,CAAD,CADd,EAEGS,CAAD,IAAM;IACJ,MAAMC,WAAW,GAAGtC,SAAS,CAACe,GAAV,CAAcsB,CAAd,CAApB;IACA,MAAMV,MAAM,GAAuDF,qBAAU,MAAK;MAChF,8BAAIa,WAAJ,GAA2B;QACzB,OAAOxB,wBAA2B,IAAIR,cAAJ,CAAmB4B,eAAnB,EAAoCC,CAApC,EAAuCR,MAAvC,CAA3B,CAAP;MACD,CAFD,MAEO;QACL,OAAOb,wBAA2B,IAAIR,cAAJ,CAAmBmB,2BAAUzB,SAAV,CAAnB,EAAyCqC,CAAzC,EAA4CZ,2BAAUa,WAAV,CAA5C,CAA3B,CAAP;MACD;IACF,CANkE,CAAnE;IAOA,OAAOX,MAAM,CAACC,KAAd;EACD,CAZH,CADF,CAD+C,CAAjD;EAkBA,OAAOM,eAAe,CAACN,KAAvB;AACD;;AAED,OAAM,SAAUW,QAAV,CAAsBC,OAAtB,EAAgC;EACpC,OAAOvB,YAAe,UAAf,EAA2B,CAACL,sBAAY4B,OAAZ,CAAD,CAA3B,EAAoDC,EAAD,IACxDC,kDAASP,CAAD,IAAOQ,2BAAqBR,CAArB,EAAwBK,OAAxB,CAAf,EADK,CAAP;AAGD;AAED,OAAM,SAAUI,aAAV,CAA2BC,KAA3B,EAA0C;EAC9C,OAAO5B,YAAe,eAAf,EAAgC,CAACL,sBAAYiC,KAAZ,CAAD,CAAhC,EAAuDC,CAAD,IAAOC,8BAAWF,KAAX,CAA7D,CAAP;AACD;AAED,OAAM,SAAUG,cAAV,CAAyBR,OAAzB,EAAwC;EAC5C,OAAOvB,YAAe,gBAAf,EAAiC,CAACL,sBAAY4B,OAAZ,CAAD,CAAjC,EAA0DS,GAAD,IAASA,GAAG,CAACC,QAAJ,CAAaV,OAAb,CAAlE,CAAP;AACD;AAED,OAAM,SAAUW,MAAV,CAAoBnD,SAApB,EAA2C;EAC/C,OAAOoD,eAAc,QAAd,EAAwB,CAACxC,sBAAYZ,SAAZ,CAAD,CAAxB,EAAkDA,SAAlD,EAA8DyC,EAAD,IAAQY,0BAASlB,CAAD,IAAOmB,kBAAenB,CAAf,CAAf,CAArE,CAAP;AACD;AAED,OAAM,SAAUoB,KAAV,CAAmBvD,SAAnB,EAA0C;EAC9C,OAAOoD,eAAc,OAAd,EAAuB,CAACxC,sBAAYZ,SAAZ,CAAD,CAAvB,EAAiDA,SAAjD,EAA6DwD,IAAD,IACjEC,8BACGZ,KAAD,IAAUa,gDAACb,KAAD,EADZ,EAEE,MAAMc,0BAFR,CADK,CAAP;AAMD;AAED,OAAM,SAAUC,MAAV,CAAoB5D,SAApB,EAA2C;EAC/C,OAAOoD,eACL,QADK,EAEL,CAACxC,sBAAYZ,SAAZ,CAAD,CAFK,EAGLA,SAHK,EAIJyC,EAAD,IAAQY,0BAASlB,CAAD,IAAO,CAACmB,kBAAenB,CAAf,CAAhB,CAJH,EAKJ0B,IAAD,IAAS5B,0BAAC4B,IAAD,CALJ,CAAP;AAOD;AAED,OAAM,SAAUC,KAAV,CAAgB9D,SAAhB,EAAyC;EAC7C,OAAOoD,eAAc,OAAd,EAAuB,CAACxC,sBAAYZ,SAAZ,CAAD,CAAvB,EAAiDA,SAAjD,EAA6DwD,IAAD,IACjEC,8BACGX,CAAD,IAAMC,2BAACD,CAAD,CADR,EAEE,MAAMa,0BAFR,CADK,CAAP;AAMD;AAED,OAAM,SAAUI,aAAV,CAA2BC,QAA3B,EAAsC;EAC1C,OAAO/C,YAAe,eAAf,EAAgC,CAACL,sBAAYoD,QAAZ,CAAD,CAAhC,EAA0DnD,MAAD,IAAY8B,6BAAuB9B,MAAvB,EAA+BmD,QAA/B,CAArE,CAAP;AACD;AAED,OAAM,SAAUC,WAAV,CAAyBD,QAAzB,EAAoC;EACxC,OAAO/C,YAAe,aAAf,EAA8B,CAACL,sBAAYoD,QAAZ,CAAD,CAA9B,EAAwDnD,MAAD,IAAY8B,2BAAqB9B,MAArB,EAA6BmD,QAA7B,CAAnE,CAAP;AACD;AAED,OAAM,SAAUE,MAAV,CAAoBF,QAApB,EAAiCG,CAAjC,EAAyC;EAC7C,OAAOlD,YAAe,QAAf,EAAyB,CAACL,sBAAYoD,QAAZ,CAAD,CAAzB,EAAmDnD,MAAD,IAAYsD,CAAC,CAACD,MAAF,CAASrD,MAAT,EAAiBmD,QAAjB,CAA9D,CAAP;AACD;AAED,OAAO,MAAMI,OAAO,gBAAuBnD,YAAe,QAAf,EAAyB,EAAzB,EAA8BoB,CAAD,IAAO,CAACA,CAArC,CAApC;AAEP,OAAO,MAAMgC,aAAa,gBAA8BpD,YAAe,eAAf,EAAgC,EAAhC,EAAqCuC,IAAD,IAC1FC,8BACGZ,KAAD,IAAUE,6BAACF,KAAD,CADZ,EAEE,MAAM,KAFR,CADsD,CAAjD;AAOP,OAAO,MAAMyB,iBAAiB,gBAA8BrD,YAAe,mBAAf,EAAoC,EAApC,EAAyCuC,IAAD,IAClGC,8BACGZ,KAAD,IAAWE,mCADb,EAEE,MAAM,KAFR,CAD0D,CAArD;AAOP,OAAM,SAAUwB,MAAV,CAAoBvE,SAApB,EAA2C;EAC/C,OAAOoD,eAAc,QAAd,EAAwB,CAACxC,sBAAYZ,SAAZ,CAAD,CAAxB,EAAkDA,SAAlD,EAA8Da,MAAD,IAClE2D,gCACGrC,CAAD,IAAOwB,sBAAKxB,CAAL,CADT,EAEE,MAAMwB,0BAFR,CADK,CAAP;AAMD;AAED,OAAM,SAAUc,MAAV,CAAoBzE,SAApB,EAA2C;EAC/C,OAAOoD,eAAc,QAAd,EAAwB,CAACxC,sBAAYZ,SAAZ,CAAD,CAAxB,EAAkDA,SAAlD,EAA6DI,QAA7D,CAAP;AACD;AAED,OAAO,MAAMsE,SAAS,gBAA0BzD,YAAe,WAAf,EAA4B,EAA5B,EAAiCJ,MAAD,IAAY6B,kCAA5C,CAAzC;AAEP,OAAM,SAAUiC,OAAV,CAAqB3E,SAArB,EAA4C;EAChD,OAAOoD,eAAc,SAAd,EAAyB,CAACxC,sBAAYZ,SAAZ,CAAD,CAAzB,EAAmDA,SAAnD,EAA+Da,MAAD,IACnE2D,gCACE,MAAMb,0BADR,EAEGxB,CAAD,IAAOwB,sBAAKxB,CAAL,CAFT,CADK,CAAP;AAMD;AAED,OAAO,MAAMyC,MAAM,gBAAuB3D,YAAe,QAAf,EAAyB,EAAzB,EAA6Bb,QAA7B,CAAnC;AAEP,OAAO,MAAMyE,OAAO,gBAA6B5D,YAAe,SAAf,EAA0B,EAA1B,EAA+BJ,MAAD,IAAYwC,iCAAgB,CAA1D,CAA1C;AAEP,OAAO,MAAMyB,MAAM,gBAAoB7D,YAAe,QAAf,EAAyB,EAAzB,EAA8BJ,MAAD,IAAYA,MAAM,KAAK,KAAK,CAAzD,CAAhC;AAEP,OAAM,SAAUkE,mBAAV,CAA8BC,CAA9B,EAAuC;EAC3C,OAAO/D,YAAe,qBAAf,EAAsC,CAACL,sBAAYoE,CAAZ,CAAD,CAAtC,EAAyDnE,MAAD,IAAYA,MAAM,IAAImE,CAA9E,CAAP;AACD;AAED;;;;AAGA,OAAM,SAAUC,MAAV,CAAoBxE,IAApB,EAAwCyE,KAAxC,EAAqD;EACzD,OAAO,IAAI3E,SAAJ,CAAcI,sBAAaC,sBAAYH,IAAZ,CAAb,EAAgC,GAAhC,EAAqCG,sBAAYsE,KAAZ,CAArC,CAAd,EAAwEzE,IAAI,CAACM,GAA7E,CAAP;AACD;AAED;;;;AAGA,OAAM,SAAUoE,GAAV,CAAiBnF,SAAjB,EAAwC;EAC5C,OAAO0B,kBAAiB,KAAjB,EAAwB,CAACd,sBAAYZ,SAAZ,CAAD,CAAxB,EAAmDa,MAAD,IAAWC,oBAACd,SAAS,CAACe,GAAV,CAAcF,MAAd,CAAD,CAA7D,CAAP;AACD;AAED;;;;;AAIA,OAAM,SAAUuE,GAAV,CAAiB3E,IAAjB,EAAqCC,IAArC,EAAuD;EAC3D,OAAO,IAAIH,SAAJ,CACLI,sBAAaC,sBAAYH,IAAZ,CAAb,EAAgC,IAAhC,EAAsCG,sBAAYF,IAAZ,CAAtC,CADK,EAEJG,MAAD,IAAWC,oBAACL,IAAI,CAACM,GAAL,CAASF,MAAT,CAAD,EAAqBH,IAAI,CAACK,GAAL,CAASF,MAAT,CAArB,CAFN,CAAP;AAID;AAED,OAAM,SAAUwE,QAAV,CAAsBrF,SAAtB,EAA6C;EACjD,OAAOoD,eAAc,UAAd,EAA0B,CAACxC,sBAAYZ,SAAZ,CAAD,CAA1B,EAAoDA,SAApD,EAAgEwD,IAAD,IACpEC,8BACE,MAAME,0BADR,EAEGxB,CAAD,IAAOwB,sBAAKxB,CAAL,CAFT,CADK,CAAP;AAMD;AAED;;;;AAGA,gBAAyB1B,IAAzB,EAA6CI,MAA7C,EAAsD;EACpD,iCAAOJ,IAAI,CAACM,GAAL,CAASF,MAAT,CAAP;AACD;;AAED,OAAO,MAAMyE,SAAS,gBAAGrE,YAAe,WAAf,EAA4B,EAA5B,EAAgC,MAAM,IAAtC,CAAlB","names":["assertion","assertionDirect","assertionRec","test_","identity","AssertionData","AssertionValue","Assertion","and_","self","that","tsplus_module_2","tsplus_module_1","actual","tsplus_module_3","run","anything","assertion_1","approximatelyEquals","reference","tolerance","max","min","name","params","tsplus_module_4","assertionDirect_1","result","value","tsplus_module_5","get","orElse","_","tsplus_module_6","resultAssertion","a","tsplus_module_7","b","innerResult","contains","element","ia","tsplus_module_10","tsplus_module_8","containsCause","cause","c","tsplus_module_11","containsString","str","includes","exists","assertionRec_1","tsplus_module_9","test_1","fails","exit","tsplus_module_14","tsplus_module_12","tsplus_module_13","forall","data","halts","strictEqualTo","expected","deepEqualTo","equals","E","isFalse","isInterrupted","isOnlyInterrupted","isLeft","tsplus_module_15","isJust","isNothing","isRight","isTrue","isEmpty","isUnit","isLessThanOrEqualTo","n","label_","label","not","or_","succeeds","completes"],"sourceRoot":"","sources":["../../../_src/control/Assertion/api.ts"],"sourcesContent":[null]}

package/_mjs/data/FreeBooleanAlgebra/api.mjs

@@ -6,6 +6,7 @@ import * as tsplus_module_5 from "@fncts/base/control/Eval/constructors";
 import * as tsplus_module_6 from "@fncts/base/control/Eval/api";
 import * as tsplus_module_7 from "@fncts/base/control/Eval/run";
 export const and_ = and_1;
+export const flatMap_ = flatMap_1;
 export const foldEval_ = foldEval_1;
 export const fold_ = fold_1;
 export const implies_ = implies_1;
@@ -27,7 +28,7 @@ function and_1(left, right) {
  */
 
 
-export function flatMap_(self, f) {
+function flatMap_1(self, f) {
   return fold_1(self, {
     Value: f,
     And: (l, r) => and_1(l, r),
@@ -35,6 +36,14 @@ export function flatMap_(self, f) {
     Not: v => not_1(v)
   });
 }
+/**
+ * @tsplus fluent fncts.test.FreeBooleanAlgebra map
+ */
+
+
+export function map_(self, f) {
+  return flatMap_1(self, a => success_1(f(a)));
+}
 /**
  * @tsplus static fncts.test.FreeBooleanAlgebraOps failure
  */

package/_mjs/data/FreeBooleanAlgebra/api.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"api.mjs","mappings":";;;;;;;aAMgBA,IAAI;aA4DJC,SAAS;aA0BTC,KAAK;aAsBLC,QAAQ;aAcRC,SAAS;aAYTC,GAAG;aAQHC,GAAG;aAOHC,OAAO;AA3JvB,SAASC,GAAT,EAAyDC,GAAzD,EAA8DC,EAA9D,EAAkEC,KAAlE,QAA+E,kBAA/E;AAEA;;;;;AAIA,eAAwBC,IAAxB,EAAqDC,KAArD,EAAiF;EAC/E,OAAO,IAAIL,GAAJ,CAAQI,IAAR,EAAcC,KAAd,CAAP;AACD;AAED;;;;;AAGA,OAAM,SAAUC,QAAV,CAAyBC,IAAzB,EAAsDC,CAAtD,EAAwF;EAC5F,OAAOC,aAAU;IACfN,KAAK,EAAEK,CADQ;IAEfR,GAAG,EAAE,CAACU,CAAD,EAAIC,CAAJ,KAASC,MAACF,CAAD,EAAMC,CAAN,CAFC;IAGfT,EAAE,EAAE,CAACQ,CAAD,EAAIC,CAAJ,KAASE,KAACH,CAAD,EAAMC,CAAN,CAHE;IAIfV,GAAG,EAAGa,CAAD,IAAMC,MAACD,CAAD;EAJI,CAAV,CAAP;AAMD;AAED;;;;AAGA,OAAM,SAAUE,OAAV,CAAqBC,CAArB,EAAyB;EAC7B,aAAOC,UAA2BD,CAA3B,CAAP;AACD;AAED;;;;AAGA,OAAM,SAAUE,QAAV,CAAsBZ,IAAtB,EAAiD;EACrD,OAAOa,oCAC0D;IAC7DjB,KAAK,EAAGc,CAAD,IAAOI,sBAAaH,UAA2BD,CAA3B,CAAb,CAD+C;IAE7DjB,GAAG,EAAE,CAACU,CAAD,EAAIC,CAAJ,KAAS;MACZ;MACA;MACA,OAAOW,6BACHA,6BACED,4BAAaX,CAAC,CAACL,KAAf,EAAwBM,CAAC,CAACN,KAA1B,EADF,GAEEM,CAHC,GAIHW,6BACAZ,CADA,GAEAW,2BAAYX,CAAC,CAACN,IAAd,EAAsBO,CAAC,CAACP,IAAxB,EANJ;IAOD,CAZ4D;IAa7DF,EAAE,EAAE,CAACQ,CAAD,EAAIC,CAAJ,KAAS;MACX;MACA;MACA,OAAOW,6BACHA,6BACED,2BAAaX,CAAC,CAACL,KAAf,EAAwBM,CAAC,CAACN,KAA1B,EADF,GAEEK,CAHC,GAIHY,6BACAX,CADA,GAEAU,0BAAYX,CAAC,CAACN,IAAd,EAAsBO,CAAC,CAACP,IAAxB,EANJ;IAOD,CAvB4D;IAwB7DH,GAAG,EAAGa,CAAD,IAAMQ,qBAACR,CAAD;EAxBkD,CAD1D,GA0BHS,oBA1BG,EA2Bc,MAAMA,yBA3BpB,CAAP;AA4BD;AAED;;;;AAGA,oBACEhB,IADF,EAEEiB,KAFF,EAOG;EAED,OAAOC,sBAAW,MAAK;IACrB,QAAQlB,IAAI,CAACmB,IAAb;MACE;MAAA;MAAA;QACE,OAAOD,oBAASD,KAAK,CAACrB,KAAN,CAAYI,IAAI,CAACoB,KAAjB,CAAT,CAAP;;MACF;MAAA;MAAA;QACE,OAAOC,wCAAI,CAACxB,IAAL,EAAmBoB,KAAnB,GAAkCK,eAAI,CAACxB,KAAL,EAAoBmB,KAApB,CAAlC,EAA8DA,KAAK,CAACxB,GAApE,CAAP;;MACF;MAAA;MAAA;QACE,OAAO4B,wCAAI,CAACxB,IAAL,EAAmBoB,KAAnB,GAAkCK,eAAI,CAACxB,KAAL,EAAoBmB,KAApB,CAAlC,EAA8DA,KAAK,CAACtB,EAApE,CAAP;;MACF;MAAA;MAAA;QACE,OAAO0B,oCAAI,CAACE,MAAL,EAAqBN,KAArB,GAAgCA,KAAK,CAACvB,GAAtC,CAAP;IARJ;EAUD,CAXM,CAAP;AAYD;AAED;;;;;AAGA,gBACEM,IADF,EAEEiB,KAFF,EAOG;EAED,2BAAOK,iBAAcL,KAAd,CAAP;AACD;AAED;;;;;AAGA,OAAM,SAAUO,IAAV,CAAkB3B,IAAlB,EAA+CC,KAA/C,EAA2E;EAC/E,aAAO2B,gBAAa3B,KAAb,CAAP,EAA8B2B,iBAAc5B,IAAd,CAA9B;AACD;AAED;;;;AAGA,mBAA4BA,IAA5B,EAAyDC,KAAzD,EAAqF;EACnF,kBAAOD,IAAP,GAAsBC,KAAtB;AACD;AAED;;;;;AAGA,OAAM,SAAU4B,SAAV,CAAuB1B,IAAvB,EAAkD;EACtD,OAAO,aAACA,IAAD,CAAP;AACD;AAED;;;;AAGA,qBAA6BA,IAA7B,EAAwD;EACtD,OAAOE,aAAU;IACfN,KAAK,EAAE,MAAe,IADP;IAEfH,GAAG,EAAE,CAACU,CAAD,EAAIC,CAAJ,KAAUD,CAAC,IAAIC,CAFL;IAGfT,EAAE,EAAE,CAACQ,CAAD,EAAIC,CAAJ,KAAUD,CAAC,IAAIC,CAHJ;IAIfV,GAAG,EAAGa,CAAD,IAAO,CAACA;EAJE,CAAV,CAAP;AAMD;AAED;;;;;AAGA,eAAuBP,IAAvB,EAAkD;EAChD,OAAO,IAAIN,GAAJ,CAAQM,IAAR,CAAP;AACD;AAED;;;;;;AAIA,cAAuBH,IAAvB,EAAoDC,KAApD,EAAgF;EAC9E,OAAO,IAAIH,EAAJ,CAAOE,IAAP,EAAaC,KAAb,CAAP;AACD;AAED;;;;;AAGA,mBAA2BY,CAA3B,EAA+B;EAC7B,OAAO,IAAId,KAAJ,CAAUc,CAAV,CAAP;AACD","names":["and_","foldEval_","fold_","implies_","isSuccess","not","or_","success","And","Not","Or","Value","left","right","flatMap_","self","f","fold_1","l","r","and_1","or_1","v","not_1","failure","a","success_1","failures","tsplus_module_4","tsplus_module_2","tsplus_module_3","tsplus_module_1","cases","tsplus_module_5","_tag","value","tsplus_module_6","foldEval_1","result","iff_","implies_1","isFailure"],"sourceRoot":"","sources":["../../../_src/data/FreeBooleanAlgebra/api.ts"],"sourcesContent":[null]}
+{"version":3,"file":"api.mjs","mappings":";;;;;;;aAMgBA,IAAI;aAOJC,QAAQ;aA4DRC,SAAS;aA0BTC,KAAK;aAsBLC,QAAQ;aAcRC,SAAS;aAYTC,GAAG;aAQHC,GAAG;aAOHC,OAAO;AAlKvB,SAASC,GAAT,EAAyDC,GAAzD,EAA8DC,EAA9D,EAAkEC,KAAlE,QAA+E,kBAA/E;AAEA;;;;;AAIA,eAAwBC,IAAxB,EAAqDC,KAArD,EAAiF;EAC/E,OAAO,IAAIL,GAAJ,CAAQI,IAAR,EAAcC,KAAd,CAAP;AACD;AAED;;;;;AAGA,mBAA+BC,IAA/B,EAA4DC,CAA5D,EAA8F;EAC5F,OAAOC,aAAU;IACfL,KAAK,EAAEI,CADQ;IAEfP,GAAG,EAAE,CAACS,CAAD,EAAIC,CAAJ,KAASC,MAACF,CAAD,EAAMC,CAAN,CAFC;IAGfR,EAAE,EAAE,CAACO,CAAD,EAAIC,CAAJ,KAASE,KAACH,CAAD,EAAMC,CAAN,CAHE;IAIfT,GAAG,EAAGY,CAAD,IAAMC,MAACD,CAAD;EAJI,CAAV,CAAP;AAMD;AAED;;;;;AAGA,OAAM,SAAUE,IAAV,CAAqBT,IAArB,EAAkDC,CAAlD,EAAgE;EACpE,OAAOS,gBAAcC,CAAD,IAAOC,UAA2BX,CAAC,CAACU,CAAD,CAA5B,CAApB,CAAP;AACD;AAED;;;;AAGA,OAAM,SAAUE,OAAV,CAAqBF,CAArB,EAAyB;EAC7B,aAAOC,UAA2BD,CAA3B,CAAP;AACD;AAED;;;;AAGA,OAAM,SAAUG,QAAV,CAAsBd,IAAtB,EAAiD;EACrD,OAAOe,oCAC0D;IAC7DlB,KAAK,EAAGc,CAAD,IAAOK,sBAAaJ,UAA2BD,CAA3B,CAAb,CAD+C;IAE7DjB,GAAG,EAAE,CAACS,CAAD,EAAIC,CAAJ,KAAS;MACZ;MACA;MACA,OAAOa,6BACHA,6BACED,4BAAab,CAAC,CAACJ,KAAf,EAAwBK,CAAC,CAACL,KAA1B,EADF,GAEEK,CAHC,GAIHa,6BACAd,CADA,GAEAa,2BAAYb,CAAC,CAACL,IAAd,EAAsBM,CAAC,CAACN,IAAxB,EANJ;IAOD,CAZ4D;IAa7DF,EAAE,EAAE,CAACO,CAAD,EAAIC,CAAJ,KAAS;MACX;MACA;MACA,OAAOa,6BACHA,6BACED,2BAAab,CAAC,CAACJ,KAAf,EAAwBK,CAAC,CAACL,KAA1B,EADF,GAEEI,CAHC,GAIHc,6BACAb,CADA,GAEAY,0BAAYb,CAAC,CAACL,IAAd,EAAsBM,CAAC,CAACN,IAAxB,EANJ;IAOD,CAvB4D;IAwB7DH,GAAG,EAAGY,CAAD,IAAMU,qBAACV,CAAD;EAxBkD,CAD1D,GA0BHW,oBA1BG,EA2Bc,MAAMA,yBA3BpB,CAAP;AA4BD;AAED;;;;AAGA,oBACElB,IADF,EAEEmB,KAFF,EAOG;EAED,OAAOC,sBAAW,MAAK;IACrB,QAAQpB,IAAI,CAACqB,IAAb;MACE;MAAA;MAAA;QACE,OAAOD,oBAASD,KAAK,CAACtB,KAAN,CAAYG,IAAI,CAACsB,KAAjB,CAAT,CAAP;;MACF;MAAA;MAAA;QACE,OAAOC,wCAAI,CAACzB,IAAL,EAAmBqB,KAAnB,GAAkCK,eAAI,CAACzB,KAAL,EAAoBoB,KAApB,CAAlC,EAA8DA,KAAK,CAACzB,GAApE,CAAP;;MACF;MAAA;MAAA;QACE,OAAO6B,wCAAI,CAACzB,IAAL,EAAmBqB,KAAnB,GAAkCK,eAAI,CAACzB,KAAL,EAAoBoB,KAApB,CAAlC,EAA8DA,KAAK,CAACvB,EAApE,CAAP;;MACF;MAAA;MAAA;QACE,OAAO2B,oCAAI,CAACE,MAAL,EAAqBN,KAArB,GAAgCA,KAAK,CAACxB,GAAtC,CAAP;IARJ;EAUD,CAXM,CAAP;AAYD;AAED;;;;;AAGA,gBACEK,IADF,EAEEmB,KAFF,EAOG;EAED,2BAAOK,iBAAcL,KAAd,CAAP;AACD;AAED;;;;;AAGA,OAAM,SAAUO,IAAV,CAAkB5B,IAAlB,EAA+CC,KAA/C,EAA2E;EAC/E,aAAO4B,gBAAa5B,KAAb,CAAP,EAA8B4B,iBAAc7B,IAAd,CAA9B;AACD;AAED;;;;AAGA,mBAA4BA,IAA5B,EAAyDC,KAAzD,EAAqF;EACnF,kBAAOD,IAAP,GAAsBC,KAAtB;AACD;AAED;;;;;AAGA,OAAM,SAAU6B,SAAV,CAAuB5B,IAAvB,EAAkD;EACtD,OAAO,aAACA,IAAD,CAAP;AACD;AAED;;;;AAGA,qBAA6BA,IAA7B,EAAwD;EACtD,OAAOE,aAAU;IACfL,KAAK,EAAE,MAAe,IADP;IAEfH,GAAG,EAAE,CAACS,CAAD,EAAIC,CAAJ,KAAUD,CAAC,IAAIC,CAFL;IAGfR,EAAE,EAAE,CAACO,CAAD,EAAIC,CAAJ,KAAUD,CAAC,IAAIC,CAHJ;IAIfT,GAAG,EAAGY,CAAD,IAAO,CAACA;EAJE,CAAV,CAAP;AAMD;AAED;;;;;AAGA,eAAuBP,IAAvB,EAAkD;EAChD,OAAO,IAAIL,GAAJ,CAAQK,IAAR,CAAP;AACD;AAED;;;;;;AAIA,cAAuBF,IAAvB,EAAoDC,KAApD,EAAgF;EAC9E,OAAO,IAAIH,EAAJ,CAAOE,IAAP,EAAaC,KAAb,CAAP;AACD;AAED;;;;;AAGA,mBAA2BY,CAA3B,EAA+B;EAC7B,OAAO,IAAId,KAAJ,CAAUc,CAAV,CAAP;AACD","names":["and_","flatMap_","foldEval_","fold_","implies_","isSuccess","not","or_","success","And","Not","Or","Value","left","right","self","f","fold_1","l","r","and_1","or_1","v","not_1","map_","flatMap_1","a","success_1","failure","failures","tsplus_module_4","tsplus_module_2","tsplus_module_3","tsplus_module_1","cases","tsplus_module_5","_tag","value","tsplus_module_6","foldEval_1","result","iff_","implies_1","isFailure"],"sourceRoot":"","sources":["../../../_src/data/FreeBooleanAlgebra/api.ts"],"sourcesContent":[null]}

package/_src/api.ts

@@ -1,15 +1,22 @@
-import type { Assertion, AssertResult } from "./control/Assertion.js";
+import type { AssertResult } from "./control/Assertion.js";
 import type { AssertionIO } from "./control/AssertionIO.js";
+import type { Gen } from "./control/Gen.js";
+import type { Sample } from "./control/Sample.js";
 import type { TestResult } from "./data/FailureDetails.js";
 import type { _E, _R } from "@fncts/base/types";
 
+import { identity } from "@fncts/base/data/function";
+
+import { Assertion, completes } from "./control/Assertion.js";
 import { Spec } from "./control/Spec.js";
 import { Test } from "./control/Test.js";
 import { FailureDetailsResult } from "./data/AssertionResult.js";
 import { AssertionValue } from "./data/AssertionValue.js";
 import { FailureDetails } from "./data/FailureDetails.js";
 import { FreeBooleanAlgebra } from "./data/FreeBooleanAlgebra.js";
+import { GenFailureDetails } from "./data/GenFailureDetails.js";
 import { TestAnnotationMap } from "./data/TestAnnotationMap.js";
+import { TestConfig } from "./data/TestConfig.js";
 
 function traverseResultLoop<A>(whole: AssertionValue<A>, failureDetails: FailureDetails): TestResult {
   if (whole.isSameAssertionAs(failureDetails.assertion.head)) {
@@ -74,3 +81,159 @@ export function testIO<R, E>(label: string, assertion: Lazy<IO<R, E, TestResult>
 export function test(label: string, assertion: Lazy<TestResult>): Spec<unknown, never> {
   return testIO(label, IO.succeed(assertion));
 }
+
+/**
+ * @tsplus fluent fncts.test.Gen check
+ */
+export function check<R, A>(rv: Gen<R, A>, test: (a: A) => TestResult): IO<R & Has<TestConfig>, never, TestResult> {
+  return TestConfig.samples.flatMap((n) =>
+    checkStream(rv.sample.forever.filterMap(identity).take(n), (a) => IO.succeed(test(a))),
+  );
+}
+
+/**
+ * @tsplus fluent fncts.test.Gen check
+ */
+export function checkIO<R, A, R1, E>(
+  rv: Gen<R, A>,
+  test: (a: A) => IO<R1, E, TestResult>,
+): IO<R & R1 & Has<TestConfig>, E, TestResult> {
+  return TestConfig.samples.flatMap((n) => checkStream(rv.sample.forever.filterMap(identity).take(n), test));
+}
+
+/**
+ * @tsplus fluent fncts.test.Gen checkAllC
+ */
+export function checkAllC<R, A>(
+  rv: Gen<R, A>,
+  concurrency: number,
+  test: (a: A) => TestResult,
+): IO<R & Has<TestConfig>, never, TestResult> {
+  return checkStreamC(rv.sample.forever.filterMap(identity), concurrency, (a) => IO.succeed(test(a)));
+}
+
+/**
+ * @tsplus fluent fncts.test.Gen checkAllC
+ */
+export function checkAllIOC<R, A, R1, E>(
+  rv: Gen<R, A>,
+  concurrency: number,
+  test: (a: A) => IO<R1, E, TestResult>,
+): IO<R & R1 & Has<TestConfig>, E, TestResult> {
+  return checkStreamC(rv.sample.forever.filterMap(identity), concurrency, test);
+}
+
+function checkStreamC<R, E, A, R1>(
+  stream: Stream<R, never, Sample<R, A>>,
+  concurrency: number,
+  test: (a: A) => IO<R1, E, TestResult>,
+): IO<R & R1 & Has<TestConfig>, E, TestResult> {
+  return TestConfig.shrinks.flatMap((shrinks) =>
+    shrinkStream(
+      stream.zipWithIndex
+        .mapIOC(concurrency, ([initial, index]) =>
+          initial
+            .foreach(
+              (input) =>
+                test(input).map((result) =>
+                  result.map(
+                    (details) =>
+                      new FailureDetailsResult(
+                        details.failureDetails,
+                        Just(new GenFailureDetails(initial.value, input, index)),
+                      ),
+                  ),
+                ).either,
+            )
+            .flatMap((sample) =>
+              sample.value.match(
+                () => IO.fail(sample),
+                () => IO.succeed(sample),
+              ),
+            ),
+        )
+        .catchAll(Stream.succeedNow),
+      shrinks,
+    ),
+  );
+}
+
+function checkStream<R, E, A, R1>(
+  stream: Stream<R, never, Sample<R, A>>,
+  test: (a: A) => IO<R1, E, TestResult>,
+): IO<R & R1 & Has<TestConfig>, E, TestResult> {
+  return TestConfig.shrinks.flatMap((shrinks) =>
+    shrinkStream(
+      stream.zipWithIndex.mapIO(([initial, index]) =>
+        initial.foreach(
+          (input) =>
+            test(input).map((result) =>
+              result.map(
+                (details) =>
+                  new FailureDetailsResult(
+                    details.failureDetails,
+                    Just(new GenFailureDetails(initial.value, input, index)),
+                  ),
+              ),
+            ).either,
+        ),
+      ),
+      shrinks,
+    ),
+  );
+}
+
+function shrinkStream<R, E, A, R1>(
+  stream: Stream<R1, never, Sample<R1, Either<E, TestResult>>>,
+  maxShrinks: number,
+  __tsPlusTrace?: string,
+): IO<R & R1 & Has<TestConfig>, E, TestResult> {
+  return stream
+    .dropWhile(
+      (sample) =>
+        !sample.value.match(
+          () => true,
+          (result) => result.isFailure,
+        ),
+    )
+    .take(1)
+    .flatMap((sample) =>
+      sample
+        .shrinkSearch((value) =>
+          value.match(
+            () => true,
+            (result) => result.isFailure,
+          ),
+        )
+        .take(maxShrinks + 1),
+    )
+    .runCollect.flatMap((shrinks) =>
+      shrinks
+        .filter((value) =>
+          value.match(
+            () => true,
+            (result) => result.isFailure,
+          ),
+        )
+        .last.match(
+          () =>
+            IO.succeedNow(
+              FreeBooleanAlgebra.success(
+                new FailureDetailsResult(
+                  new FailureDetails(
+                    Cons(
+                      new AssertionValue(
+                        LazyValue(Assertion.anything),
+                        undefined,
+                        LazyValue(Assertion.anything.run(undefined)),
+                      ),
+                    ),
+                    Nothing(),
+                  ),
+                ),
+              ),
+            ),
+          IO.fromEitherNow,
+        ),
+    );
+}

package/_src/control/Assertion/api.ts

@@ -249,3 +249,5 @@ export function succeeds<A>(assertion: Assertion<A>): Assertion<Exit<any, A>> {
 export function test_<A>(self: Assertion<A>, actual: A): boolean {
   return self.run(actual).isSuccess;
 }
+
+export const completes = Assertion.make("completes", [], () => true);

package/_src/data/FreeBooleanAlgebra/api.ts

@@ -20,6 +20,13 @@ export function flatMap_<A, B>(self: FreeBooleanAlgebra<A>, f: (a: A) => FreeBoo
   });
 }
 
+/**
+ * @tsplus fluent fncts.test.FreeBooleanAlgebra map
+ */
+export function map_<A, B>(self: FreeBooleanAlgebra<A>, f: (a: A) => B): FreeBooleanAlgebra<B> {
+  return self.flatMap((a) => FreeBooleanAlgebra.success(f(a)));
+}
+
 /**
  * @tsplus static fncts.test.FreeBooleanAlgebraOps failure
  */

package/api.d.ts

@@ -1,10 +1,16 @@
 import { IO } from "@fncts/io/IO";
 import { Lazy } from "@fncts/base/data/function/definition";
-import type { Assertion, AssertResult } from "./control/Assertion.js";
+import { Has } from "@fncts/base/typeclass";
+import { Stream } from "@fncts/io/Stream";
+import { Either } from "@fncts/base/data/Either/definition";
+import type { AssertResult } from "./control/Assertion.js";
 import type { AssertionIO } from "./control/AssertionIO.js";
+import type { Gen } from "./control/Gen.js";
 import type { TestResult } from "./data/FailureDetails.js";
 import type { _E, _R } from "@fncts/base/types";
+import { Assertion } from "./control/Assertion.js";
 import { Spec } from "./control/Spec.js";
+import { TestConfig } from "./data/TestConfig.js";
 export declare function traverseResult<A>(value: A, assertResult: AssertResult<A>, assertion: AssertionIO<A>): TestResult;
 /**
  * @tsplus fluent global assert 1
@@ -19,3 +25,23 @@ export declare function assertIO_<R, E, A>(io: IO<R, E, A>, assertion: Assertion
 export declare function suite<Specs extends ReadonlyArray<Spec<any, any>>>(label: string, ...specs: Specs): Spec<_R<Specs[number]>, _E<Specs[number]>>;
 export declare function testIO<R, E>(label: string, assertion: Lazy<IO<R, E, TestResult>>): Spec<R, E>;
 export declare function test(label: string, assertion: Lazy<TestResult>): Spec<unknown, never>;
+/**
+ * @tsplus fluent fncts.test.Gen check
+ * @tsplus location "@fncts/test/api"
+ */
+export declare function check<R, A>(rv: Gen<R, A>, test: (a: A) => TestResult): IO<R & Has<TestConfig>, never, TestResult>;
+/**
+ * @tsplus fluent fncts.test.Gen check
+ * @tsplus location "@fncts/test/api"
+ */
+export declare function checkIO<R, A, R1, E>(rv: Gen<R, A>, test: (a: A) => IO<R1, E, TestResult>): IO<R & R1 & Has<TestConfig>, E, TestResult>;
+/**
+ * @tsplus fluent fncts.test.Gen checkAllC
+ * @tsplus location "@fncts/test/api"
+ */
+export declare function checkAllC<R, A>(rv: Gen<R, A>, concurrency: number, test: (a: A) => TestResult): IO<R & Has<TestConfig>, never, TestResult>;
+/**
+ * @tsplus fluent fncts.test.Gen checkAllC
+ * @tsplus location "@fncts/test/api"
+ */
+export declare function checkAllIOC<R, A, R1, E>(rv: Gen<R, A>, concurrency: number, test: (a: A) => IO<R1, E, TestResult>): IO<R & R1 & Has<TestConfig>, E, TestResult>;

package/control/Annotations/api.d.ts

@@ -1,6 +1,7 @@
 import { URIO, IO } from "@fncts/io/IO";
 import { Has } from "@fncts/base/typeclass";
 import { HashSet } from "@fncts/base/collection/immutable/HashSet";
+import { Fiber } from "@fncts/io/Fiber";
 import type { TestAnnotation } from "../../data/TestAnnotation.js";
 import type { Annotated } from "./definition.js";
 import { Annotations } from "./definition.js";

package/control/Annotations/definition.d.ts

@@ -1,5 +1,6 @@
 import { UIO, IO } from "@fncts/io/IO";
 import { HashSet } from "@fncts/base/collection/immutable/HashSet";
+import { Fiber } from "@fncts/io/Fiber";
 import type { TestAnnotation } from "../../data/TestAnnotation.js";
 import type { TestAnnotationMap } from "../../data/TestAnnotationMap.js";
 export declare type Annotated<A> = readonly [A, TestAnnotationMap];

package/control/Annotations/live.d.ts

@@ -1,5 +1,8 @@
 import { FiberRef } from "@fncts/io/FiberRef";
 import { UIO, IO } from "@fncts/io/IO";
+import { HashSet } from "@fncts/base/collection/immutable/HashSet";
+import { Fiber } from "@fncts/io/Fiber";
+import { Equatable } from "@fncts/base/typeclass";
 import { TestAnnotation } from "../../data/TestAnnotation.js";
 import { TestAnnotationMap } from "../../data/TestAnnotationMap.js";
 import { Annotations } from "./definition.js";

package/control/Assertion/api.d.ts

@@ -83,3 +83,4 @@ export declare function succeeds<A>(assertion: Assertion<A>): Assertion<Exit<any
  * @tsplus location "@fncts/test/control/Assertion/api"
  */
 export declare function test_<A>(self: Assertion<A>, actual: A): boolean;
+export declare const completes: Assertion<unknown>;

package/control/Assertion/definition.d.ts

@@ -1,3 +1,4 @@
+import { IO } from "@fncts/io/IO";
 import type { AssertionValue } from "../../data/AssertionValue.js";
 import type { FreeBooleanAlgebra } from "../../data/FreeBooleanAlgebra.js";
 import type { Render } from "../../data/Render.js";

package/control/RunnableSpec.d.ts

@@ -1,4 +1,4 @@
-import { URIO } from "@fncts/io/IO";
+import { URIO, IO } from "@fncts/io/IO";
 import { Has } from "@fncts/base/typeclass";
 import type { Spec } from "@fncts/test/control/Spec";
 import type { TestArgs } from "@fncts/test/data/TestArgs";

package/control/TestAnnotationRenderer/definition.d.ts

@@ -1,4 +1,4 @@
-import { List } from "@fncts/base/collection/immutable/List";
+import { List, Cons, Nil } from "@fncts/base/collection/immutable/List";
 import { Maybe } from "@fncts/base/data/Maybe";
 import { Vector } from "@fncts/base/collection/immutable/Vector";
 import type { TestAnnotation } from "../../data/TestAnnotation.js";

package/control/TestClock/definition.d.ts

@@ -2,12 +2,15 @@ import { List } from "@fncts/base/collection/immutable/List";
 import { Future } from "@fncts/io/Future";
 import { FiberId } from "@fncts/base/data/FiberId/definition";
 import { Fiber } from "@fncts/io/Fiber";
+import { Clock } from "@fncts/io/Clock";
 import { Ref } from "@fncts/io/Ref";
 import { Lazy } from "@fncts/base/data/function/definition";
 import { Duration } from "@fncts/base/data/Duration";
-import { UIO, IO } from "@fncts/io/IO";
+import { IO, UIO } from "@fncts/io/IO";
 import { HashSet } from "@fncts/base/collection/immutable/HashSet";
+import { Equatable } from "@fncts/base/typeclass";
 import { HashMap } from "@fncts/base/collection/immutable/HashMap";
+import { Just, Nothing } from "@fncts/base/data/Maybe";
 import type { Annotations } from "@fncts/test/control/Annotations";
 import type { Live } from "@fncts/test/control/Live";
 export declare class Data {

package/control/TestConsole/definition.d.ts

@@ -1,3 +1,4 @@
+import { CaseClass } from "@fncts/base/data/CaseClass";
 import { Vector } from "@fncts/base/collection/immutable/Vector";
 import { Ref } from "@fncts/io/Ref";
 import { FiberRef } from "@fncts/io/FiberRef";

package/control/TestRandom/definition.d.ts

@@ -1,11 +1,11 @@
 import { Random } from "@fncts/io/Random";
 import { Ref } from "@fncts/io/Ref";
-import { UIO } from "@fncts/io/IO";
+import { UIO, IO } from "@fncts/io/IO";
+import { Vector } from "@fncts/base/collection/immutable/Vector";
 import { Byte } from "@fncts/base/data/Byte";
+import { ImmutableQueue } from "@fncts/base/collection/immutable/Queue";
 import { Maybe } from "@fncts/base/data/Maybe";
 import { List } from "@fncts/base/collection/immutable/List";
-import { ImmutableQueue } from "@fncts/base/collection/immutable/Queue";
-import { Vector } from "@fncts/base/collection/immutable/Vector";
 import type { ArrayInt } from "@fncts/base/util/rand";
 /**
  * @tsplus static fncts.test.TestRandomOps Tag

package/control/TestRunner.d.ts

@@ -1,6 +1,8 @@
 import { Layer } from "@fncts/io/Layer";
 import { Has } from "@fncts/base/typeclass";
 import { URIO } from "@fncts/io/IO";
+import { ExecutionStrategy } from "@fncts/base/data/ExecutionStrategy";
+import { Clock } from "@fncts/io/Clock";
 import type { RuntimeConfig } from "@fncts/io/RuntimeConfig";
 import type { Annotations } from "@fncts/test/control/Annotations";
 import type { TestReporter } from "@fncts/test/control/DefaultTestReporter/render";

package/data/AssertionResult.d.ts

@@ -1,4 +1,4 @@
-import { Maybe } from "@fncts/base/data/Maybe";
+import { Maybe, Nothing } from "@fncts/base/data/Maybe";
 import type { FailureDetails } from "./FailureDetails.js";
 import type { GenFailureDetails } from "./GenFailureDetails.js";
 export declare class FailureDetailsResult {

package/data/AssertionValue/definition.d.ts

@@ -1,5 +1,5 @@
 import { LazyValue } from "@fncts/base/control/LazyValue";
-import { Maybe } from "@fncts/base/data/Maybe";
+import { Maybe, Nothing } from "@fncts/base/data/Maybe";
 import type { AssertionIO } from "../../control/AssertionIO/definition.js";
 import type { FreeBooleanAlgebra } from "../FreeBooleanAlgebra.js";
 export declare const AssertionValueTypeId: unique symbol;

package/data/FreeBooleanAlgebra/api.d.ts

@@ -13,6 +13,11 @@ export declare function and_<A>(left: FreeBooleanAlgebra<A>, right: FreeBooleanA
  * @tsplus location "@fncts/test/data/FreeBooleanAlgebra/api"
  */
 export declare function flatMap_<A, B>(self: FreeBooleanAlgebra<A>, f: (a: A) => FreeBooleanAlgebra<B>): FreeBooleanAlgebra<B>;
+/**
+ * @tsplus fluent fncts.test.FreeBooleanAlgebra map
+ * @tsplus location "@fncts/test/data/FreeBooleanAlgebra/api"
+ */
+export declare function map_<A, B>(self: FreeBooleanAlgebra<A>, f: (a: A) => B): FreeBooleanAlgebra<B>;
 /**
  * @tsplus static fncts.test.FreeBooleanAlgebraOps failure
  * @tsplus location "@fncts/test/data/FreeBooleanAlgebra/api"

package/data/TestAnnotation/api.d.ts

@@ -2,6 +2,7 @@ import { HashSet } from "@fncts/base/collection/immutable/HashSet";
 import { Either } from "@fncts/base/data/Either/definition";
 import { Conc } from "@fncts/base/collection/immutable/Conc";
 import { Ref } from "@fncts/io/Ref";
+import { Fiber } from "@fncts/io/Fiber";
 import { TestAnnotation } from "./definition.js";
 export declare const IgnoredTag: import("@fncts/base/data/Tag.js").Tag<number>;
 /**

package/data/TestAnnotationMap.d.ts

@@ -1,4 +1,5 @@
 import { HashMap } from "@fncts/base/collection/immutable/HashMap";
+import { Conc } from "@fncts/base/collection/immutable/Conc";
 import type { TestAnnotation } from "./TestAnnotation.js";
 export declare class TestAnnotationMap {
     private readonly map;

package/package.json

@@ -1,10 +1,10 @@
 {
   "name": "@fncts/test",
-  "version": "0.0.5",
+  "version": "0.0.8",
   "dependencies": {
-    "@fncts/base": "0.0.5",
-    "@fncts/io": "0.0.5",
-    "@fncts/typelevel": "0.0.5"
+    "@fncts/base": "0.0.8",
+    "@fncts/io": "0.0.8",
+    "@fncts/typelevel": "0.0.6"
   },
   "exports": {
     "./*": {