@fncts/test 0.0.1

package/_cjs/control/Gen/api/string.cjs

@@ -0,0 +1,102 @@
+"use strict";
+
+Object.defineProperty(exports, "__esModule", {
+  value: true
+});
+exports.alphaNumericString = alphaNumericString;
+exports.asciiString = asciiString;
+exports.base64String = base64String;
+exports.fullUnicodeString = fullUnicodeString;
+exports.hexString = hexString;
+exports.string = void 0;
+exports.string16 = string16;
+exports.stringN = void 0;
+exports.unicodeString = unicodeString;
+
+var tsplus_module_1 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/test/control/Gen/api"));
+
+var tsplus_module_2 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/test/control/Gen/api/array"));
+
+var _char = /*#__PURE__*/require("./char.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 string = string_1;
+exports.string = string;
+const stringN = stringN_1;
+exports.stringN = stringN;
+
+/**
+ * @tsplus static fncts.test.GenOps asciiString
+ */
+function asciiString(constraints) {
+  return string_1(_char.asciiChar, constraints);
+}
+/**
+ * @tsplus static fncts.test.GenOps alphaNumericString
+ */
+
+
+function alphaNumericString(constraints = {}) {
+  return string_1(_char.alphaNumericChar, constraints);
+}
+/**
+ * @tsplus static fncts.test.GenOps base64String
+ */
+
+
+function base64String(constraints = {}) {
+  return string_1(_char.base64Char, constraints);
+}
+/**
+ * @tsplus static fncts.test.GenOps fullUnicodeString
+ */
+
+
+function fullUnicodeString(constraints = {}) {
+  return string_1(_char.fullUnicodeChar, constraints);
+}
+/**
+ * @tsplus static fncts.test.GenOps hexString
+ */
+
+
+function hexString(constraints = {}) {
+  return string_1(_char.hexChar, constraints);
+}
+/**
+ * @tsplus static fncts.test.GenOps string16
+ */
+
+
+function string16(constraints = {}) {
+  return string_1(_char.char16, constraints);
+}
+/**
+ * @tsplus fluent fncts.test.Gen string
+ */
+
+
+function string_1(char, constraints = {}) {
+  const min = constraints.minLength || 0;
+  return constraints.maxLength ? tsplus_module_1.bounded(min, constraints.maxLength, n => stringN_1(char, n)) : tsplus_module_1.small(n => stringN_1(char, n), min);
+}
+/**
+ * @tsplus fluent fncts.test.Gen stringN
+ */
+
+
+function stringN_1(char, n) {
+  return tsplus_module_1.map_(tsplus_module_2.arrayN_(char, n), arr => arr.join(""));
+}
+/**
+ * @tsplus static fncts.test.GenOps unicodeString
+ */
+
+
+function unicodeString(constraints = {}) {
+  return string_1(_char.unicodeChar, constraints);
+}
+//# sourceMappingURL=string.cjs.map

package/_cjs/control/Gen/api/string.cjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"string.cjs","mappings":";;;;;;;;;;;;;;;;;;;AAIA;;;;;;MA+CgBA,MAAM;;MAUNC,OAAO;;;AAvDvB;;;AAGM,SAAUC,WAAV,CAAyBC,WAAzB,EAAwD;EAC5D,OAAOC,0BAAiBD,WAAjB,CAAP;AACD;AAED;;;;;AAGM,SAAUE,kBAAV,CAA6BF,cAAiC,EAA9D,EAAgE;EACpE,OAAOC,iCAAwBD,WAAxB,CAAP;AACD;AAED;;;;;AAGM,SAAUG,YAAV,CAAuBH,cAAiC,EAAxD,EAA0D;EAC9D,OAAOC,2BAAkBD,WAAlB,CAAP;AACD;AAED;;;;;AAGM,SAAUI,iBAAV,CAA4BJ,cAAiC,EAA7D,EAA+D;EACnE,OAAOC,gCAAuBD,WAAvB,CAAP;AACD;AAED;;;;;AAGM,SAAUK,SAAV,CAAoBL,cAAiC,EAArD,EAAuD;EAC3D,OAAOC,wBAAeD,WAAf,CAAP;AACD;AAED;;;;;AAGM,SAAUM,QAAV,CAAmBN,cAAiC,EAApD,EAAsD;EAC1D,OAAOC,uBAAcD,WAAd,CAAP;AACD;AAED;;;;;AAGA,kBAA0BO,IAA1B,EAAgDP,cAAiC,EAAjF,EAAmF;EACjF,MAAMQ,GAAG,GAAGR,WAAW,CAACS,SAAZ,IAAyB,CAArC;EACA,OAAOT,WAAW,CAACU,SAAZ,GACHC,wBAAYH,GAAZ,EAAiBR,WAAW,CAACU,SAA7B,EAAyCE,CAAD,IAAOC,gBAAaD,CAAb,CAA/C,CADG,GAEHD,sBAAWC,CAAD,IAAOC,gBAAaD,CAAb,CAAjB,EAAkCJ,GAAlC,CAFJ;AAGD;AAED;;;;;AAGA,mBAA2BD,IAA3B,EAAiDK,CAAjD,EAA0D;EACxD,OAAOD,mDAAYC,CAAZ,GAAoBE,GAAD,IAASA,GAAG,CAACC,IAAJ,CAAS,EAAT,CAA5B,CAAP;AACD;AAED;;;;;AAGM,SAAUC,aAAV,CAAwBhB,cAAiC,EAAzD,EAA2D;EAC/D,OAAOC,4BAAmBD,WAAnB,CAAP;AACD","names":["string","stringN","asciiString","constraints","string_1","alphaNumericString","base64String","fullUnicodeString","hexString","string16","char","min","minLength","maxLength","tsplus_module_1","n","stringN_1","arr","join","unicodeString"],"sourceRoot":"","sources":["../../../../_src/control/Gen/api/string.ts"],"sourcesContent":[null]}

