@fncts/test 0.0.6 → 0.0.9

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
package/_cjs/api.cjs CHANGED
@@ -5,6 +5,10 @@ Object.defineProperty(exports, "__esModule", {
5
5
  });
6
6
  exports.assertIO_ = assertIO_;
7
7
  exports.assert_ = assert_;
8
+ exports.check = check;
9
+ exports.checkAllC = checkAllC;
10
+ exports.checkAllIOC = checkAllIOC;
11
+ exports.checkIO = checkIO;
8
12
  exports.suite = suite;
9
13
  exports.test = test;
10
14
  exports.testIO = testIO;
@@ -28,12 +32,30 @@ var tsplus_module_8 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require
28
32
 
29
33
  var tsplus_module_9 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/test/control/Test"));
30
34
 
35
+ var tsplus_module_10 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/io/Stream/api"));
36
+
37
+ var tsplus_module_11 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/test/data/TestConfig"));
38
+
39
+ var tsplus_module_12 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/base/data/Either/destructors"));
40
+
41
+ var tsplus_module_13 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/test/control/Sample/api"));
42
+
43
+ var tsplus_module_14 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/test/control/Assertion/api"));
44
+
45
+ var tsplus_module_15 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/base/collection/immutable/Conc/api"));
46
+
47
+ var tsplus_module_16 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/base/data/Maybe/destructors"));
48
+
49
+ var _function = /*#__PURE__*/require("@fncts/base/data/function");
50
+
31
51
  var _AssertionResult = /*#__PURE__*/require("./data/AssertionResult.cjs");
32
52
 
33
53
  var _AssertionValue = /*#__PURE__*/require("./data/AssertionValue.cjs");
34
54
 
35
55
  var _FailureDetails = /*#__PURE__*/require("./data/FailureDetails.cjs");
36
56
 
57
+ var _GenFailureDetails = /*#__PURE__*/require("./data/GenFailureDetails.cjs");
58
+
37
59
  var _TestAnnotationMap = /*#__PURE__*/require("./data/TestAnnotationMap.cjs");
38
60
 
39
61
  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) {
71
93
 
72
94
  function assertIO_(io, assertion) {
73
95
  return tsplus_module_6.gen(function* (_) {
74
- const value = yield* _(io, fileName_1 + ":57:34");
75
- const assertResult = yield* _(assertion.runIO(value), fileName_1 + ":58:34");
96
+ const value = yield* _(io, fileName_1 + ":64:34");
97
+ const assertResult = yield* _(assertion.runIO(value), fileName_1 + ":65:34");
76
98
  return traverseResult(value, assertResult, assertion);
77
99
  });
78
100
  }
@@ -86,6 +108,50 @@ function testIO(label, assertion) {
86
108
  }
87
109
 
88
110
  function test(label, assertion) {
89
- return testIO(label, () => tsplus_module_6.succeed(assertion, fileName_1 + ":75:34"));
111
+ return testIO(label, () => tsplus_module_6.succeed(assertion, fileName_1 + ":82:34"));
112
+ }
113
+ /**
114
+ * @tsplus fluent fncts.test.Gen check
115
+ */
116
+
117
+
118
+ function check(rv, test) {
119
+ 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");
120
+ }
121
+ /**
122
+ * @tsplus fluent fncts.test.Gen check
123
+ */
124
+
125
+
126
+ function checkIO(rv, test) {
127
+ 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");
128
+ }
129
+ /**
130
+ * @tsplus fluent fncts.test.Gen checkAllC
131
+ */
132
+
133
+
134
+ function checkAllC(rv, concurrency, test) {
135
+ 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"));
136
+ }
137
+ /**
138
+ * @tsplus fluent fncts.test.Gen checkAllC
139
+ */
140
+
141
+
142
+ function checkAllIOC(rv, concurrency, test) {
143
+ return checkStreamC(tsplus_module_10.filterMap_(tsplus_module_10.forever(rv.sample), _function.identity), concurrency, test);
144
+ }
145
+
146
+ function checkStreamC(stream, concurrency, test) {
147
+ 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"), fileName_1 + ":146:18")), 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");
148
+ }
149
+
150
+ function checkStream(stream, test) {
151
+ 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"), fileName_1 + ":178:14"))), shrinks), fileName_1 + ":165:36");
152
+ }
153
+
154
+ function shrinkStream(stream, maxShrinks, __tsPlusTrace) {
155
+ 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");
90
156
  }
91
157
  //# sourceMappingURL=api.cjs.map
package/_cjs/api.cjs.map CHANGED
@@ -1 +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]}
1
+ {"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,EASPA,sBATO,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,EASPA,sBATO,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]}
@@ -6,7 +6,7 @@ Object.defineProperty(exports, "__esModule", {
6
6
  exports.and_ = and_;
7
7
  exports.anything = void 0;
8
8
  exports.approximatelyEquals = approximatelyEquals;
9
- exports.assertionRec = exports.assertionDirect = exports.assertion = void 0;
9
+ exports.completes = exports.assertionRec = exports.assertionDirect = exports.assertion = void 0;
10
10
  exports.contains = contains;
11
11
  exports.containsCause = containsCause;
12
12
  exports.containsString = containsString;
@@ -264,4 +264,7 @@ function succeeds(assertion) {
264
264
  function test_1(self, actual) {
265
265
  return tsplus_module_3.isSuccess(self.run(actual));
266
266
  }
267
+
268
+ const completes = /*#__PURE__*/assertion_1("completes", [], () => true);
269
+ exports.completes = completes;
267
270
  //# sourceMappingURL=api.cjs.map
@@ -1 +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]}
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;;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]}
@@ -81,7 +81,7 @@ function perTest(f) {
81
81
  }
82
82
 
83
83
  function after(effect) {
84
- return perTest(test => tsplus_module_3.flatMap_(tsplus_module_3.zipWith_(tsplus_module_3.result(test), tsplus_module_3.result(tsplus_module_3.catchAllCause_(effect, cause => tsplus_module_3.fail(() => new tsplus_module_6.RuntimeFailure(cause), fileName_1 + ":37:55"), fileName_1 + ":37:36")), (ex0, ex1) => tsplus_module_4.apFirst_(ex0, ex1)), tsplus_module_3.fromExitNow, fileName_1 + ":40:15"));
84
+ return perTest(test => tsplus_module_3.flatMap_(tsplus_module_3.zipWith_(tsplus_module_3.result(test, fileName_1 + ":36:9"), tsplus_module_3.result(tsplus_module_3.catchAllCause_(effect, cause => tsplus_module_3.fail(() => new tsplus_module_6.RuntimeFailure(cause), fileName_1 + ":37:55"), fileName_1 + ":37:36"), fileName_1 + ":37:83"), (ex0, ex1) => tsplus_module_4.apFirst_(ex0, ex1)), tsplus_module_3.fromExitNow, fileName_1 + ":40:15"));
85
85
  }
86
86
 
87
87
  function around(before, after) {
@@ -100,7 +100,7 @@ function beforeAll(effect) {
100
100
  return aroundAll(effect, () => tsplus_module_3.unit);
101
101
  }
102
102
 
103
- const eventually = /*#__PURE__*/perTest(test => tsplus_module_3.eventually(test));
103
+ const eventually = /*#__PURE__*/perTest(test => tsplus_module_3.eventually(test, fileName_1 + ":70:49"));
104
104
  exports.eventually = eventually;
105
105
 
106
106
  function repeat(schedule) {
@@ -1 +1 @@
1
- {"version":3,"file":"api.cjs","mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAGA;;AAGA;;AACA;;;;;;;AAQO,MAAMA,EAAE,2BAAR;;;AAEA,MAAMC,MAAM,GAA0CC,IAAD,IAAUC,4BAAI,MAAM,KAAV,CAA/D;;;;AAED,SAAUC,OAAV,CACJC,CADI,EACmG;EAEvG,OAAQH,IAAD,IACLC,iCACE,uBACE;IACEG,IAAI,EAAE,CAAC;MAAEC,IAAF;MAAQC;IAAR,CAAD,KAA2B,IAAIC,cAAJ,CAAaJ,CAAC,CAACE,IAAD,CAAd,EAAsBC,WAAtB;EADnC,CADF,EAGGE,wBAHH,CADF,CADF;AASD;;AAEK,SAAUC,KAAV,CAAyBC,MAAzB,EAA4C;EAChD,OAAOR,OAAO,CAAQG,IAAD,IACnBM,gFAAIA,uBACOA,uCAAsBC,KAAD,IAAWD,2BAAQ,IAAIE,8BAAJ,CAAmBD,KAAnB,CAAR,EAAiCE,qBAAjC,CAAhC,EAAkEA,qBAAlE,CADP,CAAJ,EACuF,CAACC,GAAD,EAAMC,GAAN,KACnFC,8BAAYD,GAAZ,CAFJ,GAGGL,2BAHH,EAGGG,qBAHH,CADY,CAAd;AAOD;;AAEK,SAAUI,MAAV,CAA8BC,MAA9B,EAAmDV,KAAnD,EAAsF;EAC1F,OAAOP,OAAO,CAAaG,IAAD,IACxBe,sEAAsBC,CAAD,IAAOV,2BAAQ,IAAIE,8BAAJ,CAAmBQ,CAAnB,CAAR,EAA6BP,qBAA7B,CAA5B,EAA0DA,qBAA1D,GAAoE,MAAMT,IAA1E,EAAgFI,KAAhF,CADY,CAAd;AAGD;;AAEK,SAAUa,SAAV,CACJH,MADI,EAEJV,KAFI,EAE+B;EAEnC,OAAgBT,IAAT,IACLC,uBACEU,mFAAkBQ,MAAlB,EAA0BV,KAA1B,GACac,CAAD,IAAOC,qBAAiBD,CAAjB,CADnB,EACsCT,qBADtC,GACuC,MACjCd,IAFN,CADF,CADF;AAMD;;AAEK,SAAUmB,MAAV,CAAqBT,MAArB,EAA+C;EACnD,OAAOR,OAAO,CAAaG,IAAD,IAAUM,kCAAgBN,IAAhB,EAAoBS,qBAApB,CAAtB,CAAd;AACD;;AAEK,SAAUW,SAAV,CAA4Bf,MAA5B,EAAmD;EACvD,OAAOY,SAAS,CAACZ,MAAD,EAAS,MAAKC,oBAAd,CAAhB;AACD;;AAEM,MAAMe,UAAU,gBAAGxB,OAAO,CAAEG,IAAD,IAASM,2BAACN,IAAD,CAAV,CAA1B;;;AAED,SAAUsB,MAAV,CAAqBC,QAArB,EAA6D;EACjE,OAAO1B,OAAO,CAEVG,IADF,IAGEwB,mCAAsBC,CAAD,IACnBC,oEACsBD,CADtB,EACuBhB,qBADvB,GACwB,MAEpBkB,qCACEA,yDAA4CC,CAAD,IACzCJ,wFAA8C,CAA9C,GAAoEC,CAApE,EAAqEhB,qBAArE,CADF,CADF,CAHJ,EAOKA,qBAPL,CADF,EASKA,qBATL,CAJU,CAAd;AAgBD;;AAEK,SAAUoB,cAAV,CAAyBC,QAAzB,EAA2C;EAC/C,OAAgBnC,IAAT,IAA+B;IACpC,MAAMoC,IAAI,GAAG,CAACC,MAAD,EAAyBrC,IAAzB,KACX,wBAAUA,IAAI,CAACsC,SAAf,EAA0B;MACxBC,IAAI,EAAE,CAAC;QAAEC,IAAF;QAAQxC;MAAR,CAAD,KAAoBC,qBAAUmC,IAAI,CAACC,MAAD,EAASrC,IAAT,CAAd,EAA8BwC,IAA9B,CADF;MAExBC,OAAO,EAAE,CAAC;QAAEC,KAAF;QAAS1C;MAAT,CAAD,KAAqBC,4BAAamC,IAAI,CAACO,iCAAcD,KAAd,CAAD,EAAuB1C,IAAvB,CAAjB,EAA+C0C,KAA/C,CAFN;MAGxBE,MAAM,EAAE,CAAC;QAAEC;MAAF,CAAD,KAAgB5C,uBAAYU,6BAAYX,IAAD,IAAUoC,IAAI,CAACC,MAAD,EAASrC,IAAT,CAAzB,EAAuCc,qBAAvC,CAAZ,CAHA;MAIxBgC,QAAQ,EAAE,CAAC;QAAEC;MAAF,CAAD,KAAe9C,6BAAc+C,6BAAWhD,IAAD,IAAUoC,IAAI,CAACC,MAAD,EAASrC,IAAT,CAAxB,CAAd,CAJD;MAKxBI,IAAI,EAAE,CAAC;QAAEC,IAAF;QAAQC;MAAR,CAAD,KAA2BL,yBAAUgD,IAAI,CAACZ,MAAD,EAAShC,IAAT,EAAe8B,QAAf,CAAd,EAAwC7B,WAAxC;IALT,CAA1B,CADF;;IASA,OAAO8B,IAAI,CAACO,yBAAD,EAAW3C,IAAX,CAAX;EACD,CAXD;AAYD;;AAED,SAASiD,IAAT,CAAoBZ,MAApB,EAA4ChC,IAA5C,EAAsF8B,QAAtF,EAAwG;EACtG,OAAOe,iCAAI,MACTC,2BAAcC,WAAW,CAACf,MAAD,EAASF,QAAT,CAAzB,EAA8CkB,EAAD,IAAO1C,0BAAC2C,6BAAYnB,QAAZ,EAAoBrB,sBAApB,CAAD,EAAyBuC,EAAzB,EAA2BvC,sBAA3B,CAApD,CADK,EAEL,CAACyC,MAAD,EAASC,KAAT,KAAkB7C,qDAAC6C,KAAD,GAAmB7C,4BAAe4C,MAAf,EAAqBzC,sBAArB,CAAnB,EAAyCA,sBAAzC,CAFb,EAGL,CAACmB,CAAD,EAAIuB,KAAJ,KAAaC,sBAACD,KAAD,CAHR,EAGmB1C,sBAHnB,CAAP;AAKD;;AAED,SAASsC,WAAT,CAAqBf,MAArB,EAA6CF,QAA7C,EAA+D;EAC7D,OAAOuB,WAAKA,IAAL,CAAUC,uBAAcC,aAAa,CAACvB,MAAD,EAASF,QAAT,CAA3B,CAAV,CAAP;AACD;;AAED,SAASyB,aAAT,CAAuBvB,MAAvB,EAA+CF,QAA/C,EAAiE;EAC/D,OAAO,QAAQQ,+BACb,KADa,CAEd,wBAAwBR,QAAQ,CAAC0B,YAAY,sIAF9C;AAGD","names":["id","ignore","spec","tsplus_module_2","perTest","f","Test","test","annotations","TestCase","tsplus_module_1","after","effect","tsplus_module_3","cause","RuntimeFailure","fileName_1","ex0","ex1","tsplus_module_4","around","before","tsplus_module_5","c","aroundAll","e","tsplus_module_6","beforeAll","eventually","repeat","schedule","tsplus_module_10","r","tsplus_module_12","tsplus_module_11","_","timeoutWarning","duration","loop","labels","caseValue","Exec","exec","Labeled","label","tsplus_module_13","Scoped","scoped","Multiple","specs","tsplus_module_14","warn","tsplus_module_19","tsplus_module_16","showWarning","io","tsplus_module_15","result","fiber","tsplus_module_18","Live","tsplus_module_20","renderWarning","milliseconds"],"sourceRoot":"","sources":["../../../_src/control/TestAspect/api.ts"],"sourcesContent":[null]}
1
+ {"version":3,"file":"api.cjs","mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAGA;;AAGA;;AACA;;;;;;;AAQO,MAAMA,EAAE,2BAAR;;;AAEA,MAAMC,MAAM,GAA0CC,IAAD,IAAUC,4BAAI,MAAM,KAAV,CAA/D;;;;AAED,SAAUC,OAAV,CACJC,CADI,EACmG;EAEvG,OAAQH,IAAD,IACLC,iCACE,uBACE;IACEG,IAAI,EAAE,CAAC;MAAEC,IAAF;MAAQC;IAAR,CAAD,KAA2B,IAAIC,cAAJ,CAAaJ,CAAC,CAACE,IAAD,CAAd,EAAsBC,WAAtB;EADnC,CADF,EAGGE,wBAHH,CADF,CADF;AASD;;AAEK,SAAUC,KAAV,CAAyBC,MAAzB,EAA4C;EAChD,OAAOR,OAAO,CAAQG,IAAD,IACnBM,+EAAIC,oBAAJ,GAAID,uBACOA,uCAAsBE,KAAD,IAAWF,2BAAQ,IAAIG,8BAAJ,CAAmBD,KAAnB,CAAR,EAAiCD,qBAAjC,CAAhC,EAAkEA,qBAAlE,CADP,EAC0EA,qBAD1E,CAAJ,EACuF,CAACG,GAAD,EAAMC,GAAN,KACnFC,8BAAYD,GAAZ,CAFJ,GAGGL,2BAHH,EAGGC,qBAHH,CADY,CAAd;AAOD;;AAEK,SAAUM,MAAV,CAA8BC,MAA9B,EAAmDV,KAAnD,EAAsF;EAC1F,OAAOP,OAAO,CAAaG,IAAD,IACxBe,sEAAsBC,CAAD,IAAOV,2BAAQ,IAAIG,8BAAJ,CAAmBO,CAAnB,CAAR,EAA6BT,qBAA7B,CAA5B,EAA0DA,qBAA1D,GAAoE,MAAMP,IAA1E,EAAgFI,KAAhF,CADY,CAAd;AAGD;;AAEK,SAAUa,SAAV,CACJH,MADI,EAEJV,KAFI,EAE+B;EAEnC,OAAgBT,IAAT,IACLC,uBACEU,mFAAkBQ,MAAlB,EAA0BV,KAA1B,GACac,CAAD,IAAOC,qBAAiBD,CAAjB,CADnB,EACsCX,qBADtC,GACuC,MACjCZ,IAFN,CADF,CADF;AAMD;;AAEK,SAAUmB,MAAV,CAAqBT,MAArB,EAA+C;EACnD,OAAOR,OAAO,CAAaG,IAAD,IAAUM,kCAAgBN,IAAhB,EAAoBO,qBAApB,CAAtB,CAAd;AACD;;AAEK,SAAUa,SAAV,CAA4Bf,MAA5B,EAAmD;EACvD,OAAOY,SAAS,CAACZ,MAAD,EAAS,MAAKC,oBAAd,CAAhB;AACD;;AAEM,MAAMe,UAAU,gBAAGxB,OAAO,CAAEG,IAAD,IAASM,2BAACN,IAAD,EAAKO,qBAAL,CAAV,CAA1B;;;AAED,SAAUe,MAAV,CAAqBC,QAArB,EAA6D;EACjE,OAAO1B,OAAO,CAEVG,IADF,IAGEwB,mCAAsBC,CAAD,IACnBC,oEACsBD,CADtB,EACuBlB,qBADvB,GACwB,MAEpBoB,qCACEA,yDAA4CC,CAAD,IACzCJ,wFAA8C,CAA9C,GAAoEC,CAApE,EAAqElB,qBAArE,CADF,CADF,CAHJ,EAOKA,qBAPL,CADF,EASKA,qBATL,CAJU,CAAd;AAgBD;;AAEK,SAAUsB,cAAV,CAAyBC,QAAzB,EAA2C;EAC/C,OAAgBnC,IAAT,IAA+B;IACpC,MAAMoC,IAAI,GAAG,CAACC,MAAD,EAAyBrC,IAAzB,KACX,wBAAUA,IAAI,CAACsC,SAAf,EAA0B;MACxBC,IAAI,EAAE,CAAC;QAAEC,IAAF;QAAQxC;MAAR,CAAD,KAAoBC,qBAAUmC,IAAI,CAACC,MAAD,EAASrC,IAAT,CAAd,EAA8BwC,IAA9B,CADF;MAExBC,OAAO,EAAE,CAAC;QAAEC,KAAF;QAAS1C;MAAT,CAAD,KAAqBC,4BAAamC,IAAI,CAACO,iCAAcD,KAAd,CAAD,EAAuB1C,IAAvB,CAAjB,EAA+C0C,KAA/C,CAFN;MAGxBE,MAAM,EAAE,CAAC;QAAEC;MAAF,CAAD,KAAgB5C,uBAAYU,6BAAYX,IAAD,IAAUoC,IAAI,CAACC,MAAD,EAASrC,IAAT,CAAzB,EAAuCY,qBAAvC,CAAZ,CAHA;MAIxBkC,QAAQ,EAAE,CAAC;QAAEC;MAAF,CAAD,KAAe9C,6BAAc+C,6BAAWhD,IAAD,IAAUoC,IAAI,CAACC,MAAD,EAASrC,IAAT,CAAxB,CAAd,CAJD;MAKxBI,IAAI,EAAE,CAAC;QAAEC,IAAF;QAAQC;MAAR,CAAD,KAA2BL,yBAAUgD,IAAI,CAACZ,MAAD,EAAShC,IAAT,EAAe8B,QAAf,CAAd,EAAwC7B,WAAxC;IALT,CAA1B,CADF;;IASA,OAAO8B,IAAI,CAACO,yBAAD,EAAW3C,IAAX,CAAX;EACD,CAXD;AAYD;;AAED,SAASiD,IAAT,CAAoBZ,MAApB,EAA4ChC,IAA5C,EAAsF8B,QAAtF,EAAwG;EACtG,OAAOe,iCAAI,MACTC,2BAAcC,WAAW,CAACf,MAAD,EAASF,QAAT,CAAzB,EAA8CkB,EAAD,IAAO1C,0BAAC2C,6BAAYnB,QAAZ,EAAoBvB,sBAApB,CAAD,EAAyByC,EAAzB,EAA2BzC,sBAA3B,CAApD,CADK,EAEL,CAAC2C,MAAD,EAASC,KAAT,KAAkB7C,qDAAC6C,KAAD,GAAmB7C,4BAAe4C,MAAf,EAAqB3C,sBAArB,CAAnB,EAAyCA,sBAAzC,CAFb,EAGL,CAACqB,CAAD,EAAIuB,KAAJ,KAAaC,sBAACD,KAAD,CAHR,EAGmB5C,sBAHnB,CAAP;AAKD;;AAED,SAASwC,WAAT,CAAqBf,MAArB,EAA6CF,QAA7C,EAA+D;EAC7D,OAAOuB,WAAKA,IAAL,CAAUC,uBAAcC,aAAa,CAACvB,MAAD,EAASF,QAAT,CAA3B,CAAV,CAAP;AACD;;AAED,SAASyB,aAAT,CAAuBvB,MAAvB,EAA+CF,QAA/C,EAAiE;EAC/D,OAAO,QAAQQ,+BACb,KADa,CAEd,wBAAwBR,QAAQ,CAAC0B,YAAY,sIAF9C;AAGD","names":["id","ignore","spec","tsplus_module_2","perTest","f","Test","test","annotations","TestCase","tsplus_module_1","after","effect","tsplus_module_3","fileName_1","cause","RuntimeFailure","ex0","ex1","tsplus_module_4","around","before","tsplus_module_5","c","aroundAll","e","tsplus_module_6","beforeAll","eventually","repeat","schedule","tsplus_module_10","r","tsplus_module_12","tsplus_module_11","_","timeoutWarning","duration","loop","labels","caseValue","Exec","exec","Labeled","label","tsplus_module_13","Scoped","scoped","Multiple","specs","tsplus_module_14","warn","tsplus_module_19","tsplus_module_16","showWarning","io","tsplus_module_15","result","fiber","tsplus_module_18","Live","tsplus_module_20","renderWarning","milliseconds"],"sourceRoot":"","sources":["../../../_src/control/TestAspect/api.ts"],"sourcesContent":[null]}
@@ -53,9 +53,9 @@ var tsplus_module_23 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/requir
53
53
 
54
54
  var tsplus_module_24 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/io/Ref/Synchronized/api"));
55
55
 
56
- var tsplus_module_25 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/io/IO/api/interrupt"));
56
+ var tsplus_module_25 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/io/Console/api"));
57
57
 
58
- var tsplus_module_26 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/io/Console/api"));
58
+ var tsplus_module_26 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/io/IO/api/interrupt"));
59
59
 
60
60
  var _pattern = /*#__PURE__*/require("@fncts/base/util/pattern");
61
61
 
@@ -154,7 +154,7 @@ class TestClock extends tsplus_module_2.Clock {
154
154
  Done: () => tsplus_module_20.nothing()
155
155
  }));
