@fncts/test 0.0.32 → 0.0.33

package/_mjs/control/Gen/api.mjs

@@ -1,23 +1,26 @@
 const fileName_1 = "(@fncts/test) src/control/Gen/api.ts";
-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_1 from "@fncts/base/data/Equatable/api";
+import * as tsplus_module_2 from "@fncts/base/data/Eq/definition";
+import * as tsplus_module_3 from "@fncts/test/control/Sized/api";
+import * as tsplus_module_4 from "@fncts/test/control/Sample/api";
+import * as tsplus_module_5 from "@fncts/io/Random/api";
+import * as tsplus_module_6 from "@fncts/io/IO/api";
+import * as tsplus_module_7 from "@fncts/base/collection/immutable/Conc/definition";
+import * as tsplus_module_8 from "@fncts/base/data/Maybe/constructors";
+import * as tsplus_module_9 from "@fncts/io/Stream/api";
+import * as tsplus_module_10 from "@fncts/base/collection/immutable/Conc/api/empty";
+import * as tsplus_module_11 from "@fncts/base/collection/immutable/Conc/api";
+import * as tsplus_module_12 from "@fncts/base/collection/immutable/Conc/api/replicate";
+import * as tsplus_module_13 from "@fncts/base/data/Maybe/api";
+import * as tsplus_module_14 from "@fncts/base/data/Maybe/destructors";
+import * as tsplus_module_15 from "@fncts/base/collection/compat/Array/api";
+import * as tsplus_module_16 from "@fncts/base/collection/immutable/Conc/constructors";
 import * as tsplus_module_17 from "@fncts/base/data/number/instances";
 import * as tsplus_module_18 from "@fncts/base/collection/immutable/SortedMap/api";
 import * as tsplus_module_19 from "@fncts/base/data/function/api";
+import * as tsplus_module_20 from "@fncts/base/data/string/instances";
+import * as tsplus_module_21 from "@fncts/base/data/Eq/api";
+export const array = array_1;
 export const arrayWith = arrayWith_1;
 export const arrayN = arrayN_1;
 export const arrayInt64 = arrayInt64_1;
@@ -37,6 +40,7 @@ export const fromIOSample = fromIOSample_1;
 export const floatWith = floatWith_1;
 export const intWith = intWith_1;
 export const map = map_1;
+export const memo = memo_1;
 export const oneOf = oneOf_1;
 export const reshrink = reshrink_1;
 export const small = small_1;
@@ -48,21 +52,73 @@ export const uniqueConcN = uniqueConcN_1;
 export const unwrap = unwrap_1;
 export const weighted = weighted_1;
 export const zipWith = zipWith_1;
+export const tuple = tuple_1;
+export const record = record_1;
+export const date = date_1;
+export const int8Array = int8Array_1;
+export const int16Array = int16Array_1;
+export const int32Array = int32Array_1;
+export const uint8Array = uint8Array_1;
+export const uint16Array = uint16Array_1;
+export const uint32Array = uint32Array_1;
 import { IllegalArgumentError, NoSuchElementError } from "@fncts/base/data/exceptions";
 import { identity } from "@fncts/base/data/function";
 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 anything
