@fncts/test 0.0.1

package/_cjs/data/ExecutionResult.cjs

@@ -0,0 +1,142 @@
+"use strict";
+
+Object.defineProperty(exports, "__esModule", {
+  value: true
+});
+exports.Test = exports.Suite = exports.Passed = exports.Other = exports.Ignored = exports.Failed = exports.ExecutionResult = void 0;
+exports.and_ = and_;
+exports.invert = invert;
+exports.or_ = or_;
+exports.rendered = rendered;
+
+var tsplus_module_1 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/base/collection/immutable/List/constructors"));
+
+var tsplus_module_2 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/base/collection/immutable/List/api"));
+
+var tsplus_module_3 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/base/data/Maybe/api"));
+
+var _pattern = /*#__PURE__*/require("@fncts/base/util/pattern");
+
+function _getRequireWildcardCache(nodeInterop) { if (typeof WeakMap !== "function") return null; var cacheBabelInterop = new WeakMap(); var cacheNodeInterop = new WeakMap(); return (_getRequireWildcardCache = function (nodeInterop) { return nodeInterop ? cacheNodeInterop : cacheBabelInterop; })(nodeInterop); }
+
+function _interopRequireWildcard(obj, nodeInterop) { if (!nodeInterop && obj && obj.__esModule) { return obj; } if (obj === null || typeof obj !== "object" && typeof obj !== "function") { return { default: obj }; } var cache = _getRequireWildcardCache(nodeInterop); if (cache && cache.has(obj)) { return cache.get(obj); } var newObj = {}; var hasPropertyDescriptor = Object.defineProperty && Object.getOwnPropertyDescriptor; for (var key in obj) { if (key !== "default" && Object.prototype.hasOwnProperty.call(obj, key)) { var desc = hasPropertyDescriptor ? Object.getOwnPropertyDescriptor(obj, key) : null; if (desc && (desc.get || desc.set)) { Object.defineProperty(newObj, key, desc); } else { newObj[key] = obj[key]; } } } newObj.default = obj; if (cache) { cache.set(obj, newObj); } return newObj; }
+
+const Failed = {
+  _tag: "Failed"
+};
+exports.Failed = Failed;
+const Passed = {
+  _tag: "Passed"
+};
+exports.Passed = Passed;
+const Ignored = {
+  _tag: "Ignored"
+};
+exports.Ignored = Ignored;
+const Test = {
+  _tag: "Test"
+};
+exports.Test = Test;
+const Suite = {
+  _tag: "Suite"
+};
+exports.Suite = Suite;
+const Other = {
+  _tag: "Other"
+};
+/**
+ * @tsplus type fncts.test.ExecutionResult
+ */
+
+exports.Other = Other;
+
+class ExecutionResult {
+  constructor(resultType, label, status, offset, annotations, lines) {
+    this.resultType = resultType;
+    this.label = label;
+    this.status = status;
+    this.offset = offset;
+    this.annotations = annotations;
+    this.lines = lines;
+  }
+
+  withAnnotations(annotations) {
+    return new ExecutionResult(this.resultType, this.label, this.status, this.offset, annotations, this.lines);
+  }
+
+}
+
+exports.ExecutionResult = ExecutionResult;
+
+function rendered(caseType, label, status, offset, lines) {
+  return new ExecutionResult(caseType, label, status, offset, tsplus_module_1.nil(), lines);
+}
+/**
+ * @tsplus operator fncts.test.ExecutionResult &&
+ */
+
+
+function and_(self, that) {
+  if (self.status._tag === "Ignored") {
+    return that;
+  }
+
+  if (that.status._tag === "Ignored") {
+    return self;
+  }
+
+  if (self.status._tag === "Failed" && that.status._tag === "Failed") {
+    return new ExecutionResult(self.resultType, self.label, self.status, self.offset, self.annotations, tsplus_module_2.concat_(self.lines, tsplus_module_3.getOrElse_(tsplus_module_2.tail(that.lines), () => tsplus_module_1.nil())));
+  }
+
+  if (self.status._tag === "Passed") {
+    return that;
+  }
+
+  if (that.status._tag === "Passed") {
+    return self;
+  }
+
+  throw new Error("BUG");
+}
+/**
+ * @tsplus operator fncts.test.ExecutionResult ||
+ */
+
+
+function or_(self, that) {
+  if (self.status._tag === "Ignored") {
+    return that;
+  }
+
+  if (that.status._tag === "Ignored") {
+    return self;
+  }
+
+  if (self.status._tag === "Failed" && that.status._tag === "Failed") {
+    return new ExecutionResult(self.resultType, self.label, self.status, self.offset, self.annotations, tsplus_module_2.concat_(self.lines, tsplus_module_3.getOrElse_(tsplus_module_2.tail(that.lines), () => tsplus_module_1.nil())));
+  }
+
+  if (self.status._tag === "Passed") {
+    return self;
+  }
+
+  if (that.status._tag === "Passed") {
+    return that;
+  }
+
+  throw new Error("BUG");
+}
+/**
+ * @tsplus getter fncts.test.ExecutionResult invert
+ */
+
+
+function invert(self) {
+  return (0, _pattern.matchTag_)(self.status, {
+    Ignored: () => self,
+    Failed: () => new ExecutionResult(self.resultType, self.label, Passed, self.offset, self.annotations, self.lines),
+    Passed: () => new ExecutionResult(self.resultType, self.label, Failed, self.offset, self.annotations, self.lines)
+  });
+}
+//# sourceMappingURL=ExecutionResult.cjs.map