156
156
  this.warningStart = tsplus_module_24.updateJustIO_(this.warningState, (0, _pattern.matchTag)({
157
- Start: () => tsplus_module_20.just(tsplus_module_7.map_(tsplus_module_7.fork(tsplus_module_25.interruptible(this.live.provide(tsplus_module_7.apSecond_(tsplus_module_16.sleep(() => tsplus_module_15.seconds(5), fileName_1 + ":191:45"), tsplus_module_26.print(warning), fileName_1 + ":191:60")))), Pending, fileName_1 + ":191:107"))
157
+ Start: () => tsplus_module_20.just(tsplus_module_7.map_(tsplus_module_7.fork(tsplus_module_26.interruptible(this.live.provide(tsplus_module_7.apSecond_(tsplus_module_16.sleep(() => tsplus_module_15.seconds(5), fileName_1 + ":191:45"), tsplus_module_25.print(warning), fileName_1 + ":191:60")), fileName_1 + ":191:84"), fileName_1 + ":191:98"), Pending, fileName_1 + ":191:107"))
158
158
  }, () => tsplus_module_20.nothing()));
159
159
  }
160
160
 
@@ -200,7 +200,7 @@ class TestClock extends tsplus_module_2.Clock {
200
200
  }
201
201
 
202
202
  get awaitSuspended() {
203
- return tsplus_module_7.asUnit(tsplus_module_7.eventually(tsplus_module_7.filterOrFail_(tsplus_module_7.zipWith_(this.suspended, tsplus_module_7.apSecond_(this.live.provide(tsplus_module_16.sleep(() => tsplus_module_15.milliseconds(10), fileName_1 + ":143:45")), this.suspended, fileName_1 + ":143:67"), tsplus_module_10.strictEquals), tsplus_module_17.identity, () => undefined)));
203
+ return tsplus_module_7.asUnit(tsplus_module_7.eventually(tsplus_module_7.filterOrFail_(tsplus_module_7.zipWith_(this.suspended, tsplus_module_7.apSecond_(this.live.provide(tsplus_module_16.sleep(() => tsplus_module_15.milliseconds(10), fileName_1 + ":143:45")), this.suspended, fileName_1 + ":143:67"), tsplus_module_10.strictEquals), tsplus_module_17.identity, () => undefined), fileName_1 + ":144:62"));
204
204
  }
205
205
 