+ */
+export function anything(constraints = {}) {
+  const key = constraints.key ?? alphaNumericString_1;
+  const maxDepth = constraints.maxDepth ?? 2;
+  const maxKeys = constraints.maxKeys ?? 5;
+  const values = constraints.values ?? [boolean_1, alphaNumericString_1, double_1, int_1, oneOf_1(alphaNumericString_1, constant_1(null), constant_1(undefined))];
+  function mapOf(key, value) {
+    return map_1(pairs => new Map(pairs))(uniqueConc_1({
+      eq: tsplus_module_2.makeEq({
+        equals: ([k1]) => ([k]) => tsplus_module_1.strictEquals(k, k1)
+      }),
+      maxLength: maxKeys
+    })(tuple_1(key, value)));
+  }
+  function setOf(value) {
+    return map_1(values => new Set(values))(uniqueConc_1({
+      eq: tsplus_module_2.makeEq({
+        equals: v1 => v => tsplus_module_1.strictEquals(v, v1)
+      }),
+      maxLength: maxKeys
+    })(value));
+  }
+  const base = oneOf_1(...values);
+  const arrayBase = oneOf_1(...values.map(gen => arrayWith_1({
+    maxLength: maxKeys
+  })(gen)));
+  const arrayGen = memo_1(n => oneOf_1(arrayBase, arrayWith_1({
+    maxLength: maxKeys
+  })(gen(n))));
+  const objectBase = oneOf_1(...values.map(gen => record_1(key, gen)));
+  const objectGen = memo_1(n => oneOf_1(objectBase, record_1(key, gen(n))));
+  const setBase = oneOf_1(...values.map(setOf));
+  const setGen = memo_1(n => oneOf_1(setBase, setOf(gen(n))));
+  const mapBase = oneOf_1(...values.map(value => mapOf(key, value)));
+  const mapGen = memo_1(n => oneOf_1(mapBase, mapOf(oneOf_1(key, gen(n)), gen(n))));
+  const gen = memo_1(n => {
+    if (n <= 0) return base;
+    return oneOf_1(base, arrayGen(), objectGen(), ...(constraints.withDate ? [date_1()] : []), ...(constraints.withSet ? [setGen()] : []), ...(constraints.withMap ? [mapGen()] : []), ...(constraints.withTypedArray ? [oneOf_1(int8Array_1(), uint8Array_1(), int16Array_1(), uint16Array_1(), int32Array_1(), uint32Array_1())] : []));
+  });
+  return gen(maxDepth);
+}
 /**
  * @tsplus static fncts.test.GenOps size
  */
-const size_1 = /*#__PURE__*/fromIO_1(tsplus_module_1.size);
+const size_1 = /*#__PURE__*/fromIO_1(tsplus_module_3.size);
 export const size = size_1;
 /**
  * @tsplus static fncts.test.GenOps uniform
  */
-const uniform_1 = /*#__PURE__*/fromIOSample_1( /*#__PURE__*/tsplus_module_4.map(tsplus_module_2.shrinkFractional(0.0), fileName_1 + ":37:82")(tsplus_module_3.nextDouble));
+const uniform_1 = /*#__PURE__*/fromIOSample_1( /*#__PURE__*/tsplus_module_6.map(tsplus_module_4.shrinkFractional(0.0), fileName_1 + ":127:82")(tsplus_module_5.nextDouble));
 export const uniform = uniform_1;
 /**
  * @tsplus static fncts.test.GenOps alphaNumericChar
@@ -87,12 +143,13 @@ export function alphaNumericStringWith(constraints = {}) {
 /**
  * @tsplus static fncts.test.GenOps alphaNumericString
  */
-export const alphaNumericString = /*#__PURE__*/string_1()(alphaNumericChar_1);
+const alphaNumericString_1 = /*#__PURE__*/string_1()(alphaNumericChar_1);
+export const alphaNumericString = alphaNumericString_1;
 /**
  * @tsplus static fncts.test.GenOps array
  * @tsplus getter fncts.test.Gen array
  */