package/_cjs/data/ExecutionResult.cjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"ExecutionResult.cjs","mappings":";;;;;;;;;;;;;;;;;AAGA;;;;;;AAMO,MAAMA,MAAM,GAAW;EAC5BC,IAAI,EAAE;AADsB,CAAvB;;AAQA,MAAMC,MAAM,GAAW;EAC5BD,IAAI,EAAE;AADsB,CAAvB;;AAQA,MAAME,OAAO,GAAY;EAC9BF,IAAI,EAAE;AADwB,CAAzB;;AAUA,MAAMG,IAAI,GAAe;EAC9BH,IAAI,EAAE;AADwB,CAAzB;;AAQA,MAAMI,KAAK,GAAe;EAC/BJ,IAAI,EAAE;AADyB,CAA1B;;AAQA,MAAMK,KAAK,GAAe;EAC/BL,IAAI,EAAE;AADyB,CAA1B;AAMP;;;;;;AAGM,MAAOM,eAAP,CAAsB;EAC1BC,YACWC,UADX,EAEWC,KAFX,EAGWC,MAHX,EAIWC,MAJX,EAKWC,WALX,EAMWC,KANX,EAM4B;IALjB;IACA;IACA;IACA;IACA;IACA;EACP;;EAEJC,eAAe,CAACF,WAAD,EAAqC;IAClD,OAAO,IAAIN,eAAJ,CAAoB,KAAKE,UAAzB,EAAqC,KAAKC,KAA1C,EAAiD,KAAKC,MAAtD,EAA8D,KAAKC,MAAnE,EAA2EC,WAA3E,EAAwF,KAAKC,KAA7F,CAAP;EACD;;AAZyB;;;;AAetB,SAAUE,QAAV,CACJC,QADI,EAEJP,KAFI,EAGJC,MAHI,EAIJC,MAJI,EAKJE,KALI,EAKa;EAEjB,OAAO,IAAIP,eAAJ,CAAoBU,QAApB,EAA8BP,KAA9B,EAAqCC,MAArC,EAA6CC,MAA7C,EAAqDM,qBAArD,EAA4DJ,KAA5D,CAAP;AACD;AAED;;;;;AAGM,SAAUK,IAAV,CAAeC,IAAf,EAAsCC,IAAtC,EAA2D;EAC/D,IAAID,IAAI,CAACT,MAAL,CAAYV,IAAZ,KAAqB,SAAzB,EAAoC;IAClC,OAAOoB,IAAP;EACD;;EACD,IAAIA,IAAI,CAACV,MAAL,CAAYV,IAAZ,KAAqB,SAAzB,EAAoC;IAClC,OAAOmB,IAAP;EACD;;EACD,IAAIA,IAAI,CAACT,MAAL,CAAYV,IAAZ,KAAqB,QAArB,IAAiCoB,IAAI,CAACV,MAAL,CAAYV,IAAZ,KAAqB,QAA1D,EAAoE;IAClE,OAAO,IAAIM,eAAJ,CACLa,IAAI,CAACX,UADA,EAELW,IAAI,CAACV,KAFA,EAGLU,IAAI,CAACT,MAHA,EAILS,IAAI,CAACR,MAJA,EAKLQ,IAAI,CAACP,WALA,EAMLS,4BAAI,CAACR,KAAL,EAAkBS,oDAAI,CAACT,KAAL,GAAU,MAAgBI,qBAA1B,CAAlB,CANK,CAAP;EAQD;;EACD,IAAIE,IAAI,CAACT,MAAL,CAAYV,IAAZ,KAAqB,QAAzB,EAAmC;IACjC,OAAOoB,IAAP;EACD;;EACD,IAAIA,IAAI,CAACV,MAAL,CAAYV,IAAZ,KAAqB,QAAzB,EAAmC;IACjC,OAAOmB,IAAP;EACD;;EACD,MAAM,IAAII,KAAJ,CAAU,KAAV,CAAN;AACD;AAED;;;;;AAGM,SAAUC,GAAV,CAAcL,IAAd,EAAqCC,IAArC,EAA0D;EAC9D,IAAID,IAAI,CAACT,MAAL,CAAYV,IAAZ,KAAqB,SAAzB,EAAoC;IAClC,OAAOoB,IAAP;EACD;;EACD,IAAIA,IAAI,CAACV,MAAL,CAAYV,IAAZ,KAAqB,SAAzB,EAAoC;IAClC,OAAOmB,IAAP;EACD;;EACD,IAAIA,IAAI,CAACT,MAAL,CAAYV,IAAZ,KAAqB,QAArB,IAAiCoB,IAAI,CAACV,MAAL,CAAYV,IAAZ,KAAqB,QAA1D,EAAoE;IAClE,OAAO,IAAIM,eAAJ,CACLa,IAAI,CAACX,UADA,EAELW,IAAI,CAACV,KAFA,EAGLU,IAAI,CAACT,MAHA,EAILS,IAAI,CAACR,MAJA,EAKLQ,IAAI,CAACP,WALA,EAMLS,4BAAI,CAACR,KAAL,EAAkBS,oDAAI,CAACT,KAAL,GAAU,MAAgBI,qBAA1B,CAAlB,CANK,CAAP;EAQD;;EACD,IAAIE,IAAI,CAACT,MAAL,CAAYV,IAAZ,KAAqB,QAAzB,EAAmC;IACjC,OAAOmB,IAAP;EACD;;EACD,IAAIC,IAAI,CAACV,MAAL,CAAYV,IAAZ,KAAqB,QAAzB,EAAmC;IACjC,OAAOoB,IAAP;EACD;;EACD,MAAM,IAAIG,KAAJ,CAAU,KAAV,CAAN;AACD;AAED;;;;;AAGM,SAAUE,MAAV,CAAiBN,IAAjB,EAAsC;EAC1C,OAAO,wBAAUA,IAAI,CAACT,MAAf,EAAuB;IAC5BR,OAAO,EAAE,MAAMiB,IADa;IAE5BpB,MAAM,EAAE,MAAM,IAAIO,eAAJ,CAAoBa,IAAI,CAACX,UAAzB,EAAqCW,IAAI,CAACV,KAA1C,EAAiDR,MAAjD,EAAyDkB,IAAI,CAACR,MAA9D,EAAsEQ,IAAI,CAACP,WAA3E,EAAwFO,IAAI,CAACN,KAA7F,CAFc;IAG5BZ,MAAM,EAAE,MAAM,IAAIK,eAAJ,CAAoBa,IAAI,CAACX,UAAzB,EAAqCW,IAAI,CAACV,KAA1C,EAAiDV,MAAjD,EAAyDoB,IAAI,CAACR,MAA9D,EAAsEQ,IAAI,CAACP,WAA3E,EAAwFO,IAAI,CAACN,KAA7F;EAHc,CAAvB,CAAP;AAKD","names":["Failed","_tag","Passed","Ignored","Test","Suite","Other","ExecutionResult","constructor","resultType","label","status","offset","annotations","lines","withAnnotations","rendered","caseType","tsplus_module_1","and_","self","that","tsplus_module_2","tsplus_module_3","Error","or_","invert"],"sourceRoot":"","sources":["../../_src/data/ExecutionResult.ts"],"sourcesContent":[null]}