package/_cjs/control/Gen/api/struct.cjs

@@ -0,0 +1,36 @@
+"use strict";
+
+Object.defineProperty(exports, "__esModule", {
+  value: true
+});
+exports.partial = partial;
+exports.struct = struct;
+
+var tsplus_module_1 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/test/control/Gen/api"));
+
+var tsplus_module_2 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/base/collection/compat/Array/api"));
+
+var tsplus_module_3 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/io/IO/api"));
+
+var tsplus_module_4 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/io/Random/api"));
+
+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 fileName_1 = "(@fncts/test) src/control/Gen/api/struct.ts";
+
+function struct(properties) {
+  const entries = Object.entries(properties);
+  return tsplus_module_2.foldLeft(entries, tsplus_module_1.constant({}), (b, [k, gen]) => tsplus_module_1.zipWith_(b, gen, (out, a) => ({ ...out,
+    [k]: a
+  })));
+}
+
+function partial(properties) {
+  const entries = Object.entries(properties);
+  return tsplus_module_2.foldLeft(entries, tsplus_module_1.constant({}), (b, [k, gen]) => tsplus_module_1.unwrap(tsplus_module_3.ifIO_(tsplus_module_4.nextBoolean, () => tsplus_module_3.succeed(() => tsplus_module_1.zipWith_(b, gen, (r, a) => ({ ...r,
+    [k]: a
+  })), fileName_1 + ":19:50"), () => tsplus_module_3.succeed(() => b, fileName_1 + ":19:108"))));
+}
+//# sourceMappingURL=struct.cjs.map

package/_cjs/control/Gen/api/struct.cjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"struct.cjs","mappings":";;;;;;;;;;;;;;;;;;;;;;AAIM,SAAUA,MAAV,CACJC,UADI,EACS;EAEb,MAAMC,OAAO,GAAGC,MAAM,CAACD,OAAP,CAAeD,UAAf,CAAhB;EACA,OAAOG,kCAAiBC,yBAAa,EAAb,CAAjB,EAAoD,CAACC,CAAD,EAAI,CAACC,CAAD,EAAIC,GAAJ,CAAJ,KACzDH,4BAAUG,GAAV,EAAe,CAACC,GAAD,EAAMC,CAAN,MAAa,EAAE,GAAGD,GAAL;IAAU,CAACF,CAAD,GAAKG;EAAf,CAAb,CAAf,CADK,CAAP;AAGD;;AAEK,SAAUC,OAAV,CACJV,UADI,EACS;EAEb,MAAMC,OAAO,GAAGC,MAAM,CAACD,OAAP,CAAeD,UAAf,CAAhB;EACA,OAAOG,kCAAiBC,yBAAa,EAAb,CAAjB,EAAoD,CAACC,CAAD,EAAI,CAACC,CAAD,EAAIC,GAAJ,CAAJ,KACzDH,uBAAWO,yDAAwBA,8BAAWP,4BAAUG,GAAV,EAAe,CAACK,CAAD,EAAIH,CAAJ,MAAW,EAAE,GAAGG,CAAL;IAAQ,CAACN,CAAD,GAAKG;EAAb,CAAX,CAAf,CAAX,EAAuDI,qBAAvD,CAAxB,EAAgF,MAAEF,8BAAWN,CAAX,EAAYQ,sBAAZ,CAAlF,CAAX,CADK,CAAP;AAGD","names":["struct","properties","entries","Object","tsplus_module_2","tsplus_module_1","b","k","gen","out","a","partial","tsplus_module_3","r","fileName_1"],"sourceRoot":"","sources":["../../../../_src/control/Gen/api/struct.ts"],"sourcesContent":[null]}

package/_cjs/control/Gen/api.cjs