206
206
  run(f) {
@@ -1 +1 @@
1
- {"version":3,"file":"definition.cjs","mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAIA;;;;;;;;AAIM,MAAOA,IAAP,CAAW;EACfC,YAAqBC,QAArB,EAAgDC,MAAhD,EAAoG;IAA/E;IAA2B;EAAwD;;AADzF;;;;AAIX,MAAOC,KAAP,CAAY;EAChBH,YAAqBC,QAArB,EAAgDG,OAAhD,EAAuFC,OAAvF,EAAuG;IAAlF;IAA2B;IAAuC;EAAoB;;AAD3F;;;AAmBX,MAAMC,KAAK,GAAgB;EAAEC,IAAI,EAAE;AAAR,CAA3B;;;AAEA,MAAMC,OAAO,GAAIC,KAAD,KAA6C;EAAEF,IAAI,EAAE,SAAR;EAAmBE;AAAnB,CAA7C,CAAhB;;;AAEA,MAAMC,IAAI,GAAgB;EAAEH,IAAI,EAAE;AAAR,CAA1B;;AAEP,MAAMI,OAAO,GACX,yEACA,gEADA,GAEA,4BAHF;AAKA;;;;AAGO,MAAMC,YAAY,gBAAGC,yBAArB;AAEP;;;;;;;AAIM,MAAOC,SAAP,SAAyBC,qBAAzB,CAA8B;EAClCf,YACWgB,UADX,EAEWC,IAFX,EAGWC,WAHX,EAIWC,YAJX,EAIsD;IAEpD;IALS;IACA;IACA;IACA;;IAIX,aAASC,EAAD,IAAuB;MAC7B,MAAMC,IAAI,GAAG,IAAb;MACA,OAAOC,oBAAO,WAAWC,CAAX,EAAY;QACxB,MAAMnB,OAAO,GAAG,OAAOmB,CAAC,CAACC,sBAAD,EAA2BC,qBAA3B,CAAxB;QACA,MAAMC,IAAI,GAAM,OAAOH,CAAC,CACtBI,4BAAI,CAACX,UAAL,EAAwBY,IAAD,IAAS;UAC9B,MAAMC,GAAG,GAAGD,IAAI,CAAC3B,QAAL,GAAgBmB,EAAE,GAAGU,YAAjC;;UACA,IAAID,GAAG,GAAGD,IAAI,CAAC3B,QAAf,EAAyB;YACvB,OAAO,CAAC,IAAD,EAAO,IAAIF,IAAJ,CAAS6B,IAAI,CAAC3B,QAAd,EAAwB8B,6BAAI,CAAC7B,MAAL,EAAoB,CAAC2B,GAAD,EAAMzB,OAAN,CAApB,CAAxB,CAAP,CAAP;UACD,CAFD,MAEO;YACL,OAAO,CAAC,KAAD,EAAQwB,IAAR,CAAP;UACD;QACF,CAPD,CADsB,EAQpBH,qBARoB,CAAxB;QAUA,OAAOF,CAAC,CACND,sBAAS,MAAK;UACZ,IAAII,IAAJ,EAAU;YACR,iCAAOL,IAAI,CAACW,YAAZ,EAAwBC,qBAAG7B,OAAH,CAAxB,EAAkCqB,qBAAlC;UACD,CAFD,MAEO;YACL,iCAAOQ,kCAAgBC,SAAhB,CAAP,EAAiCZ,oBAAjC,EAAiCG,qBAAjC;UACD;QACF,CAND,EAMCA,qBAND,CADM,EAOJA,qBAPI,CAAR;MASD,CArBM,CAAP;IAsBD,CAxBD;;IA0BA,mBAAcH,8CAAKN,UAAL,GAAyBY,IAAD,IAAUA,IAAI,CAAC3B,QAAvC,EAA+CwB,qBAA/C,CAAd;IAcA,cAASH,8CAAKN,UAAL,GAAyBY,IAAD,IAAUG,yBAAI,CAAC7B,MAAL,EAAgB,CAAC,CAACqB,CAAD,CAAD,KAASA,CAAzB,CAAlC,EAA6DE,sBAA7D,CAAT;IA8EA,mBAAyBU,oCAAKhB,YAAL,EACvB,uBAAS;MACPb,KAAK,EAAE,MAAM8B,sBAAKd,8BAAGZ,IAAH,EAAOe,sBAAP,CAAL,CADN;MAEPjB,OAAO,EAAE,CAAC;QAAEC;MAAF,CAAD,KAAe2B,sBAAKd,uDAAK,MAAcZ,IAAnB,CAAL,CAFjB;MAGPA,IAAI,EAAE,MAAM0B;IAHL,CAAT,CADuB,CAAzB;IAQQ,oBAA0BD,oCAAKhB,YAAL,EAChC,uBACE;MACEb,KAAK,EAAE,MACL8B,sBAAKd,8EAAKL,IAAL,CAAUoB,OAAV,CAAiBf,0BAACgB,sDAAa,CAAb,GAAcb,sBAAd,CAAD,EAA4Bc,uBAAc5B,OAAd,CAA5B,EAAkDc,sBAAlD,CAAjB,KAA4FjB,OAA5F,EAAmGiB,uBAAnG,CAAL;IAFJ,CADF,EAKE,MAAMW,0BALR,CADgC,CAA1B;EA/HP;;EA6BDI,MAAM,CAACvC,QAAD,EAAiB;IACrB,iCAAO,KAAKwC,WAAZ,EAA0B,KAAKC,GAAL,CAAUC,CAAD,IAAOA,CAAC,GAAG1C,QAApB,CAA1B,EAAuDwB,qBAAvD;EACD;;EAEDmB,OAAO,CAACC,IAAD,EAAW;IAChB,OAAO,KAAKC,OAAL,CAAaD,IAAI,CAACE,OAAL,EAAb,CAAP;EACD;;EAEDD,OAAO,CAACE,IAAD,EAAa;IAClB,iCAAO,KAAKP,WAAZ,EAA0B,KAAKC,GAAL,CAAUnB,CAAD,IAAOyB,IAAhB,CAA1B,EAA+CvB,qBAA/C;EACD;;EAImB,IAAhBwB,gBAAgB;IAClB,OAAO3B,+BAAmB4B,UAAD,IACvB5B,8BAAKJ,WAAL,CAAiBiC,GAAjB,CAAoBC,uBAApB,GAAqD7B,CAAD,IAClD8B,2BACG9B,CAAD,IAAOD,8BAAWgC,6BAAX,EAAgC7B,sBAAhC,CADT,EAEG8B,MAAD,IACEjC,mEAAWiC,MAAX,EAAoBC,GAAD,IAAQC,oBAACD,GAAD,CAA3B,EAAmC/B,sBAAnC,GACQF,CAAD,IAAOmC,8BAAWJ,6BAAX,EAA2D,CAACK,EAAD,EAAKC,EAAL,KAAYN,2BAASM,EAAT,CAAvE,CADd,EACkGnC,sBADlG,GAEQoC,GAAD,IAASP,6BAAYQ,CAAD,IAAO,CAACC,8BAAuBD,CAAC,CAACE,EAAzB,EAA6Bd,UAAU,CAACc,EAAxC,CAAnB,CAFhB,EAE+EvC,sBAF/E,CAHJ,CADF,EAOGA,sBAPH,CADK,EASJA,sBATI,CAAP;EAWD;;EAEiB,IAANwC,MAAM;IAChB,OAAO3C,8BAAK2B,gBAAL,EAA+BM,MAAD,IACnCjC,0BAAYiC,MAAZ,EAAoBW,8BAApB,EAAiE,CAACC,GAAD,EAAM1D,KAAN,KAC/Da,8BAAK,CAAC8C,MAAN,EAAsBA,MAAD,IAAW;MAC9B,QAAQA,MAAM,CAAC7D,IAAf;QACE,KAAK,MAAL;UAAa;YACX,OAAOe,8BAAW4C,2BAAQzD,KAAK,CAACuD,EAAd,EAAkBI,MAAlB,CAAX,EAAoC3C,sBAApC,CAAP;UACD;;QACD,KAAK,WAAL;UAAkB;YAChB,OAAOH,8BAAW4C,2BAAQzD,KAAK,CAACuD,EAAd,EAAkBI,MAAlB,CAAX,EAAoC3C,sBAApC,CAAP;UACD;;QACD;UAAS;YACP,OAAOH,2BAAQY,SAAR,EAAiBT,sBAAjB,CAAP;UACD;MATH;IAWD,CAZD,EAYCA,sBAZD,CADF,EAaIA,sBAbJ,CADK,EAeJA,sBAfI,CAAP;EAiBD;;EAEgB,IAAL4C,KAAK;IACf,OAAO,KAAKpD,IAAL,CAAUoB,OAAV,CAAkBC,2DAAa,CAAb,GAAcb,sBAAd,CAAlB,CAAP;EACD;;EAEyB,IAAd6C,cAAc;IACxB,yDAAOhD,4DAAKiD,SAAL,EAAcjD,0BACV,KAAKL,IAAL,CAAUoB,OAAV,CAAkBC,2DAAa,EAAb,GAAeb,sBAAf,CAAlB,CADU,EAC0C,KAAK8C,SAD/C,EACwD9C,sBADxD,CAAd,EACsEsC,6BADtE,GAC+FS,yBAD/F,EAE4B,MAAYtC,SAFxC,CAAP;EAGD;;EAEOQ,GAAG,CAACoB,CAAD,EAAgC;IACzC,OAAOxC,mDACL,KAAKgD,cADA,EAEL3C,6BAAKX,UAAL,EAAwBY,IAAD,IAAS;MAC9B,MAAMC,GAAG,GAAMiC,CAAC,CAAClC,IAAI,CAAC3B,QAAN,CAAhB;MACA,MAAMwE,MAAM,GAAG1C,8BAAI,CAAC7B,MAAL,EAAqB,CAAC,CAACwE,CAAD,CAAD,EAAM,CAACC,CAAD,CAAN,KAAcC,qBAAWC,OAAX,CAAmBH,CAAnB,EAAsBC,CAAtB,CAAnC,CAAf;MACA,OAAOG,oFACI,CAAC,CAAC7E,QAAD,EAAWG,OAAX,CAAD,KACPH,QAAQ,IAAI4B,GAAZ,GACIO,sBAAK,CAACA,sBAAK,CAACP,GAAD,EAAMzB,OAAN,CAAL,CAAD,EAAgC,IAAIL,IAAJ,CAASE,QAAT,EAAiB8E,4BAAEN,MAAF,CAAjB,CAAhC,CAAL,CADJ,GAEIrC,0BAJD,GAKJ,MACU,CAACA,0BAAD,EAAY,IAAIrC,IAAJ,CAAS8B,GAAT,EAAcD,IAAI,CAAC1B,MAAnB,CAAZ,CANN,CAAP;IAOD,CAVD,CAFK,EAYHuB,sBAZG,GAaIF,CAAD,IACRyD,2BACE,MAAK1D,oBADP,EAEE,CAAC,CAACO,GAAD,EAAMzB,OAAN,CAAD,KAAmBkB,oDAACW,kCAAgBC,SAAhB,CAAD,EAA2BZ,wBAA3B,EAA2BG,sBAA3B,GAA4C,KAAKiB,GAAL,CAAS,MAAMb,GAAf,CAA5C,EAA+DJ,sBAA/D,CAFrB,CAdK,EAiBJA,sBAjBI,CAAP;EAmBD;;EAEoB,IAAT8C,SAAS;IACnB,OAAOjD,mDAAK2C,MAAL,EAAW3C,0BAAK,KAAK+C,KAAV,EAAkB,KAAKJ,MAAvB,EAA6BxC,sBAA7B,CAAX,GAAkD,CAAC,CAACwD,KAAD,EAAQC,IAAR,CAAD,KAAkB;MACzE,IAAInB,8BAAuBkB,KAAvB,EAA8BC,IAA9B,CAAJ,EAAyC;QACvC,OAAO5D,2BAAc2D,KAAd,EAAmBxD,sBAAnB,CAAP;MACD,CAFD,MAEO;QACL,OAAOH,wBAAWY,SAAX,EAAoBT,sBAApB,CAAP;MACD;IACF,CANM,EAMNA,sBANM,CAAP;EAOD;;AA7HiC","names":["Data","constructor","duration","sleeps","Sleep","promise","fiberId","Start","_tag","Pending","fiber","Done","warning","TestClockTag","tsplus_module_1","TestClock","tsplus_module_2","clockState","live","annotations","warningState","ms","self","tsplus_module_7","_","tsplus_module_3","fileName_1","wait","tsplus_module_5","data","end","milliseconds","tsplus_module_4","warningStart","tsplus_module_6","undefined","tsplus_module_24","tsplus_module_20","provide","tsplus_module_16","tsplus_module_26","adjust","warningDone","run","d","setDate","date","setTime","getTime","time","supervizedFibers","descriptor","get","tsplus_module_13","tsplus_module_12","tsplus_module_9","fibers","ref","tsplus_module_8","tsplus_module_11","s0","s1","set","f","tsplus_module_10","id","freeze","tsplus_module_14","map","status","delay","awaitSuspended","suspended","tsplus_module_17","sorted","x","y","tsplus_module_19","compare","tsplus_module_22","tsplus_module_21","tsplus_module_18","first","last"],"sourceRoot":"","sources":["../../../_src/control/TestClock/definition.ts"],"sourcesContent":[null]}
1
+ {"version":3,"file":"definition.cjs","mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAIA;;;;;;;;AAIM,MAAOA,IAAP,CAAW;EACfC,YAAqBC,QAArB,EAAgDC,MAAhD,EAAoG;IAA/E;IAA2B;EAAwD;;AADzF;;;;AAIX,MAAOC,KAAP,CAAY;EAChBH,YAAqBC,QAArB,EAAgDG,OAAhD,EAAuFC,OAAvF,EAAuG;IAAlF;IAA2B;IAAuC;EAAoB;;AAD3F;;;AAmBX,MAAMC,KAAK,GAAgB;EAAEC,IAAI,EAAE;AAAR,CAA3B;;;AAEA,MAAMC,OAAO,GAAIC,KAAD,KAA6C;EAAEF,IAAI,EAAE,SAAR;EAAmBE;AAAnB,CAA7C,CAAhB;;;AAEA,MAAMC,IAAI,GAAgB;EAAEH,IAAI,EAAE;AAAR,CAA1B;;AAEP,MAAMI,OAAO,GACX,yEACA,gEADA,GAEA,4BAHF;AAKA;;;;AAGO,MAAMC,YAAY,gBAAGC,yBAArB;AAEP;;;;;;;AAIM,MAAOC,SAAP,SAAyBC,qBAAzB,CAA8B;EAClCf,YACWgB,UADX,EAEWC,IAFX,EAGWC,WAHX,EAIWC,YAJX,EAIsD;IAEpD;IALS;IACA;IACA;IACA;;IAIX,aAASC,EAAD,IAAuB;MAC7B,MAAMC,IAAI,GAAG,IAAb;MACA,OAAOC,oBAAO,WAAWC,CAAX,EAAY;QACxB,MAAMnB,OAAO,GAAG,OAAOmB,CAAC,CAACC,sBAAD,EAA2BC,qBAA3B,CAAxB;QACA,MAAMC,IAAI,GAAM,OAAOH,CAAC,CACtBI,4BAAI,CAACX,UAAL,EAAwBY,IAAD,IAAS;UAC9B,MAAMC,GAAG,GAAGD,IAAI,CAAC3B,QAAL,GAAgBmB,EAAE,GAAGU,YAAjC;;UACA,IAAID,GAAG,GAAGD,IAAI,CAAC3B,QAAf,EAAyB;YACvB,OAAO,CAAC,IAAD,EAAO,IAAIF,IAAJ,CAAS6B,IAAI,CAAC3B,QAAd,EAAwB8B,6BAAI,CAAC7B,MAAL,EAAoB,CAAC2B,GAAD,EAAMzB,OAAN,CAApB,CAAxB,CAAP,CAAP;UACD,CAFD,MAEO;YACL,OAAO,CAAC,KAAD,EAAQwB,IAAR,CAAP;UACD;QACF,CAPD,CADsB,EAQpBH,qBARoB,CAAxB;QAUA,OAAOF,CAAC,CACND,sBAAS,MAAK;UACZ,IAAII,IAAJ,EAAU;YACR,iCAAOL,IAAI,CAACW,YAAZ,EAAwBC,qBAAG7B,OAAH,CAAxB,EAAkCqB,qBAAlC;UACD,CAFD,MAEO;YACL,iCAAOQ,kCAAgBC,SAAhB,CAAP,EAAiCZ,oBAAjC,EAAiCG,qBAAjC;UACD;QACF,CAND,EAMCA,qBAND,CADM,EAOJA,qBAPI,CAAR;MASD,CArBM,CAAP;IAsBD,CAxBD;;IA0BA,mBAAcH,8CAAKN,UAAL,GAAyBY,IAAD,IAAUA,IAAI,CAAC3B,QAAvC,EAA+CwB,qBAA/C,CAAd;IAcA,cAASH,8CAAKN,UAAL,GAAyBY,IAAD,IAAUG,yBAAI,CAAC7B,MAAL,EAAgB,CAAC,CAACqB,CAAD,CAAD,KAASA,CAAzB,CAAlC,EAA6DE,sBAA7D,CAAT;IA8EA,mBAAyBU,oCAAKhB,YAAL,EACvB,uBAAS;MACPb,KAAK,EAAE,MAAM8B,sBAAKd,8BAAGZ,IAAH,EAAOe,sBAAP,CAAL,CADN;MAEPjB,OAAO,EAAE,CAAC;QAAEC;MAAF,CAAD,KAAe2B,sBAAKd,uDAAK,MAAcZ,IAAnB,CAAL,CAFjB;MAGPA,IAAI,EAAE,MAAM0B;IAHL,CAAT,CADuB,CAAzB;IAQQ,oBAA0BD,oCAAKhB,YAAL,EAChC,uBACE;MACEb,KAAK,EAAE,MACL8B,sBAAKd,8EAAKL,IAAL,CAAUoB,OAAV,CAAiBf,0BAACgB,sDAAa,CAAb,GAAcb,sBAAd,CAAD,EAA4Bc,uBAAc5B,OAAd,CAA5B,EAAkDc,sBAAlD,CAAjB,GAAoEA,sBAApE,GAAoEA,sBAApE,GAA4FjB,OAA5F,EAAmGiB,uBAAnG,CAAL;IAFJ,CADF,EAKE,MAAMW,0BALR,CADgC,CAA1B;EA/HP;;EA6BDI,MAAM,CAACvC,QAAD,EAAiB;IACrB,iCAAO,KAAKwC,WAAZ,EAA0B,KAAKC,GAAL,CAAUC,CAAD,IAAOA,CAAC,GAAG1C,QAApB,CAA1B,EAAuDwB,qBAAvD;EACD;;EAEDmB,OAAO,CAACC,IAAD,EAAW;IAChB,OAAO,KAAKC,OAAL,CAAaD,IAAI,CAACE,OAAL,EAAb,CAAP;EACD;;EAEDD,OAAO,CAACE,IAAD,EAAa;IAClB,iCAAO,KAAKP,WAAZ,EAA0B,KAAKC,GAAL,CAAUnB,CAAD,IAAOyB,IAAhB,CAA1B,EAA+CvB,qBAA/C;EACD;;EAImB,IAAhBwB,gBAAgB;IAClB,OAAO3B,+BAAmB4B,UAAD,IACvB5B,8BAAKJ,WAAL,CAAiBiC,GAAjB,CAAoBC,uBAApB,GAAqD7B,CAAD,IAClD8B,2BACG9B,CAAD,IAAOD,8BAAWgC,6BAAX,EAAgC7B,sBAAhC,CADT,EAEG8B,MAAD,IACEjC,mEAAWiC,MAAX,EAAoBC,GAAD,IAAQC,oBAACD,GAAD,CAA3B,EAAmC/B,sBAAnC,GACQF,CAAD,IAAOmC,8BAAWJ,6BAAX,EAA2D,CAACK,EAAD,EAAKC,EAAL,KAAYN,2BAASM,EAAT,CAAvE,CADd,EACkGnC,sBADlG,GAEQoC,GAAD,IAASP,6BAAYQ,CAAD,IAAO,CAACC,8BAAuBD,CAAC,CAACE,EAAzB,EAA6Bd,UAAU,CAACc,EAAxC,CAAnB,CAFhB,EAE+EvC,sBAF/E,CAHJ,CADF,EAOGA,sBAPH,CADK,EASJA,sBATI,CAAP;EAWD;;EAEiB,IAANwC,MAAM;IAChB,OAAO3C,8BAAK2B,gBAAL,EAA+BM,MAAD,IACnCjC,0BAAYiC,MAAZ,EAAoBW,8BAApB,EAAiE,CAACC,GAAD,EAAM1D,KAAN,KAC/Da,8BAAK,CAAC8C,MAAN,EAAsBA,MAAD,IAAW;MAC9B,QAAQA,MAAM,CAAC7D,IAAf;QACE,KAAK,MAAL;UAAa;YACX,OAAOe,8BAAW4C,2BAAQzD,KAAK,CAACuD,EAAd,EAAkBI,MAAlB,CAAX,EAAoC3C,sBAApC,CAAP;UACD;;QACD,KAAK,WAAL;UAAkB;YAChB,OAAOH,8BAAW4C,2BAAQzD,KAAK,CAACuD,EAAd,EAAkBI,MAAlB,CAAX,EAAoC3C,sBAApC,CAAP;UACD;;QACD;UAAS;YACP,OAAOH,2BAAQY,SAAR,EAAiBT,sBAAjB,CAAP;UACD;MATH;IAWD,CAZD,EAYCA,sBAZD,CADF,EAaIA,sBAbJ,CADK,EAeJA,sBAfI,CAAP;EAiBD;;EAEgB,IAAL4C,KAAK;IACf,OAAO,KAAKpD,IAAL,CAAUoB,OAAV,CAAkBC,2DAAa,CAAb,GAAcb,sBAAd,CAAlB,CAAP;EACD;;EAEyB,IAAd6C,cAAc;IACxB,yDAAOhD,4DAAKiD,SAAL,EAAcjD,0BACV,KAAKL,IAAL,CAAUoB,OAAV,CAAkBC,2DAAa,EAAb,GAAeb,sBAAf,CAAlB,CADU,EAC0C,KAAK8C,SAD/C,EACwD9C,sBADxD,CAAd,EACsEsC,6BADtE,GAC+FS,yBAD/F,EAE4B,MAAYtC,SAFxC,CAAP,EAEyDT,sBAFzD;EAGD;;EAEOiB,GAAG,CAACoB,CAAD,EAAgC;IACzC,OAAOxC,mDACL,KAAKgD,cADA,EAEL3C,6BAAKX,UAAL,EAAwBY,IAAD,IAAS;MAC9B,MAAMC,GAAG,GAAMiC,CAAC,CAAClC,IAAI,CAAC3B,QAAN,CAAhB;MACA,MAAMwE,MAAM,GAAG1C,8BAAI,CAAC7B,MAAL,EAAqB,CAAC,CAACwE,CAAD,CAAD,EAAM,CAACC,CAAD,CAAN,KAAcC,qBAAWC,OAAX,CAAmBH,CAAnB,EAAsBC,CAAtB,CAAnC,CAAf;MACA,OAAOG,oFACI,CAAC,CAAC7E,QAAD,EAAWG,OAAX,CAAD,KACPH,QAAQ,IAAI4B,GAAZ,GACIO,sBAAK,CAACA,sBAAK,CAACP,GAAD,EAAMzB,OAAN,CAAL,CAAD,EAAgC,IAAIL,IAAJ,CAASE,QAAT,EAAiB8E,4BAAEN,MAAF,CAAjB,CAAhC,CAAL,CADJ,GAEIrC,0BAJD,GAKJ,MACU,CAACA,0BAAD,EAAY,IAAIrC,IAAJ,CAAS8B,GAAT,EAAcD,IAAI,CAAC1B,MAAnB,CAAZ,CANN,CAAP;IAOD,CAVD,CAFK,EAYHuB,sBAZG,GAaIF,CAAD,IACRyD,2BACE,MAAK1D,oBADP,EAEE,CAAC,CAACO,GAAD,EAAMzB,OAAN,CAAD,KAAmBkB,oDAACW,kCAAgBC,SAAhB,CAAD,EAA2BZ,wBAA3B,EAA2BG,sBAA3B,GAA4C,KAAKiB,GAAL,CAAS,MAAMb,GAAf,CAA5C,EAA+DJ,sBAA/D,CAFrB,CAdK,EAiBJA,sBAjBI,CAAP;EAmBD;;EAEoB,IAAT8C,SAAS;IACnB,OAAOjD,mDAAK2C,MAAL,EAAW3C,0BAAK,KAAK+C,KAAV,EAAkB,KAAKJ,MAAvB,EAA6BxC,sBAA7B,CAAX,GAAkD,CAAC,CAACwD,KAAD,EAAQC,IAAR,CAAD,KAAkB;MACzE,IAAInB,8BAAuBkB,KAAvB,EAA8BC,IAA9B,CAAJ,EAAyC;QACvC,OAAO5D,2BAAc2D,KAAd,EAAmBxD,sBAAnB,CAAP;MACD,CAFD,MAEO;QACL,OAAOH,wBAAWY,SAAX,EAAoBT,sBAApB,CAAP;MACD;IACF,CANM,EAMNA,sBANM,CAAP;EAOD;;AA7HiC","names":["Data","constructor","duration","sleeps","Sleep","promise","fiberId","Start","_tag","Pending","fiber","Done","warning","TestClockTag","tsplus_module_1","TestClock","tsplus_module_2","clockState","live","annotations","warningState","ms","self","tsplus_module_7","_","tsplus_module_3","fileName_1","wait","tsplus_module_5","data","end","milliseconds","tsplus_module_4","warningStart","tsplus_module_6","undefined","tsplus_module_24","tsplus_module_20","provide","tsplus_module_16","tsplus_module_25","adjust","warningDone","run","d","setDate","date","setTime","getTime","time","supervizedFibers","descriptor","get","tsplus_module_13","tsplus_module_12","tsplus_module_9","fibers","ref","tsplus_module_8","tsplus_module_11","s0","s1","set","f","tsplus_module_10","id","freeze","tsplus_module_14","map","status","delay","awaitSuspended","suspended","tsplus_module_17","sorted","x","y","tsplus_module_19","compare","tsplus_module_22","tsplus_module_21","tsplus_module_18","first","last"],"sourceRoot":"","sources":["../../../_src/control/TestClock/definition.ts"],"sourcesContent":[null]}
@@ -5,13 +5,13 @@ Object.defineProperty(exports, "__esModule", {
5
5
  });
6
6
  exports.defaultTestExecutor = defaultTestExecutor;
7
7
 
8
- var tsplus_module_1 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/io/IO/api/scoped"));
8
+ var tsplus_module_1 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/io/IO/api"));
9
9
 
10
- var tsplus_module_2 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/io/IO/api"));
10
+ var tsplus_module_2 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/test/data/ExecutedSpec/api"));
11
11
 
12
- var tsplus_module_3 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/test/data/ExecutedSpec/api"));
12
+ var tsplus_module_3 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/test/control/Spec/api"));
13
13
 
14
- var tsplus_module_4 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/test/control/Spec/api"));
14
+ var tsplus_module_4 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/io/IO/api/scoped"));
15
15
 
16
16
  var tsplus_module_5 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/base/data/Either/constructors"));
17
17
 
@@ -33,24 +33,24 @@ const fileName_1 = "(@fncts/test) src/control/TestExecutor.ts";
33
33
 
34
34
  function defaultTestExecutor(env) {
35
35
  return {
36
- run: (spec, defExec) => tsplus_module_2.flatMap_(tsplus_module_1.scoped_(tsplus_module_4.foreachExec_(tsplus_module_4.provideLayer_(tsplus_module_4.annotated(spec), env), cause => tsplus_module_7.match_(tsplus_module_6.failureOrCause(cause), ([failure, annotations]) => tsplus_module_2.succeedNow([tsplus_module_5.left(failure), annotations], fileName_1 + ":28:56"), cause => tsplus_module_2.succeedNow([tsplus_module_5.left(new _TestFailure.RuntimeFailure(cause)), _TestAnnotationMap.TestAnnotationMap.empty], fileName_1 + ":29:39")), ([success, annotations]) => tsplus_module_2.succeedNow([tsplus_module_5.right(success), annotations], fileName_1 + ":32:26"), defExec)), s => tsplus_module_1.scoped_(tsplus_module_4.foldScoped_(s, spec => (0, _pattern.matchTag_)(spec, {
36
+ run: (spec, defExec) => tsplus_module_1.flatMap_(tsplus_module_4.scoped_(tsplus_module_3.foreachExec_(tsplus_module_3.provideLayer_(tsplus_module_3.annotated(spec), env), cause => tsplus_module_7.match_(tsplus_module_6.failureOrCause(cause), ([failure, annotations]) => tsplus_module_1.succeedNow([tsplus_module_5.left(failure), annotations], fileName_1 + ":28:56"), cause => tsplus_module_1.succeedNow([tsplus_module_5.left(new _TestFailure.RuntimeFailure(cause)), _TestAnnotationMap.TestAnnotationMap.empty], fileName_1 + ":29:39")), ([success, annotations]) => tsplus_module_1.succeedNow([tsplus_module_5.right(success), annotations], fileName_1 + ":32:26"), defExec)), s => tsplus_module_4.scoped_(tsplus_module_3.foldScoped_(s, spec => (0, _pattern.matchTag_)(spec, {
37
37
  Exec: ({
38
38
  spec
39
- }) => tsplus_module_2.succeedNow(spec, fileName_1 + ":40:52"),
39
+ }) => tsplus_module_1.succeedNow(spec, fileName_1 + ":40:52"),
40
40
  Labeled: ({
41
41
  label,
42
42
  spec
43
- }) => tsplus_module_2.succeedNow(tsplus_module_3.labeled(spec, label), fileName_1 + ":41:62"),
43
+ }) => tsplus_module_1.succeedNow(tsplus_module_2.labeled(spec, label), fileName_1 + ":41:62"),
44
44
  Scoped: ({
45
45
  scoped
46
46
  }) => scoped,
47
47
  Multiple: ({
48
48
  specs
49
- }) => tsplus_module_2.succeedNow(tsplus_module_3.multiple(specs), fileName_1 + ":43:57"),
49
+ }) => tsplus_module_1.succeedNow(tsplus_module_2.multiple(specs), fileName_1 + ":43:57"),
50
50
  Test: ({
51
51
  test,
52
52
  annotations
53
- }) => tsplus_module_2.map_(test, ([result, dynamicAnnotations]) => tsplus_module_3.test(result, annotations.combine(dynamicAnnotations)), fileName_1 + ":45:29")
53
+ }) => tsplus_module_1.map_(test, ([result, dynamicAnnotations]) => tsplus_module_2.test(result, annotations.combine(dynamicAnnotations)), fileName_1 + ":45:29")
54
54
  }), defExec)), fileName_1 + ":35:24"),