package/_cjs/data/FailureDetails.cjs

@@ -0,0 +1,17 @@
+"use strict";
+
+Object.defineProperty(exports, "__esModule", {
+  value: true
+});
+exports.FailureDetails = void 0;
+
+class FailureDetails {
+  constructor(assertion, gen) {
+    this.assertion = assertion;
+    this.gen = gen;
+  }
+
+}
+
+exports.FailureDetails = FailureDetails;
+//# sourceMappingURL=FailureDetails.cjs.map

package/_cjs/data/FailureDetails.cjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"FailureDetails.cjs","mappings":";;;;;;;AAUM,MAAOA,cAAP,CAAqB;EACzBC,YAAqBC,SAArB,EAAoEC,GAApE,EAAsG;IAAjF;IAA+C;EAAsC;;AADjF","names":["FailureDetails","constructor","assertion","gen"],"sourceRoot":"","sources":["../../_src/data/FailureDetails.ts"],"sourcesContent":[null]}

package/_cjs/data/FreeBooleanAlgebra/api.cjs

@@ -0,0 +1,194 @@
+"use strict";
+
+Object.defineProperty(exports, "__esModule", {
+  value: true
+});
+exports.and_ = void 0;
+exports.failure = failure;
+exports.failures = failures;
+exports.flatMap_ = flatMap_;
+exports.fold_ = exports.foldEval_ = void 0;
+exports.iff_ = iff_;
+exports.implies_ = void 0;
+exports.isFailure = isFailure;
+exports.success = exports.or_ = exports.not = exports.isSuccess = void 0;
+
+var tsplus_module_1 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/base/data/Maybe/constructors"));
+
+var tsplus_module_2 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/base/data/Either/constructors"));
+
+var tsplus_module_3 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/base/data/Either/api"));
+
+var tsplus_module_4 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/base/data/Either/destructors"));
+
+var tsplus_module_5 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/base/control/Eval/constructors"));
+
+var tsplus_module_6 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/base/control/Eval/api"));
+
+var tsplus_module_7 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/base/control/Eval/run"));
+
+var _definition = /*#__PURE__*/require("./definition.js");
+
+function _getRequireWildcardCache(nodeInterop) { if (typeof WeakMap !== "function") return null; var cacheBabelInterop = new WeakMap(); var cacheNodeInterop = new WeakMap(); return (_getRequireWildcardCache = function (nodeInterop) { return nodeInterop ? cacheNodeInterop : cacheBabelInterop; })(nodeInterop); }
+
+function _interopRequireWildcard(obj, nodeInterop) { if (!nodeInterop && obj && obj.__esModule) { return obj; } if (obj === null || typeof obj !== "object" && typeof obj !== "function") { return { default: obj }; } var cache = _getRequireWildcardCache(nodeInterop); if (cache && cache.has(obj)) { return cache.get(obj); } var newObj = {}; var hasPropertyDescriptor = Object.defineProperty && Object.getOwnPropertyDescriptor; for (var key in obj) { if (key !== "default" && Object.prototype.hasOwnProperty.call(obj, key)) { var desc = hasPropertyDescriptor ? Object.getOwnPropertyDescriptor(obj, key) : null; if (desc && (desc.get || desc.set)) { Object.defineProperty(newObj, key, desc); } else { newObj[key] = obj[key]; } } } newObj.default = obj; if (cache) { cache.set(obj, newObj); } return newObj; }
+
+const and_ = and_1;
+exports.and_ = and_;
+const foldEval_ = foldEval_1;
+exports.foldEval_ = foldEval_;
+const fold_ = fold_1;
+exports.fold_ = fold_;
+const implies_ = implies_1;
+exports.implies_ = implies_;
+const isSuccess = isSuccess_1;
+exports.isSuccess = isSuccess;
+const not = not_1;
+exports.not = not;
+const or_ = or_1;
+exports.or_ = or_;
+const success = success_1;
+exports.success = success;
+
+/**
+ * @tsplus fluent fncts.test.FreeBooleanAlgebra and
+ * @tsplus operator fncts.test.FreeBooleanAlgebra &&
+ */
+function and_1(left, right) {
+  return new _definition.And(left, right);
+}
+/**
+ * @tsplus fluent fncts.test.FreeBooleanAlgebra flatMap
+ */
+
+
+function flatMap_(self, f) {
+  return fold_1(self, {
+    Value: f,
+    And: (l, r) => and_1(l, r),
+    Or: (l, r) => or_1(l, r),
+    Not: v => not_1(v)
+  });
+}
+/**
+ * @tsplus static fncts.test.FreeBooleanAlgebraOps failure
+ */
+
+
+function failure(a) {
+  return not_1(success_1(a));
+}
+/**
+ * @tsplus getter fncts.test.FreeBooleanAlgebra failures
+ */
+
+
+function failures(self) {
+  return tsplus_module_4.match_(fold_1(self, {
+    Value: a => tsplus_module_2.right(success_1(a)),
+    And: (l, r) => tsplus_module_3.isRight(l) ? tsplus_module_3.isRight(r) ? tsplus_module_2.right(and_1(l.right, r.right)) : r : tsplus_module_3.isRight(r) ? l : tsplus_module_2.left(and_1(l.left, r.left)),
+    Or: (l, r) => tsplus_module_3.isRight(l) ? tsplus_module_3.isRight(r) ? tsplus_module_2.right(or_1(l.right, r.right)) : l : tsplus_module_3.isRight(r) ? r : tsplus_module_2.left(or_1(l.left, r.left)),
+    Not: v => tsplus_module_3.swap(v)
+  }), tsplus_module_1.just, () => tsplus_module_1.nothing());
+}
+/**
+ * @tsplus fluent fncts.test.FreeBooleanAlgebra foldEval
+ */
+
+
+function foldEval_1(self, cases) {
+  return tsplus_module_5.defer(() => {
+    switch (self._tag) {
+      case "Value"
+      /* FreeBooleanAlgebraTag.Value */
+      :
+        return tsplus_module_5.now(cases.Value(self.value));
+
+      case "And"
+      /* FreeBooleanAlgebraTag.And */
+      :
+        return tsplus_module_6.zipWith_(foldEval_1(self.left, cases), foldEval_1(self.right, cases), cases.And);
+
+      case "Or"
+      /* FreeBooleanAlgebraTag.Or */
+      :
+        return tsplus_module_6.zipWith_(foldEval_1(self.left, cases), foldEval_1(self.right, cases), cases.Or);
+
+      case "Not"
+      /* FreeBooleanAlgebraTag.Not */
+      :
+        return tsplus_module_6.map_(foldEval_1(self.result, cases), cases.Not);
+    }
+  });
+}
+/**
+ * @tsplus fluent fncts.test.FreeBooleanAlgebra fold
+ */
+
+
+function fold_1(self, cases) {
+  return tsplus_module_7.run(foldEval_1(self, cases));
+}
+/**
+ * @tsplus fluent fncts.test.FreeBooleanAlgebra iff
+ */
+
+
+function iff_(left, right) {
+  return and_1(implies_1(left, right), implies_1(right, left));
+}
+/**
+ * @tsplus fluent fncts.test.FreeBooleanAlgebra implies
+ */
+
+
+function implies_1(left, right) {
+  return or_1(not_1(left), right);
+}
+/**
+ * @tsplus getter fncts.test.FreeBooleanAlgebra isFailure
+ */
+
+
+function isFailure(self) {
+  return !isSuccess_1(self);
+}
+/**
+ * @tsplus getter fncts.test.FreeBooleanAlgebra isSuccess
+ */
+
+
+function isSuccess_1(self) {
+  return fold_1(self, {
+    Value: () => true,
+    And: (l, r) => l && r,
+    Or: (l, r) => l || r,
+    Not: v => !v
+  });
+}
+/**
+ * @tsplus getter fncts.test.FreeBooleanAlgebra invert
+ */
+
+
+function not_1(self) {
+  return new _definition.Not(self);
+}
+/**
+ * @tsplus fluent fncts.test.FreeBooleanAlgebra or
+ * @tsplus operator fncts.test.FreeBooleanAlgebra ||
+ */
+
+
+function or_1(left, right) {
+  return new _definition.Or(left, right);
+}
+/**
+ * @tsplus static fncts.test.FreeBooleanAlgebraOps success
+ */
+
+
+function success_1(a) {
+  return new _definition.Value(a);
+}
+//# sourceMappingURL=api.cjs.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"api.cjs","mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAAA;;;;;;MAMgBA,IAAI;;MAsDJC,SAAS;;MA0BTC,KAAK;;MAsBLC,QAAQ;;MAcRC,SAAS;;MAYTC,GAAG;;MAQHC,GAAG;;MAOHC,OAAO;;;AAnJvB;;;;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,KACHa,6BACIA,6BACED,4BAAab,CAAC,CAACP,KAAf,EAAwBQ,CAAC,CAACR,KAA1B,EADF,GAEEQ,CAHN,GAIIa,6BACAd,CADA,GAEAa,2BAAYb,CAAC,CAACR,IAAd,EAAsBS,CAAC,CAACT,IAAxB,EATuD;IAU7DW,EAAE,EAAE,CAACH,CAAD,EAAIC,CAAJ,KACFa,6BACIA,6BACED,2BAAab,CAAC,CAACP,KAAf,EAAwBQ,CAAC,CAACR,KAA1B,EADF,GAEEO,CAHN,GAIIc,6BACAb,CADA,GAEAY,0BAAYb,CAAC,CAACR,IAAd,EAAsBS,CAAC,CAACT,IAAxB,EAjBuD;IAkB7Da,GAAG,EAAGC,CAAD,IAAMQ,qBAACR,CAAD;EAlBkD,CAD1D,GAoBHS,oBApBG,EAqBc,MAAMA,yBArBpB,CAAP;AAsBD;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]}

