@fncts/test 0.0.21 → 0.0.23

package/_mjs/control/Gen/api.mjs

@@ -1,95 +1,269 @@
 const fileName_1 = "(@fncts/test) src/control/Gen/api.ts";
-import * as tsplus_module_1 from "@fncts/test/control/Sample/api";
-import * as tsplus_module_2 from "@fncts/io/Random/api";
-import * as tsplus_module_3 from "@fncts/io/IO/api";
-import * as tsplus_module_4 from "@fncts/base/data/Maybe/constructors";
-import * as tsplus_module_5 from "@fncts/io/Stream/api";
-import * as tsplus_module_6 from "@fncts/base/data/Maybe/api";
-import * as tsplus_module_7 from "@fncts/base/data/Maybe/destructors";
-import * as tsplus_module_8 from "@fncts/test/control/Sized/api";
-import * as tsplus_module_9 from "@fncts/base/collection/compat/Array/api";
-import * as tsplus_module_10 from "@fncts/base/collection/immutable/Conc/constructors";
-import * as tsplus_module_11 from "@fncts/base/collection/immutable/Conc/api";
-import * as tsplus_module_12 from "@fncts/base/data/number/instances";
-import * as tsplus_module_13 from "@fncts/base/collection/immutable/SortedMap/api";
+import * as tsplus_module_1 from "@fncts/test/control/Sized/api";
+import * as tsplus_module_2 from "@fncts/test/control/Sample/api";
+import * as tsplus_module_3 from "@fncts/io/Random/api";
+import * as tsplus_module_4 from "@fncts/io/IO/api";
+import * as tsplus_module_5 from "@fncts/base/collection/immutable/Conc/definition";
+import * as tsplus_module_6 from "@fncts/base/data/Maybe/constructors";
+import * as tsplus_module_7 from "@fncts/io/Stream/api";
+import * as tsplus_module_8 from "@fncts/base/collection/immutable/Conc/api/empty";
+import * as tsplus_module_9 from "@fncts/base/collection/immutable/Conc/api";
+import * as tsplus_module_10 from "@fncts/base/collection/immutable/Conc/api/replicate";
+import * as tsplus_module_11 from "@fncts/base/data/Maybe/api";
+import * as tsplus_module_12 from "@fncts/base/data/Maybe/destructors";
+import * as tsplus_module_13 from "@fncts/base/collection/compat/Array/api";
+import * as tsplus_module_14 from "@fncts/base/collection/immutable/Conc/constructors";
+import * as tsplus_module_15 from "@fncts/base/data/Equatable/api";
+import * as tsplus_module_16 from "@fncts/base/data/Eq/definition";
+import * as tsplus_module_17 from "@fncts/base/data/number/instances";
+import * as tsplus_module_18 from "@fncts/base/collection/immutable/SortedMap/api";
+export const arrayWith = arrayWith_1;
+export const arrayN = arrayN_1;
+export const arrayInt64 = arrayInt64_1;
+export const asciiStringWith = asciiStringWith_1;
+export const base64StringWith = base64StringWith_1;
+export const bounded = bounded_1;
+export const char = char_1;
+export const concWith = concWith_1;
+export const concN = concN_1;
 export const constant = constant_1;
-export const flatMap = flatMap_1;
+export const defer = defer_1;
 export const filter = filter_1;
+export const flatMap = flatMap_1;
 export const flatten = flatten_1;
 export const fromIO = fromIO_1;
 export const fromIOSample = fromIOSample_1;
-export const int = int_1;
+export const intWith = intWith_1;
 export const map = map_1;
+export const oneOf = oneOf_1;
 export const reshrink = reshrink_1;
 export const small = small_1;
+export const string = string_1;
+export const stringN = stringN_1;
 export const unfoldGenN = unfoldGenN_1;
+export const uniqueConc = uniqueConc_1;
+export const uniqueConcN = uniqueConcN_1;
+export const unwrap = unwrap_1;
+export const weighted = weighted_1;
+export const zipWith = zipWith_1;
 import { IllegalArgumentError, NoSuchElementError } from "@fncts/base/data/exceptions";
 import { tuple } from "@fncts/base/data/function";
 import { identity } from "@fncts/base/data/function";
