@fncts/test 0.0.21 → 0.0.23

package/_cjs/control/Gen/api.cjs

@@ -3,158 +3,352 @@
 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.alphaNumericString = exports.alphaNumericChar = void 0;
+exports.alphaNumericStringWith = alphaNumericStringWith;
+exports.array = array;
+exports.char16 = exports.char = exports.bounded = exports.boolean = exports.bigInt = exports.base64StringWith = exports.base64String = exports.base64Char = exports.asciiStringWith = exports.asciiString = exports.asciiChar = exports.arrayWith = exports.arrayN = exports.arrayInt64 = void 0;
+exports.conc = conc;
+exports.double = exports.defer = exports.constant = exports.concWith = exports.concN = void 0;
+exports.doubleWith = doubleWith;
 exports.filter = exports.exponential = exports.empty = void 0;
 exports.filterNot = filterNot;
-exports.map = exports.int = exports.fromIOSample = exports.fromIO = exports.flatten = exports.flatMap = void 0;
+exports.flatten = exports.flatMap = void 0;
+exports.floatWith = floatWith;
+exports.fullUnicodeChar = exports.fromIOSample = exports.fromIO = void 0;
+exports.fullUnicodeString = fullUnicodeString;
+exports.hexChar = void 0;
+exports.hexString = hexString;
+exports.map = exports.intWith = exports.int = void 0;
 exports.mapIO = mapIO;
 exports.medium = medium;
 exports.memo = memo;
 exports.nat = nat;
-exports.oneOf = oneOf;
-exports.size = exports.reshrink = void 0;
+exports.oneOf = void 0;
+exports.partial = partial;
+exports.size = exports.reshrink = exports.printableChar = void 0;
 exports.sized = sized;
-exports.small = void 0;
+exports.string = exports.small = void 0;
+exports.string16 = string16;
+exports.stringN = void 0;
+exports.struct = struct;
 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"));
-
+exports.unicodeChar = exports.unfoldGenN = void 0;
+exports.unicodeString = unicodeString;
+exports.uniform = void 0;
+exports.uniqueArray = uniqueArray;
+exports.weighted = exports.unwrap = exports.uniqueConcN = exports.uniqueConc = void 0;
+exports.zip = zip;
+exports.zipWith = void 0;
+var tsplus_module_1 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/test/control/Sized/api"));
+var tsplus_module_2 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/test/control/Sample/api"));
+var tsplus_module_3 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/io/Random/api"));
+var tsplus_module_4 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/io/IO/api"));
+var tsplus_module_5 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/base/collection/immutable/Conc/definition"));
+var tsplus_module_6 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/base/data/Maybe/constructors"));
+var tsplus_module_7 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/io/Stream/api"));
+var tsplus_module_8 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/base/collection/immutable/Conc/api/empty"));
+var tsplus_module_9 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/base/collection/immutable/Conc/api"));
+var tsplus_module_10 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/base/collection/immutable/Conc/api/replicate"));
+var tsplus_module_11 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/base/data/Maybe/api"));
+var tsplus_module_12 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/base/data/Maybe/destructors"));
+var tsplus_module_13 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/base/collection/compat/Array/api"));
+var tsplus_module_14 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/base/collection/immutable/Conc/constructors"));
+var tsplus_module_15 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/base/data/Equatable/api"));
+var tsplus_module_16 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/base/data/Eq/definition"));
+var tsplus_module_17 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/base/data/number/instances"));
+var tsplus_module_18 = /*#__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.cjs");
-
 var _Sample = /*#__PURE__*/require("../Sample.cjs");
-
-var _definition = /*#__PURE__*/require("./definition.cjs");
-
+var _definition3 = /*#__PURE__*/require("./definition.cjs");
 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 arrayWith = arrayWith_1;
+exports.arrayWith = arrayWith;
+const arrayN = arrayN_1;
+exports.arrayN = arrayN;
+const arrayInt64 = arrayInt64_1;
+exports.arrayInt64 = arrayInt64;
+const asciiStringWith = asciiStringWith_1;
+exports.asciiStringWith = asciiStringWith;
+const base64StringWith = base64StringWith_1;
+exports.base64StringWith = base64StringWith;
+const bounded = bounded_1;
+exports.bounded = bounded;
+const char = char_1;
+exports.char = char;
+const concWith = concWith_1;
+exports.concWith = concWith;
+const concN = concN_1;
+exports.concN = concN;
 const constant = constant_1;
 exports.constant = constant;
-const flatMap = flatMap_1;
-exports.flatMap = flatMap;
+const defer = defer_1;
+exports.defer = defer;
 const filter = filter_1;
 exports.filter = filter;
