@fncts/test 0.0.12 → 0.0.13

package/_mjs/control/TestExecutor.mjs

@@ -11,25 +11,25 @@ import { TestAnnotationMap } from "../data/TestAnnotationMap.mjs";
 import { RuntimeFailure } from "../data/TestFailure.mjs";
 export function defaultTestExecutor(env) {
   return {
-    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, {
+    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 + ":26:56"), cause => tsplus_module_1.succeedNow([tsplus_module_5.left(new RuntimeFailure(cause)), TestAnnotationMap.empty], fileName_1 + ":27:39")), ([success, annotations]) => tsplus_module_1.succeedNow([tsplus_module_5.right(success), annotations], fileName_1 + ":30:26"), defExec)), s => tsplus_module_4.scoped_(tsplus_module_3.foldScoped_(s, spec => matchTag_(spec, {
       Exec: ({
         spec
-      }) => tsplus_module_1.succeedNow(spec, fileName_1 + ":40:52"),
+      }) => tsplus_module_1.succeedNow(spec, fileName_1 + ":38:52"),
       Labeled: ({
         label,
         spec
-      }) => tsplus_module_1.succeedNow(tsplus_module_2.labeled(spec, label), fileName_1 + ":41:62"),
+      }) => tsplus_module_1.succeedNow(tsplus_module_2.labeled(spec, label), fileName_1 + ":39:62"),
       Scoped: ({
         scoped
       }) => scoped,
       Multiple: ({
         specs
-      }) => tsplus_module_1.succeedNow(tsplus_module_2.multiple(specs), fileName_1 + ":43:57"),
+      }) => tsplus_module_1.succeedNow(tsplus_module_2.multiple(specs), fileName_1 + ":41:57"),
       Test: ({
         test,
         annotations
-      }) => tsplus_module_1.map_(test, ([result, dynamicAnnotations]) => tsplus_module_2.test(result, annotations.combine(dynamicAnnotations)), fileName_1 + ":45:29")
-    }), defExec)), fileName_1 + ":35:24"),
+      }) => tsplus_module_1.map_(test, ([result, dynamicAnnotations]) => tsplus_module_2.test(result, annotations.combine(dynamicAnnotations)), fileName_1 + ":43:29")
+    }), defExec)), fileName_1 + ":33:24"),
     environment: env
   };
 }

package/_mjs/control/TestExecutor.mjs.map

@@ -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_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]}
+{"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,CAAiCC,GAAjC,EAA0E;EAC9E,OAAO;IACLC,GAAG,EAAE,CAAIC,IAAJ,EAAoCC,OAApC,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]}

package/_mjs/control/TestLogger.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"TestLogger.mjs","mappings":";;;;;;AAEA;;;;;AAIA,OAAM,MAAgBA,UAAhB,CAA0B;AAIhC;;;;AAGO,MAAMC,+BAAgBC,yBAAtB;aAAMC,aAAa;AAE1B;;;;AAGA,OAAO,MAAMC,WAAW,gBAA2CC,qCACjEC,4BAAgBC,OAAD,IACbC,2BACE,IAAK,cAAcR,UAAd,CAAwB;EAC3BS,OAAO,CAACC,IAAD,EAAa;IAClB,OAAOH,OAAO,CAACI,KAAR,CAAcD,IAAd,CAAP;EACD;;AAH0B,CAA7B,EADF,EAKME,qBALN,CADF,CADiE,EAShEX,eATgE,CAA5D;AAaP;;;;AAGA,OAAM,SAAUQ,OAAV,CAAkBC,IAAlB,EAA8B;EAClC,OAAOG,8BAAkBC,UAAD,IAAgBA,UAAU,CAACL,OAAX,CAAmBC,IAAnB,CAAjC,EAAyDT,eAAzD,EAAyDW,qBAAzD,CAAP;AACD","names":["TestLogger","TestLoggerTag_1","tsplus_module_1","TestLoggerTag","fromConsole","tsplus_module_4","tsplus_module_3","console","tsplus_module_2","logLine","line","print","fileName_1","tsplus_module_5","testLogger"],"sourceRoot":"","sources":["../../_src/control/TestLogger.ts"],"sourcesContent":[null]}
+{"version":3,"file":"TestLogger.mjs","mappings":";;;;;;AAEA;;;;;AAIA,OAAM,MAAgBA,UAAhB,CAA0B;AAIhC;;;;AAGO,MAAMC,+BAAgBC,yBAAtB;aAAMC,aAAa;AAE1B;;;;AAGA,OAAO,MAAMC,WAAW,gBAAoCC,qCAC1DC,4BAAgBC,OAAD,IACbC,2BACE,IAAK,cAAcR,UAAd,CAAwB;EAC3BS,OAAO,CAACC,IAAD,EAAa;IAClB,OAAOH,OAAO,CAACI,KAAR,CAAcD,IAAd,CAAP;EACD;;AAH0B,CAA7B,EADF,EAKME,qBALN,CADF,CAD0D,EASzDX,eATyD,CAArD;AAaP;;;;AAGA,OAAM,SAAUQ,OAAV,CAAkBC,IAAlB,EAA8B;EAClC,OAAOG,8BAAkBC,UAAD,IAAgBA,UAAU,CAACL,OAAX,CAAmBC,IAAnB,CAAjC,EAAyDT,eAAzD,EAAyDW,qBAAzD,CAAP;AACD","names":["TestLogger","TestLoggerTag_1","tsplus_module_1","TestLoggerTag","fromConsole","tsplus_module_4","tsplus_module_3","console","tsplus_module_2","logLine","line","print","fileName_1","tsplus_module_5","testLogger"],"sourceRoot":"","sources":["../../_src/control/TestLogger.ts"],"sourcesContent":[null]}