55
55
  environment: env
56
56
  };
@@ -1 +1 @@
1
- {"version":3,"file":"TestExecutor.cjs","mappings":";;;;;;;;;;;;;;;;;;;;;AAMA;;AAGA;;AACA;;;;;;;;AAOM,SAAUA,mBAAV,CACJC,GADI,EAC4C;EAEhD,OAAO;IACLC,GAAG,EAAE,CAAIC,IAAJ,EAAyCC,OAAzC,KACHC,6IACgBJ,GADhB,GAGKK,KAAD,IACEC,8DACE,CAAC,CAACC,OAAD,EAAUC,WAAV,CAAD,KAA4BJ,2BAAc,CAACK,qBAAYF,OAAZ,CAAD,EAAuBC,WAAvB,CAAd,EAAiDE,qBAAjD,CAD9B,EAEGL,KAAD,IAAWD,2BAAc,CAACK,qBAAY,IAAIE,2BAAJ,CAAmBN,KAAnB,CAAZ,CAAD,EAAyCO,qCAAkBC,KAA3D,CAAd,EAA+EH,qBAA/E,CAFb,CAJN,EAQI,CAAC,CAACI,OAAD,EAAUN,WAAV,CAAD,KACEJ,2BAAc,CAACK,sBAAaK,OAAb,CAAD,EAAwBN,WAAxB,CAAd,EAAkDE,qBAAlD,CATN,EAUIP,OAVJ,IAaKY,CAAD,IAAMC,wBACJC,+BACGf,IAAD,IACE,wBAAUA,IAAV,EAAgB;MACdgB,IAAI,EAAE,CAAC;QAAEhB;MAAF,CAAD,KAAcE,2BAAcF,IAAd,EAAkBQ,qBAAlB,CADN;MAEdS,OAAO,EAAE,CAAC;QAAEC,KAAF;QAASlB;MAAT,CAAD,KAAqBE,2BAAciB,wBAAqBnB,IAArB,EAA2BkB,KAA3B,CAAd,EAA+CV,qBAA/C,CAFhB;MAGdY,MAAM,EAAE,CAAC;QAAEC;MAAF,CAAD,KAAgBA,MAHV;MAIdC,QAAQ,EAAE,CAAC;QAAEC;MAAF,CAAD,KAAerB,2BAAciB,yBAAsBI,KAAtB,CAAd,EAA0Cf,qBAA1C,CAJX;MAKdgB,IAAI,EAAE,CAAC;QAAEC,IAAF;QAAQnB;MAAR,CAAD,KACJJ,2BAAS,CAAC,CAACwB,MAAD,EAASC,kBAAT,CAAD,KACPR,qBAAkBO,MAAlB,EAA0BpB,WAAW,CAACsB,OAAZ,CAAoBD,kBAApB,CAA1B,CADF,EACoEnB,qBADpE;IANY,CAAhB,CAFJ,EAYEP,OAZF,CADI,CAbV,EA2BcO,qBA3Bd,CAFG;IA+BLqB,WAAW,EAAE/B;EA/BR,CAAP;AAiCD","names":["defaultTestExecutor","env","run","spec","defExec","tsplus_module_2","cause","tsplus_module_7","failure","annotations","tsplus_module_5","fileName_1","RuntimeFailure","TestAnnotationMap","empty","success","s","tsplus_module_1","tsplus_module_4","Exec","Labeled","label","tsplus_module_3","Scoped","scoped","Multiple","specs","Test","test","result","dynamicAnnotations","combine","environment"],"sourceRoot":"","sources":["../../_src/control/TestExecutor.ts"],"sourcesContent":[null]}
1
+ {"version":3,"file":"TestExecutor.cjs","mappings":";;;;;;;;;;;;;;;;;;;;;AAMA;;AAGA;;AACA;;;;;;;;AAOM,SAAUA,mBAAV,CACJC,GADI,EAC4C;EAEhD,OAAO;IACLC,GAAG,EAAE,CAAIC,IAAJ,EAAyCC,OAAzC,KACHC,6IACgBJ,GADhB,GAGKK,KAAD,IACEC,8DACE,CAAC,CAACC,OAAD,EAAUC,WAAV,CAAD,KAA4BJ,2BAAc,CAACK,qBAAYF,OAAZ,CAAD,EAAuBC,WAAvB,CAAd,EAAiDE,qBAAjD,CAD9B,EAEGL,KAAD,IAAWD,2BAAc,CAACK,qBAAY,IAAIE,2BAAJ,CAAmBN,KAAnB,CAAZ,CAAD,EAAyCO,qCAAkBC,KAA3D,CAAd,EAA+EH,qBAA/E,CAFb,CAJN,EAQI,CAAC,CAACI,OAAD,EAAUN,WAAV,CAAD,KACEJ,2BAAc,CAACK,sBAAaK,OAAb,CAAD,EAAwBN,WAAxB,CAAd,EAAkDE,qBAAlD,CATN,EAUIP,OAVJ,IAaKY,CAAD,IAAMC,wBACJC,+BACGf,IAAD,IACE,wBAAUA,IAAV,EAAgB;MACdgB,IAAI,EAAE,CAAC;QAAEhB;MAAF,CAAD,KAAcE,2BAAcF,IAAd,EAAkBQ,qBAAlB,CADN;MAEdS,OAAO,EAAE,CAAC;QAAEC,KAAF;QAASlB;MAAT,CAAD,KAAqBE,2BAAciB,wBAAqBnB,IAArB,EAA2BkB,KAA3B,CAAd,EAA+CV,qBAA/C,CAFhB;MAGdY,MAAM,EAAE,CAAC;QAAEC;MAAF,CAAD,KAAgBA,MAHV;MAIdC,QAAQ,EAAE,CAAC;QAAEC;MAAF,CAAD,KAAerB,2BAAciB,yBAAsBI,KAAtB,CAAd,EAA0Cf,qBAA1C,CAJX;MAKdgB,IAAI,EAAE,CAAC;QAAEC,IAAF;QAAQnB;MAAR,CAAD,KACJJ,2BAAS,CAAC,CAACwB,MAAD,EAASC,kBAAT,CAAD,KACPR,qBAAkBO,MAAlB,EAA0BpB,WAAW,CAACsB,OAAZ,CAAoBD,kBAApB,CAA1B,CADF,EACoEnB,qBADpE;IANY,CAAhB,CAFJ,EAYEP,OAZF,CADI,CAbV,EA2BcO,qBA3Bd,CAFG;IA+BLqB,WAAW,EAAE/B;EA/BR,CAAP;AAiCD","names":["defaultTestExecutor","env","run","spec","defExec","tsplus_module_1","cause","tsplus_module_7","failure","annotations","tsplus_module_5","fileName_1","RuntimeFailure","TestAnnotationMap","empty","success","s","tsplus_module_4","tsplus_module_3","Exec","Labeled","label","tsplus_module_2","Scoped","scoped","Multiple","specs","Test","test","result","dynamicAnnotations","combine","environment"],"sourceRoot":"","sources":["../../_src/control/TestExecutor.ts"],"sourcesContent":[null]}
@@ -6,12 +6,13 @@ Object.defineProperty(exports, "__esModule", {
6
6
  exports.and_ = void 0;
7
7
  exports.failure = failure;
8
8
  exports.failures = failures;
9
- exports.flatMap_ = flatMap_;
10
- exports.fold_ = exports.foldEval_ = void 0;
9
+ exports.fold_ = exports.foldEval_ = exports.flatMap_ = void 0;
11
10
  exports.iff_ = iff_;
12
11
  exports.implies_ = void 0;
13
12
  exports.isFailure = isFailure;
14
- exports.success = exports.or_ = exports.not = exports.isSuccess = void 0;
13
+ exports.isSuccess = void 0;
14
+ exports.map_ = map_;
15
+ exports.success = exports.or_ = exports.not = void 0;
15
16
 
16
17
  var tsplus_module_1 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/base/data/Maybe/constructors"));
17
18
 
@@ -35,6 +36,8 @@ function _interopRequireWildcard(obj, nodeInterop) { if (!nodeInterop && obj &&
35
36
 
36
37
  const and_ = and_1;
37
38
  exports.and_ = and_;
39
+ const flatMap_ = flatMap_1;
40
+ exports.flatMap_ = flatMap_;
38
41
  const foldEval_ = foldEval_1;
39
42
  exports.foldEval_ = foldEval_;
40
43
  const fold_ = fold_1;
@@ -62,7 +65,7 @@ function and_1(left, right) {
62
65
  */
63
66
 
64
67
 
65
- function flatMap_(self, f) {
68
+ function flatMap_1(self, f) {
66
69
  return fold_1(self, {
67
70
  Value: f,
68
71
  And: (l, r) => and_1(l, r),
@@ -70,6 +73,14 @@ function flatMap_(self, f) {
70
73
  Not: v => not_1(v)
71
74
  });
72
75
  }
76
+ /**
77
+ * @tsplus fluent fncts.test.FreeBooleanAlgebra map
78
+ */
79
+
80
+
81
+ function map_(self, f) {
82
+ return flatMap_1(self, a => success_1(f(a)));
83
+ }
73
84
  /**
74
85
  * @tsplus static fncts.test.FreeBooleanAlgebraOps failure
75
86
  */
@@ -1 +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]}
1
+ {"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 CHANGED
@@ -8,9 +8,18 @@ import * as tsplus_module_6 from "@fncts/io/IO/api";
8
8
  import * as tsplus_module_7 from "@fncts/base/collection/immutable/Conc/constructors";
9
9
  import * as tsplus_module_8 from "@fncts/test/control/Spec/api";
10
10
  import * as tsplus_module_9 from "@fncts/test/control/Test";
11
+ import * as tsplus_module_10 from "@fncts/io/Stream/api";
12
+ import * as tsplus_module_11 from "@fncts/test/data/TestConfig";
13
+ import * as tsplus_module_12 from "@fncts/base/data/Either/destructors";
14
+ import * as tsplus_module_13 from "@fncts/test/control/Sample/api";
15
+ import * as tsplus_module_14 from "@fncts/test/control/Assertion/api";
16
+ import * as tsplus_module_15 from "@fncts/base/collection/immutable/Conc/api";
17
+ import * as tsplus_module_16 from "@fncts/base/data/Maybe/destructors";
18
+ import { identity } from "@fncts/base/data/function";
11
19
  import { FailureDetailsResult } from "./data/AssertionResult.mjs";
12
20
  import { AssertionValue } from "./data/AssertionValue.mjs";
13
21
  import { FailureDetails } from "./data/FailureDetails.mjs";
22
+ import { GenFailureDetails } from "./data/GenFailureDetails.mjs";
14
23
  import { TestAnnotationMap } from "./data/TestAnnotationMap.mjs";
15
24
 
16
25
  function traverseResultLoop(whole, failureDetails) {
@@ -40,8 +49,8 @@ export function assert_(value, assertion) {
40
49
 
41
50
  export function assertIO_(io, assertion) {
42
51
  return tsplus_module_6.gen(function* (_) {
43
- const value = yield* _(io, fileName_1 + ":57:34");
44
- const assertResult = yield* _(assertion.runIO(value), fileName_1 + ":58:34");
52
+ const value = yield* _(io, fileName_1 + ":64:34");
53
+ const assertResult = yield* _(assertion.runIO(value), fileName_1 + ":65:34");
45
54
  return traverseResult(value, assertResult, assertion);
46
55
  });
47
56
  }
@@ -52,6 +61,46 @@ export function testIO(label, assertion) {
52
61
  return tsplus_module_8.labeledCase(tsplus_module_8.testCase(tsplus_module_9.fromAssertion(assertion), TestAnnotationMap.empty), label);
53
62
  }
54
63
  export function test(label, assertion) {
55
- return testIO(label, () => tsplus_module_6.succeed(assertion, fileName_1 + ":75:34"));
64
+ return testIO(label, () => tsplus_module_6.succeed(assertion, fileName_1 + ":82:34"));
65
+ }
66
+ /**
67
+ * @tsplus fluent fncts.test.Gen check
68
+ */
69
+
70
+ export function check(rv, test) {
71
+ 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");
72
+ }
73
+ /**
74
+ * @tsplus fluent fncts.test.Gen check
75
+ */
76
+
77
+ export function checkIO(rv, test) {
78
+ 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");
79
+ }
80
+ /**
81
+ * @tsplus fluent fncts.test.Gen checkAllC
82
+ */
83
+
84
+ export function checkAllC(rv, concurrency, test) {
85
+ 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"));
86
+ }
87
+ /**
88
+ * @tsplus fluent fncts.test.Gen checkAllC
89
+ */
90
+
91
+ export function checkAllIOC(rv, concurrency, test) {
92
+ return checkStreamC(tsplus_module_10.filterMap_(tsplus_module_10.forever(rv.sample), identity), concurrency, test);
93
+ }
94
+
95
+ function checkStreamC(stream, concurrency, test) {
96
+ 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"), fileName_1 + ":146:18")), 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");
97
+ }
98
+
99
+ function checkStream(stream, test) {
100
+ 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"), fileName_1 + ":178:14"))), shrinks), fileName_1 + ":165:36");
101
+ }
102
+
103
+ function shrinkStream(stream, maxShrinks, __tsPlusTrace) {
104
+ 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");
56
105
  }
57
106
  //# sourceMappingURL=api.mjs.map
package/_mjs/api.mjs.map CHANGED
@@ -1 +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]}
1
+ {"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,EASPA,sBATO,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,EASPA,sBATO,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]}
@@ -173,4 +173,6 @@ export function succeeds(assertion) {
173
173
  function test_1(self, actual) {
174
174
  return tsplus_module_3.isSuccess(self.run(actual));
175
175
  }
176
+
177
+ export const completes = /*#__PURE__*/assertion_1("completes", [], () => true);
176
178
  //# sourceMappingURL=api.mjs.map
@@ -1 +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]}
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;;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]}
@@ -34,7 +34,7 @@ export function perTest(f) {
34
34
  }, tsplus_module_1.identity));
35
35
  }
36
36
  export function after(effect) {
37
- return perTest(test => tsplus_module_3.flatMap_(tsplus_module_3.zipWith_(tsplus_module_3.result(test), tsplus_module_3.result(tsplus_module_3.catchAllCause_(effect, cause => tsplus_module_3.fail(() => new RuntimeFailure(cause), fileName_1 + ":37:55"), fileName_1 + ":37:36")), (ex0, ex1) => tsplus_module_4.apFirst_(ex0, ex1)), tsplus_module_3.fromExitNow, fileName_1 + ":40:15"));
37
+ return perTest(test => tsplus_module_3.flatMap_(tsplus_module_3.zipWith_(tsplus_module_3.result(test, fileName_1 + ":36:9"), tsplus_module_3.result(tsplus_module_3.catchAllCause_(effect, cause => tsplus_module_3.fail(() => new RuntimeFailure(cause), fileName_1 + ":37:55"), fileName_1 + ":37:36"), fileName_1 + ":37:83"), (ex0, ex1) => tsplus_module_4.apFirst_(ex0, ex1)), tsplus_module_3.fromExitNow, fileName_1 + ":40:15"));
38
38
  }