-import { clamp } from "../../util/math.mjs";
+import { add64, clamp, computeArrayInt64GenerateRange, indexToDouble, indexToFloat, isStrictlyPositive64, isStrictlySmaller64, MAX_VALUE_32, safeDoubleToIndex, safeFloatToIndex, substract64, Unit64 } from "../../util/math.mjs";
 import { Sample } from "../Sample.mjs";
 import { Gen } from "./definition.mjs";
+const gapSize = 0xdfff + 1 - 0xd800;
 /**
- * @tsplus static fncts.test.GenOps anyBigInt
+ * @tsplus static fncts.test.GenOps size
  */
-
-export 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);
+export const size = size_1;
 /**
- * @tsplus static fncts.test.GenOps anyDouble
+ * @tsplus static fncts.test.GenOps uniform
  */
-
-export const anyDouble = /*#__PURE__*/fromIOSample_1( /*#__PURE__*/tsplus_module_3.map(tsplus_module_1.shrinkFractional(0), fileName_1 + ":26:84")(tsplus_module_2.nextDouble));
+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));
+export const uniform = uniform_1;
 /**
- * @tsplus static fncts.test.GenOps anyInt
+ * @tsplus static fncts.test.GenOps alphaNumericChar
  */
-
-export const anyInt = /*#__PURE__*/fromIOSample_1( /*#__PURE__*/tsplus_module_3.map(tsplus_module_1.shrinkIntegral(0), fileName_1 + ":31:78")(tsplus_module_2.nextInt));
+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]);
+export const alphaNumericChar = alphaNumericChar_1;
+/**
+ * @tsplus static fncts.test.GenOps alphaNumericStringWith
+ */
+export function alphaNumericStringWith(constraints = {}) {
+  return string_1(constraints)(alphaNumericChar_1);
+}
+/**
+ * @tsplus static fncts.test.GenOps alphaNumericString
+ */
+export const alphaNumericString = /*#__PURE__*/string_1()(alphaNumericChar_1);
+/**
+ * @tsplus getter fncts.test.Gen array
+ */
+export 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 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(computeArrayInt64GenerateRange(min, max, undefined, undefined), fileName_1 + ":94:18"))));
+}
+/**
+ * @tsplus static fncts.test.GenOps asciiChar
+ */
+const asciiChar_1 = /*#__PURE__*/_char(0x00, 0x7f, indexToPrintableIndex);
+export const asciiChar = asciiChar_1;
+/**
+ * @tsplus static fncts.test.GenOps asciiStringWith
+ */
+function asciiStringWith_1(constraints) {
+  return string_1(constraints)(asciiChar_1);
+}
+/**
+ * @tsplus static fncts.test.GenOps asciiString
+ */
+export const asciiString = /*#__PURE__*/asciiStringWith_1();
+/**
+ * @tsplus static fncts.test.GenOps base64Char
+ */
+const base64Char_1 = /*#__PURE__*/_char(0, 63, base64ToCharCode);
+export const base64Char = base64Char_1;
+/**
+ * @tsplus static fncts.test.GenOps base64String
+ */
+export const base64String = /*#__PURE__*/base64StringWith_1();
+/**
+ * @tsplus static fncts.test.GenOps base64StringWith
+ */
+function base64StringWith_1(constraints = {}) {
+  return string_1(constraints)(base64Char_1);
+}
+/**
+ * @tsplus static fncts.test.GenOps bigInt
+ */
+export 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
+ */
+export const boolean = /*#__PURE__*/defer_1(() => oneOf_1(constant_1(true), constant_1(false)));
 /**
  * @tsplus static fncts.test.GenOps bounded
  */