package/_mjs/control/TestRandom/api.mjs

@@ -1,14 +1,14 @@
 const fileName_1 = "(@fncts/test) src/control/TestRandom/api.ts";
 import * as tsplus_module_1 from "@fncts/test/control/TestRandom/definition";
 import * as tsplus_module_2 from "@fncts/io/IO/api/environment";
-import * as tsplus_module_3 from "@fncts/io/Ref/constructors";
-import * as tsplus_module_4 from "@fncts/io/Random/definition";
-import * as tsplus_module_5 from "@fncts/base/data/Environment/api";
+import * as tsplus_module_3 from "@fncts/io/Random/definition";
+import * as tsplus_module_4 from "@fncts/base/data/Environment/api";
+import * as tsplus_module_5 from "@fncts/io/Ref/constructors";
 import * as tsplus_module_6 from "@fncts/io/IO/api";
 import * as tsplus_module_7 from "@fncts/io/Layer/api";
-import * as tsplus_module_8 from "@fncts/io/Clock/api";
-import * as tsplus_module_9 from "@fncts/io/IOEnv/services";
-import * as tsplus_module_10 from "@fncts/io/FiberRef/api/locallyScopedWith";
+import * as tsplus_module_8 from "@fncts/io/IOEnv/services";
+import * as tsplus_module_9 from "@fncts/io/FiberRef/api/locallyScopedWith";
+import * as tsplus_module_10 from "@fncts/io/Clock/api";
 export const make = make_1;
 import { Buffer, Data, TestRandom } from "@fncts/test/control/TestRandom";
 /**
@@ -58,12 +58,10 @@ export function feedBooleans(...booleans) {
  */
 
 function make_1(initialData) {
-  return tsplus_module_7.fromIOEnvironment(tsplus_module_6.gen(function* (_) {
-    const data = yield* _(tsplus_module_3.make(() => initialData), fileName_1 + ":47:30");
-    const buffer = yield* _(tsplus_module_3.make(() => new Buffer()), fileName_1 + ":48:30");
+  return tsplus_module_7.fromIOEnvironment(tsplus_module_6.flatMap_(tsplus_module_5.make(() => initialData), data => tsplus_module_6.map_(tsplus_module_5.make(() => new Buffer()), buffer => {
     const test = new TestRandom(data, buffer);
-    return tsplus_module_5.add(tsplus_module_5.add(tsplus_module_5.make(), test, tsplus_module_1.TestRandomTag), test, tsplus_module_4.RandomTag);
-  }), fileName_1 + ":45:33");
+    return tsplus_module_4.add(tsplus_module_4.add(tsplus_module_4.make(), test, tsplus_module_1.TestRandomTag), test, tsplus_module_3.RandomTag);
+  }, fileName_1 + ":48:23"), fileName_1 + ":47:23"), fileName_1 + ":45:33");
 }
 
 const defaultData = /*#__PURE__*/new Data(1071905196, 1911589680);
@@ -77,11 +75,5 @@ export const determinictic = determinictic_1;
  * @tsplus static fncts.test.TestRandomOps Random
  */
 
-export const random = /*#__PURE__*/tsplus_module_7.to_(determinictic_1, /*#__PURE__*/tsplus_module_7.scoped(() => tsplus_module_6.gen(function* (_) {
-  const testRandom = yield* _(tsplus_module_2.service(tsplus_module_1.TestRandomTag, fileName_1 + ":68:45"), fileName_1 + ":68:34");
-  const time = yield* _(tsplus_module_8.currentTime, fileName_1 + ":69:34");
-  yield* _(testRandom.setSeed(time), fileName_1 + ":70:15");
-  yield* _(tsplus_module_10.locallyScopedWith(tsplus_module_9.services, _ => tsplus_module_5.add(_, testRandom, tsplus_module_4.RandomTag)), fileName_1 + ":71:15");
-  return testRandom;
-}), tsplus_module_1.TestRandomTag));
+export const random = /*#__PURE__*/tsplus_module_7.to_(determinictic_1, /*#__PURE__*/tsplus_module_7.scoped(() => tsplus_module_6.flatMap_(tsplus_module_2.service(tsplus_module_1.TestRandomTag, fileName_1 + ":68:38"), testRandom => tsplus_module_6.flatMap_(tsplus_module_10.currentTime, time => tsplus_module_6.flatMap_(testRandom.setSeed(time), () => tsplus_module_6.map_(tsplus_module_9.locallyScopedWith(tsplus_module_8.services, _ => tsplus_module_4.add(_, testRandom, tsplus_module_3.RandomTag)), () => testRandom, fileName_1 + ":71:8"), fileName_1 + ":70:8"), fileName_1 + ":69:27"), fileName_1 + ":68:27"), tsplus_module_1.TestRandomTag));
 //# sourceMappingURL=api.mjs.map

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