package/_cjs/data/FreeBooleanAlgebra/definition.cjs

@@ -0,0 +1,59 @@
+"use strict";
+
+Object.defineProperty(exports, "__esModule", {
+  value: true
+});
+exports.Value = exports.Or = exports.Not = exports.FreeBooleanAlgebra = exports.And = void 0;
+
+class Value {
+  constructor(value) {
+    this.value = value;
+    this._tag = "Value"
+    /* FreeBooleanAlgebraTag.Value */
+    ;
+  }
+
+}
+
+exports.Value = Value;
+
+class And {
+  constructor(left, right) {
+    this.left = left;
+    this.right = right;
+    this._tag = "And"
+    /* FreeBooleanAlgebraTag.And */
+    ;
+  }
+
+}
+
+exports.And = And;
+
+class Or {
+  constructor(left, right) {
+    this.left = left;
+    this.right = right;
+    this._tag = "Or"
+    /* FreeBooleanAlgebraTag.Or */
+    ;
+  }
+
+}
+
+exports.Or = Or;
+
+class Not {
+  constructor(result) {
+    this.result = result;
+    this._tag = "Not"
+    /* FreeBooleanAlgebraTag.Not */
+    ;
+  }
+
+}
+
+exports.Not = Not;
+const FreeBooleanAlgebra = {};
+exports.FreeBooleanAlgebra = FreeBooleanAlgebra;
+//# sourceMappingURL=definition.cjs.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"definition.cjs","mappings":";;;;;;;AAOM,MAAOA,KAAP,CAAY;EAEhBC,YAAqBC,KAArB,EAA6B;IAAR;IADZ,YAAI;IAAA;IAAJ;EACwB;;AAFjB;;;;AAKZ,MAAOC,GAAP,CAAU;EAEdF,YAAqBG,IAArB,EAA2DC,KAA3D,EAAuF;IAAlE;IAAsC;IADlD,YAAI;IAAA;IAAJ;EACkF;;AAF7E;;;;AAKV,MAAOC,EAAP,CAAS;EAEbL,YAAqBG,IAArB,EAA2DC,KAA3D,EAAuF;IAAlE;IAAsC;IADlD,YAAI;IAAA;IAAJ;EACkF;;AAF9E;;;;AAKT,MAAOE,GAAP,CAAU;EAEdN,YAAqBO,MAArB,EAAkD;IAA7B;IADZ,YAAI;IAAA;IAAJ;EAC6C;;AAFxC;;;AAeT,MAAMC,kBAAkB,GAA0B,EAAlD","names":["Value","constructor","value","And","left","right","Or","Not","result","FreeBooleanAlgebra"],"sourceRoot":"","sources":["../../../_src/data/FreeBooleanAlgebra/definition.ts"],"sourcesContent":[null]}