-
-export function bounded(min, max, f) {
-  return flatMap_1(f)(int_1({
+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 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, identity);
 }
 /**
- * @tsplus pipeable fncts.test.Gen flatMap
+ * @tsplus static fncts.test.GenOps char16
  */
-
-
-function flatMap_1(f) {
-  return ma => {
-    return new Gen(tsplus_module_1.flatMapStream(ma.sample, sample => {
-      const values = f(sample.value).sample;
-      const shrinks = flatMap_1(a => f(a))(new Gen(sample.shrink)).sample;
-      return tsplus_module_5.map(maybeSample => tsplus_module_6.map(sample => tsplus_module_1.flatMap(b => new Sample(b, shrinks))(sample))(maybeSample), fileName_1 + ":56:26")(values);
-    }));
+const char16_1 = /*#__PURE__*/_char(0x0000, 0xffff, indexToPrintableIndex);
+export const char16 = char16_1;
+/**
+ * @tsplus pipeable fncts.test.Gen conc
+ */
+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
+ */
+export 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 Gen(tsplus_module_7.succeedNow(tsplus_module_6.just(tsplus_module_2.noShrink(a)), fileName_1 + ":206:35"));
+}
 /**
  * @tsplus static fncts.test.GenOps defer
  */
-
-
-export 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
+ */
+export 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
+ */
+export 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* _(safeDoubleToIndex(min, "min"), fileName_1 + ":233:32");
+    const maxIndex = yield* _(safeDoubleToIndex(max, "max"), fileName_1 + ":234:32");
+    if (isStrictlySmaller64(maxIndex, minIndex)) {
+      return yield* _(tsplus_module_4.haltNow(new 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(indexToDouble)(arrayInt64_1(minIndex, maxIndex));
+    }
+    const positiveMaxIdx = isStrictlyPositive64(maxIndex);
+    const minIndexWithNaN = positiveMaxIdx ? minIndex : substract64(minIndex, Unit64);
+    const maxIndexWithNaN = positiveMaxIdx ? add64(maxIndex, Unit64) : maxIndex;
+    return map_1(index => {
+      if (isStrictlySmaller64(maxIndex, index) || isStrictlySmaller64(index, minIndex)) return Number.NaN;else return indexToDouble(index);
+    })(arrayInt64_1(minIndexWithNaN, maxIndexWithNaN));
+  }, fileName_1 + ":232:11"));
 }
 /**
  * @tsplus static fncts.test.GenOps empty
  */
-
-const empty_1 = /*#__PURE__*/new Gen(tsplus_module_5.empty);
+const empty_1 = /*#__PURE__*/new Gen(tsplus_module_7.empty);
 export const empty = empty_1;
-
+/**
+ * @tsplus static fncts.test.GenOps exponential
+ */
+const exponential_1 = /*#__PURE__*/map_1(n => -Math.log(1 - n))(uniform_1);
+export const exponential = exponential_1;
 function filter_1(p) {
   return fa => {
     return flatMap_1(a => p(a) ? constant_1(a) : empty_1)(fa);
@@ -98,118 +272,157 @@ function filter_1(p) {
 /**
  * @tsplus pipeable fncts.test.Gen filterNot
  */
-
-
 export 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 Gen(tsplus_module_2.flatMapStream(ma.sample, sample => {
+      const values = f(sample.value).sample;
+      const shrinks = flatMap_1(a => f(a))(new Gen(sample.shrink)).sample;
+      return tsplus_module_7.map(maybeSample => tsplus_module_11.map(sample => tsplus_module_2.flatMap(b => new Sample(b, shrinks))(sample))(maybeSample), fileName_1 + ":291:26")(values);
+    }));
+  };
+}
 /**
  * @tsplus getter fncts.test.Gen flatten
  */
-
 function flatten_1(mma) {
   return flatMap_1(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 Gen(tsplus_module_5.fromIO(tsplus_module_3.map(tsplus_module_4.just, fileName_1 + ":112:42")(effect), fileName_1 + ":112:31"));
+  return new 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
+ */
+export function floatWith(constraints = {}) {
+  const {
+    noDefaultInfinity = false,
+    min = noDefaultInfinity ? -MAX_VALUE_32 : Number.NEGATIVE_INFINITY,
+    max = noDefaultInfinity ? MAX_VALUE_32 : Number.POSITIVE_INFINITY,
+    noNaN = false
+  } = constraints;
+  return unwrap_1(tsplus_module_4.gen(function* (_) {
+    const minIndex = yield* _(safeFloatToIndex(min, "min"), fileName_1 + ":330:32");
+    const maxIndex = yield* _(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(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 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);
+export const fullUnicodeChar = fullUnicodeChar_1;
+/**
+ * @tsplus static fncts.test.GenOps fullUnicodeString
+ */
+export function fullUnicodeString(constraints = {}) {
+  return string_1(constraints)(fullUnicodeChar_1);
+}
+/**
+ * @tsplus static fncts.test.GenOps hexChar
+ */
+const hexChar_1 = /*#__PURE__*/_char(0, 15, hexToCharCode);
+export const hexChar = hexChar_1;
+/**
+ * @tsplus static fncts.test.GenOps hexString
+ */
+export 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(() => {
+export 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
+ */
+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 IllegalArgumentError("invalid bounds", "Gen.int"), fileName_1 + ":124:26");
+      return tsplus_module_4.haltNow(new 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 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 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
  */
-
-
 export function mapIO(f) {
   return self => {
-    return new 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 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);
-export const exponential = exponential_1;
-/**
- * @tsplus static fncts.test.GenOps size
- */
-
-const size_1 = /*#__PURE__*/fromIO_1(tsplus_module_8.size);
-export const size = size_1;
 /**
  * @tsplus static fncts.test.GenOps medium
  */
-
 export function medium(f, min = 0) {
-  return flatMap_1(f)(reshrink_1(tsplus_module_1.shrinkIntegral(min))(flatMap_1(max => map_1(n => 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 => clamp(Math.round(n * max / 10.0), min, max))(exponential_1))(size_1)));
 }
 /**
  * @tsplus static fncts.test.GenOps memo
  */
-
 export 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
  */
-
 export function nat(max = 0x7fffffff) {
-  return int_1({
+  return intWith_1({
     min: 0,
     max: clamp(max, 0, max)
   });
@@ -217,86 +430,183 @@ export function nat(max = 0x7fffffff) {
 /**
  * @tsplus static fncts.test.GenOps oneOf
  */
-
-export 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
   }));
 }
+export 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
+ */
+export const printableChar = /*#__PURE__*/char_1({
+  min: 0x20,
+  max: 0x7e
+});
 /**
  * @tsplus pipeable fncts.test.Gen reshrink
  */
-
 function reshrink_1(f) {
   return gen => {
-    return new Gen(tsplus_module_5.map(maybeSample => tsplus_module_6.map(sample => f(sample.value))(maybeSample), fileName_1 + ":218:69")(gen.sample));
+    return new 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
  */
-
-
 export 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 => 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 => clamp(Math.round(n * max / 25), min, max))(exponential_1))(size_1)));
+}
+/**
+ * @tsplus static fncts.test.GenOps string16
+ */
+export 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));
+  };
+}
+export 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
  */
-
-
 export 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));
-export const uniform = uniform_1;
+const unicodeChar_1 = /*#__PURE__*/_char(0x0000, 0xffff - gapSize, unicodeToCharCode);
+export const unicodeChar = unicodeChar_1;
+/**
+ * @tsplus static fncts.test.GenOps unicodeString
+ */
+export function unicodeString(constraints = {}) {
+  return string_1(constraints)(unicodeChar_1);
+}
+/**
+ * @tsplus pipeable fncts.test.Gen uniqueArray
+ */
+export 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
  */
-
-export function unwrap(effect) {
+function unwrap_1(effect) {
   return flatten_1(fromIO_1(effect));
 }
 /**
  * @tsplus static fncts.test.GenOps weighted
  */
-
-export function weighted(...gens) {
-  const sum = tsplus_module_9.foldLeft(0, (b, a) => b + a)(gens.map(([, weight]) => weight));
-  const [map] = tsplus_module_9.foldLeft(tuple(tsplus_module_13.make(tsplus_module_12.Ord), 0), ([map, acc], [gen, d]) => {
-    if ((acc + d) / sum > acc / sum) return tuple(tsplus_module_13.insert((acc + d) / sum, gen)(map), acc + d);else return 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(tuple(tsplus_module_18.make(tsplus_module_17.Ord), 0), ([map, acc], [gen, d]) => {
+    if ((acc + d) / sum > acc / sum) return tuple(tsplus_module_18.set((acc + d) / sum, gen)(map), acc + d);else return tuple(map, acc);
   })(gens);
-  return flatMap_1(n => tsplus_module_6.getOrElse(() => {
+  return flatMap_1(n => tsplus_module_11.getOrElse(() => {
     throw new 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
  */
-
-export 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
+ */
+export function zip(that) {
+  return self => {
+    return zipWith_1(that, 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.mjs.map