@@ -1 +1 @@
-{"version":3,"file":"api.mjs","mappings":";;;;;;;;;;;aA2CgBA,IAAI;AA1CpB,SAASC,MAAT,EAAiBC,IAAjB,EAAuBC,UAAvB,QAAyC,gCAAzC;AAEA;;;;AAGA,OAAM,SAAUC,QAAV,CAAmB,GAAGC,IAAtB,EAAiD;EACrD,OAAOC,8BAAkBC,EAAD,IAAQA,EAAE,CAACH,QAAH,CAAY,GAAGC,IAAf,CAAzB,EAA6CG,6BAA7C,EAA6CC,oBAA7C,CAAP;AACD;AACD;;;;AAGA,OAAM,SAAUC,SAAV,CAAoB,GAAGC,KAAvB,EAAgE;EACpE,OAAOL,8BAAkBC,EAAD,IAAQA,EAAE,CAACG,SAAH,CAAa,GAAGC,KAAhB,CAAzB,EAA+CH,6BAA/C,EAA+CC,qBAA/C,CAAP;AACD;AACD;;;;AAGA,OAAM,SAAUG,SAAV,CAAoB,GAAGC,KAAvB,EAAmD;EACvD,OAAOP,8BAAkBC,EAAD,IAAQA,EAAE,CAACK,SAAH,CAAa,GAAGC,KAAhB,CAAzB,EAA+CL,6BAA/C,EAA+CC,qBAA/C,CAAP;AACD;AACD;;;;AAGA,OAAM,SAAUK,WAAV,CAAsB,GAAGC,OAAzB,EAAuD;EAC3D,OAAOT,8BAAkBC,EAAD,IAAQA,EAAE,CAACO,WAAH,CAAe,GAAGC,OAAlB,CAAzB,EAAmDP,6BAAnD,EAAmDC,qBAAnD,CAAP;AACD;AACD;;;;AAGA,OAAM,SAAUO,WAAV,CAAsB,GAAGC,OAAzB,EAAuD;EAC3D,OAAOX,8BAAkBC,EAAD,IAAQA,EAAE,CAACS,WAAH,CAAe,GAAGC,OAAlB,CAAzB,EAAmDT,6BAAnD,EAAmDC,qBAAnD,CAAP;AACD;AACD;;;;AAGA,OAAM,SAAUS,YAAV,CAAuB,GAAGC,QAA1B,EAA0D;EAC9D,OAAOb,8BAAkBC,EAAD,IAAQA,EAAE,CAACW,YAAH,CAAgB,GAAGC,QAAnB,CAAzB,EAAqDX,6BAArD,EAAqDC,qBAArD,CAAP;AACD;AAED;;;;AAGA,gBAAqBW,WAArB,EAAsC;EACpC,OAAOC,kCACLC,oBAAO,WAAWC,CAAX,EAAY;IACjB,MAAMC,IAAI,GAAK,OAAOD,CAAC,CAACE,2BAASL,WAAT,CAAD,EAAsBX,qBAAtB,CAAvB;IACA,MAAMiB,MAAM,GAAG,OAAOH,CAAC,CAACE,2BAAS,IAAIxB,MAAJ,EAAT,CAAD,EAAuBQ,qBAAvB,CAAvB;IACA,MAAMkB,IAAI,GAAK,IAAIxB,UAAJ,CAAeqB,IAAf,EAAqBE,MAArB,CAAf;IACA,OAAOE,gEAAkBD,IAAlB,EAAsBnB,6BAAtB,GAA4CmB,IAA5C,EAAgDE,yBAAhD,CAAP;EACD,CALD,CADK,EAMHpB,qBANG,CAAP;AAQD;;AAED,MAAMqB,WAAW,gBAAG,IAAI5B,IAAJ,CAAS,UAAT,EAAqB,UAArB,CAApB;AAEA;;;;AAGO,MAAM6B,+BAAgBC,OAAgBF,WAAhB,CAAtB;aAAMG,aAAa;AAE1B;;;;AAGA,OAAO,MAAMC,MAAM,gBAA2Cb,kDAC5DA,6BACEC,oBAAO,WAAWC,CAAX,EAAY;EACjB,MAAMY,UAAU,GAAG,OAAOZ,CAAC,CAACjB,6EAAD,EAA2BG,qBAA3B,CAA3B;EACA,MAAM2B,IAAI,GAAS,OAAOb,CAAC,oDAA3B;EACA,OAAOA,CAAC,CAACY,UAAU,CAACE,OAAX,CAAmBD,IAAnB,CAAD,EAAyB3B,qBAAzB,CAAR;EACA,OAAOc,CAAC,CAACe,6DAAkCf,CAAD,IAAOK,uBAAMO,UAAN,EAAgBN,yBAAhB,CAAxC,CAAD,EAAuEpB,qBAAvE,CAAR;EACA,OAAO0B,UAAP;AACD,CAND,CADF,EAOI3B,6BAPJ,CAD4D,CAAvD","names":["make","Buffer","Data","TestRandom","feedInts","ints","tsplus_module_2","tr","tsplus_module_1","fileName_1","feedBytes","bytes","feedChars","chars","feedDoubles","doubles","feedStrings","strings","feedBooleans","booleans","initialData","tsplus_module_7","tsplus_module_6","_","data","tsplus_module_3","buffer","test","tsplus_module_5","tsplus_module_4","defaultData","determinictic_1","make_1","determinictic","random","testRandom","time","setSeed","tsplus_module_10"],"sourceRoot":"","sources":["../../../_src/control/TestRandom/api.ts"],"sourcesContent":[null]}
+{"version":3,"file":"api.mjs","mappings":";;;;;;;;;;;aA2CgBA,IAAI;AA1CpB,SAASC,MAAT,EAAiBC,IAAjB,EAAuBC,UAAvB,QAAyC,gCAAzC;AAEA;;;;AAGA,OAAM,SAAUC,QAAV,CAAmB,GAAGC,IAAtB,EAAiD;EACrD,OAAOC,8BAAkBC,EAAD,IAAQA,EAAE,CAACH,QAAH,CAAY,GAAGC,IAAf,CAAzB,EAA6CG,6BAA7C,EAA6CC,oBAA7C,CAAP;AACD;AACD;;;;AAGA,OAAM,SAAUC,SAAV,CAAoB,GAAGC,KAAvB,EAAgE;EACpE,OAAOL,8BAAkBC,EAAD,IAAQA,EAAE,CAACG,SAAH,CAAa,GAAGC,KAAhB,CAAzB,EAA+CH,6BAA/C,EAA+CC,qBAA/C,CAAP;AACD;AACD;;;;AAGA,OAAM,SAAUG,SAAV,CAAoB,GAAGC,KAAvB,EAAmD;EACvD,OAAOP,8BAAkBC,EAAD,IAAQA,EAAE,CAACK,SAAH,CAAa,GAAGC,KAAhB,CAAzB,EAA+CL,6BAA/C,EAA+CC,qBAA/C,CAAP;AACD;AACD;;;;AAGA,OAAM,SAAUK,WAAV,CAAsB,GAAGC,OAAzB,EAAuD;EAC3D,OAAOT,8BAAkBC,EAAD,IAAQA,EAAE,CAACO,WAAH,CAAe,GAAGC,OAAlB,CAAzB,EAAmDP,6BAAnD,EAAmDC,qBAAnD,CAAP;AACD;AACD;;;;AAGA,OAAM,SAAUO,WAAV,CAAsB,GAAGC,OAAzB,EAAuD;EAC3D,OAAOX,8BAAkBC,EAAD,IAAQA,EAAE,CAACS,WAAH,CAAe,GAAGC,OAAlB,CAAzB,EAAmDT,6BAAnD,EAAmDC,qBAAnD,CAAP;AACD;AACD;;;;AAGA,OAAM,SAAUS,YAAV,CAAuB,GAAGC,QAA1B,EAA0D;EAC9D,OAAOb,8BAAkBC,EAAD,IAAQA,EAAE,CAACW,YAAH,CAAgB,GAAGC,QAAnB,CAAzB,EAAqDX,6BAArD,EAAqDC,qBAArD,CAAP;AACD;AAED;;;;AAGA,gBAAqBW,WAArB,EAAsC;EACpC,OAAOC,2DAEcC,2BAASF,WAAT,CAFd,EAEGG,IAAI,yBACOD,2BAAS,IAAIrB,MAAJ,EAAT,CADP,EACJuB,MAAM;IACZ,MAAMC,IAAI,GAAK,IAAItB,UAAJ,CAAeoB,IAAf,EAAqBC,MAArB,CAAf;IACA,OAAOE,gEAAkBD,IAAlB,EAAsBjB,6BAAtB,GAA4CiB,IAA5C,EAAgDE,yBAAhD,CAAP;GAHU,wBAFP,gDAAP;AAQD;;AAED,MAAMC,WAAW,gBAAG,IAAI1B,IAAJ,CAAS,UAAT,EAAqB,UAArB,CAApB;AAEA;;;;AAGO,MAAM2B,+BAAgBC,OAAgBF,WAAhB,CAAtB;aAAMG,aAAa;AAE1B;;;;AAGA,OAAO,MAAMC,MAAM,gBAAsCX,kDACvDA,sDAEyBf,6EAFzB,EAEU2B,UAAU,2DACVC,IAAI,6BACRD,UAAU,CAACE,OAAX,CAAmBD,IAAnB,CADQ,EACgB,2BACxBE,4DAAkCC,CAAD,IAAOX,uBAAMO,UAAN,EAAgBN,yBAAhB,CAAxC,CADwB,EAC8C,MACjEM,UAFmB,EAETxB,oBAFS,CADhB,EAGOA,oBAHP,CADM,EAICA,qBAJD,CAFpB,EAMqBA,qBANrB,GAMqBD,6BANrB,CADuD,CAAlD","names":["make","Buffer","Data","TestRandom","feedInts","ints","tsplus_module_2","tr","tsplus_module_1","fileName_1","feedBytes","bytes","feedChars","chars","feedDoubles","doubles","feedStrings","strings","feedBooleans","booleans","initialData","tsplus_module_7","tsplus_module_5","data","buffer","test","tsplus_module_4","tsplus_module_3","defaultData","determinictic_1","make_1","determinictic","random","testRandom","time","setSeed","tsplus_module_9","_"],"sourceRoot":"","sources":["../../../_src/control/TestRandom/api.ts"],"sourcesContent":[null]}

