@fncts/test 0.0.32 → 0.0.33

package/_mjs/data/AssertionResult.mjs

@@ -1,6 +1,7 @@
+const fileName_1 = "(@fncts/test) src/data/AssertionResult.ts";
 import * as tsplus_module_1 from "@fncts/base/data/Maybe/constructors";
 export class FailureDetailsResult {
-  constructor(failureDetails, genFailureDetails = tsplus_module_1.nothing()) {
+  constructor(failureDetails, genFailureDetails = tsplus_module_1.nothing(fileName_1 + ":7:67")) {
     this.failureDetails = failureDetails;
     this.genFailureDetails = genFailureDetails;
   }
@@ -9,7 +10,7 @@ export const AssertionResult = {};
 /**
  * @tsplus static fncts.test.data.AssertionResultOps FailureDetailsResult
  */
-export function failureDetailsResult(failureDetails, genFailureDetails = tsplus_module_1.nothing()) {
+export function failureDetailsResult(failureDetails, genFailureDetails = tsplus_module_1.nothing(fileName_1 + ":28:56")) {
   return new FailureDetailsResult(failureDetails, genFailureDetails);
 }
 //# sourceMappingURL=AssertionResult.mjs.map

package/_mjs/data/AssertionResult.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"AssertionResult.mjs","mappings":";AAGA,OAAM,MAAOA,oBAAoB;EAC/BC,YACWC,cAA8B,EAC9BC,oBAA8CC,yBAAS;IADvD,mBAAc,GAAdF,cAAc;IACd,sBAAiB,GAAjBC,iBAAiB;EACzB;;AAaL,OAAO,MAAME,eAAe,GAAuB,EAAE;AAErD;;;AAGA,OAAM,SAAUC,oBAAoB,CAClCJ,cAA8B,EAC9BC,oBAA8CC,yBAAS;EAEvD,OAAO,IAAIJ,oBAAoB,CAACE,cAAc,EAAEC,iBAAiB,CAAC;AACpE","names":["FailureDetailsResult","constructor","failureDetails","genFailureDetails","tsplus_module_1","AssertionResult","failureDetailsResult"],"sourceRoot":"","sources":["../../_src/data/AssertionResult.ts"],"sourcesContent":[null]}
+{"version":3,"file":"AssertionResult.mjs","mappings":";;AAGA,OAAM,MAAOA,oBAAoB;EAC/BC,YACWC,cAA8B,EAC9BC,oBAA8CC,6CAAS;IADvD,mBAAc,GAAdF,cAAc;IACd,sBAAiB,GAAjBC,iBAAiB;EACzB;;AAaL,OAAO,MAAME,eAAe,GAAuB,EAAE;AAErD;;;AAGA,OAAM,SAAUC,oBAAoB,CAClCJ,cAA8B,EAC9BC,oBAA8CC,8CAAS;EAEvD,OAAO,IAAIJ,oBAAoB,CAACE,cAAc,EAAEC,iBAAiB,CAAC;AACpE","names":["FailureDetailsResult","constructor","failureDetails","genFailureDetails","tsplus_module_1","AssertionResult","failureDetailsResult"],"sourceRoot":"","sources":["../../_src/data/AssertionResult.ts"],"sourcesContent":[null]}

package/_mjs/data/AssertionValue/definition.mjs

@@ -1,4 +1,5 @@
 var _a;
+const fileName_1 = "(@fncts/test) src/data/AssertionValue/definition.ts";
 import * as tsplus_module_1 from "@fncts/base/data/Maybe/constructors";
 export const AssertionValueTypeId = /*#__PURE__*/Symbol.for("fncts.test.data.AssertionValue");
 /**
@@ -6,7 +7,7 @@ export const AssertionValueTypeId = /*#__PURE__*/Symbol.for("fncts.test.data.Ass
  * @tsplus companion fncts.test.data.AssertionValueOps
  */
 export class AssertionValue {
-  constructor(assertion, value, result, expression = tsplus_module_1.nothing(), sourceLocation = tsplus_module_1.nothing()) {
+  constructor(assertion, value, result, expression = tsplus_module_1.nothing(fileName_1 + ":16:49"), sourceLocation = tsplus_module_1.nothing(fileName_1 + ":17:53")) {
     this.assertion = assertion;
     this.value = value;
     this.result = result;

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

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

package/_mjs/data/FreeBooleanAlgebra/api.mjs

@@ -1,3 +1,4 @@
+const fileName_1 = "(@fncts/test) src/data/FreeBooleanAlgebra/api.ts";
 import * as tsplus_module_1 from "@fncts/base/data/Maybe/constructors";
 import * as tsplus_module_2 from "@fncts/base/data/Either/constructors";
 import * as tsplus_module_3 from "@fncts/base/data/Either/api";
@@ -55,17 +56,17 @@ export function failure(a) {
  * @tsplus getter fncts.test.FreeBooleanAlgebra failures
  */
 export function failures(self) {
-  return tsplus_module_4.match(tsplus_module_1.just, () => tsplus_module_1.nothing())(fold_1({
-    Value: a => tsplus_module_2.right(success_1(a)),
+  return tsplus_module_4.match(tsplus_module_1.just, () => tsplus_module_1.nothing(fileName_1 + ":74:37"))(fold_1({
+    Value: a => tsplus_module_2.right(success_1(a), fileName_1 + ":49:33"),
     And: (l, r) => {
       void 0;
       void 0;
-      return tsplus_module_3.isRight(l) ? tsplus_module_3.isRight(r) ? tsplus_module_2.right(and_1(r.right)(l.right)) : r : tsplus_module_3.isRight(r) ? l : tsplus_module_2.left(and_1(r.left)(l.left));
+      return tsplus_module_3.isRight(l) ? tsplus_module_3.isRight(r) ? tsplus_module_2.right(and_1(r.right)(l.right), fileName_1 + ":55:27") : r : tsplus_module_3.isRight(r) ? l : tsplus_module_2.left(and_1(r.left)(l.left), fileName_1 + ":59:24");
     },
     Or: (l, r) => {
       void 0;
       void 0;
-      return tsplus_module_3.isRight(l) ? tsplus_module_3.isRight(r) ? tsplus_module_2.right(or_1(r.right)(l.right)) : l : tsplus_module_3.isRight(r) ? r : tsplus_module_2.left(or_1(r.left)(l.left));
+      return tsplus_module_3.isRight(l) ? tsplus_module_3.isRight(r) ? tsplus_module_2.right(or_1(r.right)(l.right), fileName_1 + ":66:27") : l : tsplus_module_3.isRight(r) ? r : tsplus_module_2.left(or_1(r.left)(l.left), fileName_1 + ":70:24");
     },
     Not: v => tsplus_module_3.swap(v)
   })(self));

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

@@ -1 +1 @@
-{"version":3,"file":"api.mjs","mappings":";;;;;;;aAMgBA,GAAG;aASHC,OAAO;aAgEPC,QAAQ;aAyBRC,IAAI;aAuBJC,OAAO;aAgBPC,SAAS;aAYTC,GAAG;aAQHC,EAAE;aASFC,OAAO;AA5KvB,SAASC,GAAG,EAA6CC,GAAG,EAAEC,EAAE,EAAEC,KAAK,QAAQ,kBAAiB;AAEhG;;;;AAIA,eAAuBC,KAA4B;EACjD,OAAQC,IAA2B,IAA2B;IAC5D,OAAO,IAAIL,GAAG,CAACK,IAAI,EAAED,KAAK,CAAC;EAC7B,CAAC;AACH;AAEA;;;AAGA,mBAA8BE,CAAkC;EAC9D,OAAQC,IAA2B,IAA2B;IAC5D,OAAOC,OAAU;MACfL,KAAK,EAAEG,CAAC;MACRN,GAAG,EAAE,CAACS,CAAC,EAAEC,CAAC,KAAIC,MAAMD,CAAC,EAAND,CAAC,CAAK;MACrBP,EAAE,EAAE,CAACO,CAAC,EAAEC,CAAC,KAAIE,KAAMF,CAAC,EAAND,CAAC,CAAK;MACpBR,GAAG,EAAGY,CAAC,IAAIC,MAACD,CAAC;KACd,EALMN,IAAI,CAKT;EACJ,CAAC;AACH;AAEA;;;AAGA,OAAM,SAAUQ,GAAG,CAAOT,CAAc;EACtC,OAAQC,IAA2B,IAA2B;IAC5D,OAAOS,UAAcC,CAAC,IAAKC,UAA2BZ,CAAC,CAACW,CAAC,CAAC,CAAC,EAApDV,IAAI,CAAiD;EAC9D,CAAC;AACH;AAEA;;;AAGA,OAAM,SAAUY,OAAO,CAAIF,CAAI;EAC7B,aAAOC,UAA2BD,CAAC,CAAC;AACtC;AAEA;;;AAGA,OAAM,SAAUG,QAAQ,CAAIb,IAA2B;EACrD,OAAOc,4CA2Bc,MAAMC,yBAAS,EA3B7Bd,OAC0D;IAC7DL,KAAK,EAAGc,CAAC,IAAKM,sBAAaL,UAA2BD,CAAC,CAAC,CAAC;IACzDjB,GAAG,EAAE,CAACS,CAAC,EAAEC,CAAC,KAAI;MACZ;MACA;MACA,OAAOc,yBAAC,CAAU,GACdA,yBAAC,CAAU,GACTD,4BAAwBb,CAAC,CAACN,KAAK,EAAlBK,CAAC,CAACL,KAAK,EAAY,GAChCM,CAAC,GACHc,yBAAC,CAAU,GACXf,CAAC,GACDc,2BAAsBb,CAAC,CAACL,IAAI,EAAhBI,CAAC,CAACJ,IAAI,EAAW;IACnC,CAAC;IACDH,EAAE,EAAE,CAACO,CAAC,EAAEC,CAAC,KAAI;MACX;MACA;MACA,OAAOc,yBAAC,CAAU,GACdA,yBAAC,CAAU,GACTD,2BAAwBb,CAAC,CAACN,KAAK,EAAlBK,CAAC,CAACL,KAAK,EAAY,GAChCK,CAAC,GACHe,yBAAC,CAAU,GACXd,CAAC,GACDa,0BAAsBb,CAAC,CAACL,IAAI,EAAhBI,CAAC,CAACJ,IAAI,EAAW;IACnC,CAAC;IACDJ,GAAG,EAAGY,CAAC,IAAIW,qBAACX,CAAC;GACd,EA1BIN,IAAI,CA0BP,CACiC;AACvC;AAEA;;;AAGA,oBAA+BkB,KAK9B;EACC,OAAQlB,IAA2B,IAAa;IAC9C,OAAOmB,sBAAW,MAAK;MACrB,QAAQnB,IAAI,CAACoB,IAAI;QACf;UACE,OAAOD,oBAASD,KAAK,CAACtB,KAAK,CAACI,IAAI,CAACqB,KAAK,CAAC,CAAC;QAC1C;UACE,OAAOC,wBAAkCC,WAAoBL,KAAK,EAAzBlB,IAAI,CAACH,KAAK,CAAgB,EAAEqB,KAAK,CAACzB,GAAG,EAAvE8B,WAAmBL,KAAK,EAAxBlB,IAAI,CAACF,IAAI,CAAgB,CAA+C;QACjF;UACE,OAAOwB,wBAAkCC,WAAoBL,KAAK,EAAzBlB,IAAI,CAACH,KAAK,CAAgB,EAAEqB,KAAK,CAACvB,EAAE,EAAtE4B,WAAmBL,KAAK,EAAxBlB,IAAI,CAACF,IAAI,CAAgB,CAA8C;QAChF;UACE,OAAOwB,oBAAgCJ,KAAK,CAACxB,GAAG,EAAzC6B,WAAqBL,KAAK,EAA1BlB,IAAI,CAACwB,MAAM,CAAgB,CAAe;MAAC;IAExD,CAAC,CAAC;EACJ,CAAC;AACH;AAEA;;;AAGA,gBAA2BN,KAK1B;EACC,OAAQlB,IAA2B,IAAO;IACxC,2BAAOuB,WAAcL,KAAK,EAAnBlB,IAAI,CAAgB;EAC7B,CAAC;AACH;AAEA;;;AAGA,OAAM,SAAUyB,GAAG,CAAI5B,KAA4B;EACjD,OAAQC,IAA2B,IAA2B;IAC5D,aAA8B4B,UAAc5B,IAAI,EAAlBD,KAAK,CAAc,EAA1C6B,UAAa7B,KAAK,EAAlBC,IAAI,CAAe;EAC5B,CAAC;AACH;AAEA;;;AAGA,mBAA2BD,KAA4B;EACrD,OAAQC,IAA2B,IAA2B;IAC5D,YAAsBD,KAAK,QAApBC,IAAI;EACb,CAAC;AACH;AAEA;;;AAGA,OAAM,SAAU6B,SAAS,CAAI3B,IAA2B;EACtD,OAAO,aAACA,IAAI,CAAU;AACxB;AAEA;;;AAGA,qBAA6BA,IAA2B;EACtD,OAAOC,OAAU;IACfL,KAAK,EAAE,MAAe,IAAI;IAC1BH,GAAG,EAAE,CAACS,CAAC,EAAEC,CAAC,KAAKD,CAAC,IAAIC,CAAC;IACrBR,EAAE,EAAE,CAACO,CAAC,EAAEC,CAAC,KAAKD,CAAC,IAAIC,CAAC;IACpBT,GAAG,EAAGY,CAAC,IAAK,CAACA;GACd,EALMN,IAAI,CAKT;AACJ;AAEA;;;AAGA,eAAuBA,IAA2B;EAChD,OAAO,IAAIN,GAAG,CAACM,IAAI,CAAC;AACtB;AAEA;;;;AAIA,cAAsBH,KAA4B;EAChD,OAAQC,IAA2B,IAA2B;IAC5D,OAAO,IAAIH,EAAE,CAACG,IAAI,EAAED,KAAK,CAAC;EAC5B,CAAC;AACH;AAEA;;;AAGA,mBAA2Ba,CAAI;EAC7B,OAAO,IAAId,KAAK,CAACc,CAAC,CAAC;AACrB","names":["and","flatMap","foldEval","fold","implies","isSuccess","not","or","success","And","Not","Or","Value","right","left","f","self","fold_1","l","r","and_1","or_1","v","not_1","map","flatMap_1","a","success_1","failure","failures","tsplus_module_4","tsplus_module_1","tsplus_module_2","tsplus_module_3","cases","tsplus_module_5","_tag","value","tsplus_module_6","foldEval_1","result","iff","implies_1","isFailure"],"sourceRoot":"","sources":["../../../_src/data/FreeBooleanAlgebra/api.ts"],"sourcesContent":[null]}
+{"version":3,"file":"api.mjs","mappings":";;;;;;;;aAMgBA,GAAG;aASHC,OAAO;aAgEPC,QAAQ;aAyBRC,IAAI;aAuBJC,OAAO;aAgBPC,SAAS;aAYTC,GAAG;aAQHC,EAAE;aASFC,OAAO;AA5KvB,SAASC,GAAG,EAA6CC,GAAG,EAAEC,EAAE,EAAEC,KAAK,QAAQ,kBAAiB;AAEhG;;;;AAIA,eAAuBC,KAA4B;EACjD,OAAQC,IAA2B,IAA2B;IAC5D,OAAO,IAAIL,GAAG,CAACK,IAAI,EAAED,KAAK,CAAC;EAC7B,CAAC;AACH;AAEA;;;AAGA,mBAA8BE,CAAkC;EAC9D,OAAQC,IAA2B,IAA2B;IAC5D,OAAOC,OAAU;MACfL,KAAK,EAAEG,CAAC;MACRN,GAAG,EAAE,CAACS,CAAC,EAAEC,CAAC,KAAIC,MAAMD,CAAC,EAAND,CAAC,CAAK;MACrBP,EAAE,EAAE,CAACO,CAAC,EAAEC,CAAC,KAAIE,KAAMF,CAAC,EAAND,CAAC,CAAK;MACpBR,GAAG,EAAGY,CAAC,IAAIC,MAACD,CAAC;KACd,EALMN,IAAI,CAKT;EACJ,CAAC;AACH;AAEA;;;AAGA,OAAM,SAAUQ,GAAG,CAAOT,CAAc;EACtC,OAAQC,IAA2B,IAA2B;IAC5D,OAAOS,UAAcC,CAAC,IAAKC,UAA2BZ,CAAC,CAACW,CAAC,CAAC,CAAC,EAApDV,IAAI,CAAiD;EAC9D,CAAC;AACH;AAEA;;;AAGA,OAAM,SAAUY,OAAO,CAAIF,CAAI;EAC7B,aAAOC,UAA2BD,CAAC,CAAC;AACtC;AAEA;;;AAGA,OAAM,SAAUG,QAAQ,CAAIb,IAA2B;EACrD,OAAOc,4CA2Bc,MAAMC,8CAAS,EA3B7Bd,OAC0D;IAC7DL,KAAK,EAAGc,CAAC,IAAKM,sBAAaL,UAA2BD,CAAC,CAAC,wBAAC;IACzDjB,GAAG,EAAE,CAACS,CAAC,EAAEC,CAAC,KAAI;MACZ;MACA;MACA,OAAOc,yBAAC,CAAU,GACdA,yBAAC,CAAU,GACTD,4BAAwBb,CAAC,CAACN,KAAK,EAAlBK,CAAC,CAACL,KAAK,yBAAY,GAChCM,CAAC,GACHc,yBAAC,CAAU,GACXf,CAAC,GACDc,2BAAsBb,CAAC,CAACL,IAAI,EAAhBI,CAAC,CAACJ,IAAI,yBAAW;IACnC,CAAC;IACDH,EAAE,EAAE,CAACO,CAAC,EAAEC,CAAC,KAAI;MACX;MACA;MACA,OAAOc,yBAAC,CAAU,GACdA,yBAAC,CAAU,GACTD,2BAAwBb,CAAC,CAACN,KAAK,EAAlBK,CAAC,CAACL,KAAK,yBAAY,GAChCK,CAAC,GACHe,yBAAC,CAAU,GACXd,CAAC,GACDa,0BAAsBb,CAAC,CAACL,IAAI,EAAhBI,CAAC,CAACJ,IAAI,yBAAW;IACnC,CAAC;IACDJ,GAAG,EAAGY,CAAC,IAAIW,qBAACX,CAAC;GACd,EA1BIN,IAAI,CA0BP,CACiC;AACvC;AAEA;;;AAGA,oBAA+BkB,KAK9B;EACC,OAAQlB,IAA2B,IAAa;IAC9C,OAAOmB,sBAAW,MAAK;MACrB,QAAQnB,IAAI,CAACoB,IAAI;QACf;UACE,OAAOD,oBAASD,KAAK,CAACtB,KAAK,CAACI,IAAI,CAACqB,KAAK,CAAC,CAAC;QAC1C;UACE,OAAOC,wBAAkCC,WAAoBL,KAAK,EAAzBlB,IAAI,CAACH,KAAK,CAAgB,EAAEqB,KAAK,CAACzB,GAAG,EAAvE8B,WAAmBL,KAAK,EAAxBlB,IAAI,CAACF,IAAI,CAAgB,CAA+C;QACjF;UACE,OAAOwB,wBAAkCC,WAAoBL,KAAK,EAAzBlB,IAAI,CAACH,KAAK,CAAgB,EAAEqB,KAAK,CAACvB,EAAE,EAAtE4B,WAAmBL,KAAK,EAAxBlB,IAAI,CAACF,IAAI,CAAgB,CAA8C;QAChF;UACE,OAAOwB,oBAAgCJ,KAAK,CAACxB,GAAG,EAAzC6B,WAAqBL,KAAK,EAA1BlB,IAAI,CAACwB,MAAM,CAAgB,CAAe;MAAC;IAExD,CAAC,CAAC;EACJ,CAAC;AACH;AAEA;;;AAGA,gBAA2BN,KAK1B;EACC,OAAQlB,IAA2B,IAAO;IACxC,2BAAOuB,WAAcL,KAAK,EAAnBlB,IAAI,CAAgB;EAC7B,CAAC;AACH;AAEA;;;AAGA,OAAM,SAAUyB,GAAG,CAAI5B,KAA4B;EACjD,OAAQC,IAA2B,IAA2B;IAC5D,aAA8B4B,UAAc5B,IAAI,EAAlBD,KAAK,CAAc,EAA1C6B,UAAa7B,KAAK,EAAlBC,IAAI,CAAe;EAC5B,CAAC;AACH;AAEA;;;AAGA,mBAA2BD,KAA4B;EACrD,OAAQC,IAA2B,IAA2B;IAC5D,YAAsBD,KAAK,QAApBC,IAAI;EACb,CAAC;AACH;AAEA;;;AAGA,OAAM,SAAU6B,SAAS,CAAI3B,IAA2B;EACtD,OAAO,aAACA,IAAI,CAAU;AACxB;AAEA;;;AAGA,qBAA6BA,IAA2B;EACtD,OAAOC,OAAU;IACfL,KAAK,EAAE,MAAe,IAAI;IAC1BH,GAAG,EAAE,CAACS,CAAC,EAAEC,CAAC,KAAKD,CAAC,IAAIC,CAAC;IACrBR,EAAE,EAAE,CAACO,CAAC,EAAEC,CAAC,KAAKD,CAAC,IAAIC,CAAC;IACpBT,GAAG,EAAGY,CAAC,IAAK,CAACA;GACd,EALMN,IAAI,CAKT;AACJ;AAEA;;;AAGA,eAAuBA,IAA2B;EAChD,OAAO,IAAIN,GAAG,CAACM,IAAI,CAAC;AACtB;AAEA;;;;AAIA,cAAsBH,KAA4B;EAChD,OAAQC,IAA2B,IAA2B;IAC5D,OAAO,IAAIH,EAAE,CAACG,IAAI,EAAED,KAAK,CAAC;EAC5B,CAAC;AACH;AAEA;;;AAGA,mBAA2Ba,CAAI;EAC7B,OAAO,IAAId,KAAK,CAACc,CAAC,CAAC;AACrB","names":["and","flatMap","foldEval","fold","implies","isSuccess","not","or","success","And","Not","Or","Value","right","left","f","self","fold_1","l","r","and_1","or_1","v","not_1","map","flatMap_1","a","success_1","failure","failures","tsplus_module_4","tsplus_module_1","tsplus_module_2","tsplus_module_3","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/data/TestAnnotation/api.mjs

@@ -1,3 +1,4 @@
+const fileName_1 = "(@fncts/test) src/data/TestAnnotation/api.ts";
 import * as tsplus_module_1 from "@fncts/base/data/Tag/constructors";
 import * as tsplus_module_2 from "@fncts/base/collection/immutable/HashSet/api";
 import * as tsplus_module_3 from "@fncts/base/data/Either/constructors";
@@ -33,8 +34,8 @@ export const FibersTag = /*#__PURE__*/tsplus_module_1.makeTag("fncts.test.TestAn
 /**
  * @tsplus static fncts.test.TestAnnotationOps Fibers
  */
-export const Fibers = /*#__PURE__*/new TestAnnotation(FibersTag, "fibers", /*#__PURE__*/tsplus_module_3.left(0), (left, right) => {
-  return tsplus_module_4.isLeft(left) ? tsplus_module_4.isLeft(right) ? tsplus_module_3.left(left.left + right.left) : right : tsplus_module_4.isRight(left) ? tsplus_module_4.isRight(right) ? tsplus_module_3.right(tsplus_module_5.concat(right.right)(left.right)) : right : (() => {
+export const Fibers = /*#__PURE__*/new TestAnnotation(FibersTag, "fibers", /*#__PURE__*/tsplus_module_3.left(0, fileName_1 + ":39:74"), (left, right) => {
+  return tsplus_module_4.isLeft(left) ? tsplus_module_4.isLeft(right) ? tsplus_module_3.left(left.left + right.left, fileName_1 + ":42:20") : right : tsplus_module_4.isRight(left) ? tsplus_module_4.isRight(right) ? tsplus_module_3.right(tsplus_module_5.concat(right.right)(left.right), fileName_1 + ":46:21") : right : (() => {
     throw new Error("absurd");
   })();
 });

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

@@ -1 +1 @@
-{"version":3,"file":"api.mjs","mappings":";;;;;AAAA,SAASA,cAAc,QAAQ,kBAAiB;AAEhD,OAAO,MAAMC,UAAU,gBAAGC,wBAAY,mCAAmC,CAAC;AAC1E;;;AAGA,OAAO,MAAMC,OAAO,gBAAG,IAAIH,cAAc,CAACC,UAAU,EAAE,SAAS,EAAE,CAAC,EAAE,CAACG,CAAC,EAAEC,CAAC,KAAKD,CAAC,GAAGC,CAAC,CAAC;AAEpF,OAAO,MAAMC,WAAW,gBAAGJ,wBAAY,oCAAoC,CAAC;AAC5E;;;AAGA,OAAO,MAAMK,QAAQ,gBAAG,IAAIP,cAAc,CAACM,WAAW,EAAE,UAAU,EAAE,CAAC,EAAE,CAACF,CAAC,EAAEC,CAAC,KAAKD,CAAC,GAAGC,CAAC,CAAC;AAEvF,OAAO,MAAMG,UAAU,gBAAGN,wBAAY,mCAAmC,CAAC;AAC1E;;;AAGA,OAAO,MAAMO,OAAO,gBAAG,IAAIT,cAAc,CAACQ,UAAU,EAAE,SAAS,EAAE,CAAC,EAAE,CAACJ,CAAC,EAAEC,CAAC,KAAKD,CAAC,GAAGC,CAAC,CAAC;AAEpF,OAAO,MAAMK,SAAS,gBAAGR,wBAAqB,kCAAkC,CAAC;AACjF;;;AAGA,OAAO,MAAMS,MAAM,gBAAG,IAAIX,cAAc,CAACU,SAAS,EAAE,QAAQ,eAAEE,uBAAe,EAAE,CAACR,CAAC,EAAEC,CAAC,KAAKO,sBAAQP,CAAC,EAATD,CAAC,CAAS,CAAC;AAEpG,OAAO,MAAMS,SAAS,gBAAGX,wBAAY,kCAAkC,CAAC;AACxE;;;AAGA,OAAO,MAAMY,MAAM,gBAAG,IAAId,cAAc,CAACa,SAAS,EAAE,QAAQ,EAAE,CAAC,EAAE,CAACT,CAAC,EAAEC,CAAC,KAAKD,CAAC,GAAGC,CAAC,CAAC;AAEjF,OAAO,MAAMU,SAAS,gBAAGb,wBACvB,kCAAkC,CACnC;AACD;;;AAGA,OAAO,MAAMc,MAAM,gBAAG,IAAIhB,cAAc,CAACe,SAAS,EAAE,QAAQ,eAAEE,qBAAY,CAAC,CAAC,EAAE,CAACC,IAAI,EAAEC,KAAK,KAAI;EAC5F,OAAOC,2BAAI,CAAS,GAChBA,4BAAK,CAAS,GACZH,qBAAYC,IAAI,CAACA,IAAI,GAAGC,KAAK,CAACD,IAAI,CAAC,GACnCC,KAAK,GACPC,4BAAI,CAAU,GACdA,6BAAK,CAAU,GACbH,sBAAaI,uBAAkBF,KAAK,CAACA,KAAK,EAA7BD,IAAI,CAACC,KAAK,CAAoB,CAAC,GAC5CA,KAAK,GACP,CAAC,MAAK;IACJ,MAAM,IAAIG,KAAK,CAAC,QAAQ,CAAC;EAC3B,CAAC,GAAG;AACV,CAAC,CAAC","names":["TestAnnotation","IgnoredTag","tsplus_module_1","Ignored","x","y","RepeatedTag","Repeated","RetriedTag","Retried","TaggedTag","Tagged","tsplus_module_2","TimingTag","Timing","FibersTag","Fibers","tsplus_module_3","left","right","tsplus_module_4","tsplus_module_5","Error"],"sourceRoot":"","sources":["../../../_src/data/TestAnnotation/api.ts"],"sourcesContent":[null]}
+{"version":3,"file":"api.mjs","mappings":";;;;;;AAAA,SAASA,cAAc,QAAQ,kBAAiB;AAEhD,OAAO,MAAMC,UAAU,gBAAGC,wBAAY,mCAAmC,CAAC;AAC1E;;;AAGA,OAAO,MAAMC,OAAO,gBAAG,IAAIH,cAAc,CAACC,UAAU,EAAE,SAAS,EAAE,CAAC,EAAE,CAACG,CAAC,EAAEC,CAAC,KAAKD,CAAC,GAAGC,CAAC,CAAC;AAEpF,OAAO,MAAMC,WAAW,gBAAGJ,wBAAY,oCAAoC,CAAC;AAC5E;;;AAGA,OAAO,MAAMK,QAAQ,gBAAG,IAAIP,cAAc,CAACM,WAAW,EAAE,UAAU,EAAE,CAAC,EAAE,CAACF,CAAC,EAAEC,CAAC,KAAKD,CAAC,GAAGC,CAAC,CAAC;AAEvF,OAAO,MAAMG,UAAU,gBAAGN,wBAAY,mCAAmC,CAAC;AAC1E;;;AAGA,OAAO,MAAMO,OAAO,gBAAG,IAAIT,cAAc,CAACQ,UAAU,EAAE,SAAS,EAAE,CAAC,EAAE,CAACJ,CAAC,EAAEC,CAAC,KAAKD,CAAC,GAAGC,CAAC,CAAC;AAEpF,OAAO,MAAMK,SAAS,gBAAGR,wBAAqB,kCAAkC,CAAC;AACjF;;;AAGA,OAAO,MAAMS,MAAM,gBAAG,IAAIX,cAAc,CAACU,SAAS,EAAE,QAAQ,eAAEE,uBAAe,EAAE,CAACR,CAAC,EAAEC,CAAC,KAAKO,sBAAQP,CAAC,EAATD,CAAC,CAAS,CAAC;AAEpG,OAAO,MAAMS,SAAS,gBAAGX,wBAAY,kCAAkC,CAAC;AACxE;;;AAGA,OAAO,MAAMY,MAAM,gBAAG,IAAId,cAAc,CAACa,SAAS,EAAE,QAAQ,EAAE,CAAC,EAAE,CAACT,CAAC,EAAEC,CAAC,KAAKD,CAAC,GAAGC,CAAC,CAAC;AAEjF,OAAO,MAAMU,SAAS,gBAAGb,wBACvB,kCAAkC,CACnC;AACD;;;AAGA,OAAO,MAAMc,MAAM,gBAAG,IAAIhB,cAAc,CAACe,SAAS,EAAE,QAAQ,eAAEE,qBAAY,CAAC,wBAAC,EAAE,CAACC,IAAI,EAAEC,KAAK,KAAI;EAC5F,OAAOC,2BAAI,CAAS,GAChBA,4BAAK,CAAS,GACZH,qBAAYC,IAAI,CAACA,IAAI,GAAGC,KAAK,CAACD,IAAI,wBAAC,GACnCC,KAAK,GACPC,4BAAI,CAAU,GACdA,6BAAK,CAAU,GACbH,sBAAaI,uBAAkBF,KAAK,CAACA,KAAK,EAA7BD,IAAI,CAACC,KAAK,CAAoB,wBAAC,GAC5CA,KAAK,GACP,CAAC,MAAK;IACJ,MAAM,IAAIG,KAAK,CAAC,QAAQ,CAAC;EAC3B,CAAC,GAAG;AACV,CAAC,CAAC","names":["TestAnnotation","IgnoredTag","tsplus_module_1","Ignored","x","y","RepeatedTag","Repeated","RetriedTag","Retried","TaggedTag","Tagged","tsplus_module_2","TimingTag","Timing","FibersTag","Fibers","tsplus_module_3","left","right","tsplus_module_4","tsplus_module_5","Error"],"sourceRoot":"","sources":["../../../_src/data/TestAnnotation/api.ts"],"sourcesContent":[null]}

package/_mjs/demo.mjs

@@ -28,5 +28,5 @@ class DemoSpec extends DefaultRunnableSpec {
     })));
   }
 }
-tsplus_module_3.unsafeRunAsync(new DemoSpec().run(fileName_1 + ":17:19"), fileName_1 + ":17:36");
+tsplus_module_3.unsafeRunFiber(new DemoSpec().run(fileName_1 + ":17:19"), fileName_1 + ":17:36");
 //# sourceMappingURL=demo.mjs.map

package/_src/api.ts

@@ -59,7 +59,7 @@ export function assert<A>(assertion: Assertion<A>) {
 }
 
 /**
- * @tsplus pipeable fncts.io.IO assert
+ * @tsplus pipeable global assert
  */
 export function assertIO<A>(assertion: AssertionIO<A>) {
   return <R, E>(io: IO<R, E, A>): IO<R, E, TestResult> => {

package/_src/control/Gen/api.ts

@@ -1,4 +1,11 @@
-import type { EqConstraint, FloatConstraints, LengthConstraints, NumberConstraints } from "./constraints.js";
+import type {
+  DateConstraints,
+  EqConstraint,
+  FloatConstraints,
+  LengthConstraints,
+  NumberConstraints,
+  ObjectConstraints,
+} from "./constraints.js";
 import type { _A, _R } from "@fncts/base/types.js";
 import type { ArrayInt64 } from "@fncts/base/util/rand";
 
@@ -26,6 +33,89 @@ import { Gen } from "./definition.js";
 
 const gapSize = 0xdfff + 1 - 0xd800;
 
+/**
+ * @tsplus static fncts.test.GenOps anything
+ */
+export function anything<C extends ObjectConstraints>(
+  constraints: C = {} as C,
+): Gen<
+  ObjectConstraints extends C
+    ? Sized
+    : unknown extends C["key"]
+    ? Sized
+    : _R<C["key"]> | C["values"] extends Array<infer A>
+    ? _R<A>
+    : Sized,
+  unknown
+> {
+  const key      = constraints.key ?? Gen.alphaNumericString;
+  const maxDepth = constraints.maxDepth ?? 2;
+  const maxKeys  = constraints.maxKeys ?? 5;
+  const values   = constraints.values ?? [
+    Gen.boolean,
+    Gen.alphaNumericString,
+    Gen.double,
+    Gen.int,
+    Gen.oneOf(Gen.alphaNumericString, Gen.constant(null), Gen.constant(undefined)),
+  ];
+
+  function mapOf<R, K, R1, V>(key: Gen<R, K>, value: Gen<R1, V>) {
+    return Gen.tuple(key, value)
+      .uniqueConc({
+        eq: Eq({
+          equals:
+            ([k1]) =>
+            ([k]) =>
+              Equatable.strictEquals(k, k1),
+        }),
+        maxLength: maxKeys,
+      })
+      .map((pairs) => new Map(pairs));
+  }
+
+  function setOf<R, V>(value: Gen<R, V>) {
+    return value
+      .uniqueConc({ eq: Eq({ equals: (v1) => (v) => Equatable.strictEquals(v, v1) }), maxLength: maxKeys })
+      .map((values) => new Set(values));
+  }
+
+  const base       = Gen.oneOf(...values);
+  const arrayBase  = Gen.oneOf(...values.map((gen) => gen.arrayWith({ maxLength: maxKeys })));
+  const arrayGen   = Gen.memo((n) => Gen.oneOf(arrayBase, gen(n).arrayWith({ maxLength: maxKeys })));
+  const objectBase = Gen.oneOf(...values.map((gen) => Gen.record(key, gen)));
+  const objectGen  = Gen.memo((n) => Gen.oneOf(objectBase, Gen.record(key, gen(n))));
+  const setBase    = Gen.oneOf(...values.map(setOf));
+  const setGen     = Gen.memo((n) => Gen.oneOf(setBase, setOf(gen(n))));
+  const mapBase    = Gen.oneOf(...values.map((value) => mapOf(key, value)));
+  const mapGen     = Gen.memo((n) => Gen.oneOf(mapBase, mapOf(Gen.oneOf(key, gen(n)), gen(n))));
+
+  const gen: (n: number) => Gen<any, any> = Gen.memo((n) => {
+    if (n <= 0) return base;
+    return Gen.oneOf(
+      base,
+      arrayGen(),
+      objectGen(),
+      ...(constraints.withDate ? [Gen.date()] : []),
+      ...(constraints.withSet ? [setGen()] : []),
+      ...(constraints.withMap ? [mapGen()] : []),
+      ...(constraints.withTypedArray
+        ? [
+            Gen.oneOf(
+              Gen.int8Array(),
+              Gen.uint8Array(),
+              Gen.int16Array(),
+              Gen.uint16Array(),
+              Gen.int32Array(),
+              Gen.uint32Array(),
+            ),
+          ]
+        : []),
+    );
+  });
+
+  return gen(maxDepth);
+}
+
 /**
  * @tsplus static fncts.test.GenOps size
  */
@@ -684,6 +774,81 @@ export function tuple<A extends [...Gen<any, any>[]]>(
   ) as any;
 }
 
+/**
+ * @tsplus static fncts.test.GenOps record
+ */
+export function record<R, R1, A>(
+  key: Gen<R, string>,
+  value: Gen<R1, A>,
+  constraints?: LengthConstraints,
+): Gen<Sized | R | R1, Record<string, A>> {
+  return Gen.tuple(key, value)
+    .uniqueConc({ eq: String.Eq.contramap(([k]) => k), ...constraints })
+    .map((pairs) => pairs.foldLeft({} as Record<string, A>, (b, [k, v]) => ({ ...b, [k]: v })));
+}
+
+/**
+ * @tsplus static fncts.test.GenOps date
+ */
+export function date(constraints: DateConstraints = {}): Gen<never, Date> {
+  const min = constraints.min ? constraints.min.getTime() : -8_640_000_000_000_000;
+  const max = constraints.max ? constraints.max.getTime() : 8_640_000_000_000_000;
+  return Gen.intWith({ min, max }).map((n) => new Date(n));
+}
+
+function typedArray<A>(
+  constraints: LengthConstraints & NumberConstraints,
+  minBound: number,
+  maxBound: number,
+  ctor: { new (arg: ReadonlyArray<number>): A },
+): Gen<Sized, A> {
+  const min = constraints.min ? clamp(constraints.min, minBound, maxBound) : minBound;
+  const max = constraints.max ? clamp(constraints.max, minBound, maxBound) : maxBound;
+  return Gen.array(Gen.intWith({ min, max })).map((n) => new ctor(n));
+}
+
+/**
+ * @tsplus static fncts.test.GenOps int8Array
+ */
+export function int8Array(constraints: LengthConstraints & NumberConstraints = {}): Gen<Sized, Int8Array> {
+  return typedArray(constraints, -128, 127, Int8Array);
+}
+
+/**
+ * @tsplus static fncts.test.GenOps int16Array
+ */
+export function int16Array(constraints: LengthConstraints & NumberConstraints = {}): Gen<Sized, Int16Array> {
+  return typedArray(constraints, -32768, 32767, Int16Array);
+}
+
+/**
+ * @tsplus static fncts.test.GenOps int32Array
+ */
+export function int32Array(constraints: LengthConstraints & NumberConstraints = {}): Gen<Sized, Int32Array> {
+  return typedArray(constraints, -0x80000000, 0x7fffffff, Int32Array);
+}
+
+/**
+ * @tsplus static fncts.test.GenOps uint8Array
+ */
+export function uint8Array(constraints: LengthConstraints & NumberConstraints = {}): Gen<Sized, Uint8Array> {
+  return typedArray(constraints, 0, 255, Uint8Array);
+}
+
+/**
+ * @tsplus static fncts.test.GenOps uint16Array
+ */
+export function uint16Array(constraints: LengthConstraints & NumberConstraints = {}): Gen<Sized, Uint16Array> {
+  return typedArray(constraints, 0, 65535, Uint16Array);
+}
+
+/**
+ * @tsplus static fncts.test.GenOps uint32Array
+ */
+export function uint32Array(constraints: LengthConstraints & NumberConstraints = {}): Gen<Sized, Uint32Array> {
+  return typedArray(constraints, 0, 0xffffffff, Uint32Array);
+}
+
 function _char(min: number, max: number, mapToCode: (v: number) => number): Gen<never, string> {
   return Gen.intWith({ min, max }).map((n) => String.fromCharCode(mapToCode(n)));
 }

package/_src/control/Live/definition.ts

@@ -21,23 +21,22 @@ export abstract class Live {
     ),
     LiveTag,
   );
-  static Live<R extends Live, E, A>(io: IO<R, E, A>): IO<R | Live, E, A> {
+  static live<R extends Live, E, A>(io: IO<R, E, A>): IO<R | Live, E, A> {
     return IO.serviceWithIO((live) => live.provide(io), LiveTag);
   }
 }
 
 /**
- * @tsplus static fncts.test.LiveOps withLive
+ * @tsplus static fncts.io.IOOps liveWith
  */
-export function withLive_<R, E, A, E1, B>(
-  io: IO<R, E, A>,
-  f: (_: IO<never, E, A>) => IO<IOEnv, E1, B>,
-): IO<Exclude<R, Live>, E | E1, B> {
-  // @ts-expect-error
-  return IO.environment<R | Live>().flatMap((r) => Live.Live(f(io.provideEnvironment(r))));
+export function liveWith<R, E, A>(f: (live: Live) => IO<R, E, A>): IO<R | Live, E, A> {
+  return IO.environmentWithIO((environment) => f(environment.get(Live.Tag)));
 }
 
+/**
+ * @tsplus static fncts.test.LiveOps withLive
+ */
 export function withLive<R extends Live, E, A>(io: IO<R, E, A>) {
   return <E1, B>(f: (_: IO<R, E, A>) => IO<R, E1, B>): IO<R | Live, E1, B> =>
-    IOEnv.services.getWith((services) => Live.Live(f(IOEnv.services.locally(services)(io))));
+    IOEnv.services.getWith((services) => Live.live(f(IOEnv.services.locally(services)(io))));
 }

package/_src/control/TestAspect/api.ts

@@ -102,14 +102,14 @@ export function timeoutWarning(duration: Duration): TestAspect<Live, any> {
 
 function warn<R, E>(labels: Vector<string>, test: IO<R, TestFailure<E>, TestSuccess>, duration: Duration) {
   return test.raceWith(
-    Live.withLive(showWarning(labels, duration), (io) => Clock.sleep(duration) > io),
+    Live.withLive(showWarning(labels, duration))((io) => Clock.sleep(duration) > io),
     (result, fiber) => fiber.interrupt > IO.fromExitNow(result),
     (_, fiber) => fiber.join,
   );
 }
 
 function showWarning(labels: Vector<string>, duration: Duration) {
-  return Live.Live(Console.print(renderWarning(labels, duration)));
+  return Console.print(renderWarning(labels, duration));
 }
 
 function renderWarning(labels: Vector<string>, duration: Duration) {

package/_src/demo.ts

@@ -14,4 +14,4 @@ class DemoSpec extends DefaultRunnableSpec {
     test("Demo failure", { a: { b: { c: { d: 100 } } } }.assert(strictEqualTo({ a: { b: { c: { d: 0 } } } }))),
   );
 }
-new DemoSpec().run().unsafeRunAsync()
+new DemoSpec().run().unsafeRunFiber();

package/api.d.ts

@@ -17,7 +17,7 @@ export declare function traverseResult<A>(value: A, assertResult: AssertResult<A
  */
 export declare function assert<A>(assertion: Assertion<A>): (value: A) => TestResult;
 /**
- * @tsplus pipeable fncts.io.IO assert
+ * @tsplus pipeable global assert
  * @tsplus location "@fncts/test/api"
  */
 export declare function assertIO<A>(assertion: AssertionIO<A>): <R, E>(io: import("@fncts/io/IO.js").IO<R, E, A>) => import("@fncts/io/IO.js").IO<R, E, TestResult>;

package/control/Gen/api.d.ts

@@ -6,12 +6,17 @@ import { IO, URIO } from "@fncts/io/IO/definition";
 import { Stream } from "@fncts/io/Stream/definition";
 import { Maybe } from "@fncts/base/data/Maybe/definition";
 import { Eq } from "@fncts/base/data/Eq/definition";
-import type { EqConstraint, FloatConstraints, LengthConstraints, NumberConstraints } from "./constraints.js";
+import type { DateConstraints, EqConstraint, FloatConstraints, LengthConstraints, NumberConstraints, ObjectConstraints } from "./constraints.js";
 import type { _A, _R } from "@fncts/base/types.js";
 import type { ArrayInt64 } from "@fncts/base/util/rand";
 import { Sample } from "../Sample.js";
 import { Sized } from "../Sized.js";
 import { Gen } from "./definition.js";
+/**
+ * @tsplus static fncts.test.GenOps anything
+ * @tsplus location "@fncts/test/control/Gen/api"
+ */
+export declare function anything<C extends ObjectConstraints>(constraints?: C): Gen<ObjectConstraints extends C ? Sized : unknown extends C["key"] ? Sized : _R<C["key"]> | C["values"] extends Array<infer A> ? _R<A> : Sized, unknown>;
 /**
  * @tsplus static fncts.test.GenOps size
  * @tsplus location "@fncts/test/control/Gen/api"
@@ -373,3 +378,43 @@ export declare function tuple<A extends [...Gen<any, any>[]]>(...components: A):
 }[keyof A & number], {
     [K in keyof A]: [A[K]] extends [Gen<any, infer A>] ? A : never;
 }>;
+/**
+ * @tsplus static fncts.test.GenOps record
+ * @tsplus location "@fncts/test/control/Gen/api"
+ */
+export declare function record<R, R1, A>(key: Gen<R, string>, value: Gen<R1, A>, constraints?: LengthConstraints): Gen<Sized | R | R1, Record<string, A>>;
+/**
+ * @tsplus static fncts.test.GenOps date
+ * @tsplus location "@fncts/test/control/Gen/api"
+ */
+export declare function date(constraints?: DateConstraints): Gen<never, Date>;
+/**
+ * @tsplus static fncts.test.GenOps int8Array
+ * @tsplus location "@fncts/test/control/Gen/api"
+ */
+export declare function int8Array(constraints?: LengthConstraints & NumberConstraints): Gen<Sized, Int8Array>;
+/**
+ * @tsplus static fncts.test.GenOps int16Array
+ * @tsplus location "@fncts/test/control/Gen/api"
+ */
+export declare function int16Array(constraints?: LengthConstraints & NumberConstraints): Gen<Sized, Int16Array>;
+/**
+ * @tsplus static fncts.test.GenOps int32Array
+ * @tsplus location "@fncts/test/control/Gen/api"
+ */
+export declare function int32Array(constraints?: LengthConstraints & NumberConstraints): Gen<Sized, Int32Array>;
+/**
+ * @tsplus static fncts.test.GenOps uint8Array
+ * @tsplus location "@fncts/test/control/Gen/api"
+ */
+export declare function uint8Array(constraints?: LengthConstraints & NumberConstraints): Gen<Sized, Uint8Array>;
+/**
+ * @tsplus static fncts.test.GenOps uint16Array
+ * @tsplus location "@fncts/test/control/Gen/api"
+ */
+export declare function uint16Array(constraints?: LengthConstraints & NumberConstraints): Gen<Sized, Uint16Array>;
+/**
+ * @tsplus static fncts.test.GenOps uint32Array
+ * @tsplus location "@fncts/test/control/Gen/api"
+ */
+export declare function uint32Array(constraints?: LengthConstraints & NumberConstraints): Gen<Sized, Uint32Array>;

package/control/Live/definition.d.ts

@@ -12,11 +12,15 @@ export declare const LiveTag: import("@fncts/base/data/Tag").Tag<Live>;
 export declare abstract class Live {
     abstract provide<R, E, A>(io: IO<R, E, A>): IO<R, E, A>;
     static Default: Layer<IOEnv, never, Live>;
-    static Live<R extends Live, E, A>(io: IO<R, E, A>): IO<R | Live, E, A>;
+    static live<R extends Live, E, A>(io: IO<R, E, A>): IO<R | Live, E, A>;
 }
+/**
+ * @tsplus static fncts.io.IOOps liveWith
+ * @tsplus location "@fncts/test/control/Live/definition"
+ */
+export declare function liveWith<R, E, A>(f: (live: Live) => IO<R, E, A>): IO<R | Live, E, A>;
 /**
  * @tsplus static fncts.test.LiveOps withLive
  * @tsplus location "@fncts/test/control/Live/definition"
  */
-export declare function withLive_<R, E, A, E1, B>(io: IO<R, E, A>, f: (_: IO<never, E, A>) => IO<IOEnv, E1, B>): IO<Exclude<R, Live>, E | E1, B>;
 export declare function withLive<R extends Live, E, A>(io: IO<R, E, A>): <E1, B>(f: (_: IO<R, E, A>) => import("@fncts/io/IO").IO<R, E1, B>) => import("@fncts/io/IO").IO<Live | R, E1, B>;

package/package.json

@@ -1,9 +1,9 @@
 {
   "name": "@fncts/test",
-  "version": "0.0.32",
+  "version": "0.0.33",
   "dependencies": {
-    "@fncts/base": "0.0.27",
-    "@fncts/io": "0.0.32",
+    "@fncts/base": "0.0.28",
+    "@fncts/io": "0.0.33",
     "@fncts/typelevel": "0.0.15"
   },
   "exports": {