39
39
  export function around(before, after) {
40
40
  return perTest(test => tsplus_module_5.bracket_(() => tsplus_module_3.catchAllCause_(before, c => tsplus_module_3.fail(() => new RuntimeFailure(c), fileName_1 + ":46:40"), fileName_1 + ":46:25"), () => test, after));
@@ -48,7 +48,7 @@ export function before(effect) {
48
48
  export function beforeAll(effect) {
49
49
  return aroundAll(effect, () => tsplus_module_3.unit);
50
50
  }
51
- export const eventually = /*#__PURE__*/perTest(test => tsplus_module_3.eventually(test));
51
+ export const eventually = /*#__PURE__*/perTest(test => tsplus_module_3.eventually(test, fileName_1 + ":70:49"));
52
52
  export function repeat(schedule) {
53
53
  return perTest(test => tsplus_module_10.environmentWithIO(r => tsplus_module_12.repeat_(tsplus_module_10.provideEnvironment_(test, r, fileName_1 + ":79:30"))(() => tsplus_module_11.zipRight_(schedule, tsplus_module_11.tapOutput_(tsplus_module_11.identity(), _ => tsplus_module_10.provideEnvironment_(tsplus_module_9.annotate(tsplus_module_8.Repeated, 1), r, fileName_1 + ":83:84"))), fileName_1 + ":80:18"), fileName_1 + ":77:27"));
54
54
  }
@@ -1 +1 @@
1
- {"version":3,"file":"api.mjs","mappings":";;;;;;;;;;;;;;;;;;;;;AAGA,SAASA,QAAT,EAAmBC,SAAnB,QAAoC,0BAApC;AAGA,SAASC,IAAT,QAAqB,0BAArB;AACA,SAAeC,QAAf,QAA+B,0BAA/B;AAEA,SAASC,cAAT,QAA4C,8BAA5C;AAMA,OAAO,MAAMC,EAAE,2BAAR;AAEP,OAAO,MAAMC,MAAM,GAA0CC,IAAD,IAAUC,4BAAI,MAAM,KAAV,CAA/D;AAEP,OAAM,SAAUC,OAAV,CACJC,CADI,EACmG;EAEvG,OAAQH,IAAD,IACLC,iCACER,QAAQ,CACN;IACEW,IAAI,EAAE,CAAC;MAAEC,IAAF;MAAQC;IAAR,CAAD,KAA2B,IAAIV,QAAJ,CAAaO,CAAC,CAACE,IAAD,CAAd,EAAsBC,WAAtB;EADnC,CADM,EAGLC,wBAHK,CADV,CADF;AASD;AAED,OAAM,SAAUC,KAAV,CAAyBC,MAAzB,EAA4C;EAChD,OAAOP,OAAO,CAAQG,IAAD,IACnBK,gFAAIA,uBACOA,uCAAsBC,KAAD,IAAWD,2BAAQ,IAAIb,cAAJ,CAAmBc,KAAnB,CAAR,EAAiCC,qBAAjC,CAAhC,EAAkEA,qBAAlE,CADP,CAAJ,EACuF,CAACC,GAAD,EAAMC,GAAN,KACnFC,8BAAYD,GAAZ,CAFJ,GAGGJ,2BAHH,EAGGE,qBAHH,CADY,CAAd;AAOD;AAED,OAAM,SAAUI,MAAV,CAA8BC,MAA9B,EAAmDT,KAAnD,EAAsF;EAC1F,OAAON,OAAO,CAAaG,IAAD,IACxBa,sEAAsBC,CAAD,IAAOT,2BAAQ,IAAIb,cAAJ,CAAmBsB,CAAnB,CAAR,EAA6BP,qBAA7B,CAA5B,EAA0DA,qBAA1D,GAAoE,MAAMP,IAA1E,EAAgFG,KAAhF,CADY,CAAd;AAGD;AAED,OAAM,SAAUY,SAAV,CACJH,MADI,EAEJT,KAFI,EAE+B;EAEnC,OAAgBR,IAAT,IACLC,uBACES,mFAAkBO,MAAlB,EAA0BT,KAA1B,GACaa,CAAD,IAAOC,qBAAiBD,CAAjB,CADnB,EACsCT,qBADtC,GACuC,MACjCZ,IAFN,CADF,CADF;AAMD;AAED,OAAM,SAAUiB,MAAV,CAAqBR,MAArB,EAA+C;EACnD,OAAOP,OAAO,CAAaG,IAAD,IAAUK,kCAAgBL,IAAhB,EAAoBO,qBAApB,CAAtB,CAAd;AACD;AAED,OAAM,SAAUW,SAAV,CAA4Bd,MAA5B,EAAmD;EACvD,OAAOW,SAAS,CAACX,MAAD,EAAS,MAAKC,oBAAd,CAAhB;AACD;AAED,OAAO,MAAMc,UAAU,gBAAGtB,OAAO,CAAEG,IAAD,IAASK,2BAACL,IAAD,CAAV,CAA1B;AAEP,OAAM,SAAUoB,MAAV,CAAqBC,QAArB,EAA6D;EACjE,OAAOxB,OAAO,CAEVG,IADF,IAGEsB,mCAAsBC,CAAD,IACnBC,oEACsBD,CADtB,EACuBhB,qBADvB,GACwB,MAEpBkB,qCACEA,yDAA4CC,CAAD,IACzCJ,wFAA8C,CAA9C,GAAoEC,CAApE,EAAqEhB,qBAArE,CADF,CADF,CAHJ,EAOKA,qBAPL,CADF,EASKA,qBATL,CAJU,CAAd;AAgBD;AAED,OAAM,SAAUoB,cAAV,CAAyBC,QAAzB,EAA2C;EAC/C,OAAgBjC,IAAT,IAA+B;IACpC,MAAMkC,IAAI,GAAG,CAACC,MAAD,EAAyBnC,IAAzB,KACXN,SAAS,CAACM,IAAI,CAACoC,SAAN,EAAiB;MACxBC,IAAI,EAAE,CAAC;QAAEC,IAAF;QAAQtC;MAAR,CAAD,KAAoBC,qBAAUiC,IAAI,CAACC,MAAD,EAASnC,IAAT,CAAd,EAA8BsC,IAA9B,CADF;MAExBC,OAAO,EAAE,CAAC;QAAEC,KAAF;QAASxC;MAAT,CAAD,KAAqBC,4BAAaiC,IAAI,CAACO,iCAAcD,KAAd,CAAD,EAAuBxC,IAAvB,CAAjB,EAA+CwC,KAA/C,CAFN;MAGxBE,MAAM,EAAE,CAAC;QAAEC;MAAF,CAAD,KAAgB1C,uBAAYS,6BAAYV,IAAD,IAAUkC,IAAI,CAACC,MAAD,EAASnC,IAAT,CAAzB,EAAuCY,qBAAvC,CAAZ,CAHA;MAIxBgC,QAAQ,EAAE,CAAC;QAAEC;MAAF,CAAD,KAAe5C,6BAAc6C,6BAAW9C,IAAD,IAAUkC,IAAI,CAACC,MAAD,EAASnC,IAAT,CAAxB,CAAd,CAJD;MAKxBI,IAAI,EAAE,CAAC;QAAEC,IAAF;QAAQC;MAAR,CAAD,KAA2BL,yBAAU8C,IAAI,CAACZ,MAAD,EAAS9B,IAAT,EAAe4B,QAAf,CAAd,EAAwC3B,WAAxC;IALT,CAAjB,CADX;;IASA,OAAO4B,IAAI,CAACO,yBAAD,EAAWzC,IAAX,CAAX;EACD,CAXD;AAYD;;AAED,SAAS+C,IAAT,CAAoBZ,MAApB,EAA4C9B,IAA5C,EAAsF4B,QAAtF,EAAwG;EACtG,OAAOe,iCAAI,MACTC,2BAAcC,WAAW,CAACf,MAAD,EAASF,QAAT,CAAzB,EAA8CkB,EAAD,IAAOzC,0BAAC0C,6BAAYnB,QAAZ,EAAoBrB,sBAApB,CAAD,EAAyBuC,EAAzB,EAA2BvC,sBAA3B,CAApD,CADK,EAEL,CAACyC,MAAD,EAASC,KAAT,KAAkB5C,qDAAC4C,KAAD,GAAmB5C,4BAAe2C,MAAf,EAAqBzC,sBAArB,CAAnB,EAAyCA,sBAAzC,CAFb,EAGL,CAACmB,CAAD,EAAIuB,KAAJ,KAAaC,sBAACD,KAAD,CAHR,EAGmB1C,sBAHnB,CAAP;AAKD;;AAED,SAASsC,WAAT,CAAqBf,MAArB,EAA6CF,QAA7C,EAA+D;EAC7D,OAAOtC,IAAI,CAACA,IAAL,CAAU6D,uBAAcC,aAAa,CAACtB,MAAD,EAASF,QAAT,CAA3B,CAAV,CAAP;AACD;;AAED,SAASwB,aAAT,CAAuBtB,MAAvB,EAA+CF,QAA/C,EAAiE;EAC/D,OAAO,QAAQQ,+BACb,KADa,CAEd,wBAAwBR,QAAQ,CAACyB,YAAY,sIAF9C;AAGD","names":["matchTag","matchTag_","Live","TestCase","RuntimeFailure","id","ignore","spec","tsplus_module_2","perTest","f","Test","test","annotations","tsplus_module_1","after","effect","tsplus_module_3","cause","fileName_1","ex0","ex1","tsplus_module_4","around","before","tsplus_module_5","c","aroundAll","e","tsplus_module_6","beforeAll","eventually","repeat","schedule","tsplus_module_10","r","tsplus_module_12","tsplus_module_11","_","timeoutWarning","duration","loop","labels","caseValue","Exec","exec","Labeled","label","tsplus_module_13","Scoped","scoped","Multiple","specs","tsplus_module_14","warn","tsplus_module_19","tsplus_module_16","showWarning","io","tsplus_module_15","result","fiber","tsplus_module_18","tsplus_module_20","renderWarning","milliseconds"],"sourceRoot":"","sources":["../../../_src/control/TestAspect/api.ts"],"sourcesContent":[null]}
1
+ {"version":3,"file":"api.mjs","mappings":";;;;;;;;;;;;;;;;;;;;;AAGA,SAASA,QAAT,EAAmBC,SAAnB,QAAoC,0BAApC;AAGA,SAASC,IAAT,QAAqB,0BAArB;AACA,SAAeC,QAAf,QAA+B,0BAA/B;AAEA,SAASC,cAAT,QAA4C,8BAA5C;AAMA,OAAO,MAAMC,EAAE,2BAAR;AAEP,OAAO,MAAMC,MAAM,GAA0CC,IAAD,IAAUC,4BAAI,MAAM,KAAV,CAA/D;AAEP,OAAM,SAAUC,OAAV,CACJC,CADI,EACmG;EAEvG,OAAQH,IAAD,IACLC,iCACER,QAAQ,CACN;IACEW,IAAI,EAAE,CAAC;MAAEC,IAAF;MAAQC;IAAR,CAAD,KAA2B,IAAIV,QAAJ,CAAaO,CAAC,CAACE,IAAD,CAAd,EAAsBC,WAAtB;EADnC,CADM,EAGLC,wBAHK,CADV,CADF;AASD;AAED,OAAM,SAAUC,KAAV,CAAyBC,MAAzB,EAA4C;EAChD,OAAOP,OAAO,CAAQG,IAAD,IACnBK,+EAAIC,oBAAJ,GAAID,uBACOA,uCAAsBE,KAAD,IAAWF,2BAAQ,IAAIb,cAAJ,CAAmBe,KAAnB,CAAR,EAAiCD,qBAAjC,CAAhC,EAAkEA,qBAAlE,CADP,EAC0EA,qBAD1E,CAAJ,EACuF,CAACE,GAAD,EAAMC,GAAN,KACnFC,8BAAYD,GAAZ,CAFJ,GAGGJ,2BAHH,EAGGC,qBAHH,CADY,CAAd;AAOD;AAED,OAAM,SAAUK,MAAV,CAA8BC,MAA9B,EAAmDT,KAAnD,EAAsF;EAC1F,OAAON,OAAO,CAAaG,IAAD,IACxBa,sEAAsBC,CAAD,IAAOT,2BAAQ,IAAIb,cAAJ,CAAmBsB,CAAnB,CAAR,EAA6BR,qBAA7B,CAA5B,EAA0DA,qBAA1D,GAAoE,MAAMN,IAA1E,EAAgFG,KAAhF,CADY,CAAd;AAGD;AAED,OAAM,SAAUY,SAAV,CACJH,MADI,EAEJT,KAFI,EAE+B;EAEnC,OAAgBR,IAAT,IACLC,uBACES,mFAAkBO,MAAlB,EAA0BT,KAA1B,GACaa,CAAD,IAAOC,qBAAiBD,CAAjB,CADnB,EACsCV,qBADtC,GACuC,MACjCX,IAFN,CADF,CADF;AAMD;AAED,OAAM,SAAUiB,MAAV,CAAqBR,MAArB,EAA+C;EACnD,OAAOP,OAAO,CAAaG,IAAD,IAAUK,kCAAgBL,IAAhB,EAAoBM,qBAApB,CAAtB,CAAd;AACD;AAED,OAAM,SAAUY,SAAV,CAA4Bd,MAA5B,EAAmD;EACvD,OAAOW,SAAS,CAACX,MAAD,EAAS,MAAKC,oBAAd,CAAhB;AACD;AAED,OAAO,MAAMc,UAAU,gBAAGtB,OAAO,CAAEG,IAAD,IAASK,2BAACL,IAAD,EAAKM,qBAAL,CAAV,CAA1B;AAEP,OAAM,SAAUc,MAAV,CAAqBC,QAArB,EAA6D;EACjE,OAAOxB,OAAO,CAEVG,IADF,IAGEsB,mCAAsBC,CAAD,IACnBC,oEACsBD,CADtB,EACuBjB,qBADvB,GACwB,MAEpBmB,qCACEA,yDAA4CC,CAAD,IACzCJ,wFAA8C,CAA9C,GAAoEC,CAApE,EAAqEjB,qBAArE,CADF,CADF,CAHJ,EAOKA,qBAPL,CADF,EASKA,qBATL,CAJU,CAAd;AAgBD;AAED,OAAM,SAAUqB,cAAV,CAAyBC,QAAzB,EAA2C;EAC/C,OAAgBjC,IAAT,IAA+B;IACpC,MAAMkC,IAAI,GAAG,CAACC,MAAD,EAAyBnC,IAAzB,KACXN,SAAS,CAACM,IAAI,CAACoC,SAAN,EAAiB;MACxBC,IAAI,EAAE,CAAC;QAAEC,IAAF;QAAQtC;MAAR,CAAD,KAAoBC,qBAAUiC,IAAI,CAACC,MAAD,EAASnC,IAAT,CAAd,EAA8BsC,IAA9B,CADF;MAExBC,OAAO,EAAE,CAAC;QAAEC,KAAF;QAASxC;MAAT,CAAD,KAAqBC,4BAAaiC,IAAI,CAACO,iCAAcD,KAAd,CAAD,EAAuBxC,IAAvB,CAAjB,EAA+CwC,KAA/C,CAFN;MAGxBE,MAAM,EAAE,CAAC;QAAEC;MAAF,CAAD,KAAgB1C,uBAAYS,6BAAYV,IAAD,IAAUkC,IAAI,CAACC,MAAD,EAASnC,IAAT,CAAzB,EAAuCW,qBAAvC,CAAZ,CAHA;MAIxBiC,QAAQ,EAAE,CAAC;QAAEC;MAAF,CAAD,KAAe5C,6BAAc6C,6BAAW9C,IAAD,IAAUkC,IAAI,CAACC,MAAD,EAASnC,IAAT,CAAxB,CAAd,CAJD;MAKxBI,IAAI,EAAE,CAAC;QAAEC,IAAF;QAAQC;MAAR,CAAD,KAA2BL,yBAAU8C,IAAI,CAACZ,MAAD,EAAS9B,IAAT,EAAe4B,QAAf,CAAd,EAAwC3B,WAAxC;IALT,CAAjB,CADX;;IASA,OAAO4B,IAAI,CAACO,yBAAD,EAAWzC,IAAX,CAAX;EACD,CAXD;AAYD;;AAED,SAAS+C,IAAT,CAAoBZ,MAApB,EAA4C9B,IAA5C,EAAsF4B,QAAtF,EAAwG;EACtG,OAAOe,iCAAI,MACTC,2BAAcC,WAAW,CAACf,MAAD,EAASF,QAAT,CAAzB,EAA8CkB,EAAD,IAAOzC,0BAAC0C,6BAAYnB,QAAZ,EAAoBtB,sBAApB,CAAD,EAAyBwC,EAAzB,EAA2BxC,sBAA3B,CAApD,CADK,EAEL,CAAC0C,MAAD,EAASC,KAAT,KAAkB5C,qDAAC4C,KAAD,GAAmB5C,4BAAe2C,MAAf,EAAqB1C,sBAArB,CAAnB,EAAyCA,sBAAzC,CAFb,EAGL,CAACoB,CAAD,EAAIuB,KAAJ,KAAaC,sBAACD,KAAD,CAHR,EAGmB3C,sBAHnB,CAAP;AAKD;;AAED,SAASuC,WAAT,CAAqBf,MAArB,EAA6CF,QAA7C,EAA+D;EAC7D,OAAOtC,IAAI,CAACA,IAAL,CAAU6D,uBAAcC,aAAa,CAACtB,MAAD,EAASF,QAAT,CAA3B,CAAV,CAAP;AACD;;AAED,SAASwB,aAAT,CAAuBtB,MAAvB,EAA+CF,QAA/C,EAAiE;EAC/D,OAAO,QAAQQ,+BACb,KADa,CAEd,wBAAwBR,QAAQ,CAACyB,YAAY,sIAF9C;AAGD","names":["matchTag","matchTag_","Live","TestCase","RuntimeFailure","id","ignore","spec","tsplus_module_2","perTest","f","Test","test","annotations","tsplus_module_1","after","effect","tsplus_module_3","fileName_1","cause","ex0","ex1","tsplus_module_4","around","before","tsplus_module_5","c","aroundAll","e","tsplus_module_6","beforeAll","eventually","repeat","schedule","tsplus_module_10","r","tsplus_module_12","tsplus_module_11","_","timeoutWarning","duration","loop","labels","caseValue","Exec","exec","Labeled","label","tsplus_module_13","Scoped","scoped","Multiple","specs","tsplus_module_14","warn","tsplus_module_19","tsplus_module_16","showWarning","io","tsplus_module_15","result","fiber","tsplus_module_18","tsplus_module_20","renderWarning","milliseconds"],"sourceRoot":"","sources":["../../../_src/control/TestAspect/api.ts"],"sourcesContent":[null]}
@@ -23,8 +23,8 @@ import * as tsplus_module_21 from "@fncts/base/collection/immutable/List/api/uns
23
23
  import * as tsplus_module_22 from "@fncts/base/data/Maybe/api";
24
24
  import * as tsplus_module_23 from "@fncts/io/Fiber/api/interrupt";
25
25
  import * as tsplus_module_24 from "@fncts/io/Ref/Synchronized/api";
26
- import * as tsplus_module_25 from "@fncts/io/IO/api/interrupt";
27
- import * as tsplus_module_26 from "@fncts/io/Console/api";
26
+ import * as tsplus_module_25 from "@fncts/io/Console/api";
27
+ import * as tsplus_module_26 from "@fncts/io/IO/api/interrupt";
28
28
  import { matchTag } from "@fncts/base/util/pattern";
29
29
  export class Data {
30
30
  constructor(duration, sleeps) {
@@ -103,7 +103,7 @@ export class TestClock extends tsplus_module_2.Clock {
103
103
  Done: () => tsplus_module_20.nothing()
104
104
  }));
105
105
  this.warningStart = tsplus_module_24.updateJustIO_(this.warningState, matchTag({
106
- Start: () => tsplus_module_20.just(tsplus_module_7.map_(tsplus_module_7.fork(tsplus_module_25.interruptible(this.live.provide(tsplus_module_7.apSecond_(tsplus_module_16.sleep(() => tsplus_module_15.seconds(5), fileName_1 + ":191:45"), tsplus_module_26.print(warning), fileName_1 + ":191:60")))), Pending, fileName_1 + ":191:107"))
106
+ Start: () => tsplus_module_20.just(tsplus_module_7.map_(tsplus_module_7.fork(tsplus_module_26.interruptible(this.live.provide(tsplus_module_7.apSecond_(tsplus_module_16.sleep(() => tsplus_module_15.seconds(5), fileName_1 + ":191:45"), tsplus_module_25.print(warning), fileName_1 + ":191:60")), fileName_1 + ":191:84"), fileName_1 + ":191:98"), Pending, fileName_1 + ":191:107"))
107
107
  }, () => tsplus_module_20.nothing()));
108
108
  }
109
109
 
@@ -149,7 +149,7 @@ export class TestClock extends tsplus_module_2.Clock {
149
149
  }
150
150
 
151
151
  get awaitSuspended() {
152
- return tsplus_module_7.asUnit(tsplus_module_7.eventually(tsplus_module_7.filterOrFail_(tsplus_module_7.zipWith_(this.suspended, tsplus_module_7.apSecond_(this.live.provide(tsplus_module_16.sleep(() => tsplus_module_15.milliseconds(10), fileName_1 + ":143:45")), this.suspended, fileName_1 + ":143:67"), tsplus_module_10.strictEquals), tsplus_module_17.identity, () => undefined)));
152
+ return tsplus_module_7.asUnit(tsplus_module_7.eventually(tsplus_module_7.filterOrFail_(tsplus_module_7.zipWith_(this.suspended, tsplus_module_7.apSecond_(this.live.provide(tsplus_module_16.sleep(() => tsplus_module_15.milliseconds(10), fileName_1 + ":143:45")), this.suspended, fileName_1 + ":143:67"), tsplus_module_10.strictEquals), tsplus_module_17.identity, () => undefined), fileName_1 + ":144:62"));
153
153
  }
154
154
 
155
155
  run(f) {
@@ -1 +1 @@
1
- {"version":3,"file":"definition.mjs","mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;AAIA,SAASA,QAAT,QAAyB,0BAAzB;AAIA,OAAM,MAAOC,IAAP,CAAW;EACfC,YAAqBC,QAArB,EAAgDC,MAAhD,EAAoG;IAA/E;IAA2B;EAAwD;;AADzF;AAIjB,OAAM,MAAOC,KAAP,CAAY;EAChBH,YAAqBC,QAArB,EAAgDG,OAAhD,EAAuFC,OAAvF,EAAuG;IAAlF;IAA2B;IAAuC;EAAoB;;AAD3F;AAmBlB,OAAO,MAAMC,KAAK,GAAgB;EAAEC,IAAI,EAAE;AAAR,CAA3B;AAEP,OAAO,MAAMC,OAAO,GAAIC,KAAD,KAA6C;EAAEF,IAAI,EAAE,SAAR;EAAmBE;AAAnB,CAA7C,CAAhB;AAEP,OAAO,MAAMC,IAAI,GAAgB;EAAEH,IAAI,EAAE;AAAR,CAA1B;AAEP,MAAMI,OAAO,GACX,yEACA,gEADA,GAEA,4BAHF;AAKA;;;;AAGA,OAAO,MAAMC,YAAY,gBAAGC,yBAArB;AAEP;;;;;AAIA,OAAM,MAAOC,SAAP,SAAyBC,qBAAzB,CAA8B;EAClCf,YACWgB,UADX,EAEWC,IAFX,EAGWC,WAHX,EAIWC,YAJX,EAIsD;IAEpD;IALS;IACA;IACA;IACA;;IAIX,aAASC,EAAD,IAAuB;MAC7B,MAAMC,IAAI,GAAG,IAAb;MACA,OAAOC,oBAAO,WAAWC,CAAX,EAAY;QACxB,MAAMnB,OAAO,GAAG,OAAOmB,CAAC,CAACC,sBAAD,EAA2BC,qBAA3B,CAAxB;QACA,MAAMC,IAAI,GAAM,OAAOH,CAAC,CACtBI,4BAAI,CAACX,UAAL,EAAwBY,IAAD,IAAS;UAC9B,MAAMC,GAAG,GAAGD,IAAI,CAAC3B,QAAL,GAAgBmB,EAAE,GAAGU,YAAjC;;UACA,IAAID,GAAG,GAAGD,IAAI,CAAC3B,QAAf,EAAyB;YACvB,OAAO,CAAC,IAAD,EAAO,IAAIF,IAAJ,CAAS6B,IAAI,CAAC3B,QAAd,EAAwB8B,6BAAI,CAAC7B,MAAL,EAAoB,CAAC2B,GAAD,EAAMzB,OAAN,CAApB,CAAxB,CAAP,CAAP;UACD,CAFD,MAEO;YACL,OAAO,CAAC,KAAD,EAAQwB,IAAR,CAAP;UACD;QACF,CAPD,CADsB,EAQpBH,qBARoB,CAAxB;QAUA,OAAOF,CAAC,CACND,sBAAS,MAAK;UACZ,IAAII,IAAJ,EAAU;YACR,iCAAOL,IAAI,CAACW,YAAZ,EAAwBC,qBAAG7B,OAAH,CAAxB,EAAkCqB,qBAAlC;UACD,CAFD,MAEO;YACL,iCAAOQ,kCAAgBC,SAAhB,CAAP,EAAiCZ,oBAAjC,EAAiCG,qBAAjC;UACD;QACF,CAND,EAMCA,qBAND,CADM,EAOJA,qBAPI,CAAR;MASD,CArBM,CAAP;IAsBD,CAxBD;;IA0BA,mBAAcH,8CAAKN,UAAL,GAAyBY,IAAD,IAAUA,IAAI,CAAC3B,QAAvC,EAA+CwB,qBAA/C,CAAd;IAcA,cAASH,8CAAKN,UAAL,GAAyBY,IAAD,IAAUG,yBAAI,CAAC7B,MAAL,EAAgB,CAAC,CAACqB,CAAD,CAAD,KAASA,CAAzB,CAAlC,EAA6DE,sBAA7D,CAAT;IA8EA,mBAAyBU,oCAAKhB,YAAL,EACvBrB,QAAQ,CAAC;MACPQ,KAAK,EAAE,MAAM8B,sBAAKd,8BAAGZ,IAAH,EAAOe,sBAAP,CAAL,CADN;MAEPjB,OAAO,EAAE,CAAC;QAAEC;MAAF,CAAD,KAAe2B,sBAAKd,uDAAK,MAAcZ,IAAnB,CAAL,CAFjB;MAGPA,IAAI,EAAE,MAAM0B;IAHL,CAAD,CADe,CAAzB;IAQQ,oBAA0BD,oCAAKhB,YAAL,EAChCrB,QAAQ,CACN;MACEQ,KAAK,EAAE,MACL8B,sBAAKd,8EAAKL,IAAL,CAAUoB,OAAV,CAAiBf,0BAACgB,sDAAa,CAAb,GAAcb,sBAAd,CAAD,EAA4Bc,uBAAc5B,OAAd,CAA5B,EAAkDc,sBAAlD,CAAjB,KAA4FjB,OAA5F,EAAmGiB,uBAAnG,CAAL;IAFJ,CADM,EAKN,MAAMW,0BALA,CADwB,CAA1B;EA/HP;;EA6BDI,MAAM,CAACvC,QAAD,EAAiB;IACrB,iCAAO,KAAKwC,WAAZ,EAA0B,KAAKC,GAAL,CAAUC,CAAD,IAAOA,CAAC,GAAG1C,QAApB,CAA1B,EAAuDwB,qBAAvD;EACD;;EAEDmB,OAAO,CAACC,IAAD,EAAW;IAChB,OAAO,KAAKC,OAAL,CAAaD,IAAI,CAACE,OAAL,EAAb,CAAP;EACD;;EAEDD,OAAO,CAACE,IAAD,EAAa;IAClB,iCAAO,KAAKP,WAAZ,EAA0B,KAAKC,GAAL,CAAUnB,CAAD,IAAOyB,IAAhB,CAA1B,EAA+CvB,qBAA/C;EACD;;EAImB,IAAhBwB,gBAAgB;IAClB,OAAO3B,+BAAmB4B,UAAD,IACvB5B,8BAAKJ,WAAL,CAAiBiC,GAAjB,CAAoBC,uBAApB,GAAqD7B,CAAD,IAClD8B,2BACG9B,CAAD,IAAOD,8BAAWgC,6BAAX,EAAgC7B,sBAAhC,CADT,EAEG8B,MAAD,IACEjC,mEAAWiC,MAAX,EAAoBC,GAAD,IAAQC,oBAACD,GAAD,CAA3B,EAAmC/B,sBAAnC,GACQF,CAAD,IAAOmC,8BAAWJ,6BAAX,EAA2D,CAACK,EAAD,EAAKC,EAAL,KAAYN,2BAASM,EAAT,CAAvE,CADd,EACkGnC,sBADlG,GAEQoC,GAAD,IAASP,6BAAYQ,CAAD,IAAO,CAACC,8BAAuBD,CAAC,CAACE,EAAzB,EAA6Bd,UAAU,CAACc,EAAxC,CAAnB,CAFhB,EAE+EvC,sBAF/E,CAHJ,CADF,EAOGA,sBAPH,CADK,EASJA,sBATI,CAAP;EAWD;;EAEiB,IAANwC,MAAM;IAChB,OAAO3C,8BAAK2B,gBAAL,EAA+BM,MAAD,IACnCjC,0BAAYiC,MAAZ,EAAoBW,8BAApB,EAAiE,CAACC,GAAD,EAAM1D,KAAN,KAC/Da,8BAAK,CAAC8C,MAAN,EAAsBA,MAAD,IAAW;MAC9B,QAAQA,MAAM,CAAC7D,IAAf;QACE,KAAK,MAAL;UAAa;YACX,OAAOe,8BAAW4C,2BAAQzD,KAAK,CAACuD,EAAd,EAAkBI,MAAlB,CAAX,EAAoC3C,sBAApC,CAAP;UACD;;QACD,KAAK,WAAL;UAAkB;YAChB,OAAOH,8BAAW4C,2BAAQzD,KAAK,CAACuD,EAAd,EAAkBI,MAAlB,CAAX,EAAoC3C,sBAApC,CAAP;UACD;;QACD;UAAS;YACP,OAAOH,2BAAQY,SAAR,EAAiBT,sBAAjB,CAAP;UACD;MATH;IAWD,CAZD,EAYCA,sBAZD,CADF,EAaIA,sBAbJ,CADK,EAeJA,sBAfI,CAAP;EAiBD;;EAEgB,IAAL4C,KAAK;IACf,OAAO,KAAKpD,IAAL,CAAUoB,OAAV,CAAkBC,2DAAa,CAAb,GAAcb,sBAAd,CAAlB,CAAP;EACD;;EAEyB,IAAd6C,cAAc;IACxB,yDAAOhD,4DAAKiD,SAAL,EAAcjD,0BACV,KAAKL,IAAL,CAAUoB,OAAV,CAAkBC,2DAAa,EAAb,GAAeb,sBAAf,CAAlB,CADU,EAC0C,KAAK8C,SAD/C,EACwD9C,sBADxD,CAAd,EACsEsC,6BADtE,GAC+FS,yBAD/F,EAE4B,MAAYtC,SAFxC,CAAP;EAGD;;EAEOQ,GAAG,CAACoB,CAAD,EAAgC;IACzC,OAAOxC,mDACL,KAAKgD,cADA,EAEL3C,6BAAKX,UAAL,EAAwBY,IAAD,IAAS;MAC9B,MAAMC,GAAG,GAAMiC,CAAC,CAAClC,IAAI,CAAC3B,QAAN,CAAhB;MACA,MAAMwE,MAAM,GAAG1C,8BAAI,CAAC7B,MAAL,EAAqB,CAAC,CAACwE,CAAD,CAAD,EAAM,CAACC,CAAD,CAAN,KAAcC,qBAAWC,OAAX,CAAmBH,CAAnB,EAAsBC,CAAtB,CAAnC,CAAf;MACA,OAAOG,oFACI,CAAC,CAAC7E,QAAD,EAAWG,OAAX,CAAD,KACPH,QAAQ,IAAI4B,GAAZ,GACIO,sBAAK,CAACA,sBAAK,CAACP,GAAD,EAAMzB,OAAN,CAAL,CAAD,EAAgC,IAAIL,IAAJ,CAASE,QAAT,EAAiB8E,4BAAEN,MAAF,CAAjB,CAAhC,CAAL,CADJ,GAEIrC,0BAJD,GAKJ,MACU,CAACA,0BAAD,EAAY,IAAIrC,IAAJ,CAAS8B,GAAT,EAAcD,IAAI,CAAC1B,MAAnB,CAAZ,CANN,CAAP;IAOD,CAVD,CAFK,EAYHuB,sBAZG,GAaIF,CAAD,IACRyD,2BACE,MAAK1D,oBADP,EAEE,CAAC,CAACO,GAAD,EAAMzB,OAAN,CAAD,KAAmBkB,oDAACW,kCAAgBC,SAAhB,CAAD,EAA2BZ,wBAA3B,EAA2BG,sBAA3B,GAA4C,KAAKiB,GAAL,CAAS,MAAMb,GAAf,CAA5C,EAA+DJ,sBAA/D,CAFrB,CAdK,EAiBJA,sBAjBI,CAAP;EAmBD;;EAEoB,IAAT8C,SAAS;IACnB,OAAOjD,mDAAK2C,MAAL,EAAW3C,0BAAK,KAAK+C,KAAV,EAAkB,KAAKJ,MAAvB,EAA6BxC,sBAA7B,CAAX,GAAkD,CAAC,CAACwD,KAAD,EAAQC,IAAR,CAAD,KAAkB;MACzE,IAAInB,8BAAuBkB,KAAvB,EAA8BC,IAA9B,CAAJ,EAAyC;QACvC,OAAO5D,2BAAc2D,KAAd,EAAmBxD,sBAAnB,CAAP;MACD,CAFD,MAEO;QACL,OAAOH,wBAAWY,SAAX,EAAoBT,sBAApB,CAAP;MACD;IACF,CANM,EAMNA,sBANM,CAAP;EAOD;;AA7HiC","names":["matchTag","Data","constructor","duration","sleeps","Sleep","promise","fiberId","Start","_tag","Pending","fiber","Done","warning","TestClockTag","tsplus_module_1","TestClock","tsplus_module_2","clockState","live","annotations","warningState","ms","self","tsplus_module_7","_","tsplus_module_3","fileName_1","wait","tsplus_module_5","data","end","milliseconds","tsplus_module_4","warningStart","tsplus_module_6","undefined","tsplus_module_24","tsplus_module_20","provide","tsplus_module_16","tsplus_module_26","adjust","warningDone","run","d","setDate","date","setTime","getTime","time","supervizedFibers","descriptor","get","tsplus_module_13","tsplus_module_12","tsplus_module_9","fibers","ref","tsplus_module_8","tsplus_module_11","s0","s1","set","f","tsplus_module_10","id","freeze","tsplus_module_14","map","status","delay","awaitSuspended","suspended","tsplus_module_17","sorted","x","y","tsplus_module_19","compare","tsplus_module_22","tsplus_module_21","tsplus_module_18","first","last"],"sourceRoot":"","sources":["../../../_src/control/TestClock/definition.ts"],"sourcesContent":[null]}
1
+ {"version":3,"file":"definition.mjs","mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;AAIA,SAASA,QAAT,QAAyB,0BAAzB;AAIA,OAAM,MAAOC,IAAP,CAAW;EACfC,YAAqBC,QAArB,EAAgDC,MAAhD,EAAoG;IAA/E;IAA2B;EAAwD;;AADzF;AAIjB,OAAM,MAAOC,KAAP,CAAY;EAChBH,YAAqBC,QAArB,EAAgDG,OAAhD,EAAuFC,OAAvF,EAAuG;IAAlF;IAA2B;IAAuC;EAAoB;;AAD3F;AAmBlB,OAAO,MAAMC,KAAK,GAAgB;EAAEC,IAAI,EAAE;AAAR,CAA3B;AAEP,OAAO,MAAMC,OAAO,GAAIC,KAAD,KAA6C;EAAEF,IAAI,EAAE,SAAR;EAAmBE;AAAnB,CAA7C,CAAhB;AAEP,OAAO,MAAMC,IAAI,GAAgB;EAAEH,IAAI,EAAE;AAAR,CAA1B;AAEP,MAAMI,OAAO,GACX,yEACA,gEADA,GAEA,4BAHF;AAKA;;;;AAGA,OAAO,MAAMC,YAAY,gBAAGC,yBAArB;AAEP;;;;;AAIA,OAAM,MAAOC,SAAP,SAAyBC,qBAAzB,CAA8B;EAClCf,YACWgB,UADX,EAEWC,IAFX,EAGWC,WAHX,EAIWC,YAJX,EAIsD;IAEpD;IALS;IACA;IACA;IACA;;IAIX,aAASC,EAAD,IAAuB;MAC7B,MAAMC,IAAI,GAAG,IAAb;MACA,OAAOC,oBAAO,WAAWC,CAAX,EAAY;QACxB,MAAMnB,OAAO,GAAG,OAAOmB,CAAC,CAACC,sBAAD,EAA2BC,qBAA3B,CAAxB;QACA,MAAMC,IAAI,GAAM,OAAOH,CAAC,CACtBI,4BAAI,CAACX,UAAL,EAAwBY,IAAD,IAAS;UAC9B,MAAMC,GAAG,GAAGD,IAAI,CAAC3B,QAAL,GAAgBmB,EAAE,GAAGU,YAAjC;;UACA,IAAID,GAAG,GAAGD,IAAI,CAAC3B,QAAf,EAAyB;YACvB,OAAO,CAAC,IAAD,EAAO,IAAIF,IAAJ,CAAS6B,IAAI,CAAC3B,QAAd,EAAwB8B,6BAAI,CAAC7B,MAAL,EAAoB,CAAC2B,GAAD,EAAMzB,OAAN,CAApB,CAAxB,CAAP,CAAP;UACD,CAFD,MAEO;YACL,OAAO,CAAC,KAAD,EAAQwB,IAAR,CAAP;UACD;QACF,CAPD,CADsB,EAQpBH,qBARoB,CAAxB;QAUA,OAAOF,CAAC,CACND,sBAAS,MAAK;UACZ,IAAII,IAAJ,EAAU;YACR,iCAAOL,IAAI,CAACW,YAAZ,EAAwBC,qBAAG7B,OAAH,CAAxB,EAAkCqB,qBAAlC;UACD,CAFD,MAEO;YACL,iCAAOQ,kCAAgBC,SAAhB,CAAP,EAAiCZ,oBAAjC,EAAiCG,qBAAjC;UACD;QACF,CAND,EAMCA,qBAND,CADM,EAOJA,qBAPI,CAAR;MASD,CArBM,CAAP;IAsBD,CAxBD;;IA0BA,mBAAcH,8CAAKN,UAAL,GAAyBY,IAAD,IAAUA,IAAI,CAAC3B,QAAvC,EAA+CwB,qBAA/C,CAAd;IAcA,cAASH,8CAAKN,UAAL,GAAyBY,IAAD,IAAUG,yBAAI,CAAC7B,MAAL,EAAgB,CAAC,CAACqB,CAAD,CAAD,KAASA,CAAzB,CAAlC,EAA6DE,sBAA7D,CAAT;IA8EA,mBAAyBU,oCAAKhB,YAAL,EACvBrB,QAAQ,CAAC;MACPQ,KAAK,EAAE,MAAM8B,sBAAKd,8BAAGZ,IAAH,EAAOe,sBAAP,CAAL,CADN;MAEPjB,OAAO,EAAE,CAAC;QAAEC;MAAF,CAAD,KAAe2B,sBAAKd,uDAAK,MAAcZ,IAAnB,CAAL,CAFjB;MAGPA,IAAI,EAAE,MAAM0B;IAHL,CAAD,CADe,CAAzB;IAQQ,oBAA0BD,oCAAKhB,YAAL,EAChCrB,QAAQ,CACN;MACEQ,KAAK,EAAE,MACL8B,sBAAKd,8EAAKL,IAAL,CAAUoB,OAAV,CAAiBf,0BAACgB,sDAAa,CAAb,GAAcb,sBAAd,CAAD,EAA4Bc,uBAAc5B,OAAd,CAA5B,EAAkDc,sBAAlD,CAAjB,GAAoEA,sBAApE,GAAoEA,sBAApE,GAA4FjB,OAA5F,EAAmGiB,uBAAnG,CAAL;IAFJ,CADM,EAKN,MAAMW,0BALA,CADwB,CAA1B;EA/HP;;EA6BDI,MAAM,CAACvC,QAAD,EAAiB;IACrB,iCAAO,KAAKwC,WAAZ,EAA0B,KAAKC,GAAL,CAAUC,CAAD,IAAOA,CAAC,GAAG1C,QAApB,CAA1B,EAAuDwB,qBAAvD;EACD;;EAEDmB,OAAO,CAACC,IAAD,EAAW;IAChB,OAAO,KAAKC,OAAL,CAAaD,IAAI,CAACE,OAAL,EAAb,CAAP;EACD;;EAEDD,OAAO,CAACE,IAAD,EAAa;IAClB,iCAAO,KAAKP,WAAZ,EAA0B,KAAKC,GAAL,CAAUnB,CAAD,IAAOyB,IAAhB,CAA1B,EAA+CvB,qBAA/C;EACD;;EAImB,IAAhBwB,gBAAgB;IAClB,OAAO3B,+BAAmB4B,UAAD,IACvB5B,8BAAKJ,WAAL,CAAiBiC,GAAjB,CAAoBC,uBAApB,GAAqD7B,CAAD,IAClD8B,2BACG9B,CAAD,IAAOD,8BAAWgC,6BAAX,EAAgC7B,sBAAhC,CADT,EAEG8B,MAAD,IACEjC,mEAAWiC,MAAX,EAAoBC,GAAD,IAAQC,oBAACD,GAAD,CAA3B,EAAmC/B,sBAAnC,GACQF,CAAD,IAAOmC,8BAAWJ,6BAAX,EAA2D,CAACK,EAAD,EAAKC,EAAL,KAAYN,2BAASM,EAAT,CAAvE,CADd,EACkGnC,sBADlG,GAEQoC,GAAD,IAASP,6BAAYQ,CAAD,IAAO,CAACC,8BAAuBD,CAAC,CAACE,EAAzB,EAA6Bd,UAAU,CAACc,EAAxC,CAAnB,CAFhB,EAE+EvC,sBAF/E,CAHJ,CADF,EAOGA,sBAPH,CADK,EASJA,sBATI,CAAP;EAWD;;EAEiB,IAANwC,MAAM;IAChB,OAAO3C,8BAAK2B,gBAAL,EAA+BM,MAAD,IACnCjC,0BAAYiC,MAAZ,EAAoBW,8BAApB,EAAiE,CAACC,GAAD,EAAM1D,KAAN,KAC/Da,8BAAK,CAAC8C,MAAN,EAAsBA,MAAD,IAAW;MAC9B,QAAQA,MAAM,CAAC7D,IAAf;QACE,KAAK,MAAL;UAAa;YACX,OAAOe,8BAAW4C,2BAAQzD,KAAK,CAACuD,EAAd,EAAkBI,MAAlB,CAAX,EAAoC3C,sBAApC,CAAP;UACD;;QACD,KAAK,WAAL;UAAkB;YAChB,OAAOH,8BAAW4C,2BAAQzD,KAAK,CAACuD,EAAd,EAAkBI,MAAlB,CAAX,EAAoC3C,sBAApC,CAAP;UACD;;QACD;UAAS;YACP,OAAOH,2BAAQY,SAAR,EAAiBT,sBAAjB,CAAP;UACD;MATH;IAWD,CAZD,EAYCA,sBAZD,CADF,EAaIA,sBAbJ,CADK,EAeJA,sBAfI,CAAP;EAiBD;;EAEgB,IAAL4C,KAAK;IACf,OAAO,KAAKpD,IAAL,CAAUoB,OAAV,CAAkBC,2DAAa,CAAb,GAAcb,sBAAd,CAAlB,CAAP;EACD;;EAEyB,IAAd6C,cAAc;IACxB,yDAAOhD,4DAAKiD,SAAL,EAAcjD,0BACV,KAAKL,IAAL,CAAUoB,OAAV,CAAkBC,2DAAa,EAAb,GAAeb,sBAAf,CAAlB,CADU,EAC0C,KAAK8C,SAD/C,EACwD9C,sBADxD,CAAd,EACsEsC,6BADtE,GAC+FS,yBAD/F,EAE4B,MAAYtC,SAFxC,CAAP,EAEyDT,sBAFzD;EAGD;;EAEOiB,GAAG,CAACoB,CAAD,EAAgC;IACzC,OAAOxC,mDACL,KAAKgD,cADA,EAEL3C,6BAAKX,UAAL,EAAwBY,IAAD,IAAS;MAC9B,MAAMC,GAAG,GAAMiC,CAAC,CAAClC,IAAI,CAAC3B,QAAN,CAAhB;MACA,MAAMwE,MAAM,GAAG1C,8BAAI,CAAC7B,MAAL,EAAqB,CAAC,CAACwE,CAAD,CAAD,EAAM,CAACC,CAAD,CAAN,KAAcC,qBAAWC,OAAX,CAAmBH,CAAnB,EAAsBC,CAAtB,CAAnC,CAAf;MACA,OAAOG,oFACI,CAAC,CAAC7E,QAAD,EAAWG,OAAX,CAAD,KACPH,QAAQ,IAAI4B,GAAZ,GACIO,sBAAK,CAACA,sBAAK,CAACP,GAAD,EAAMzB,OAAN,CAAL,CAAD,EAAgC,IAAIL,IAAJ,CAASE,QAAT,EAAiB8E,4BAAEN,MAAF,CAAjB,CAAhC,CAAL,CADJ,GAEIrC,0BAJD,GAKJ,MACU,CAACA,0BAAD,EAAY,IAAIrC,IAAJ,CAAS8B,GAAT,EAAcD,IAAI,CAAC1B,MAAnB,CAAZ,CANN,CAAP;IAOD,CAVD,CAFK,EAYHuB,sBAZG,GAaIF,CAAD,IACRyD,2BACE,MAAK1D,oBADP,EAEE,CAAC,CAACO,GAAD,EAAMzB,OAAN,CAAD,KAAmBkB,oDAACW,kCAAgBC,SAAhB,CAAD,EAA2BZ,wBAA3B,EAA2BG,sBAA3B,GAA4C,KAAKiB,GAAL,CAAS,MAAMb,GAAf,CAA5C,EAA+DJ,sBAA/D,CAFrB,CAdK,EAiBJA,sBAjBI,CAAP;EAmBD;;EAEoB,IAAT8C,SAAS;IACnB,OAAOjD,mDAAK2C,MAAL,EAAW3C,0BAAK,KAAK+C,KAAV,EAAkB,KAAKJ,MAAvB,EAA6BxC,sBAA7B,CAAX,GAAkD,CAAC,CAACwD,KAAD,EAAQC,IAAR,CAAD,KAAkB;MACzE,IAAInB,8BAAuBkB,KAAvB,EAA8BC,IAA9B,CAAJ,EAAyC;QACvC,OAAO5D,2BAAc2D,KAAd,EAAmBxD,sBAAnB,CAAP;MACD,CAFD,MAEO;QACL,OAAOH,wBAAWY,SAAX,EAAoBT,sBAApB,CAAP;MACD;IACF,CANM,EAMNA,sBANM,CAAP;EAOD;;AA7HiC","names":["matchTag","Data","constructor","duration","sleeps","Sleep","promise","fiberId","Start","_tag","Pending","fiber","Done","warning","TestClockTag","tsplus_module_1","TestClock","tsplus_module_2","clockState","live","annotations","warningState","ms","self","tsplus_module_7","_","tsplus_module_3","fileName_1","wait","tsplus_module_5","data","end","milliseconds","tsplus_module_4","warningStart","tsplus_module_6","undefined","tsplus_module_24","tsplus_module_20","provide","tsplus_module_16","tsplus_module_25","adjust","warningDone","run","d","setDate","date","setTime","getTime","time","supervizedFibers","descriptor","get","tsplus_module_13","tsplus_module_12","tsplus_module_9","fibers","ref","tsplus_module_8","tsplus_module_11","s0","s1","set","f","tsplus_module_10","id","freeze","tsplus_module_14","map","status","delay","awaitSuspended","suspended","tsplus_module_17","sorted","x","y","tsplus_module_19","compare","tsplus_module_22","tsplus_module_21","tsplus_module_18","first","last"],"sourceRoot":"","sources":["../../../_src/control/TestClock/definition.ts"],"sourcesContent":[null]}
@@ -1,8 +1,8 @@
1
1
  const fileName_1 = "(@fncts/test) src/control/TestExecutor.ts";
2
- import * as tsplus_module_1 from "@fncts/io/IO/api/scoped";
3
- import * as tsplus_module_2 from "@fncts/io/IO/api";
4
- import * as tsplus_module_3 from "@fncts/test/data/ExecutedSpec/api";
5
- import * as tsplus_module_4 from "@fncts/test/control/Spec/api";
2
+ import * as tsplus_module_1 from "@fncts/io/IO/api";
3
+ import * as tsplus_module_2 from "@fncts/test/data/ExecutedSpec/api";
4
+ import * as tsplus_module_3 from "@fncts/test/control/Spec/api";
5
+ import * as tsplus_module_4 from "@fncts/io/IO/api/scoped";
6
6
  import * as tsplus_module_5 from "@fncts/base/data/Either/constructors";
7
7
  import * as tsplus_module_6 from "@fncts/base/data/Cause/api";
8
8
  import * as tsplus_module_7 from "@fncts/base/data/Either/destructors";
@@ -11,24 +11,24 @@ import { TestAnnotationMap } from "../data/TestAnnotationMap.mjs";
11
11
  import { RuntimeFailure } from "../data/TestFailure.mjs";
12
12
  export function defaultTestExecutor(env) {
13
13
  return {
14
- run: (spec, defExec) => tsplus_module_2.flatMap_(tsplus_module_1.scoped_(tsplus_module_4.foreachExec_(tsplus_module_4.provideLayer_(tsplus_module_4.annotated(spec), env), cause => tsplus_module_7.match_(tsplus_module_6.failureOrCause(cause), ([failure, annotations]) => tsplus_module_2.succeedNow([tsplus_module_5.left(failure), annotations], fileName_1 + ":28:56"), cause => tsplus_module_2.succeedNow([tsplus_module_5.left(new RuntimeFailure(cause)), TestAnnotationMap.empty], fileName_1 + ":29:39")), ([success, annotations]) => tsplus_module_2.succeedNow([tsplus_module_5.right(success), annotations], fileName_1 + ":32:26"), defExec)), s => tsplus_module_1.scoped_(tsplus_module_4.foldScoped_(s, spec => matchTag_(spec, {
14
+ run: (spec, defExec) => tsplus_module_1.flatMap_(tsplus_module_4.scoped_(tsplus_module_3.foreachExec_(tsplus_module_3.provideLayer_(tsplus_module_3.annotated(spec), env), cause => tsplus_module_7.match_(tsplus_module_6.failureOrCause(cause), ([failure, annotations]) => tsplus_module_1.succeedNow([tsplus_module_5.left(failure), annotations], fileName_1 + ":28:56"), cause => tsplus_module_1.succeedNow([tsplus_module_5.left(new RuntimeFailure(cause)), TestAnnotationMap.empty], fileName_1 + ":29:39")), ([success, annotations]) => tsplus_module_1.succeedNow([tsplus_module_5.right(success), annotations], fileName_1 + ":32:26"), defExec)), s => tsplus_module_4.scoped_(tsplus_module_3.foldScoped_(s, spec => matchTag_(spec, {
15
15
  Exec: ({
16
16
  spec
17
- }) => tsplus_module_2.succeedNow(spec, fileName_1 + ":40:52"),
17
+ }) => tsplus_module_1.succeedNow(spec, fileName_1 + ":40:52"),
18
18
  Labeled: ({
19
19
  label,
20
20
  spec
21
- }) => tsplus_module_2.succeedNow(tsplus_module_3.labeled(spec, label), fileName_1 + ":41:62"),
21
+ }) => tsplus_module_1.succeedNow(tsplus_module_2.labeled(spec, label), fileName_1 + ":41:62"),
22
22
  Scoped: ({
23
23
  scoped
24
24
  }) => scoped,
25
25
  Multiple: ({
26
26
  specs
27
- }) => tsplus_module_2.succeedNow(tsplus_module_3.multiple(specs), fileName_1 + ":43:57"),
27
+ }) => tsplus_module_1.succeedNow(tsplus_module_2.multiple(specs), fileName_1 + ":43:57"),
28
28
  Test: ({
29
29
  test,
30
30
  annotations
31
- }) => tsplus_module_2.map_(test, ([result, dynamicAnnotations]) => tsplus_module_3.test(result, annotations.combine(dynamicAnnotations)), fileName_1 + ":45:29")
31
+ }) => tsplus_module_1.map_(test, ([result, dynamicAnnotations]) => tsplus_module_2.test(result, annotations.combine(dynamicAnnotations)), fileName_1 + ":45:29")
32
32
  }), defExec)), fileName_1 + ":35:24"),
33
33
  environment: env
34
34
  };