@@ -0,0 +1,369 @@
+"use strict";
+
+Object.defineProperty(exports, "__esModule", {
+  value: true
+});
+exports.anyInt = exports.anyDouble = exports.anyBigInt = void 0;
+exports.bounded = bounded;
+exports.constant = void 0;
+exports.defer = defer;
+exports.exponential = exports.empty = void 0;
+exports.filterNot_ = filterNot_;
+exports.int = exports.fromIOSample = exports.fromIO = exports.flatten = exports.flatMap_ = exports.filter_ = void 0;
+exports.mapIO_ = mapIO_;
+exports.map_ = void 0;
+exports.medium = medium;
+exports.memo = memo;
+exports.nat = nat;
+exports.oneOf = oneOf;
+exports.size = exports.reshrink_ = void 0;
+exports.sized = sized;
+exports.small = void 0;
+exports.unfoldGen = unfoldGen;
+exports.uniform = exports.unfoldGenN = void 0;
+exports.unwrap = unwrap;
+exports.weighted = weighted;
+exports.zipWith_ = zipWith_;
+
+var tsplus_module_1 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/test/control/Sample/api"));
+
+var tsplus_module_2 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/io/Random/api"));
+
+var tsplus_module_3 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/io/IO/api"));
+
+var tsplus_module_4 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/base/data/Maybe/constructors"));
+
+var tsplus_module_5 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/io/Stream/api"));
+
+var tsplus_module_6 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/base/data/Maybe/api"));
+
+var tsplus_module_7 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/base/data/Maybe/destructors"));
+
+var tsplus_module_8 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/test/control/Sized/api"));
+
+var tsplus_module_9 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/base/collection/compat/Array/api"));
+
+var tsplus_module_10 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/base/collection/immutable/Conc/constructors"));
+
+var tsplus_module_11 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/base/collection/immutable/Conc/api"));
+
+var tsplus_module_12 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/base/data/number/instances"));
+
+var tsplus_module_13 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/base/collection/immutable/SortedMap/api"));
+
+var _exceptions = /*#__PURE__*/require("@fncts/base/data/exceptions");
+
+var _function = /*#__PURE__*/require("@fncts/base/data/function");
+
+var _math = /*#__PURE__*/require("../../util/math.js");
+
+var _Sample = /*#__PURE__*/require("../Sample.js");
+
+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 fileName_1 = "(@fncts/test) src/control/Gen/api.ts";
+const constant = constant_1;
+exports.constant = constant;
+const flatMap_ = flatMap_1;
+exports.flatMap_ = flatMap_;
+const filter_ = filter_1;
+exports.filter_ = filter_;
+const flatten = flatten_1;
+exports.flatten = flatten;
+const fromIO = fromIO_1;
+exports.fromIO = fromIO;
+const fromIOSample = fromIOSample_1;
+exports.fromIOSample = fromIOSample;
+const int = int_1;
+exports.int = int;
+const map_ = map_1;
+exports.map_ = map_;
+const reshrink_ = reshrink_1;
+exports.reshrink_ = reshrink_;
+const small = small_1;
+exports.small = small;
+const unfoldGenN = unfoldGenN_1;
+exports.unfoldGenN = unfoldGenN;
+
+/**
+ * @tsplus static fncts.test.GenOps anyBigInt
+ */
+const anyBigInt = /*#__PURE__*/fromIOSample_1( /*#__PURE__*/tsplus_module_3.map_( /*#__PURE__*/tsplus_module_2.nextBigIntBetween( /*#__PURE__*/BigInt(-1) << /*#__PURE__*/BigInt(255), ( /*#__PURE__*/BigInt(1) << /*#__PURE__*/BigInt(255)) - /*#__PURE__*/BigInt(1)), /*#__PURE__*/tsplus_module_1.shrinkBigInt( /*#__PURE__*/BigInt(0)), fileName_1 + ":18:98"));
+/**
+ * @tsplus static fncts.test.GenOps anyDouble
+ */
+
+exports.anyBigInt = anyBigInt;
+const anyDouble = /*#__PURE__*/fromIOSample_1( /*#__PURE__*/tsplus_module_3.map_(tsplus_module_2.nextDouble, /*#__PURE__*/tsplus_module_1.shrinkFractional(0), fileName_1 + ":26:86"));
+/**
+ * @tsplus static fncts.test.GenOps anyInt
+ */
+
+exports.anyDouble = anyDouble;
+const anyInt = /*#__PURE__*/fromIOSample_1( /*#__PURE__*/tsplus_module_3.map_(tsplus_module_2.nextInt, /*#__PURE__*/tsplus_module_1.shrinkIntegral(0), fileName_1 + ":31:80"));
+/**
+ * @tsplus static fncts.test.GenOps bounded
+ */
+
+exports.anyInt = anyInt;
+
+function bounded(min, max, f) {
+  return flatMap_1(int_1({
+    min,
+    max
+  }), f);
+}
+/**
+ * @tsplus static fncts.test.GenOps constant
+ */
+
+
+function constant_1(a) {
+  return new _definition.Gen(tsplus_module_5.succeedNow(tsplus_module_4.just(tsplus_module_1.noShrink(a))));
+}
+/**
+ * @tsplus fluent fncts.test.Gen flatMap
+ */
+
+
+function flatMap_1(ma, f) {
+  return new _definition.Gen(tsplus_module_1.flatMapStream(ma.sample, sample => {
+    const values = f(sample.value).sample;
+    const shrinks = flatMap_1(new _definition.Gen(sample.shrink), a => f(a)).sample;
+    return tsplus_module_5.map_(values, maybeSample => tsplus_module_6.map_(maybeSample, sample => tsplus_module_1.flatMap_(sample, b => new _Sample.Sample(b, shrinks))));
+  }));
+}
+/**
+ * @tsplus static fncts.test.GenOps defer
+ */
+
+
+function defer(gen) {
+  return flatten_1(fromIO_1(tsplus_module_3.succeed(gen, fileName_1 + ":64:31")));
+}
+/**
+ * @tsplus static fncts.test.GenOps empty
+ */
+
+
+const empty_1 = /*#__PURE__*/new _definition.Gen(tsplus_module_5.empty);
+const empty = empty_1;
+exports.empty = empty;
+
+function filter_1(fa, p) {
+  return flatMap_1(fa, a => p(a) ? constant_1(a) : empty_1);
+}
+/**
+ * @tsplus fluent fncts.test.Gen filterNot
+ */
+
+
+function filterNot_(fa, p) {
+  return filter_1(fa, a => !p(a));
+}
+/**
+ * @tsplus getter fncts.test.Gen flatten
+ */
+
+
+function flatten_1(mma) {
+  return flatMap_1(mma, _function.identity);
+}
+/**
+ * @tsplus static fncts.test.GenOps fromIO
+ */
+
+
+function fromIO_1(effect) {
+  return fromIOSample_1(tsplus_module_3.map_(effect, tsplus_module_1.noShrink, fileName_1 + ":99:37"));
+}
+/**
+ * @tsplus static fncts.test.GenOps fromIOSample
+ */
+
+
+function fromIOSample_1(effect) {
+  return new _definition.Gen(tsplus_module_5.fromIO(tsplus_module_3.map_(effect, tsplus_module_4.just, fileName_1 + ":106:42")));
+}
+/**
+ * @tsplus static fncts.test.GenOps int
+ */
+
+
+function int_1(constraints = {}) {
+  return fromIOSample_1(tsplus_module_3.defer(() => {
+    const min = constraints.min ?? -0x80000000;
+    const max = constraints.max ?? 0x7fffffff;
+
+    if (min > max || min < Number.MIN_SAFE_INTEGER || max > Number.MAX_SAFE_INTEGER) {
+      return tsplus_module_3.haltNow(new _exceptions.IllegalArgumentError("invalid bounds", "Gen.int"), fileName_1 + ":118:26");
+    } else {
+      return tsplus_module_3.map_(tsplus_module_2.nextIntBetween(min, max), tsplus_module_1.shrinkIntegral(min), fileName_1 + ":120:51");
+    }
+  }, fileName_1 + ":114:13"));
+}
+/**
+ * @tsplus fluent fncts.test.Gen map
+ */
+
+
+function map_1(self, f) {
+  return new _definition.Gen(tsplus_module_5.map_(self.sample, maybeSample => tsplus_module_6.map_(maybeSample, sample => tsplus_module_1.map_(sample, f))));
+}
+/**
+ * @tsplus fluent fncts.test.Gen mapIO
+ */
+
+
+function mapIO_(self, f) {
+  return new _definition.Gen(tsplus_module_5.mapIO_(self.sample, maybeSample => tsplus_module_7.match_(maybeSample, () => tsplus_module_3.succeedNow(tsplus_module_4.nothing(), fileName_1 + ":140:28"), sample => tsplus_module_3.map_(tsplus_module_1.foreach_(sample, f), tsplus_module_4.just, fileName_1 + ":141:42"))));
+}
+/**
+ * @tsplus static fncts.test.GenOps exponential
+ */
+
+
+const exponential_1 = /*#__PURE__*/map_1(uniform_1, n => -Math.log(1 - n));
+const exponential = exponential_1;
+/**
+ * @tsplus static fncts.test.GenOps size
+ */
+
+exports.exponential = exponential;
+const size_1 = /*#__PURE__*/fromIO_1(tsplus_module_8.size);
+const size = size_1;
+/**
+ * @tsplus static fncts.test.GenOps medium
+ */
+
+exports.size = size;
+
+function medium(f, min = 0) {
+  return flatMap_1(reshrink_1(flatMap_1(size_1, max => map_1(exponential_1, n => (0, _math.clamp)(Math.round(n * max / 10.0), min, max))), tsplus_module_1.shrinkIntegral(min)), f);
+}
+/**
+ * @tsplus static fncts.test.GenOps memo
+ */
+
+
+function memo(builder) {
+  const previous = {};
+  let remainingDepth = 10;
+  return maxDepth => {
+    const n = maxDepth !== undefined ? maxDepth : remainingDepth;
+
+    if (!Object.prototype.hasOwnProperty.call(previous, n)) {
+      const prev = remainingDepth;
+      remainingDepth = n - 1;
+      previous[n] = builder(n);
+      remainingDepth = prev;
+    }
+
+    return previous[n];
+  };
+}
+/**
+ * @tsplus static fncts.test.GenOps nat
+ */
+
+
+function nat(max = 0x7fffffff) {
+  return int_1({
+    min: 0,
+    max: (0, _math.clamp)(max, 0, max)
+  });
+}
+/**
+ * @tsplus static fncts.test.GenOps oneOf
+ */
+
+
+function oneOf(...gens) {
+  if (tsplus_module_9.isEmpty(gens)) return empty_1;else return flatMap_1(int_1({
+    min: 0,
+    max: gens.length - 1
+  }), i => gens[i]);
+}
+/**
+ * @tsplus fluent fncts.test.Gen reshrink
+ */
+
+
+function reshrink_1(gen, f) {
+  return new _definition.Gen(tsplus_module_5.map_(gen.sample, maybeSample => tsplus_module_6.map_(maybeSample, sample => f(sample.value))));
+}
+/**
+ * @tsplus static fncts.test.GenOps sized
+ */
+
+
+function sized(f) {
+  return flatMap_1(size_1, f);
+}
+/**
+ * @tsplus static fncts.test.GenOps small
+ */
+
+
+function small_1(f, min = 0) {
+  return flatMap_1(reshrink_1(flatMap_1(size_1, max => map_1(exponential_1, n => (0, _math.clamp)(Math.round(n * max / 25), min, max))), tsplus_module_1.shrinkIntegral(min)), f);
+}
+/**
+ * @tsplus static fncts.test.GenOps unfoldGen
+ */
+
+
+function unfoldGen(s, f) {
+  return small_1(n => unfoldGenN_1(n, s, f));
+}
+/**
+ * @tsplus static fncts.test.GenOps unfoldGenN
+ */
+
+
+function unfoldGenN_1(n, s, f) {
+  if (n <= 0) return constant_1(tsplus_module_10.make());else return flatMap_1(f(s), ([s, a]) => map_1(unfoldGenN_1(n - 1, s, f), as => tsplus_module_11.append_(as, a)));
+}
+/**
+ * @tsplus static fncts.test.GenOps uniform
+ */
+
+
+const uniform_1 = /*#__PURE__*/fromIOSample_1( /*#__PURE__*/tsplus_module_3.map_(tsplus_module_2.nextDouble, /*#__PURE__*/tsplus_module_1.shrinkFractional(0.0), fileName_1 + ":246:84"));
+const uniform = uniform_1;
+/**
+ * @tsplus static fncts.test.GenOps unwrap
+ */
+
+exports.uniform = uniform;
+
+function unwrap(effect) {
+  return flatten_1(fromIO_1(effect));
+}
+/**
+ * @tsplus static fncts.test.GenOps weighted
+ */
+
+
+function weighted(...gens) {
+  const sum = tsplus_module_9.foldLeft(gens.map(([, weight]) => weight), 0, (b, a) => b + a);
+  const [map] = tsplus_module_9.foldLeft(gens, (0, _function.tuple)(tsplus_module_13.make(tsplus_module_12.Ord), 0), ([map, acc], [gen, d]) => {
+    if ((acc + d) / sum > acc / sum) return (0, _function.tuple)(tsplus_module_13.insert_(map, (acc + d) / sum, gen), acc + d);else return (0, _function.tuple)(map, acc);
+  });
+  return flatMap_1(uniform_1, n => tsplus_module_6.getOrElse_(tsplus_module_13.getGte_(map, n), () => {
+    throw new _exceptions.NoSuchElementError("Gen.weighted");
+  }));
+}
+/**
+ * @tsplus fluent fncts.test.Gen zipWith
+ */
+
+
+function zipWith_(self, that, f) {
+  return flatMap_1(self, a => map_1(that, b => f(a, b)));
+}
+//# sourceMappingURL=api.cjs.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"api.cjs","mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAIA;;AACA;;AAGA;;AACA;;AAEA;;;;;;;MA+BgBA,QAAQ;;MAORC,QAAQ;;MA2BRC,OAAO;;MAcPC,OAAO;;MAOPC,MAAM;;MAONC,YAAY;;MAOZC,GAAG;;MAiBHC,IAAI;;MA0EJC,SAAS;;MAkBTC,KAAK;;MAiBLC,UAAU;;;AAhO1B;;;AAGO,MAAMC,SAAS,gBAAyBC,6BAC7CC,qEAAyB,oBAAM,CAAC,CAAC,CAAF,CAAN,iBAAcC,MAAM,CAAC,GAAD,CAA7C,EAAoD,CAAC,oBAAM,CAAC,CAAD,CAAN,iBAAaA,MAAM,CAAC,GAAD,CAApB,iBAA6BA,MAAM,CAAC,CAAD,CAAvF,gBACEC,2CAAoBD,MAAM,CAAC,CAAD,CAA1B,CADF,EACgCE,qBADhC,CAD6C,CAAxC;AAMP;;;;;AAGO,MAAMC,SAAS,gBAAyBL,6BAAiBC,8DAAsBE,iCAAwB,CAAxB,CAAtB,EAAgDC,qBAAhD,CAAjB,CAAxC;AAEP;;;;;AAGO,MAAME,MAAM,gBAAyBN,6BAAiBC,2DAAmBE,+BAAsB,CAAtB,CAAnB,EAA2CC,qBAA3C,CAAjB,CAArC;AAEP;;;;;;AAGM,SAAUG,OAAV,CAAwBC,GAAxB,EAAqCC,GAArC,EAAkDC,CAAlD,EAA6E;EACjF,OAAOC,gBAAQ;IAAEH,GAAF;IAAOC;EAAP,CAAR,GAA8BC,CAA9B,CAAP;AACD;AAED;;;;;AAGA,oBAA4BE,CAA5B,EAAgC;EAC9B,OAAO,IAAIC,eAAJ,CAAQC,2BAAkBC,qBAAKZ,yBAAgBS,CAAhB,CAAL,CAAlB,CAAR,CAAP;AACD;AAED;;;;;AAGA,mBAAsCI,EAAtC,EAAqDN,CAArD,EAA4E;EAC1E,OAAO,IAAIG,eAAJ,CACLV,8BAAqBa,EAAE,CAACC,MAAxB,EAAiCA,MAAD,IAAW;IACzC,MAAMC,MAAM,GAAIR,CAAC,CAACO,MAAM,CAACE,KAAR,CAAD,CAAgBF,MAAhC;IACA,MAAMG,OAAO,GAAGT,cAAIE,eAAJ,CAAQI,MAAM,CAACI,MAAf,GAAgCT,CAAD,IAAOF,CAAC,CAACE,CAAD,CAAvC,EAA4CK,MAA5D;IACA,OAAOH,6BAAYQ,WAAD,IAAiBC,kCAAiBN,MAAD,IAAYd,iCAAgBqB,CAAD,IAAO,IAAIC,cAAJ,CAAWD,CAAX,EAAcJ,OAAd,CAAtB,CAA5B,CAA5B,CAAP;EACD,CAJD,CADK,CAAP;AAOD;AAED;;;;;AAGM,SAAUM,KAAV,CAAsBC,GAAtB,EAA0C;EAC9C,iBAAOC,SAAW3B,wBAAW0B,GAAX,EAAcvB,qBAAd,CAAX,CAAP;AACD;AAED;;;;;AAGO,MAAMyB,uBAA6B,IAAIhB,eAAJ,CAAOC,qBAAP,CAAnC;MAAMgB,KAAK;;;AAOlB,kBAA8BC,EAA9B,EAA6CC,CAA7C,EAA4D;EAC1D,OAAOrB,cAAYC,CAAD,IAAQoB,CAAC,CAACpB,CAAD,CAAD,GAAOqB,WAAarB,CAAb,CAAP,GAAwBiB,OAA3C,CAAP;AACD;AAED;;;;;AAGM,SAAUK,UAAV,CAA2BH,EAA3B,EAA0CC,CAA1C,EAAyD;EAC7D,OAAOG,aAAWvB,CAAD,IAAO,CAACoB,CAAC,CAACpB,CAAD,CAAnB,CAAP;AACD;AAED;;;;;AAGA,mBAAkCwB,GAAlC,EAAyD;EACvD,OAAOzB,eAAY0B,kBAAZ,CAAP;AACD;AAED;;;;;AAGA,kBAA6BC,MAA7B,EAAoD;EAClD,OAAOtC,eAAiBC,6BAAME,wBAAN,EAAMC,qBAAN,CAAjB,CAAP;AACD;AAED;;;;;AAGA,wBAAmCkC,MAAnC,EAAqE;EACnE,OAAO,IAAIzB,eAAJ,CAAQC,uBAAcb,6BAAMc,oBAAN,EAAMX,sBAAN,CAAd,CAAR,CAAP;AACD;AAED;;;;;AAGA,eAAoBmC,cAAiC,EAArD,EAAuD;EACrD,OAAOvC,eACLC,sBAAS,MAAK;IACZ,MAAMO,GAAG,GAAG+B,WAAW,CAAC/B,GAAZ,IAAmB,CAAC,UAAhC;IACA,MAAMC,GAAG,GAAG8B,WAAW,CAAC9B,GAAZ,IAAmB,UAA/B;;IACA,IAAID,GAAG,GAAGC,GAAN,IAAaD,GAAG,GAAGgC,MAAM,CAACC,gBAA1B,IAA8ChC,GAAG,GAAG+B,MAAM,CAACE,gBAA/D,EAAiF;MAC/E,OAAOzC,wBAAW,IAAI0C,gCAAJ,CAAyB,gBAAzB,EAA2C,SAA3C,CAAX,EAAgEvC,sBAAhE,CAAP;IACD,CAFD,MAEO;MACL,OAAOH,oDAAsBO,GAAtB,EAA2BC,GAA3B,GAAoCN,+BAAsBK,GAAtB,CAApC,EAA8DJ,sBAA9D,CAAP;IACD;EACF,CARD,EAQCA,sBARD,CADK,CAAP;AAWD;AAED;;;;;AAGA,eAA8BwC,IAA9B,EAA+ClC,CAA/C,EAA6D;EAC3D,OAAO,IAAIG,eAAJ,CAAQC,yBAAI,CAACG,MAAL,EAAiBK,WAAD,IAAiBC,kCAAiBN,MAAD,IAAYd,6BAAWO,CAAX,CAA5B,CAAjC,CAAR,CAAP;AACD;AAED;;;;;AAGM,SAAUmC,MAAV,CAA8BD,IAA9B,EAA+ClC,CAA/C,EAA4E;EAChF,OAAO,IAAIG,eAAJ,CACLC,2BAAI,CAACG,MAAL,EAAmBK,WAAD,IAChBwB,oCACE,MAAM7C,2BAAcc,yBAAd,EAAuBX,sBAAvB,CADR,EAEGa,MAAD,IAAYhB,sDAAeS,CAAf,GAAiBK,oBAAjB,EAAiBX,sBAAjB,CAFd,CADF,CADK,CAAP;AAQD;AAED;;;;;AAGO,MAAM2C,6BAAoCC,iBAAiBC,CAAD,IAAO,CAACC,IAAI,CAACC,GAAL,CAAS,IAAIF,CAAb,CAAxB,CAA1C;MAAMG,WAAW;AAExB;;;;;AAGO,MAAMC,sBAAgCzB,8BAAtC;MAAM0B,IAAI;AAEjB;;;;;;AAGM,SAAUC,MAAV,CAAuB7C,CAAvB,EAAoDF,GAAG,GAAG,CAA1D,EAA2D;EAC/D,OAAOG,uCACKF,GAAD,IAASuC,qBAAqBC,CAAD,IAAO,iBAAMC,IAAI,CAACM,KAAL,CAAYP,CAAC,GAAGxC,GAAL,GAAY,IAAvB,CAAN,EAAoCD,GAApC,EAAyCC,GAAzC,CAA3B,CADb,GAEKN,+BAAsBK,GAAtB,CAFL,GAGIE,CAHJ,CAAP;AAID;AAED;;;;;AAGM,SAAU+C,IAAV,CAAqBC,OAArB,EAA6D;EACjE,MAAMC,QAAQ,GAAmC,EAAjD;EACA,IAAIC,cAAc,GAAG,EAArB;EACA,OAAQC,QAAD,IAAiC;IACtC,MAAMZ,CAAC,GAAGY,QAAQ,KAAKC,SAAb,GAAyBD,QAAzB,GAAoCD,cAA9C;;IACA,IAAI,CAACG,MAAM,CAACC,SAAP,CAAiBC,cAAjB,CAAgCC,IAAhC,CAAqCP,QAArC,EAA+CV,CAA/C,CAAL,EAAwD;MACtD,MAAMkB,IAAI,GAAOP,cAAjB;MACAA,cAAc,GAAGX,CAAC,GAAG,CAArB;MACAU,QAAQ,CAACV,CAAD,CAAR,GAAiBS,OAAO,CAACT,CAAD,CAAxB;MACAW,cAAc,GAAGO,IAAjB;IACD;;IACD,OAAOR,QAAQ,CAACV,CAAD,CAAf;EACD,CATD;AAUD;AAED;;;;;AAGM,SAAUmB,GAAV,CAAc3D,GAAG,GAAG,UAApB,EAA8B;EAClC,OAAO4D,MAAQ;IAAE7D,GAAG,EAAE,CAAP;IAAUC,GAAG,EAAE,iBAAMA,GAAN,EAAW,CAAX,EAAcA,GAAd;EAAf,CAAR,CAAP;AACD;AAED;;;;;AAGM,SAAU6D,KAAV,CAAwD,GAAGC,IAA3D,EAAkE;EACtE,IAAIC,6BAAJ,EAAoB,eAApB,KACK,OAAO7D,gBAAQ;IAAEH,GAAG,EAAE,CAAP;IAAUC,GAAG,EAAE8D,IAAI,CAACE,MAAL,GAAc;EAA7B,CAAR,GAAmDC,CAAD,IAAOH,IAAI,CAACG,CAAD,CAA7D,CAAP;AACN;AAED;;;;;AAGA,oBAAuC/C,GAAvC,EAAuDjB,CAAvD,EAAiF;EAC/E,OAAO,IAAIG,eAAJ,CACLC,qBAACa,GAAG,CAACV,MAAL,EAAgEK,WAAD,IAC7DC,kCAAiBN,MAAD,IAAYP,CAAC,CAACO,MAAM,CAACE,KAAR,CAA7B,CADF,CADK,CAAP;AAKD;AAED;;;;;AAGM,SAAUwD,KAAV,CAAsBjE,CAAtB,EAAoD;EACxD,OAAOC,kBAAiBD,CAAjB,CAAP;AACD;AAED;;;;;AAGA,iBAA4BA,CAA5B,EAA4DF,GAAG,GAAG,CAAlE,EAAmE;EACjE,OAAOG,uCACKF,GAAD,IAASuC,qBAAqBC,CAAD,IAAO,iBAAMC,IAAI,CAACM,KAAL,CAAYP,CAAC,GAAGxC,GAAL,GAAY,EAAvB,CAAN,EAAkCD,GAAlC,EAAuCC,GAAvC,CAA3B,CADb,GAEKN,+BAAsBK,GAAtB,CAFL,GAGIE,CAHJ,CAAP;AAID;AAED;;;;;AAGM,SAAUkE,SAAV,CAA6BC,CAA7B,EAAmCnE,CAAnC,EAAuE;EAC3E,OAAOoE,QAAW7B,CAAD,IAAO8B,aAAe9B,CAAf,EAAkB4B,CAAlB,EAAqBnE,CAArB,CAAjB,CAAP;AACD;AAED;;;;;AAGA,sBAAoCuC,CAApC,EAA+C4B,CAA/C,EAAqDnE,CAArD,EAAyF;EACvF,IAAIuC,CAAC,IAAI,CAAT,EAAY,OAAOhB,WAAa+C,uBAAb,CAAP,CAAZ,KACK,OAAOrE,WAAC,CAACkE,CAAD,CAAD,EAAa,CAAC,CAACA,CAAD,EAAIjE,CAAJ,CAAD,KAAYoC,mBAAeC,CAAC,GAAG,CAAnB,EAAsB4B,CAAtB,EAAyBnE,CAAzB,GAAiCuE,EAAD,IAAQC,6BAAUtE,CAAV,CAAxC,CAAzB,CAAP;AACN;AAED;;;;;AAGO,MAAMuE,yBAAgCnF,6BAAiBC,8DAAsBE,iCAAwB,GAAxB,CAAtB,EAAkDC,sBAAlD,CAAjB,CAAtC;MAAMgF,OAAO;AAEpB;;;;;;AAGM,SAAUC,MAAV,CAA2B/C,MAA3B,EAAsD;EAC1D,iBAAOV,SAAWU,MAAX,CAAP;AACD;AAED;;;;;AAGM,SAAUgD,QAAV,CAAyB,GAAGf,IAA5B,EAA6E;EACjF,MAAMgB,GAAG,GAAKf,6BAAI,CAACgB,GAAL,CAAS,CAAC,GAAGC,MAAH,CAAD,KAAgBA,MAAzB,GAA0C,CAA1C,EAA6C,CAACjE,CAAD,EAAIZ,CAAJ,KAAUY,CAAC,GAAGZ,CAA3D,CAAd;EACA,MAAM,CAAC4E,GAAD,IAAQhB,+BAAc,qBAAMkB,2CAAN,EAAqD,CAArD,CAAd,EAAuE,CAAC,CAACF,GAAD,EAAMG,GAAN,CAAD,EAAa,CAAChE,GAAD,EAAMiE,CAAN,CAAb,KAAyB;IAC5G,IAAI,CAACD,GAAG,GAAGC,CAAP,IAAYL,GAAZ,GAAkBI,GAAG,GAAGJ,GAA5B,EAAiC,OAAO,qBAAMG,8BAAW,CAACC,GAAG,GAAGC,CAAP,IAAYL,GAAvB,EAA4B5D,GAA5B,CAAN,EAAwCgE,GAAG,GAAGC,CAA9C,CAAP,CAAjC,KACK,OAAO,qBAAMJ,GAAN,EAAWG,GAAX,CAAP;EACN,CAHa,CAAd;EAIA,OAAOhF,qBAAqBsC,CAAD,IACzB1B,yDAAW0B,CAAX,GAAwB,MAAK;IAC3B,MAAM,IAAI4C,8BAAJ,CAAuB,cAAvB,CAAN;EACD,CAFD,CADK,CAAP;AAKD;AAED;;;;;AAGM,SAAUC,QAAV,CAAmClD,IAAnC,EAAoDmD,IAApD,EAAsErF,CAAtE,EAA0F;EAC9F,OAAOC,gBAAcC,CAAD,IAAOoC,YAAUxB,CAAD,IAAOd,CAAC,CAACE,CAAD,EAAIY,CAAJ,CAAjB,CAApB,CAAP;AACD","names":["constant","flatMap_","filter_","flatten","fromIO","fromIOSample","int","map_","reshrink_","small","unfoldGenN","anyBigInt","fromIOSample_1","tsplus_module_3","BigInt","tsplus_module_1","fileName_1","anyDouble","anyInt","bounded","min","max","f","flatMap_1","a","Gen","tsplus_module_5","tsplus_module_4","ma","sample","values","value","shrinks","shrink","maybeSample","tsplus_module_6","b","Sample","defer","gen","fromIO_1","empty_1","empty","fa","p","constant_1","filterNot_","filter_1","mma","identity","effect","constraints","Number","MIN_SAFE_INTEGER","MAX_SAFE_INTEGER","IllegalArgumentError","self","mapIO_","tsplus_module_7","exponential_1","map_1","n","Math","log","exponential","size_1","size","medium","round","memo","builder","previous","remainingDepth","maxDepth","undefined","Object","prototype","hasOwnProperty","call","prev","nat","int_1","oneOf","gens","tsplus_module_9","length","i","sized","unfoldGen","s","small_1","unfoldGenN_1","tsplus_module_10","as","tsplus_module_11","uniform_1","uniform","unwrap","weighted","sum","map","weight","tsplus_module_13","acc","d","NoSuchElementError","zipWith_","that"],"sourceRoot":"","sources":["../../../_src/control/Gen/api.ts"],"sourcesContent":[null]}