package/_mjs/control/TestRunner.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"TestRunner.mjs","mappings":";;;;;;;;AAQA,SAASA,oBAAT,QAAqC,cAArC;AAMA,OAAM,MAAOC,UAAP,CAAiB;EAGrBC,YACWC,QADX,EAEWC,gBAA+BJ,oBAF1C,EAGEK,QAHF,EAIEC,SAJF,EAIoD;IAHzC;IACA;IAIT,KAAKD,QAAL,GAAiBA,QAAQ,IAAIE,uEAA7B;IACA,KAAKD,SAAL,GAAiBA,SAAS,+BAA1B;EACD;;EAEDE,GAAG,CAACC,IAAD,EAAoC;IACrC,OAAOC,yDAAKP,QAAL,CACJK,GADI,CACAC,IADA,EACME,kCAAoC,EAApC,CADN,GAC8CC,2BAD9C,EAC8CC,qBAD9C,GAGI,CAAC,CAACC,QAAD,EAAWC,OAAX,CAAD,KAAyBL,yBAAKL,QAAL,CAAcS,QAAd,EAAwBC,OAAxB,GAAgC,MAAIA,OAApC,CAH7B,EAGyEF,qBAHzE,CAAP;EAID;;AAlBoB","names":["defaultRuntimeConfig","TestRunner","constructor","executor","runtimeConfig","reporter","bootstrap","tsplus_module_3","run","spec","tsplus_module_5","tsplus_module_7","tsplus_module_6","fileName_1","duration","results"],"sourceRoot":"","sources":["../../_src/control/TestRunner.ts"],"sourcesContent":[null]}
+{"version":3,"file":"TestRunner.mjs","mappings":";;;;;;;;AAQA,SAASA,oBAAT,QAAqC,cAArC;AAMA,OAAM,MAAOC,UAAP,CAAiB;EAGrBC,YACWC,QADX,EAEWC,gBAA+BJ,oBAF1C,EAGEK,QAHF,EAIEC,SAJF,EAI6C;IAHlC;IACA;IAIT,KAAKD,QAAL,GAAiBA,QAAQ,IAAIE,uEAA7B;IACA,KAAKD,SAAL,GAAiBA,SAAS,+BAA1B;EACD;;EAEDE,GAAG,CAACC,IAAD,EAA+B;IAChC,OAAOC,yDAAKP,QAAL,CACJK,GADI,CACAC,IADA,EACME,kCAAoC,EAApC,CADN,GAC8CC,2BAD9C,EAC8CC,qBAD9C,GAGI,CAAC,CAACC,QAAD,EAAWC,OAAX,CAAD,KAAyBL,yBAAKL,QAAL,CAAcS,QAAd,EAAwBC,OAAxB,GAAgC,MAAIA,OAApC,CAH7B,EAGyEF,qBAHzE,CAAP;EAID;;AAlBoB","names":["defaultRuntimeConfig","TestRunner","constructor","executor","runtimeConfig","reporter","bootstrap","tsplus_module_3","run","spec","tsplus_module_5","tsplus_module_7","tsplus_module_6","fileName_1","duration","results"],"sourceRoot":"","sources":["../../_src/control/TestRunner.ts"],"sourcesContent":[null]}