+const flatMap = flatMap_1;
+exports.flatMap = flatMap;
 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 intWith = intWith_1;
+exports.intWith = intWith;
 const map = map_1;
 exports.map = map;
+const oneOf = oneOf_1;
+exports.oneOf = oneOf;
 const reshrink = reshrink_1;
 exports.reshrink = reshrink;
 const small = small_1;
 exports.small = small;
+const string = string_1;
+exports.string = string;
+const stringN = stringN_1;
+exports.stringN = stringN;
 const unfoldGenN = unfoldGenN_1;
 exports.unfoldGenN = unfoldGenN;
-
+const uniqueConc = uniqueConc_1;
+exports.uniqueConc = uniqueConc;
+const uniqueConcN = uniqueConcN_1;
+exports.uniqueConcN = uniqueConcN;
+const unwrap = unwrap_1;
+exports.unwrap = unwrap;
+const weighted = weighted_1;
+exports.weighted = weighted;
+const zipWith = zipWith_1;
+exports.zipWith = zipWith;
+const gapSize = 0xdfff + 1 - 0xd800;
 /**
- * @tsplus static fncts.test.GenOps anyBigInt
+ * @tsplus static fncts.test.GenOps size
  */
-const anyBigInt = /*#__PURE__*/fromIOSample_1( /*#__PURE__*/tsplus_module_3.map(tsplus_module_1.shrinkBigInt(BigInt(0)), fileName_1 + ":18:98")( /*#__PURE__*/tsplus_module_2.nextBigIntBetween( /*#__PURE__*/BigInt(-1) << /*#__PURE__*/BigInt(255), ( /*#__PURE__*/BigInt(1) << /*#__PURE__*/BigInt(255)) - /*#__PURE__*/BigInt(1), fileName_1 + ":18:27")));
+const size_1 = /*#__PURE__*/fromIO_1(tsplus_module_1.size);
+const size = size_1;
 /**
- * @tsplus static fncts.test.GenOps anyDouble
+ * @tsplus static fncts.test.GenOps uniform
  */
-
-exports.anyBigInt = anyBigInt;
-const anyDouble = /*#__PURE__*/fromIOSample_1( /*#__PURE__*/tsplus_module_3.map(tsplus_module_1.shrinkFractional(0), fileName_1 + ":26:84")(tsplus_module_2.nextDouble));
+exports.size = size;
+const uniform_1 = /*#__PURE__*/fromIOSample_1( /*#__PURE__*/tsplus_module_4.map(tsplus_module_2.shrinkFractional(0.0), fileName_1 + ":38:82")(tsplus_module_3.nextDouble));
+const uniform = uniform_1;
 /**
- * @tsplus static fncts.test.GenOps anyInt
+ * @tsplus static fncts.test.GenOps alphaNumericChar
  */