package/_cjs/data/FreeBooleanAlgebra.cjs

@@ -0,0 +1,32 @@
+"use strict";
+
+Object.defineProperty(exports, "__esModule", {
+  value: true
+});
+
+var _api = /*#__PURE__*/require("./FreeBooleanAlgebra/api.js");
+
+Object.keys(_api).forEach(function (key) {
+  if (key === "default" || key === "__esModule") return;
+  if (key in exports && exports[key] === _api[key]) return;
+  Object.defineProperty(exports, key, {
+    enumerable: true,
+    get: function () {
+      return _api[key];
+    }
+  });
+});
+
+var _definition = /*#__PURE__*/require("./FreeBooleanAlgebra/definition.js");
+
+Object.keys(_definition).forEach(function (key) {
+  if (key === "default" || key === "__esModule") return;
+  if (key in exports && exports[key] === _definition[key]) return;
+  Object.defineProperty(exports, key, {
+    enumerable: true,
+    get: function () {
+      return _definition[key];
+    }
+  });
+});
+//# sourceMappingURL=FreeBooleanAlgebra.cjs.map

package/_cjs/data/FreeBooleanAlgebra.cjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"FreeBooleanAlgebra.cjs","mappings":";;;;;;AACA;;AAAA;EAAA;EAAA;EAAA;IAAA;IAAA;MAAA;IAAA;EAAA;AAAA;;AACA;;AAAA;EAAA;EAAA;EAAA;IAAA;IAAA;MAAA;IAAA;EAAA;AAAA","names":[],"sourceRoot":"","sources":["../../_src/data/FreeBooleanAlgebra.ts"],"sourcesContent":[null]}