package/_cjs/control/Gen/constraints.cjs

@@ -0,0 +1,6 @@
+"use strict";
+
+Object.defineProperty(exports, "__esModule", {
+  value: true
+});
+//# sourceMappingURL=constraints.cjs.map

package/_cjs/control/Gen/constraints.cjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"constraints.cjs","mappings":"","names":[],"sourceRoot":"","sources":[],"sourcesContent":[]}

package/_cjs/control/Gen/definition.cjs

@@ -0,0 +1,20 @@
+"use strict";
+
+Object.defineProperty(exports, "__esModule", {
+  value: true
+});
+exports.Gen = void 0;
+
+/**
+ * @tsplus type fncts.test.Gen
+ * @tsplus companion fncts.test.GenOps
+ */
+class Gen {
+  constructor(sample) {
+    this.sample = sample;
+  }
+
+}
+
+exports.Gen = Gen;
+//# sourceMappingURL=definition.cjs.map

package/_cjs/control/Gen/definition.cjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"definition.cjs","mappings":";;;;;;;AAEA;;;;AAIM,MAAOA,GAAP,CAAU;EACdC,YAAqBC,MAArB,EAAkE;IAA7C;EAAiD;;AADxD","names":["Gen","constructor","sample"],"sourceRoot":"","sources":["../../../_src/control/Gen/definition.ts"],"sourcesContent":[null]}