-
-exports.anyDouble = anyDouble;
-const anyInt = /*#__PURE__*/fromIOSample_1( /*#__PURE__*/tsplus_module_3.map(tsplus_module_1.shrinkIntegral(0), fileName_1 + ":31:78")(tsplus_module_2.nextInt));
+exports.uniform = uniform;
+const alphaNumericChar_1 = /*#__PURE__*/weighted_1([/*#__PURE__*/char_1({
+  min: 48,
+  max: 57
+}), 10], [/*#__PURE__*/char_1({
+  min: 65,
+  max: 90
+}), 26], [/*#__PURE__*/char_1({
+  min: 97,
+  max: 122
+}), 26]);
+const alphaNumericChar = alphaNumericChar_1;
+/**
+ * @tsplus static fncts.test.GenOps alphaNumericStringWith
+ */
+exports.alphaNumericChar = alphaNumericChar;
+function alphaNumericStringWith(constraints = {}) {
+  return string_1(constraints)(alphaNumericChar_1);
+}
+/**
+ * @tsplus static fncts.test.GenOps alphaNumericString
+ */
+const alphaNumericString = /*#__PURE__*/string_1()(alphaNumericChar_1);
+/**
+ * @tsplus getter fncts.test.Gen array
+ */
+exports.alphaNumericString = alphaNumericString;
+function array(self) {
+  return arrayWith_1()(self);
+}
+/**
+ * @tsplus pipeable fncts.test.Gen arrayWith
+ */
+function arrayWith_1(constraints = {}) {
+  return g => {
+    const minLength = constraints.minLength || 0;
+    return constraints.maxLength ? flatMap_1(n => arrayN_1(n)(g))(intWith_1({
+      min: minLength,
+      max: constraints.maxLength
+    })) : small_1(n => arrayN_1(n)(g), minLength);
+  };
+}
+/**
+ * @tsplus pipeable fncts.test.Gen arrayN
+ */
+function arrayN_1(n) {
+  return self => {
+    return map_1(conc => tsplus_module_5.toArray(conc))(concN_1(n)(self));
+  };
+}
+/**
+ * @tsplus static fncts.test.GenOps arrayInt64
+ */
+function arrayInt64_1(min, max) {
+  return new _definition3.Gen(tsplus_module_7.map(uncheckedValue => {
+    if (uncheckedValue.data.length === 1) {
+      uncheckedValue.data.unshift(0);
+    }
+    return tsplus_module_6.just(tsplus_module_2.shrinkArrayInt64(min)(uncheckedValue));
+  }, fileName_1 + ":96:11")(tsplus_module_7.flatMap(({
+    min,
+    max
+  }) => tsplus_module_7.repeatIO(tsplus_module_3.nextArrayIntBetween(min, max, fileName_1 + ":95:76"), fileName_1 + ":95:49"), fileName_1 + ":95:15")(tsplus_module_7.fromIO((0, _math.computeArrayInt64GenerateRange)(min, max, undefined, undefined), fileName_1 + ":94:18"))));
+}
+/**
+ * @tsplus static fncts.test.GenOps asciiChar
+ */
+const asciiChar_1 = /*#__PURE__*/_char(0x00, 0x7f, indexToPrintableIndex);
+const asciiChar = asciiChar_1;
+/**
+ * @tsplus static fncts.test.GenOps asciiStringWith
+ */
+exports.asciiChar = asciiChar;
+function asciiStringWith_1(constraints) {
+  return string_1(constraints)(asciiChar_1);
+}
+/**
+ * @tsplus static fncts.test.GenOps asciiString
+ */
+const asciiString = /*#__PURE__*/asciiStringWith_1();
+/**
+ * @tsplus static fncts.test.GenOps base64Char
+ */
+exports.asciiString = asciiString;
+const base64Char_1 = /*#__PURE__*/_char(0, 63, base64ToCharCode);
+const base64Char = base64Char_1;
+/**
+ * @tsplus static fncts.test.GenOps base64String
+ */
+exports.base64Char = base64Char;
+const base64String = /*#__PURE__*/base64StringWith_1();
+/**
+ * @tsplus static fncts.test.GenOps base64StringWith
+ */
+exports.base64String = base64String;
+function base64StringWith_1(constraints = {}) {
+  return string_1(constraints)(base64Char_1);
+}
+/**
+ * @tsplus static fncts.test.GenOps bigInt
+ */
+const bigInt = /*#__PURE__*/fromIOSample_1( /*#__PURE__*/tsplus_module_4.map(tsplus_module_2.shrinkBigInt(BigInt(0)), fileName_1 + ":143:98")( /*#__PURE__*/tsplus_module_3.nextBigIntBetween( /*#__PURE__*/BigInt(-1) << /*#__PURE__*/BigInt(255), ( /*#__PURE__*/BigInt(1) << /*#__PURE__*/BigInt(255)) - /*#__PURE__*/BigInt(1), fileName_1 + ":143:27")));
+/**
+ * @tsplus static fncts.test.GenOps boolean
+ */
+exports.bigInt = bigInt;
+const boolean = /*#__PURE__*/defer_1(() => oneOf_1(constant_1(true), constant_1(false)));
 /**
  * @tsplus static fncts.test.GenOps bounded
  */