package/_cjs/data/GenFailureDetails.cjs

@@ -0,0 +1,18 @@
+"use strict";
+
+Object.defineProperty(exports, "__esModule", {
+  value: true
+});
+exports.GenFailureDetails = void 0;
+
+class GenFailureDetails {
+  constructor(initialInput, shrunkenInput, iterations) {
+    this.initialInput = initialInput;
+    this.shrunkenInput = shrunkenInput;
+    this.iterations = iterations;
+  }
+
+}
+
+exports.GenFailureDetails = GenFailureDetails;
+//# sourceMappingURL=GenFailureDetails.cjs.map

package/_cjs/data/GenFailureDetails.cjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"GenFailureDetails.cjs","mappings":";;;;;;;AAAM,MAAOA,iBAAP,CAAwB;EAC5BC,YAAqBC,YAArB,EAA+CC,aAA/C,EAA0EC,UAA1E,EAA4F;IAAvE;IAA0B;IAA2B;EAAsB;;AADpE","names":["GenFailureDetails","constructor","initialInput","shrunkenInput","iterations"],"sourceRoot":"","sources":["../../_src/data/GenFailureDetails.ts"],"sourcesContent":[null]}

package/_cjs/data/LogLine/Fragment.cjs

@@ -0,0 +1,94 @@
+"use strict";
+
+Object.defineProperty(exports, "__esModule", {
+  value: true
+});
+exports.Fragment = void 0;
+exports.append = append;
+exports.appendTo = appendTo;
+exports.bold = bold;
+exports.makeFragment = makeFragment;
+exports.prependTo = prependTo;
+exports.toLine = toLine;
+exports.underlined = underlined;
+
+var tsplus_module_1 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/test/data/LogLine/Style"));
+
+var tsplus_module_2 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/base/collection/immutable/Vector/api"));
+
+var _Line = /*#__PURE__*/require("./Line.js");
+
+function _getRequireWildcardCache(nodeInterop) { if (typeof WeakMap !== "function") return null; var cacheBabelInterop = new WeakMap(); var cacheNodeInterop = new WeakMap(); return (_getRequireWildcardCache = function (nodeInterop) { return nodeInterop ? cacheNodeInterop : cacheBabelInterop; })(nodeInterop); }
+
+function _interopRequireWildcard(obj, nodeInterop) { if (!nodeInterop && obj && obj.__esModule) { return obj; } if (obj === null || typeof obj !== "object" && typeof obj !== "function") { return { default: obj }; } var cache = _getRequireWildcardCache(nodeInterop); if (cache && cache.has(obj)) { return cache.get(obj); } var newObj = {}; var hasPropertyDescriptor = Object.defineProperty && Object.getOwnPropertyDescriptor; for (var key in obj) { if (key !== "default" && Object.prototype.hasOwnProperty.call(obj, key)) { var desc = hasPropertyDescriptor ? Object.getOwnPropertyDescriptor(obj, key) : null; if (desc && (desc.get || desc.set)) { Object.defineProperty(newObj, key, desc); } else { newObj[key] = obj[key]; } } } newObj.default = obj; if (cache) { cache.set(obj, newObj); } return newObj; }
+
+/**
+ * @tsplus type fncts.test.data.Fragment
+ * @tsplus companion fncts.test.data.FragmentOps
+ */
+class Fragment {
+  constructor(text, style = tsplus_module_1.Default) {
+    this.text = text;
+    this.style = style;
+  }
+
+}
+/**
+ * @tsplus static fncts.test.data.FragmentOps __call
+ */
+
+
+exports.Fragment = Fragment;
+
+function makeFragment(text, style = tsplus_module_1.Default) {
+  return new Fragment(text, style);
+}
+/**
+ * @tsplus operator fncts.test.data.Fragment +
+ */
+
+
+function appendTo(line, self) {
+  return new _Line.Line(tsplus_module_2.append_(line.fragments, self), line.offset);
+}
+/**
+ * @tsplus operator fncts.test.data.Fragment +
+ */
+
+
+function prependTo(self, line) {
+  return new _Line.Line(tsplus_module_2.prepend_(line.fragments, self), line.offset);
+}
+/**
+ * @tsplus operator fncts.test.data.Fragment +
+ */
+
+
+function append(self, that) {
+  return new _Line.Line(tsplus_module_2.vector(self, that));
+}
+/**
+ * @tsplus getter fncts.test.data.Fragment toLine
+ */
+
+
+function toLine(self) {
+  return new _Line.Line(tsplus_module_2.vector(self));
+}
+/**
+ * @tsplus getter fncts.test.data.Fragment bold
+ */
+
+
+function bold(self) {
+  return new Fragment(self.text, tsplus_module_1.Bold(self));
+}
+/**
+ * @tsplus getter fncts.test.data.Fragment underlined
+ */
+
+
+function underlined(self) {
+  return new Fragment(self.text, tsplus_module_1.Underlined(self));
+}
+//# sourceMappingURL=Fragment.cjs.map