@@ -1 +1 @@
1
- {"version":3,"file":"TestExecutor.mjs","mappings":";;;;;;;;AAMA,SAASA,SAAT,QAA0B,0BAA1B;AAGA,SAASC,iBAAT,QAAkC,+BAAlC;AACA,SAASC,cAAT,QAA+B,yBAA/B;AAOA,OAAM,SAAUC,mBAAV,CACJC,GADI,EAC4C;EAEhD,OAAO;IACLC,GAAG,EAAE,CAAIC,IAAJ,EAAyCC,OAAzC,KACHC,6IACgBJ,GADhB,GAGKK,KAAD,IACEC,8DACE,CAAC,CAACC,OAAD,EAAUC,WAAV,CAAD,KAA4BJ,2BAAc,CAACK,qBAAYF,OAAZ,CAAD,EAAuBC,WAAvB,CAAd,EAAiDE,qBAAjD,CAD9B,EAEGL,KAAD,IAAWD,2BAAc,CAACK,qBAAY,IAAIX,cAAJ,CAAmBO,KAAnB,CAAZ,CAAD,EAAyCR,iBAAiB,CAACc,KAA3D,CAAd,EAA+ED,qBAA/E,CAFb,CAJN,EAQI,CAAC,CAACE,OAAD,EAAUJ,WAAV,CAAD,KACEJ,2BAAc,CAACK,sBAAaG,OAAb,CAAD,EAAwBJ,WAAxB,CAAd,EAAkDE,qBAAlD,CATN,EAUIP,OAVJ,IAaKU,CAAD,IAAMC,wBACJC,+BACGb,IAAD,IACEN,SAAS,CAACM,IAAD,EAAO;MACdc,IAAI,EAAE,CAAC;QAAEd;MAAF,CAAD,KAAcE,2BAAcF,IAAd,EAAkBQ,qBAAlB,CADN;MAEdO,OAAO,EAAE,CAAC;QAAEC,KAAF;QAAShB;MAAT,CAAD,KAAqBE,2BAAce,wBAAqBjB,IAArB,EAA2BgB,KAA3B,CAAd,EAA+CR,qBAA/C,CAFhB;MAGdU,MAAM,EAAE,CAAC;QAAEC;MAAF,CAAD,KAAgBA,MAHV;MAIdC,QAAQ,EAAE,CAAC;QAAEC;MAAF,CAAD,KAAenB,2BAAce,yBAAsBI,KAAtB,CAAd,EAA0Cb,qBAA1C,CAJX;MAKdc,IAAI,EAAE,CAAC;QAAEC,IAAF;QAAQjB;MAAR,CAAD,KACJJ,2BAAS,CAAC,CAACsB,MAAD,EAASC,kBAAT,CAAD,KACPR,qBAAkBO,MAAlB,EAA0BlB,WAAW,CAACoB,OAAZ,CAAoBD,kBAApB,CAA1B,CADF,EACoEjB,qBADpE;IANY,CAAP,CAFb,EAYEP,OAZF,CADI,CAbV,EA2BcO,qBA3Bd,CAFG;IA+BLmB,WAAW,EAAE7B;EA/BR,CAAP;AAiCD","names":["matchTag_","TestAnnotationMap","RuntimeFailure","defaultTestExecutor","env","run","spec","defExec","tsplus_module_2","cause","tsplus_module_7","failure","annotations","tsplus_module_5","fileName_1","empty","success","s","tsplus_module_1","tsplus_module_4","Exec","Labeled","label","tsplus_module_3","Scoped","scoped","Multiple","specs","Test","test","result","dynamicAnnotations","combine","environment"],"sourceRoot":"","sources":["../../_src/control/TestExecutor.ts"],"sourcesContent":[null]}
1
+ {"version":3,"file":"TestExecutor.mjs","mappings":";;;;;;;;AAMA,SAASA,SAAT,QAA0B,0BAA1B;AAGA,SAASC,iBAAT,QAAkC,+BAAlC;AACA,SAASC,cAAT,QAA+B,yBAA/B;AAOA,OAAM,SAAUC,mBAAV,CACJC,GADI,EAC4C;EAEhD,OAAO;IACLC,GAAG,EAAE,CAAIC,IAAJ,EAAyCC,OAAzC,KACHC,6IACgBJ,GADhB,GAGKK,KAAD,IACEC,8DACE,CAAC,CAACC,OAAD,EAAUC,WAAV,CAAD,KAA4BJ,2BAAc,CAACK,qBAAYF,OAAZ,CAAD,EAAuBC,WAAvB,CAAd,EAAiDE,qBAAjD,CAD9B,EAEGL,KAAD,IAAWD,2BAAc,CAACK,qBAAY,IAAIX,cAAJ,CAAmBO,KAAnB,CAAZ,CAAD,EAAyCR,iBAAiB,CAACc,KAA3D,CAAd,EAA+ED,qBAA/E,CAFb,CAJN,EAQI,CAAC,CAACE,OAAD,EAAUJ,WAAV,CAAD,KACEJ,2BAAc,CAACK,sBAAaG,OAAb,CAAD,EAAwBJ,WAAxB,CAAd,EAAkDE,qBAAlD,CATN,EAUIP,OAVJ,IAaKU,CAAD,IAAMC,wBACJC,+BACGb,IAAD,IACEN,SAAS,CAACM,IAAD,EAAO;MACdc,IAAI,EAAE,CAAC;QAAEd;MAAF,CAAD,KAAcE,2BAAcF,IAAd,EAAkBQ,qBAAlB,CADN;MAEdO,OAAO,EAAE,CAAC;QAAEC,KAAF;QAAShB;MAAT,CAAD,KAAqBE,2BAAce,wBAAqBjB,IAArB,EAA2BgB,KAA3B,CAAd,EAA+CR,qBAA/C,CAFhB;MAGdU,MAAM,EAAE,CAAC;QAAEC;MAAF,CAAD,KAAgBA,MAHV;MAIdC,QAAQ,EAAE,CAAC;QAAEC;MAAF,CAAD,KAAenB,2BAAce,yBAAsBI,KAAtB,CAAd,EAA0Cb,qBAA1C,CAJX;MAKdc,IAAI,EAAE,CAAC;QAAEC,IAAF;QAAQjB;MAAR,CAAD,KACJJ,2BAAS,CAAC,CAACsB,MAAD,EAASC,kBAAT,CAAD,KACPR,qBAAkBO,MAAlB,EAA0BlB,WAAW,CAACoB,OAAZ,CAAoBD,kBAApB,CAA1B,CADF,EACoEjB,qBADpE;IANY,CAAP,CAFb,EAYEP,OAZF,CADI,CAbV,EA2BcO,qBA3Bd,CAFG;IA+BLmB,WAAW,EAAE7B;EA/BR,CAAP;AAiCD","names":["matchTag_","TestAnnotationMap","RuntimeFailure","defaultTestExecutor","env","run","spec","defExec","tsplus_module_1","cause","tsplus_module_7","failure","annotations","tsplus_module_5","fileName_1","empty","success","s","tsplus_module_4","tsplus_module_3","Exec","Labeled","label","tsplus_module_2","Scoped","scoped","Multiple","specs","Test","test","result","dynamicAnnotations","combine","environment"],"sourceRoot":"","sources":["../../_src/control/TestExecutor.ts"],"sourcesContent":[null]}
@@ -6,6 +6,7 @@ import * as tsplus_module_5 from "@fncts/base/control/Eval/constructors";
6
6
  import * as tsplus_module_6 from "@fncts/base/control/Eval/api";