-
-exports.anyInt = anyInt;
-
-function bounded(min, max, f) {
-  return flatMap_1(f)(int_1({
+exports.boolean = boolean;
+function bounded_1(min, max, f) {
+  return flatMap_1(f)(intWith_1({
     min,
     max
   }));
 }
 /**
- * @tsplus static fncts.test.GenOps constant
+ * @tsplus static fncts.test.GenOps char
  */
-
-
-function constant_1(a) {
-  return new _definition.Gen(tsplus_module_5.succeedNow(tsplus_module_4.just(tsplus_module_1.noShrink(a)), fileName_1 + ":44:35"));
+function char_1(constraints) {
+  return _char(constraints.min, constraints.max, _function.identity);
 }
 /**
- * @tsplus pipeable fncts.test.Gen flatMap
+ * @tsplus static fncts.test.GenOps char16
  */
-
-
-function flatMap_1(f) {
-  return ma => {
-    return new _definition.Gen(tsplus_module_1.flatMapStream(ma.sample, sample => {
-      const values = f(sample.value).sample;
-      const shrinks = flatMap_1(a => f(a))(new _definition.Gen(sample.shrink)).sample;
-      return tsplus_module_5.map(maybeSample => tsplus_module_6.map(sample => tsplus_module_1.flatMap(b => new _Sample.Sample(b, shrinks))(sample))(maybeSample), fileName_1 + ":56:26")(values);
-    }));
+const char16_1 = /*#__PURE__*/_char(0x0000, 0xffff, indexToPrintableIndex);
+const char16 = char16_1;
+/**
+ * @tsplus pipeable fncts.test.Gen conc
+ */
+exports.char16 = char16;
+function concWith_1(constraints = {}) {
+  return self => {
+    const minLength = constraints.minLength ?? 0;
+    return constraints.maxLength ? flatMap_1(n => concN_1(n)(self))(intWith_1({
+      min: minLength,
+      max: constraints.maxLength
+    })) : small_1(n => concN_1(n)(self), minLength);
+  };
+}
+/**
+ * @tsplus getter fncts.test.Gen conc
+ */
+function conc(self) {
+  return concWith_1()(self);
+}
+/**
+ * @tsplus pipeable fncts.test.Gen concN
+ */
+function concN_1(n) {
+  return g => {
+    return tsplus_module_9.foldLeft(constant_1(tsplus_module_8.empty()), (gen, a) => zipWith_1(a, (as, a) => tsplus_module_9.append(a)(as))(gen))(tsplus_module_10.replicate(n, g));
   };
 }
+/**
+ * @tsplus static fncts.test.GenOps constant
+ */
+function constant_1(a) {
+  return new _definition3.Gen(tsplus_module_7.succeedNow(tsplus_module_6.just(tsplus_module_2.noShrink(a)), fileName_1 + ":206:35"));
+}
 /**
  * @tsplus static fncts.test.GenOps defer
  */
-
-
-function defer(gen) {
-  return flatten_1(fromIO_1(tsplus_module_3.succeed(gen, fileName_1 + ":66:31")));
+function defer_1(gen) {
+  return flatten_1(fromIO_1(tsplus_module_4.succeed(gen, fileName_1 + ":213:31")));
+}
+/**
+ * @tsplus static fncts.test.GenOps double
+ */
+const double = /*#__PURE__*/fromIOSample_1( /*#__PURE__*/tsplus_module_4.map(tsplus_module_2.shrinkFractional(0), fileName_1 + ":219:81")(tsplus_module_3.nextDouble));
+/**
+ * @tsplus static fncts.test.GenOps doubleWith
+ */
+exports.double = double;
+function doubleWith(constraints = {}) {
+  const {
+    noDefaultInfinity = false,
+    noNaN = false,
+    min = noDefaultInfinity ? -Number.MAX_VALUE : Number.NEGATIVE_INFINITY,
+    max = noDefaultInfinity ? Number.MAX_VALUE : Number.POSITIVE_INFINITY
+  } = constraints;
+  return unwrap_1(tsplus_module_4.gen(function* (_) {
+    const minIndex = yield* _((0, _math.safeDoubleToIndex)(min, "min"), fileName_1 + ":233:32");
+    const maxIndex = yield* _((0, _math.safeDoubleToIndex)(max, "max"), fileName_1 + ":234:32");
+    if ((0, _math.isStrictlySmaller64)(maxIndex, minIndex)) {
+      return yield* _(tsplus_module_4.haltNow(new _exceptions.IllegalArgumentError("min must be less than or equal to max", "Gen.double"), fileName_1 + ":236:35"), fileName_1 + ":236:24");
+    }
+    if (noNaN) {
+      return map_1(_math.indexToDouble)(arrayInt64_1(minIndex, maxIndex));
+    }
+    const positiveMaxIdx = (0, _math.isStrictlyPositive64)(maxIndex);
+    const minIndexWithNaN = positiveMaxIdx ? minIndex : (0, _math.substract64)(minIndex, _math.Unit64);
+    const maxIndexWithNaN = positiveMaxIdx ? (0, _math.add64)(maxIndex, _math.Unit64) : maxIndex;
+    return map_1(index => {
+      if ((0, _math.isStrictlySmaller64)(maxIndex, index) || (0, _math.isStrictlySmaller64)(index, minIndex)) return Number.NaN;else return (0, _math.indexToDouble)(index);
+    })(arrayInt64_1(minIndexWithNaN, maxIndexWithNaN));
+  }, fileName_1 + ":232:11"));
 }
 /**
  * @tsplus static fncts.test.GenOps empty
  */
-
-
-const empty_1 = /*#__PURE__*/new _definition.Gen(tsplus_module_5.empty);
+const empty_1 = /*#__PURE__*/new _definition3.Gen(tsplus_module_7.empty);
 const empty = empty_1;
+/**
+ * @tsplus static fncts.test.GenOps exponential
+ */
 exports.empty = empty;
-
+const exponential_1 = /*#__PURE__*/map_1(n => -Math.log(1 - n))(uniform_1);
+const exponential = exponential_1;
+exports.exponential = exponential;
 function filter_1(p) {
   return fa => {
     return flatMap_1(a => p(a) ? constant_1(a) : empty_1)(fa);
@@ -163,125 +357,160 @@ function filter_1(p) {
 /**
  * @tsplus pipeable fncts.test.Gen filterNot
  */
-
-
 function filterNot(p) {
   return fa => {
     return filter_1(a => !p(a))(fa);
   };
 }
+/**
+ * @tsplus pipeable fncts.test.Gen flatMap
+ */
+function flatMap_1(f) {
+  return ma => {
+    return new _definition3.Gen(tsplus_module_2.flatMapStream(ma.sample, sample => {
+      const values = f(sample.value).sample;
+      const shrinks = flatMap_1(a => f(a))(new _definition3.Gen(sample.shrink)).sample;
+      return tsplus_module_7.map(maybeSample => tsplus_module_11.map(sample => tsplus_module_2.flatMap(b => new _Sample.Sample(b, shrinks))(sample))(maybeSample), fileName_1 + ":291:26")(values);
+    }));
+  };
+}
 /**
  * @tsplus getter fncts.test.Gen flatten
  */
-
-
 function flatten_1(mma) {
   return flatMap_1(_function.identity)(mma);
 }
 /**
  * @tsplus static fncts.test.GenOps fromIO
  */
-
-
 function fromIO_1(effect) {
-  return fromIOSample_1(tsplus_module_3.map(tsplus_module_1.noShrink, fileName_1 + ":105:37")(effect));
+  return fromIOSample_1(tsplus_module_4.map(tsplus_module_2.noShrink, fileName_1 + ":308:37")(effect));
 }
 /**
  * @tsplus static fncts.test.GenOps fromIOSample
  */
-
-
 function fromIOSample_1(effect) {
-  return new _definition.Gen(tsplus_module_5.fromIO(tsplus_module_3.map(tsplus_module_4.just, fileName_1 + ":112:42")(effect), fileName_1 + ":112:31"));
+  return new _definition3.Gen(tsplus_module_7.fromIO(tsplus_module_4.map(tsplus_module_6.just, fileName_1 + ":315:42")(effect), fileName_1 + ":315:31"));
+}
+/**
+ * @tsplus static fncts.test.GenOps floatWith
+ */
+function floatWith(constraints = {}) {
+  const {
+    noDefaultInfinity = false,
+    min = noDefaultInfinity ? -_math.MAX_VALUE_32 : Number.NEGATIVE_INFINITY,
+    max = noDefaultInfinity ? _math.MAX_VALUE_32 : Number.POSITIVE_INFINITY,
+    noNaN = false
+  } = constraints;
+  return unwrap_1(tsplus_module_4.gen(function* (_) {
+    const minIndex = yield* _((0, _math.safeFloatToIndex)(min, "min"), fileName_1 + ":330:32");
+    const maxIndex = yield* _((0, _math.safeFloatToIndex)(max, "max"), fileName_1 + ":331:32");
+    if (minIndex > maxIndex) {
+      return yield* _(tsplus_module_4.haltNow(new Error("Gen.float constraints.min must be less than or equal to constraints.max"), fileName_1 + ":334:21"), fileName_1 + ":333:24");
+    }
+    if (noNaN) {
+      return map_1(_math.indexToFloat)(intWith_1({
+        min: minIndex,
+        max: maxIndex
+      }));
+    }
+    const minIndexWithNaN = maxIndex > 0 ? minIndex : minIndex - 1;
+    const maxIndexWithNaN = maxIndex > 0 ? maxIndex + 1 : maxIndex;
+    return map_1(index => {
+      if (index > maxIndex || index < minIndex) return Number.NaN;else return (0, _math.indexToFloat)(index);
+    })(intWith_1({
+      min: minIndexWithNaN,
+      max: maxIndexWithNaN
+    }));
+  }, fileName_1 + ":329:11"));
+}
+/**
+ * @tsplus static fncts.test.GenOps fullUnicodeChar
+ */
+const fullUnicodeChar_1 = /*#__PURE__*/_char(0x0000, 0x10ffff - gapSize, unicodeToCharCode);
+const fullUnicodeChar = fullUnicodeChar_1;
+/**
+ * @tsplus static fncts.test.GenOps fullUnicodeString
+ */
+exports.fullUnicodeChar = fullUnicodeChar;
+function fullUnicodeString(constraints = {}) {
+  return string_1(constraints)(fullUnicodeChar_1);
+}
+/**
+ * @tsplus static fncts.test.GenOps hexChar
+ */
+const hexChar_1 = /*#__PURE__*/_char(0, 15, hexToCharCode);
+const hexChar = hexChar_1;
+/**
+ * @tsplus static fncts.test.GenOps hexString
+ */
+exports.hexChar = hexChar;
+function hexString(constraints = {}) {
+  return string_1(constraints)(hexChar_1);
 }
 /**
  * @tsplus static fncts.test.GenOps int
  */
-
-
-function int_1(constraints = {}) {
-  return fromIOSample_1(tsplus_module_3.defer(() => {
+const int = /*#__PURE__*/fromIOSample_1( /*#__PURE__*/tsplus_module_4.map(tsplus_module_2.shrinkIntegral(0), fileName_1 + ":377:75")(tsplus_module_3.nextInt));
+/**
+ * @tsplus static fncts.test.GenOps intWith
+ */
+exports.int = int;
+function intWith_1(constraints = {}) {
+  return fromIOSample_1(tsplus_module_4.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 + ":124:26");
+      return tsplus_module_4.haltNow(new _exceptions.IllegalArgumentError("invalid bounds", "Gen.intWith"), fileName_1 + ":388:26");
     } else {
-      return tsplus_module_3.map(tsplus_module_1.shrinkIntegral(min), fileName_1 + ":126:51")(tsplus_module_2.nextIntBetween(min, max, fileName_1 + ":126:37"));
+      return tsplus_module_4.map(tsplus_module_2.shrinkIntegral(min), fileName_1 + ":390:51")(tsplus_module_3.nextIntBetween(min, max, fileName_1 + ":390:37"));
     }
-  }, fileName_1 + ":120:13"));
+  }, fileName_1 + ":384:13"));
 }
 /**
  * @tsplus pipeable fncts.test.Gen map
  */
-
-
 function map_1(f) {
   return self => {
-    return new _definition.Gen(tsplus_module_5.map(maybeSample => tsplus_module_6.map(sample => tsplus_module_1.map(f)(sample))(maybeSample), fileName_1 + ":137:35")(self.sample));
+    return new _definition3.Gen(tsplus_module_7.map(maybeSample => tsplus_module_11.map(sample => tsplus_module_2.map(f)(sample))(maybeSample), fileName_1 + ":401:35")(self.sample));
   };
 }
 /**
  * @tsplus pipeable fncts.test.Gen mapIO
  */
-
-
 function mapIO(f) {
   return self => {
-    return new _definition.Gen(tsplus_module_5.mapIO(maybeSample => tsplus_module_7.match(() => tsplus_module_3.succeedNow(tsplus_module_4.nothing(), fileName_1 + ":149:30"), sample => tsplus_module_3.map(tsplus_module_4.just, fileName_1 + ":150:44")(tsplus_module_1.foreach(f)(sample)))(maybeSample), fileName_1 + ":147:24")(self.sample));
+    return new _definition3.Gen(tsplus_module_7.mapIO(maybeSample => tsplus_module_12.match(() => tsplus_module_4.succeedNow(tsplus_module_6.nothing(), fileName_1 + ":413:30"), sample => tsplus_module_4.map(tsplus_module_6.just, fileName_1 + ":414:44")(tsplus_module_2.foreach(f)(sample)))(maybeSample), fileName_1 + ":411:24")(self.sample));
   };
 }
-/**
- * @tsplus static fncts.test.GenOps exponential
- */
-
-
-const exponential_1 = /*#__PURE__*/map_1(n => -Math.log(1 - n))(uniform_1);
-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(f)(reshrink_1(tsplus_module_1.shrinkIntegral(min))(flatMap_1(max => map_1(n => (0, _math.clamp)(Math.round(n * max / 10.0), min, max))(exponential_1))(size_1)));
+  return flatMap_1(f)(reshrink_1(tsplus_module_2.shrinkIntegral(min))(flatMap_1(max => map_1(n => (0, _math.clamp)(Math.round(n * max / 10.0), min, max))(exponential_1))(size_1)));
 }
 /**
  * @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({
+  return intWith_1({
     min: 0,
     max: (0, _math.clamp)(max, 0, max)
   });
@@ -289,94 +518,185 @@ function nat(max = 0x7fffffff) {
 /**
  * @tsplus static fncts.test.GenOps oneOf
  */
-
-
-function oneOf(...gens) {
-  if (tsplus_module_9.isEmpty(gens)) return empty_1;else return flatMap_1(i => gens[i])(int_1({
+function oneOf_1(...gens) {
+  if (tsplus_module_13.isEmpty(gens)) return empty_1;else return flatMap_1(i => gens[i])(intWith_1({
     min: 0,
     max: gens.length - 1
   }));
 }
+function partial(properties) {
+  const entries = Object.entries(properties);
+  return tsplus_module_13.foldLeft(constant_1({}), (b, [k, gen]) => unwrap_1(tsplus_module_4.ifIO(() => tsplus_module_4.succeed(() => zipWith_1(gen, (r, a) => ({
+    ...r,
+    [k]: a
+  }))(b), fileName_1 + ":476:50"), () => tsplus_module_4.succeed(() => b, fileName_1 + ":476:108"), fileName_1 + ":476:39")(tsplus_module_3.nextBoolean)))(entries);
+}
+/**
+ * @tsplus static fncts.test.GenOps printableChar
+ */
+const printableChar = /*#__PURE__*/char_1({
+  min: 0x20,
+  max: 0x7e
+});
 /**
  * @tsplus pipeable fncts.test.Gen reshrink
  */
-
-
+exports.printableChar = printableChar;
 function reshrink_1(f) {
   return gen => {
-    return new _definition.Gen(tsplus_module_5.map(maybeSample => tsplus_module_6.map(sample => f(sample.value))(maybeSample), fileName_1 + ":218:69")(gen.sample));
+    return new _definition3.Gen(tsplus_module_7.map(maybeSample => tsplus_module_11.map(sample => f(sample.value))(maybeSample), fileName_1 + ":491:69")(gen.sample));
   };
 }
 /**
  * @tsplus static fncts.test.GenOps sized
  */
-
-
 function sized(f) {
   return flatMap_1(f)(size_1);
 }
 /**
  * @tsplus static fncts.test.GenOps small
  */
-
-
 function small_1(f, min = 0) {
-  return flatMap_1(f)(reshrink_1(tsplus_module_1.shrinkIntegral(min))(flatMap_1(max => map_1(n => (0, _math.clamp)(Math.round(n * max / 25), min, max))(exponential_1))(size_1)));
+  return flatMap_1(f)(reshrink_1(tsplus_module_2.shrinkIntegral(min))(flatMap_1(max => map_1(n => (0, _math.clamp)(Math.round(n * max / 25), min, max))(exponential_1))(size_1)));
+}
+/**
+ * @tsplus static fncts.test.GenOps string16
+ */
+function string16(constraints = {}) {
+  return string_1(constraints)(char16_1);
+}
+/**
+ * @tsplus pipeable fncts.test.Gen string
+ */
+function string_1(constraints = {}) {
+  return char => {
+    const min = constraints.minLength || 0;
+    return constraints.maxLength ? bounded_1(min, constraints.maxLength, n => stringN_1(n)(char)) : small_1(n => stringN_1(n)(char), min);
+  };
+}
+/**
+ * @tsplus pipeable fncts.test.Gen stringN
+ */
+function stringN_1(n) {
+  return char => {
+    return map_1(arr => arr.join(""))(arrayN_1(n)(char));
+  };
+}
+function struct(properties) {
+  const entries = Object.entries(properties);
+  return tsplus_module_13.foldLeft(constant_1({}), (b, [k, gen]) => zipWith_1(gen, (out, a) => ({
+    ...out,
+    [k]: a
+  }))(b))(entries);
 }
 /**
  * @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(([s, a]) => map_1(as => tsplus_module_11.append(a)(as))(unfoldGenN_1(n - 1, s, f)))(f(s));
+  if (n <= 0) return constant_1(tsplus_module_14.make());else return flatMap_1(([s, a]) => map_1(as => tsplus_module_9.append(a)(as))(unfoldGenN_1(n - 1, s, f)))(f(s));
 }
 /**
- * @tsplus static fncts.test.GenOps uniform
+ * @tsplus static fncts.test.GenOps unicodeChar
  */
-
-
-const uniform_1 = /*#__PURE__*/fromIOSample_1( /*#__PURE__*/tsplus_module_3.map(tsplus_module_1.shrinkFractional(0.0), fileName_1 + ":260:82")(tsplus_module_2.nextDouble));
-const uniform = uniform_1;
+const unicodeChar_1 = /*#__PURE__*/_char(0x0000, 0xffff - gapSize, unicodeToCharCode);
+const unicodeChar = unicodeChar_1;
+/**
+ * @tsplus static fncts.test.GenOps unicodeString
+ */
+exports.unicodeChar = unicodeChar;
+function unicodeString(constraints = {}) {
+  return string_1(constraints)(unicodeChar_1);
+}
+/**
+ * @tsplus pipeable fncts.test.Gen uniqueArray
+ */
+function uniqueArray(constraints = {}) {
+  return gen => {
+    return map_1(conc => tsplus_module_5.toArray(conc))(uniqueConc_1(constraints)(gen));
+  };
+}
+/**
+ * @tsplus pipeable fncts.test.Gen uniqueConc
+ */
+function uniqueConc_1(constraints = {}) {
+  return self => {
+    const minLength = constraints.minLength ?? 0;
+    const eq = constraints.eq ?? tsplus_module_16.makeEq({
+      equals: y => x => tsplus_module_15.strictEquals(x, y)
+    });
+    return constraints.maxLength ? bounded_1(minLength, constraints.maxLength, n => uniqueConcN_1(n, eq)(self)) : small_1(n => uniqueConcN_1(n, eq)(self), minLength);
+  };
+}
+/**
+ * @tsplus pipeable fncts.test.Gen uniqueConcN
+ */
+function uniqueConcN_1(n, /** @tsplus auto */E) {
+  return self => {
+    return tsplus_module_9.foldLeft(constant_1(tsplus_module_8.empty()), (gen, a) => zipWith_1(a, (as, a) => tsplus_module_9.elem(a, E)(as) ? as : tsplus_module_9.append(a)(as))(gen))(tsplus_module_10.replicate(n, self));
+  };
+}
 /**
  * @tsplus static fncts.test.GenOps unwrap
  */
-
-exports.uniform = uniform;
-
-function unwrap(effect) {
+function unwrap_1(effect) {
   return flatten_1(fromIO_1(effect));
 }
 /**
  * @tsplus static fncts.test.GenOps weighted
  */
-
-
-function weighted(...gens) {
-  const sum = tsplus_module_9.foldLeft(0, (b, a) => b + a)(gens.map(([, weight]) => weight));
-  const [map] = tsplus_module_9.foldLeft((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((acc + d) / sum, gen)(map), acc + d);else return (0, _function.tuple)(map, acc);
+function weighted_1(...gens) {
+  const sum = tsplus_module_13.foldLeft(0, (b, a) => b + a)(gens.map(([, weight]) => weight));
+  const [map] = tsplus_module_13.foldLeft((0, _function.tuple)(tsplus_module_18.make(tsplus_module_17.Ord), 0), ([map, acc], [gen, d]) => {
+    if ((acc + d) / sum > acc / sum) return (0, _function.tuple)(tsplus_module_18.set((acc + d) / sum, gen)(map), acc + d);else return (0, _function.tuple)(map, acc);
   })(gens);
-  return flatMap_1(n => tsplus_module_6.getOrElse(() => {
+  return flatMap_1(n => tsplus_module_11.getOrElse(() => {
     throw new _exceptions.NoSuchElementError("Gen.weighted");
-  })(tsplus_module_13.getGte(n)(map)))(uniform_1);
+  })(tsplus_module_18.getGte(n)(map)))(uniform_1);
 }
 /**
  * @tsplus pipeable fncts.test.Gen zipWith
  */
-
-
-function zipWith(that, f) {
+function zipWith_1(that, f) {
   return self => {
     return flatMap_1(a => map_1(b => f(a, b))(that))(self);
   };
 }
+/**
+ * @tsplus pipeable fncts.test.Gen zip
+ */
+function zip(that) {
+  return self => {
+    return zipWith_1(that, _function.tuple)(self);
+  };
+}
+function _char(min, max, mapToCode) {
+  return map_1(n => String.fromCharCode(mapToCode(n)))(intWith_1({
+    min,
+    max
+  }));
+}
+function indexToPrintableIndex(v) {
+  return v < 95 ? v + 0x20 : v <= 0x7e ? v - 95 : v;
+}
+function base64ToCharCode(v) {
+  if (v < 26) return v + 65; // A-Z
+  if (v < 52) return v + 97 - 26; // a-z
+  if (v < 62) return v + 48 - 52; // 0-9
+  return v === 62 ? 43 : 47; // +/
+}
+
+function hexToCharCode(v) {
+  return v < 10 ? v + 48 // 0-9
+  : v + 97 - 10; // a-f
+}
+
+function unicodeToCharCode(v) {
+  return v < 0xd800 ? indexToPrintableIndex(v) : v + gapSize;
+}
 //# sourceMappingURL=api.cjs.map