package/_cjs/data/LogLine/Fragment.cjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"Fragment.cjs","mappings":";;;;;;;;;;;;;;;;;;AAAA;;;;;;AAGA;;;;AAIM,MAAOA,QAAP,CAAe;EACnBC,YAAqBC,IAArB,EAA4CC,+BAA5C,EAAwE;IAAnD;IAAuB;EAAgC;;AADzD;AAIrB;;;;;;;AAGM,SAAUC,YAAV,CAAuBF,IAAvB,EAAqCC,KAAK,0BAA1C,EAA0D;EAC9D,OAAO,IAAIH,QAAJ,CAAaE,IAAb,EAAmBC,KAAnB,CAAP;AACD;AAED;;;;;AAGM,SAAUE,QAAV,CAAmBC,IAAnB,EAA+BC,IAA/B,EAA6C;EACjD,OAAO,IAAIC,UAAJ,CAASC,4BAAI,CAACC,SAAL,EAAsBH,IAAtB,CAAT,EAAsCD,IAAI,CAACK,MAA3C,CAAP;AACD;AAED;;;;;AAGM,SAAUC,SAAV,CAAoBL,IAApB,EAAoCD,IAApC,EAA8C;EAClD,OAAO,IAAIE,UAAJ,CAASC,6BAAI,CAACC,SAAL,EAAuBH,IAAvB,CAAT,EAAuCD,IAAI,CAACK,MAA5C,CAAP;AACD;AAED;;;;;AAGM,SAAUE,MAAV,CAAiBN,IAAjB,EAAiCO,IAAjC,EAA+C;EACnD,OAAO,IAAIN,UAAJ,CAASC,uBAAOF,IAAP,EAAaO,IAAb,CAAT,CAAP;AACD;AAED;;;;;AAGM,SAAUC,MAAV,CAAiBR,IAAjB,EAA+B;EACnC,OAAO,IAAIC,UAAJ,CAASC,uBAAOF,IAAP,CAAT,CAAP;AACD;AAED;;;;;AAGM,SAAUS,IAAV,CAAeT,IAAf,EAA6B;EACjC,OAAO,IAAIP,QAAJ,CAAaO,IAAI,CAACL,IAAlB,EAAwBe,qBAAWV,IAAX,CAAxB,CAAP;AACD;AAED;;;;;AAGM,SAAUW,UAAV,CAAqBX,IAArB,EAAmC;EACvC,OAAO,IAAIP,QAAJ,CAAaO,IAAI,CAACL,IAAlB,EAAwBe,2BAAiBV,IAAjB,CAAxB,CAAP;AACD","names":["Fragment","constructor","text","style","makeFragment","appendTo","line","self","Line","tsplus_module_2","fragments","offset","prependTo","append","that","toLine","bold","tsplus_module_1","underlined"],"sourceRoot":"","sources":["../../../_src/data/LogLine/Fragment.ts"],"sourcesContent":[null]}