-export function array(self) {
+function array_1(self) {
   return arrayWith_1()(self);
 }
 /**
@@ -112,22 +169,22 @@ function arrayWith_1(constraints = {}) {
  */
 function arrayN_1(n) {
   return self => {
-    return map_1(conc => tsplus_module_5.toArray(conc))(concN_1(n)(self));
+    return map_1(conc => tsplus_module_7.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 => {
+  return new Gen(tsplus_module_9.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(({
+    return tsplus_module_8.just(tsplus_module_4.shrinkArrayInt64(min)(uncheckedValue), fileName_1 + ":190:20");
+  }, fileName_1 + ":186:11")(tsplus_module_9.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_module_9.repeatIO(tsplus_module_5.nextArrayIntBetween(min, max, fileName_1 + ":185:76"), fileName_1 + ":185:49"), fileName_1 + ":185:15")(tsplus_module_9.fromIO(computeArrayInt64GenerateRange(min, max, undefined, undefined), fileName_1 + ":184:18"))));
 }
 /**
  * @tsplus static fncts.test.GenOps asciiChar
@@ -162,11 +219,12 @@ function base64StringWith_1(constraints = {}) {
 /**
  * @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")));
+export const bigInt = /*#__PURE__*/fromIOSample_1( /*#__PURE__*/tsplus_module_6.map(tsplus_module_4.shrinkBigInt(BigInt(0)), fileName_1 + ":233:98")( /*#__PURE__*/tsplus_module_5.nextBigIntBetween( /*#__PURE__*/BigInt(-1) << /*#__PURE__*/BigInt(255), ( /*#__PURE__*/BigInt(1) << /*#__PURE__*/BigInt(255)) - /*#__PURE__*/BigInt(1), fileName_1 + ":233:27")));
 /**
  * @tsplus static fncts.test.GenOps boolean
  */
-export const boolean = /*#__PURE__*/defer_1(() => oneOf_1(constant_1(true), constant_1(false)));
+const boolean_1 = /*#__PURE__*/defer_1(() => oneOf_1(constant_1(true), constant_1(false)));
+export const boolean = boolean_1;
 /**
  * @tsplus static fncts.test.GenOps bounded
  */
@@ -211,25 +269,26 @@ export function conc(self) {
  */
 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));
+    return tsplus_module_11.foldLeft(constant_1(tsplus_module_10.empty()), (gen, a) => zipWith_1(a, (as, a) => tsplus_module_11.append(a)(as))(gen))(tsplus_module_12.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 + ":207:35"));
+  return new Gen(tsplus_module_9.succeedNow(tsplus_module_8.just(tsplus_module_4.noShrink(a), fileName_1 + ":297:40"), fileName_1 + ":297:35"));
 }
 /**
  * @tsplus static fncts.test.GenOps defer
  */
 function defer_1(gen) {
-  return flatten_1(fromIO_1(tsplus_module_4.succeed(gen, fileName_1 + ":214:31")));
+  return flatten_1(fromIO_1(tsplus_module_6.succeed(gen, fileName_1 + ":304: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 + ":220:81")(tsplus_module_3.nextDouble));
+const double_1 = /*#__PURE__*/fromIOSample_1( /*#__PURE__*/tsplus_module_6.map(tsplus_module_4.shrinkFractional(0), fileName_1 + ":310:81")(tsplus_module_5.nextDouble));
+export const double = double_1;
 /**
  * @tsplus static fncts.test.GenOps doubleWith
  */
@@ -240,11 +299,11 @@ export function doubleWith(constraints = {}) {
     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 + ":234:32");
-    const maxIndex = yield* _(safeDoubleToIndex(max, "max"), fileName_1 + ":235:32");
+  return unwrap_1(tsplus_module_6.gen(function* (_) {
+    const minIndex = yield* _(safeDoubleToIndex(min, "min"), fileName_1 + ":324:32");
+    const maxIndex = yield* _(safeDoubleToIndex(max, "max"), fileName_1 + ":325: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 + ":237:35"), fileName_1 + ":237:24");
+      return yield* _(tsplus_module_6.haltNow(new IllegalArgumentError("min must be less than or equal to max", "Gen.double"), fileName_1 + ":327:35"), fileName_1 + ":327:24");
     }
     if (noNaN) {
       return map_1(indexToDouble)(arrayInt64_1(minIndex, maxIndex));
@@ -255,12 +314,12 @@ export function doubleWith(constraints = {}) {
     return map_1(index => {
       if (isStrictlySmaller64(maxIndex, index) || isStrictlySmaller64(index, minIndex)) return Number.NaN;else return indexToDouble(index);
     })(arrayInt64_1(minIndexWithNaN, maxIndexWithNaN));
-  }, fileName_1 + ":233:11"));
+  }, fileName_1 + ":323:11"));
 }
 /**
  * @tsplus static fncts.test.GenOps empty
  */
-const empty_1 = /*#__PURE__*/new Gen(tsplus_module_7.empty);
+const empty_1 = /*#__PURE__*/new Gen(tsplus_module_9.empty);
 export const empty = empty_1;
 /**
  * @tsplus static fncts.test.GenOps exponential
@@ -285,10 +344,10 @@ export function filterNot(p) {
  */
 function flatMap_1(f) {
   return ma => {
-    return new Gen(tsplus_module_2.flatMapStream(ma.sample, sample => {
+    return new Gen(tsplus_module_4.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 + ":292:26")(values);
+      return tsplus_module_9.map(maybeSample => tsplus_module_13.map(sample => tsplus_module_4.flatMap(b => new Sample(b, shrinks))(sample))(maybeSample), fileName_1 + ":382:26")(values);
     }));
   };
 }
@@ -302,13 +361,13 @@ function flatten_1(mma) {
  * @tsplus static fncts.test.GenOps fromIO
  */
 function fromIO_1(effect) {
-  return fromIOSample_1(tsplus_module_4.map(tsplus_module_2.noShrink, fileName_1 + ":309:37")(effect));
+  return fromIOSample_1(tsplus_module_6.map(tsplus_module_4.noShrink, fileName_1 + ":399:37")(effect));
 }
 /**
  * @tsplus static fncts.test.GenOps fromIOSample
  */
 function fromIOSample_1(effect) {
-  return new Gen(tsplus_module_7.fromIO(tsplus_module_4.map(tsplus_module_6.just, fileName_1 + ":316:42")(effect), fileName_1 + ":316:31"));
+  return new Gen(tsplus_module_9.fromIO(tsplus_module_6.map(tsplus_module_8.just, fileName_1 + ":406:42")(effect), fileName_1 + ":406:31"));
 }
 /**
  * @tsplus static fncts.test.GenOps floatWith
@@ -320,11 +379,11 @@ function floatWith_1(constraints = {}) {
     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 + ":331:32");
-    const maxIndex = yield* _(safeFloatToIndex(max, "max"), fileName_1 + ":332:32");
+  return unwrap_1(tsplus_module_6.gen(function* (_) {
+    const minIndex = yield* _(safeFloatToIndex(min, "min"), fileName_1 + ":421:32");
+    const maxIndex = yield* _(safeFloatToIndex(max, "max"), fileName_1 + ":422: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 + ":335:21"), fileName_1 + ":334:24");
+      return yield* _(tsplus_module_6.haltNow(new Error("Gen.float constraints.min must be less than or equal to constraints.max"), fileName_1 + ":425:21"), fileName_1 + ":424:24");
     }
     if (noNaN) {
       return map_1(indexToFloat)(intWith_1({
@@ -340,7 +399,7 @@ function floatWith_1(constraints = {}) {
       min: minIndexWithNaN,
       max: maxIndexWithNaN
     }));
-  }, fileName_1 + ":330:11"));
+  }, fileName_1 + ":420:11"));
 }
 /**
  * @tsplus static fncts.test.GenOps float
@@ -371,27 +430,28 @@ export function hexString(constraints = {}) {
 /**
  * @tsplus static fncts.test.GenOps int
  */
-export const int = /*#__PURE__*/fromIOSample_1( /*#__PURE__*/tsplus_module_4.map(tsplus_module_2.shrinkIntegral(0), fileName_1 + ":383:75")(tsplus_module_3.nextInt));
+const int_1 = /*#__PURE__*/fromIOSample_1( /*#__PURE__*/tsplus_module_6.map(tsplus_module_4.shrinkIntegral(0), fileName_1 + ":473:75")(tsplus_module_5.nextInt));
+export const int = int_1;
 /**
  * @tsplus static fncts.test.GenOps intWith
  */
 function intWith_1(constraints = {}) {
-  return fromIOSample_1(tsplus_module_4.defer(() => {
+  return fromIOSample_1(tsplus_module_6.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_4.haltNow(new IllegalArgumentError("invalid bounds", "Gen.intWith"), fileName_1 + ":394:26");
+      return tsplus_module_6.haltNow(new IllegalArgumentError("invalid bounds", "Gen.intWith"), fileName_1 + ":484:26");
     } else {
-      return tsplus_module_4.map(tsplus_module_2.shrinkIntegral(min), fileName_1 + ":396:51")(tsplus_module_3.nextIntBetween(min, max, fileName_1 + ":396:37"));
+      return tsplus_module_6.map(tsplus_module_4.shrinkIntegral(min), fileName_1 + ":486:51")(tsplus_module_5.nextIntBetween(min, max, fileName_1 + ":486:37"));
     }
-  }, fileName_1 + ":390:13"));
+  }, fileName_1 + ":480:13"));
 }
 /**
  * @tsplus pipeable fncts.test.Gen map
  */
 function map_1(f) {
   return self => {
-    return new Gen(tsplus_module_7.map(maybeSample => tsplus_module_11.map(sample => tsplus_module_2.map(f)(sample))(maybeSample), fileName_1 + ":407:35")(self.sample));
+    return new Gen(tsplus_module_9.map(maybeSample => tsplus_module_13.map(sample => tsplus_module_4.map(f)(sample))(maybeSample), fileName_1 + ":497:35")(self.sample));
   };
 }
 /**
@@ -399,19 +459,19 @@ function map_1(f) {
  */
 export function mapIO(f) {
   return self => {
-    return new Gen(tsplus_module_7.mapIO(maybeSample => tsplus_module_12.match(() => tsplus_module_4.succeedNow(tsplus_module_6.nothing(), fileName_1 + ":419:30"), sample => tsplus_module_4.map(tsplus_module_6.just, fileName_1 + ":420:44")(tsplus_module_2.foreach(f)(sample)))(maybeSample), fileName_1 + ":417:24")(self.sample));
+    return new Gen(tsplus_module_9.mapIO(maybeSample => tsplus_module_14.match(() => tsplus_module_6.succeedNow(tsplus_module_8.nothing(fileName_1 + ":509:38"), fileName_1 + ":509:30"), sample => tsplus_module_6.map(tsplus_module_8.just, fileName_1 + ":510:44")(tsplus_module_4.foreach(f)(sample)))(maybeSample), fileName_1 + ":507:24")(self.sample));
   };
 }
 /**
  * @tsplus static fncts.test.GenOps medium
  */
 export function medium(f, min = 0) {
-  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)));
+  return flatMap_1(f)(reshrink_1(tsplus_module_4.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) {
+function memo_1(builder) {
   const previous = {};
   let remainingDepth = 10;
   return maxDepth => {
@@ -438,7 +498,7 @@ export function nat(max = 0x7fffffff) {
  * @tsplus static fncts.test.GenOps oneOf
  */
 function oneOf_1(...gens) {
-  if (tsplus_module_13.isEmpty(gens)) return empty_1;else return flatMap_1(i => gens[i])(intWith_1({
+  if (tsplus_module_15.isEmpty(gens)) return empty_1;else return flatMap_1(i => gens[i])(intWith_1({
     min: 0,
     max: gens.length - 1
   }));
@@ -448,10 +508,10 @@ function oneOf_1(...gens) {
  */
 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) => ({
+  return tsplus_module_15.foldLeft(constant_1({}), (b, [k, gen]) => unwrap_1(tsplus_module_6.ifIO(() => tsplus_module_6.succeed(() => zipWith_1(gen, (r, a) => ({
     ...r,
     [k]: a
-  }))(b), fileName_1 + ":485:50"), () => tsplus_module_4.succeed(() => b, fileName_1 + ":485:108"), fileName_1 + ":485:39")(tsplus_module_3.nextBoolean)))(entries);
+  }))(b), fileName_1 + ":575:50"), () => tsplus_module_6.succeed(() => b, fileName_1 + ":575:108"), fileName_1 + ":575:39")(tsplus_module_5.nextBoolean)))(entries);
 }
 /**
  * @tsplus static fncts.test.GenOps printableChar
@@ -465,7 +525,7 @@ export const printableChar = /*#__PURE__*/char_1({
  */
 function reshrink_1(f) {
   return gen => {
-    return new Gen(tsplus_module_7.map(maybeSample => tsplus_module_11.map(sample => f(sample.value))(maybeSample), fileName_1 + ":500:69")(gen.sample));
+    return new Gen(tsplus_module_9.map(maybeSample => tsplus_module_13.map(sample => f(sample.value))(maybeSample), fileName_1 + ":590:69")(gen.sample));
   };
 }
 /**
@@ -478,7 +538,7 @@ export function sized(f) {
  * @tsplus static fncts.test.GenOps small
  */
 function small_1(f, min = 0) {
-  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)));
+  return flatMap_1(f)(reshrink_1(tsplus_module_4.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
@@ -508,7 +568,7 @@ function stringN_1(n) {
  */
 export function struct(properties) {
   const entries = Object.entries(properties);
-  return tsplus_module_13.foldLeft(constant_1({}), (b, [k, gen]) => zipWith_1(gen, (out, a) => ({
+  return tsplus_module_15.foldLeft(constant_1({}), (b, [k, gen]) => zipWith_1(gen, (out, a) => ({
     ...out,
     [k]: a
   }))(b))(entries);
@@ -523,7 +583,7 @@ export function unfoldGen(s, f) {
  * @tsplus static fncts.test.GenOps unfoldGenN
  */
 function unfoldGenN_1(n, s, f) {
-  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));
+  if (n <= 0) return constant_1(tsplus_module_16.make());else return flatMap_1(([s, a]) => map_1(as => tsplus_module_11.append(a)(as))(unfoldGenN_1(n - 1, s, f)))(f(s));
 }
 /**
  * @tsplus static fncts.test.GenOps unicodeChar
@@ -541,7 +601,7 @@ export function unicodeString(constraints = {}) {
  */
 export function uniqueArray(constraints = {}) {
   return gen => {
-    return map_1(conc => tsplus_module_5.toArray(conc))(uniqueConc_1(constraints)(gen));
+    return map_1(conc => tsplus_module_7.toArray(conc))(uniqueConc_1(constraints)(gen));
   };
 }
 /**
@@ -550,8 +610,8 @@ export function uniqueArray(constraints = {}) {
 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)
+    const eq = constraints.eq ?? tsplus_module_2.makeEq({
+      equals: y => x => tsplus_module_1.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);
   };
@@ -561,7 +621,7 @@ function uniqueConc_1(constraints = {}) {
  */
 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));
+    return tsplus_module_11.foldLeft(constant_1(tsplus_module_10.empty()), (gen, a) => zipWith_1(a, (as, a) => tsplus_module_11.elem(a, E)(as) ? as : tsplus_module_11.append(a)(as))(gen))(tsplus_module_12.replicate(n, self));
   };
 }
 /**
@@ -574,11 +634,11 @@ function unwrap_1(effect) {
  * @tsplus static fncts.test.GenOps weighted
  */
 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(tsplus_module_19.tuple(tsplus_module_18.make(tsplus_module_17.Ord), 0), ([map, acc], [gen, d]) => {
+  const sum = tsplus_module_15.foldLeft(0, (b, a) => b + a)(gens.map(([, weight]) => weight));
+  const [map] = tsplus_module_15.foldLeft(tsplus_module_19.tuple(tsplus_module_18.make(tsplus_module_17.Ord), 0), ([map, acc], [gen, d]) => {
     if ((acc + d) / sum > acc / sum) return tsplus_module_19.tuple(tsplus_module_18.set((acc + d) / sum, gen)(map), acc + d);else return tsplus_module_19.tuple(map, acc);
   })(gens);
-  return flatMap_1(n => tsplus_module_11.getOrElse(() => {
+  return flatMap_1(n => tsplus_module_13.getOrElse(() => {
     throw new NoSuchElementError("Gen.weighted");
   })(tsplus_module_18.getGte(n)(map)))(uniform_1);
 }
@@ -601,8 +661,75 @@ export function zip(that) {
 /**
  * @tsplus static fncts.test.GenOps tuple
  */
-export function tuple(...components) {
-  return tsplus_module_13.foldLeft(constant_1([]), (b, a) => zipWith_1(a, (vs, v) => [...vs, v])(b))(components);
+function tuple_1(...components) {
+  return tsplus_module_15.foldLeft(constant_1([]), (b, a) => zipWith_1(a, (vs, v) => [...vs, v])(b))(components);
+}
+/**
+ * @tsplus static fncts.test.GenOps record
+ */
+function record_1(key, value, constraints) {
+  return map_1(pairs => tsplus_module_11.foldLeft({}, (b, [k, v]) => ({
+    ...b,
+    [k]: v
+  }))(pairs))(uniqueConc_1({
+    eq: tsplus_module_21.contramap(([k]) => k)(tsplus_module_20.Eq),
+    ...constraints
+  })(tuple_1(key, value)));
+}
+/**
+ * @tsplus static fncts.test.GenOps date
+ */
+function date_1(constraints = {}) {
+  const min = constraints.min ? constraints.min.getTime() : -8640000000000000;
+  const max = constraints.max ? constraints.max.getTime() : 8640000000000000;
+  return map_1(n => new Date(n))(intWith_1({
+    min,
+    max
+  }));
+}
+function typedArray(constraints, minBound, maxBound, ctor) {
+  const min = constraints.min ? clamp(constraints.min, minBound, maxBound) : minBound;
+  const max = constraints.max ? clamp(constraints.max, minBound, maxBound) : maxBound;
+  return map_1(n => new ctor(n))(array_1(intWith_1({
+    min,
+    max
+  })));
+}
+/**
+ * @tsplus static fncts.test.GenOps int8Array
+ */
+function int8Array_1(constraints = {}) {
+  return typedArray(constraints, -128, 127, Int8Array);
+}
+/**
+ * @tsplus static fncts.test.GenOps int16Array
+ */
+function int16Array_1(constraints = {}) {
+  return typedArray(constraints, -32768, 32767, Int16Array);
+}
+/**
+ * @tsplus static fncts.test.GenOps int32Array
+ */
+function int32Array_1(constraints = {}) {
+  return typedArray(constraints, -0x80000000, 0x7fffffff, Int32Array);
+}
+/**
+ * @tsplus static fncts.test.GenOps uint8Array
+ */
+function uint8Array_1(constraints = {}) {
+  return typedArray(constraints, 0, 255, Uint8Array);
+}
+/**
+ * @tsplus static fncts.test.GenOps uint16Array
+ */
+function uint16Array_1(constraints = {}) {
+  return typedArray(constraints, 0, 65535, Uint16Array);
+}
+/**
+ * @tsplus static fncts.test.GenOps uint32Array
+ */
+function uint32Array_1(constraints = {}) {
+  return typedArray(constraints, 0, 0xffffffff, Uint32Array);
 }
 function _char(min, max, mapToCode) {
   return map_1(n => String.fromCharCode(mapToCode(n)))(intWith_1({