7
7
  import * as tsplus_module_7 from "@fncts/base/control/Eval/run";
8
8
  export const and_ = and_1;
9
+ export const flatMap_ = flatMap_1;
9
10
  export const foldEval_ = foldEval_1;
10
11
  export const fold_ = fold_1;
11
12
  export const implies_ = implies_1;
@@ -27,7 +28,7 @@ function and_1(left, right) {
27
28
  */
28
29
 
29
30
 
30
- export function flatMap_(self, f) {
31
+ function flatMap_1(self, f) {
31
32
  return fold_1(self, {
32
33
  Value: f,
33
34
  And: (l, r) => and_1(l, r),
@@ -35,6 +36,14 @@ export function flatMap_(self, f) {
35
36
  Not: v => not_1(v)
36
37
  });
37
38
  }
39
+ /**
40
+ * @tsplus fluent fncts.test.FreeBooleanAlgebra map
41
+ */
42
+
43
+
44
+ export function map_(self, f) {
45
+ return flatMap_1(self, a => success_1(f(a)));
46
+ }
38
47
  /**
39
48
  * @tsplus static fncts.test.FreeBooleanAlgebraOps failure
40
49
  */
@@ -1 +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]}
1
+ {"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 CHANGED
@@ -1,15 +1,22 @@
1
- import type { Assertion, AssertResult } from "./control/Assertion.js";
1
+ import type { AssertResult } from "./control/Assertion.js";
2
2
  import type { AssertionIO } from "./control/AssertionIO.js";
3
+ import type { Gen } from "./control/Gen.js";
4
+ import type { Sample } from "./control/Sample.js";
3
5
  import type { TestResult } from "./data/FailureDetails.js";
4
6
  import type { _E, _R } from "@fncts/base/types";
5
7
 
8
+ import { identity } from "@fncts/base/data/function";
9
+
10
+ import { Assertion, completes } from "./control/Assertion.js";
6
11
  import { Spec } from "./control/Spec.js";
7
12
  import { Test } from "./control/Test.js";
8
13
  import { FailureDetailsResult } from "./data/AssertionResult.js";
9
14
  import { AssertionValue } from "./data/AssertionValue.js";
10
15
  import { FailureDetails } from "./data/FailureDetails.js";
11
16
  import { FreeBooleanAlgebra } from "./data/FreeBooleanAlgebra.js";
17
+ import { GenFailureDetails } from "./data/GenFailureDetails.js";
12
18
  import { TestAnnotationMap } from "./data/TestAnnotationMap.js";
19
+ import { TestConfig } from "./data/TestConfig.js";
13
20
 
14
21
  function traverseResultLoop<A>(whole: AssertionValue<A>, failureDetails: FailureDetails): TestResult {
15
22
  if (whole.isSameAssertionAs(failureDetails.assertion.head)) {
@@ -74,3 +81,159 @@ export function testIO<R, E>(label: string, assertion: Lazy<IO<R, E, TestResult>
74
81
  export function test(label: string, assertion: Lazy<TestResult>): Spec<unknown, never> {
75
82
  return testIO(label, IO.succeed(assertion));
76
83
  }
84
+
85
+ /**
86
+ * @tsplus fluent fncts.test.Gen check
87
+ */
88
+ export function check<R, A>(rv: Gen<R, A>, test: (a: A) => TestResult): IO<R & Has<TestConfig>, never, TestResult> {
89
+ return TestConfig.samples.flatMap((n) =>
90
+ checkStream(rv.sample.forever.filterMap(identity).take(n), (a) => IO.succeed(test(a))),
91
+ );
92
+ }
93
+
94
+ /**
95
+ * @tsplus fluent fncts.test.Gen check
96
+ */
97
+ export function checkIO<R, A, R1, E>(
98
+ rv: Gen<R, A>,
99
+ test: (a: A) => IO<R1, E, TestResult>,
100
+ ): IO<R & R1 & Has<TestConfig>, E, TestResult> {
101
+ return TestConfig.samples.flatMap((n) => checkStream(rv.sample.forever.filterMap(identity).take(n), test));
102
+ }
103
+
104
+ /**
105
+ * @tsplus fluent fncts.test.Gen checkAllC
106
+ */
107
+ export function checkAllC<R, A>(
108
+ rv: Gen<R, A>,
109
+ concurrency: number,
110
+ test: (a: A) => TestResult,
111
+ ): IO<R & Has<TestConfig>, never, TestResult> {
112
+ return checkStreamC(rv.sample.forever.filterMap(identity), concurrency, (a) => IO.succeed(test(a)));
113
+ }
114
+
115
+ /**
116
+ * @tsplus fluent fncts.test.Gen checkAllC
117
+ */
118
+ export function checkAllIOC<R, A, R1, E>(
119
+ rv: Gen<R, A>,
120
+ concurrency: number,
121
+ test: (a: A) => IO<R1, E, TestResult>,
122
+ ): IO<R & R1 & Has<TestConfig>, E, TestResult> {
123
+ return checkStreamC(rv.sample.forever.filterMap(identity), concurrency, test);
124
+ }
125
+
126
+ function checkStreamC<R, E, A, R1>(
127
+ stream: Stream<R, never, Sample<R, A>>,
128
+ concurrency: number,
129
+ test: (a: A) => IO<R1, E, TestResult>,
130
+ ): IO<R & R1 & Has<TestConfig>, E, TestResult> {
131
+ return TestConfig.shrinks.flatMap((shrinks) =>
132
+ shrinkStream(
133
+ stream.zipWithIndex
134
+ .mapIOC(concurrency, ([initial, index]) =>
135
+ initial
136
+ .foreach(
137
+ (input) =>
138
+ test(input).map((result) =>
139
+ result.map(
140
+ (details) =>
141
+ new FailureDetailsResult(
142
+ details.failureDetails,
143
+ Just(new GenFailureDetails(initial.value, input, index)),
144
+ ),
145
+ ),
146
+ ).either,
147
+ )
148
+ .flatMap((sample) =>
149
+ sample.value.match(
150
+ () => IO.fail(sample),
151
+ () => IO.succeed(sample),
152
+ ),
153
+ ),
154
+ )
155
+ .catchAll(Stream.succeedNow),
156
+ shrinks,
157
+ ),
158
+ );
159
+ }
160
+
161
+ function checkStream<R, E, A, R1>(
162
+ stream: Stream<R, never, Sample<R, A>>,
163
+ test: (a: A) => IO<R1, E, TestResult>,
164
+ ): IO<R & R1 & Has<TestConfig>, E, TestResult> {
165
+ return TestConfig.shrinks.flatMap((shrinks) =>
166
+ shrinkStream(
167
+ stream.zipWithIndex.mapIO(([initial, index]) =>
168
+ initial.foreach(
169
+ (input) =>
170
+ test(input).map((result) =>
171
+ result.map(
172
+ (details) =>
173
+ new FailureDetailsResult(
174
+ details.failureDetails,
175
+ Just(new GenFailureDetails(initial.value, input, index)),
176
+ ),
177
+ ),
178
+ ).either,
179
+ ),
180
+ ),
181
+ shrinks,
182
+ ),
183
+ );
184
+ }
185
+
186
+ function shrinkStream<R, E, A, R1>(
187
+ stream: Stream<R1, never, Sample<R1, Either<E, TestResult>>>,
188
+ maxShrinks: number,
189
+ __tsPlusTrace?: string,
190
+ ): IO<R & R1 & Has<TestConfig>, E, TestResult> {
191
+ return stream
192
+ .dropWhile(
193
+ (sample) =>
194
+ !sample.value.match(
195
+ () => true,
196
+ (result) => result.isFailure,
197
+ ),
198
+ )
199
+ .take(1)
200
+ .flatMap((sample) =>
201
+ sample
202
+ .shrinkSearch((value) =>
203
+ value.match(
204
+ () => true,
205
+ (result) => result.isFailure,
206
+ ),
207
+ )
208
+ .take(maxShrinks + 1),
209
+ )
210
+ .runCollect.flatMap((shrinks) =>
211
+ shrinks
212
+ .filter((value) =>
213
+ value.match(
214
+ () => true,
215
+ (result) => result.isFailure,
216
+ ),
217
+ )
218
+ .last.match(
219
+ () =>
220
+ IO.succeedNow(
221
+ FreeBooleanAlgebra.success(
222
+ new FailureDetailsResult(
223
+ new FailureDetails(
224
+ Cons(
225
+ new AssertionValue(
226
+ LazyValue(Assertion.anything),
227
+ undefined,
228
+ LazyValue(Assertion.anything.run(undefined)),
229
+ ),
230
+ ),
231
+ Nothing(),
232
+ ),
233
+ ),
234
+ ),
235
+ ),
236
+ IO.fromEitherNow,
237
+ ),
238
+ );
239
+ }
@@ -249,3 +249,5 @@ export function succeeds<A>(assertion: Assertion<A>): Assertion<Exit<any, A>> {
249
249
  export function test_<A>(self: Assertion<A>, actual: A): boolean {
250
250
  return self.run(actual).isSuccess;
251
251
  }
252
+
253
+ export const completes = Assertion.make("completes", [], () => true);
@@ -20,6 +20,13 @@ export function flatMap_<A, B>(self: FreeBooleanAlgebra<A>, f: (a: A) => FreeBoo
20
20
  });
21
21
  }
22
22
 
23
+ /**
24
+ * @tsplus fluent fncts.test.FreeBooleanAlgebra map
25
+ */
26
+ export function map_<A, B>(self: FreeBooleanAlgebra<A>, f: (a: A) => B): FreeBooleanAlgebra<B> {
27
+ return self.flatMap((a) => FreeBooleanAlgebra.success(f(a)));
28
+ }
29
+
23
30
  /**
24
31
  * @tsplus static fncts.test.FreeBooleanAlgebraOps failure
25
32
  */
package/api.d.ts CHANGED
@@ -1,10 +1,16 @@
1
1
  import { IO } from "@fncts/io/IO";
2
2
  import { Lazy } from "@fncts/base/data/function/definition";
3
- import type { Assertion, AssertResult } from "./control/Assertion.js";
3
+ import { Has } from "@fncts/base/typeclass";
4
+ import { Stream } from "@fncts/io/Stream";
5
+ import { Either } from "@fncts/base/data/Either/definition";
6
+ import type { AssertResult } from "./control/Assertion.js";
4
7
  import type { AssertionIO } from "./control/AssertionIO.js";
8
+ import type { Gen } from "./control/Gen.js";
5
9
  import type { TestResult } from "./data/FailureDetails.js";
6
10
  import type { _E, _R } from "@fncts/base/types";
11
+ import { Assertion } from "./control/Assertion.js";
7
12
  import { Spec } from "./control/Spec.js";
13
+ import { TestConfig } from "./data/TestConfig.js";
8
14
  export declare function traverseResult<A>(value: A, assertResult: AssertResult<A>, assertion: AssertionIO<A>): TestResult;
9
15
  /**
10
16
  * @tsplus fluent global assert 1
@@ -19,3 +25,23 @@ export declare function assertIO_<R, E, A>(io: IO<R, E, A>, assertion: Assertion
19
25
  export declare function suite<Specs extends ReadonlyArray<Spec<any, any>>>(label: string, ...specs: Specs): Spec<_R<Specs[number]>, _E<Specs[number]>>;
20
26
  export declare function testIO<R, E>(label: string, assertion: Lazy<IO<R, E, TestResult>>): Spec<R, E>;
21
27
  export declare function test(label: string, assertion: Lazy<TestResult>): Spec<unknown, never>;
28
+ /**
29
+ * @tsplus fluent fncts.test.Gen check
30
+ * @tsplus location "@fncts/test/api"
31
+ */
32
+ export declare function check<R, A>(rv: Gen<R, A>, test: (a: A) => TestResult): IO<R & Has<TestConfig>, never, TestResult>;
33
+ /**
34
+ * @tsplus fluent fncts.test.Gen check
35
+ * @tsplus location "@fncts/test/api"
36
+ */
37
+ 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>;
38
+ /**
39
+ * @tsplus fluent fncts.test.Gen checkAllC
40
+ * @tsplus location "@fncts/test/api"
41
+ */
42
+ export declare function checkAllC<R, A>(rv: Gen<R, A>, concurrency: number, test: (a: A) => TestResult): IO<R & Has<TestConfig>, never, TestResult>;
43
+ /**
44
+ * @tsplus fluent fncts.test.Gen checkAllC
45
+ * @tsplus location "@fncts/test/api"
46
+ */
47
+ 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>;
@@ -83,3 +83,4 @@ export declare function succeeds<A>(assertion: Assertion<A>): Assertion<Exit<any
83
83
  * @tsplus location "@fncts/test/control/Assertion/api"
84
84
  */
85
85
  export declare function test_<A>(self: Assertion<A>, actual: A): boolean;
86
+ export declare const completes: Assertion<unknown>;
@@ -13,6 +13,11 @@ export declare function and_<A>(left: FreeBooleanAlgebra<A>, right: FreeBooleanA
13
13
  * @tsplus location "@fncts/test/data/FreeBooleanAlgebra/api"
14
14
  */
15
15
  export declare function flatMap_<A, B>(self: FreeBooleanAlgebra<A>, f: (a: A) => FreeBooleanAlgebra<B>): FreeBooleanAlgebra<B>;
16
+ /**
17
+ * @tsplus fluent fncts.test.FreeBooleanAlgebra map
18
+ * @tsplus location "@fncts/test/data/FreeBooleanAlgebra/api"
19
+ */
20
+ export declare function map_<A, B>(self: FreeBooleanAlgebra<A>, f: (a: A) => B): FreeBooleanAlgebra<B>;
16
21
  /**
17
22
  * @tsplus static fncts.test.FreeBooleanAlgebraOps failure
18
23
  * @tsplus location "@fncts/test/data/FreeBooleanAlgebra/api"
package/package.json CHANGED
@@ -1,10 +1,10 @@
1
1
  {
2
2
  "name": "@fncts/test",
3
- "version": "0.0.6",
3
+ "version": "0.0.9",
4
4
  "dependencies": {
5
- "@fncts/base": "0.0.6",
6
- "@fncts/io": "0.0.6",
7
- "@fncts/typelevel": "0.0.6"
5
+ "@fncts/base": "0.0.9",
6
+ "@fncts/io": "0.0.9",
7
+ "@fncts/typelevel": "0.0.7"
8
8
  },
9
9
  "exports": {
10
10
  "./*": {