package/_src/api.ts

@@ -78,14 +78,14 @@ export function testIO<R, E>(label: string, assertion: Lazy<IO<R, E, TestResult>
   return Spec.test(Test.fromAssertion(assertion), TestAnnotationMap.empty).labeled(label);
 }
 
-export function test(label: string, assertion: Lazy<TestResult>): Spec<unknown, never> {
+export function test(label: string, assertion: Lazy<TestResult>): Spec<never, never> {
   return testIO(label, IO.succeed(assertion));
 }
 
 /**
  * @tsplus fluent fncts.test.Gen check
  */
-export function check<R, A>(rv: Gen<R, A>, test: (a: A) => TestResult): IO<R & Has<TestConfig>, never, TestResult> {
+export function check<R, A>(rv: Gen<R, A>, test: (a: A) => TestResult): IO<R | TestConfig, never, TestResult> {
   return TestConfig.samples.flatMap((n) =>
     checkStream(rv.sample.forever.filterMap(identity).take(n), (a) => IO.succeed(test(a))),
   );
@@ -97,7 +97,7 @@ export function check<R, A>(rv: Gen<R, A>, test: (a: A) => TestResult): IO<R & H
 export function checkIO<R, A, R1, E>(
   rv: Gen<R, A>,
   test: (a: A) => IO<R1, E, TestResult>,
-): IO<R & R1 & Has<TestConfig>, E, TestResult> {
+): IO<R | R1 | TestConfig, E, TestResult> {
   return TestConfig.samples.flatMap((n) => checkStream(rv.sample.forever.filterMap(identity).take(n), test));
 }
 
@@ -108,7 +108,7 @@ export function checkAllC<R, A>(
   rv: Gen<R, A>,
   concurrency: number,
   test: (a: A) => TestResult,
-): IO<R & Has<TestConfig>, never, TestResult> {
+): IO<R | TestConfig, never, TestResult> {
   return checkStreamC(rv.sample.forever.filterMap(identity), concurrency, (a) => IO.succeed(test(a)));
 }
 
@@ -119,7 +119,7 @@ export function checkAllIOC<R, A, R1, E>(
   rv: Gen<R, A>,
   concurrency: number,
   test: (a: A) => IO<R1, E, TestResult>,
-): IO<R & R1 & Has<TestConfig>, E, TestResult> {
+): IO<R | R1 | TestConfig, E, TestResult> {
   return checkStreamC(rv.sample.forever.filterMap(identity), concurrency, test);
 }
 
@@ -127,7 +127,7 @@ function checkStreamC<R, E, A, R1>(
   stream: Stream<R, never, Sample<R, A>>,
   concurrency: number,
   test: (a: A) => IO<R1, E, TestResult>,
-): IO<R & R1 & Has<TestConfig>, E, TestResult> {
+): IO<R | R1 | TestConfig, E, TestResult> {
   return TestConfig.shrinks.flatMap((shrinks) =>
     shrinkStream(
       stream.zipWithIndex
@@ -161,7 +161,7 @@ function checkStreamC<R, E, A, R1>(
 function checkStream<R, E, A, R1>(
   stream: Stream<R, never, Sample<R, A>>,
   test: (a: A) => IO<R1, E, TestResult>,
-): IO<R & R1 & Has<TestConfig>, E, TestResult> {
+): IO<R | R1 | TestConfig, E, TestResult> {
   return TestConfig.shrinks.flatMap((shrinks) =>
     shrinkStream(
       stream.zipWithIndex.mapIO(([initial, index]) =>
@@ -187,7 +187,7 @@ function shrinkStream<R, E, A, R1>(
   stream: Stream<R1, never, Sample<R1, Either<E, TestResult>>>,
   maxShrinks: number,
   __tsPlusTrace?: string,
-): IO<R & R1 & Has<TestConfig>, E, TestResult> {
+): IO<R | R1 | TestConfig, E, TestResult> {
   return stream
     .dropWhile(
       (sample) =>

package/_src/control/AbstractRunnableSpec.ts

@@ -9,11 +9,11 @@ export abstract class AbstractRunnableSpec<R, E> {
   abstract runner: TestRunner<R, E>;
   abstract spec: Spec<R, E>;
 
-  get _run(): URIO<Has<TestLogger>, ExecutedSpec<E>> {
+  get _run(): URIO<TestLogger, ExecutedSpec<E>> {
     return this.runSpec(this.spec);
   }
 
-  runSpec(spec: Spec<R, E>): URIO<Has<TestLogger>, ExecutedSpec<E>> {
+  runSpec(spec: Spec<R, E>): URIO<TestLogger, ExecutedSpec<E>> {
     return this.runner.run(this.aspects.foldLeft(spec, (b, a) => a(b)));
   }
 

package/_src/control/Annotations/api.ts

@@ -6,28 +6,28 @@ import { Annotations } from "./definition.js";
 /**
  * @tsplus static fncts.test.AnnotationsOps annotate
  */
-export function annotate<V>(key: TestAnnotation<V>, value: V): URIO<Has<Annotations>, void> {
+export function annotate<V>(key: TestAnnotation<V>, value: V): URIO<Annotations, void> {
   return IO.serviceWithIO((annotations) => annotations.annotate(key, value), Annotations.Tag);
 }
 
 /**
  * @tsplus static fncts.test.AnnotationsOps get
  */
-export function get<V>(key: TestAnnotation<V>): URIO<Has<Annotations>, V> {
+export function get<V>(key: TestAnnotation<V>): URIO<Annotations, V> {
   return IO.serviceWithIO((annotations) => annotations.get(key), Annotations.Tag);
 }
 
 /**
  * @tsplus static fncts.test.AnnotationsOps withAnnotations
  */
-export function withAnnotation<R, E, A>(io: IO<R, E, A>): IO<R & Has<Annotations>, Annotated<E>, Annotated<A>> {
+export function withAnnotation<R, E, A>(io: IO<R, E, A>): IO<R | Annotations, Annotated<E>, Annotated<A>> {
   return IO.serviceWithIO((annotations) => annotations.withAnnotation(io), Annotations.Tag);
 }
 
 /**
  * @tsplus static fncts.test.AnnotationsOps supervisedFibers
  */
-export const supervisedFibers: URIO<Has<Annotations>, HashSet<Fiber.Runtime<any, any>>> = IO.serviceWithIO(
+export const supervisedFibers: URIO<Annotations, HashSet<Fiber.Runtime<any, any>>> = IO.serviceWithIO(
   (annotations) => annotations.supervisedFibers,
   Annotations.Tag,
 );

package/_src/control/AssertionIO/definition.ts

@@ -4,7 +4,7 @@ import type { FreeBooleanAlgebraIO } from "../FreeBooleanAlgebraIO.js";
 
 import { hasTypeId } from "@fncts/base/util/predicates";
 
-export type AssertResultIO<A> = FreeBooleanAlgebraIO<unknown, never, AssertionValue<A>>;
+export type AssertResultIO<A> = FreeBooleanAlgebraIO<never, never, AssertionValue<A>>;
 
 export const AssertionIOTypeId = Symbol.for("fncts.test.AssertionIO");
 export type AssertionIOTypeId = typeof AssertionIOTypeId;

package/_src/control/DefaultTestReporter/render.ts

@@ -21,7 +21,7 @@ import { TestAnnotationMap } from "../../data/TestAnnotationMap.js";
 import { TestTimeoutException } from "../../data/TestTimeoutException.js";
 import { TestLogger } from "../TestLogger.js";
 
-export type TestReporter<E> = (duration: number, spec: ExecutedSpec<E>) => URIO<Has<TestLogger>, void>;
+export type TestReporter<E> = (duration: number, spec: ExecutedSpec<E>) => URIO<TestLogger, void>;
 
 /**
  * @tsplus static fncts.test.DefaultTestReporter report

package/_src/control/FreeBooleanAlgebraIO/api.ts

@@ -9,7 +9,7 @@ import { FreeBooleanAlgebra } from "../../data/FreeBooleanAlgebra.js";
 export function and_<R, E, A extends A1, R1, E1, A1>(
   self: FreeBooleanAlgebraIO<R, E, A>,
   that: FreeBooleanAlgebraIO<R1, E1, A1>,
-): FreeBooleanAlgebraIO<R & R1, E | E1, A | A1> {
+): FreeBooleanAlgebraIO<R | R1, E | E1, A | A1> {
   return self.zipWith(that, (a, b) => a && b);
 }
 
@@ -20,7 +20,7 @@ export function and_<R, E, A extends A1, R1, E1, A1>(
 export function or_<R, E, A extends A1, R1, E1, A1>(
   self: FreeBooleanAlgebraIO<R, E, A>,
   that: FreeBooleanAlgebraIO<R1, E1, A1>,
-): FreeBooleanAlgebraIO<R & R1, E | E1, A | A1> {
+): FreeBooleanAlgebraIO<R | R1, E | E1, A | A1> {
   return self.zipWith(that, (a, b) => a || b);
 }
 
@@ -48,14 +48,14 @@ export function isFailure<R, E, A>(self: FreeBooleanAlgebraIO<R, E, A>): IO<R, E
 /**
  * @tsplus static fncts.test.FreeBooleanAlgebraIOOps success
  */
-export function success<A>(a: A): FreeBooleanAlgebraIO<unknown, never, A> {
+export function success<A>(a: A): FreeBooleanAlgebraIO<never, never, A> {
   return IO.succeedNow(FreeBooleanAlgebra.success(a));
 }
 
 /**
  * @tsplus static fncts.test.FreeBooleanAlgebraIOOps failure
  */
-export function failure<A>(a: A): FreeBooleanAlgebraIO<unknown, never, A> {
+export function failure<A>(a: A): FreeBooleanAlgebraIO<never, never, A> {
   return IO.succeedNow(FreeBooleanAlgebra.failure(a));
 }
 

package/_src/control/Gen/api/array.ts

@@ -6,7 +6,7 @@ import { Gen } from "../definition.js";
 /**
  * @tsplus fluent fncts.test.Gen array
  */
-export function array<R, A>(g: Gen<R, A>, constraints: LengthConstraints = {}): Gen<R & Has<Sized>, ReadonlyArray<A>> {
+export function array<R, A>(g: Gen<R, A>, constraints: LengthConstraints = {}): Gen<R | Sized, ReadonlyArray<A>> {
   const minLength = constraints.minLength || 0;
   return constraints.maxLength
     ? Gen.int({ min: minLength, max: constraints.maxLength }).flatMap((n) => g.arrayN(n))
@@ -26,6 +26,6 @@ export function arrayN_<R, A>(self: Gen<R, A>, n: number): Gen<R, ReadonlyArray<
 export function uniqueArray_<R, A>(
   gen: Gen<R, A>,
   constraints: LengthConstraints & EqConstraint<A> = {},
-): Gen<Has<Sized> & R, ReadonlyArray<A>> {
+): Gen<Sized | R, ReadonlyArray<A>> {
   return gen.uniqueConc(constraints).map((conc) => conc.toArray);
 }

package/_src/control/Gen/api/char.ts

@@ -9,7 +9,7 @@ const gapSize = 0xdfff + 1 - 0xd800;
 /**
  * @tsplus static fncts.test.GenOps alphaNumericChar
  */
-export const alphaNumericChar: Gen<unknown, string> = Gen.weighted(
+export const alphaNumericChar: Gen<never, string> = Gen.weighted(
   [Gen.char({ min: 48, max: 57 }), 10],
   [Gen.char({ min: 65, max: 90 }), 26],
   [Gen.char({ min: 97, max: 122 }), 26],
@@ -18,46 +18,46 @@ export const alphaNumericChar: Gen<unknown, string> = Gen.weighted(
 /**
  * @tsplus static fncts.test.GenOps asciiChar
  */
-export const asciiChar: Gen<unknown, string> = _char(0x00, 0x7f, indexToPrintableIndex);
+export const asciiChar: Gen<never, string> = _char(0x00, 0x7f, indexToPrintableIndex);
 
 /**
  * @tsplus static fncts.test.GenOps base64Char
  */
-export const base64Char: Gen<unknown, string> = _char(0, 63, base64ToCharCode);
+export const base64Char: Gen<never, string> = _char(0, 63, base64ToCharCode);
 
 /**
  * @tsplus static fncts.test.GenOps char
  */
-export function char(constraints: Required<NumberConstraints>): Gen<unknown, string> {
+export function char(constraints: Required<NumberConstraints>): Gen<never, string> {
   return _char(constraints.min, constraints.max, identity);
 }
 
 /**
  * @tsplus static fncts.test.GenOps char16
  */
-export const char16: Gen<unknown, string> = _char(0x0000, 0xffff, indexToPrintableIndex);
+export const char16: Gen<never, string> = _char(0x0000, 0xffff, indexToPrintableIndex);
 
 /**
  * @tsplus static fncts.test.GenOps fullUnicodeChar
  */
-export const fullUnicodeChar: Gen<unknown, string> = _char(0x0000, 0x10ffff - gapSize, unicodeToCharCode);
+export const fullUnicodeChar: Gen<never, string> = _char(0x0000, 0x10ffff - gapSize, unicodeToCharCode);
 
 /**
  * @tsplus static fncts.test.GenOps hexChar
  */
-export const hexChar: Gen<unknown, string> = _char(0, 15, hexToCharCode);
+export const hexChar: Gen<never, string> = _char(0, 15, hexToCharCode);
 
 /**
  * @tsplus static fncts.test.GenOps printableChar
  */
-export const printableChar: Gen<unknown, string> = char({ min: 0x20, max: 0x7e });
+export const printableChar: Gen<never, string> = char({ min: 0x20, max: 0x7e });
 
 /**
  * @tsplus static fncts.test.GenOps unicodeChar
  */
-export const unicodeChar: Gen<unknown, string> = _char(0x0000, 0xffff - gapSize, unicodeToCharCode);
+export const unicodeChar: Gen<never, string> = _char(0x0000, 0xffff - gapSize, unicodeToCharCode);
 
-function _char(min: number, max: number, mapToCode: (v: number) => number): Gen<unknown, string> {
+function _char(min: number, max: number, mapToCode: (v: number) => number): Gen<never, string> {
   return Gen.int({ min, max }).map((n) => String.fromCharCode(mapToCode(n)));
 }
 

package/_src/control/Gen/api/conc.ts

@@ -8,7 +8,7 @@ import { Gen } from "../definition.js";
 /**
  * @tsplus fluent fncts.test.Gen conc
  */
-export function conc<R, A>(self: Gen<R, A>, constraints: LengthConstraints = {}): Gen<R & Has<Sized>, Conc<A>> {
+export function conc<R, A>(self: Gen<R, A>, constraints: LengthConstraints = {}): Gen<R | Sized, Conc<A>> {
   const minLength = constraints.minLength ?? 0;
   return constraints.maxLength
     ? Gen.int({ min: minLength, max: constraints.maxLength }).flatMap((n) => self.concN(n))
@@ -30,7 +30,7 @@ export function concN_<R, A>(g: Gen<R, A>, n: number): Gen<R, Conc<A>> {
 export function uniqueConc_<R, A>(
   self: Gen<R, A>,
   constraints: LengthConstraints & EqConstraint<A> = {},
-): Gen<Has<Sized> & R, Conc<A>> {
+): Gen<Sized | R, Conc<A>> {
   const minLength = constraints.minLength ?? 0;
   const eq        = constraints.eq ?? Eq({ equals: Equatable.strictEquals });
   return constraints.maxLength

package/_src/control/Gen/api/double.ts

@@ -19,7 +19,7 @@ import { Gen } from "../definition.js";
 /**
  * @tsplus static fncts.test.GenOps arrayInt64
  */
-export function arrayInt64(min: ArrayInt64, max: ArrayInt64): Gen<unknown, ArrayInt64> {
+export function arrayInt64(min: ArrayInt64, max: ArrayInt64): Gen<never, ArrayInt64> {
   return new Gen(
     Stream.fromIO(computeArrayInt64GenerateRange(min, max, undefined, undefined))
       .flatMap(({ min, max }) => Stream.repeatIO(Random.nextArrayIntBetween(min, max)))
@@ -35,7 +35,7 @@ export function arrayInt64(min: ArrayInt64, max: ArrayInt64): Gen<unknown, Array
 /**
  * @tsplus static fncts.test.GenOps double
  */
-export function double(constraints: NumberConstraints & FloatConstraints = {}): Gen<unknown, number> {
+export function double(constraints: NumberConstraints & FloatConstraints = {}): Gen<never, number> {
   const {
     noDefaultInfinity = false,
     noNaN = false,

package/_src/control/Gen/api/float.ts

@@ -6,7 +6,7 @@ import { Gen } from "../definition.js";
 /**
  * @tsplus static fncts.test.GenOps float
  */
-export function float(constraints: NumberConstraints & FloatConstraints = {}): Gen<unknown, number> {
+export function float(constraints: NumberConstraints & FloatConstraints = {}): Gen<never, number> {
   const {
     noDefaultInfinity = false,
     min = noDefaultInfinity ? -MAX_VALUE_32 : Number.NEGATIVE_INFINITY,

package/_src/control/Gen/api/string.ts

@@ -7,49 +7,49 @@ import { alphaNumericChar, asciiChar, base64Char, char16, fullUnicodeChar, hexCh
 /**
  * @tsplus static fncts.test.GenOps asciiString
  */
-export function asciiString<R>(constraints?: LengthConstraints): Gen<R & Has<Sized>, string> {
+export function asciiString<R>(constraints?: LengthConstraints): Gen<R | Sized, string> {
   return asciiChar.string(constraints);
 }
 
 /**
  * @tsplus static fncts.test.GenOps alphaNumericString
  */
-export function alphaNumericString(constraints: LengthConstraints = {}): Gen<unknown & Has<Sized>, string> {
+export function alphaNumericString(constraints: LengthConstraints = {}): Gen<Sized, string> {
   return alphaNumericChar.string(constraints);
 }
 
 /**
  * @tsplus static fncts.test.GenOps base64String
  */
-export function base64String(constraints: LengthConstraints = {}): Gen<unknown & Has<Sized>, string> {
+export function base64String(constraints: LengthConstraints = {}): Gen<Sized, string> {
   return base64Char.string(constraints);
 }
 
 /**
  * @tsplus static fncts.test.GenOps fullUnicodeString
  */
-export function fullUnicodeString(constraints: LengthConstraints = {}): Gen<unknown & Has<Sized>, string> {
+export function fullUnicodeString(constraints: LengthConstraints = {}): Gen<Sized, string> {
   return fullUnicodeChar.string(constraints);
 }
 
 /**
  * @tsplus static fncts.test.GenOps hexString
  */
-export function hexString(constraints: LengthConstraints = {}): Gen<unknown & Has<Sized>, string> {
+export function hexString(constraints: LengthConstraints = {}): Gen<Sized, string> {
   return hexChar.string(constraints);
 }
 
 /**
  * @tsplus static fncts.test.GenOps string16
  */
-export function string16(constraints: LengthConstraints = {}): Gen<unknown & Has<Sized>, string> {
+export function string16(constraints: LengthConstraints = {}): Gen<Sized, string> {
   return char16.string(constraints);
 }
 
 /**
  * @tsplus fluent fncts.test.Gen string
  */
-export function string<R>(char: Gen<R, string>, constraints: LengthConstraints = {}): Gen<R & Has<Sized>, string> {
+export function string<R>(char: Gen<R, string>, constraints: LengthConstraints = {}): Gen<R | Sized, string> {
   const min = constraints.minLength || 0;
   return constraints.maxLength
     ? Gen.bounded(min, constraints.maxLength, (n) => char.stringN(n))
@@ -66,6 +66,6 @@ export function stringN<R>(char: Gen<R, string>, n: number): Gen<R, string> {
 /**
  * @tsplus static fncts.test.GenOps unicodeString
  */
-export function unicodeString(constraints: LengthConstraints = {}): Gen<unknown & Has<Sized>, string> {
+export function unicodeString(constraints: LengthConstraints = {}): Gen<Sized, string> {
   return unicodeChar.string(constraints);
 }