@fncts/test 0.0.21 → 0.0.23

package/_src/control/Gen/api/double.ts

@@ -1,64 +0,0 @@
-import type { FloatConstraints, NumberConstraints } from "../constraints.js";
-import type { ArrayInt64 } from "@fncts/base/util/rand";
-
-import { IllegalArgumentError } from "@fncts/base/data/exceptions";
-
-import {
-  add64,
-  computeArrayInt64GenerateRange,
-  indexToDouble,
-  isStrictlyPositive64,
-  isStrictlySmaller64,
-  safeDoubleToIndex,
-  substract64,
-  Unit64,
-} from "../../../util/math.js";
-import { Sample } from "../../Sample.js";
-import { Gen } from "../definition.js";
-
-/**
- * @tsplus static fncts.test.GenOps arrayInt64
- */
-export function arrayInt64(min: ArrayInt64, max: ArrayInt64): Gen<never, ArrayInt64> {
-  return new Gen(
-    Stream.fromIO(computeArrayInt64GenerateRange(min, max, undefined, undefined))
-      .flatMap(({ min, max }) => Stream.repeatIO(Random.nextArrayIntBetween(min, max)))
-      .map((uncheckedValue) => {
-        if (uncheckedValue.data.length === 1) {
-          uncheckedValue.data.unshift(0);
-        }
-        return Just(Sample.shrinkArrayInt64(min)(uncheckedValue as ArrayInt64));
-      }),
-  );
-}
-
-/**
- * @tsplus static fncts.test.GenOps double
- */
-export function double(constraints: NumberConstraints & FloatConstraints = {}): Gen<never, number> {
-  const {
-    noDefaultInfinity = false,
-    noNaN = false,
-    min = noDefaultInfinity ? -Number.MAX_VALUE : Number.NEGATIVE_INFINITY,
-    max = noDefaultInfinity ? Number.MAX_VALUE : Number.POSITIVE_INFINITY,
-  } = constraints;
-  return Gen.unwrap(
-    IO.gen(function* (_) {
-      const minIndex = yield* _(safeDoubleToIndex(min, "min"));
-      const maxIndex = yield* _(safeDoubleToIndex(max, "max"));
-      if (isStrictlySmaller64(maxIndex, minIndex)) {
-        return yield* _(IO.haltNow(new IllegalArgumentError("min must be less than or equal to max", "Gen.double")));
-      }
-      if (noNaN) {
-        return arrayInt64(minIndex, maxIndex).map(indexToDouble);
-      }
-      const positiveMaxIdx  = isStrictlyPositive64(maxIndex);
-      const minIndexWithNaN = positiveMaxIdx ? minIndex : substract64(minIndex, Unit64);
-      const maxIndexWithNaN = positiveMaxIdx ? add64(maxIndex, Unit64) : maxIndex;
-      return arrayInt64(minIndexWithNaN, maxIndexWithNaN).map((index) => {
-        if (isStrictlySmaller64(maxIndex, index) || isStrictlySmaller64(index, minIndex)) return Number.NaN;
-        else return indexToDouble(index);
-      });
-    }),
-  );
-}

package/_src/control/Gen/api/float.ts

@@ -1,36 +0,0 @@
-import type { FloatConstraints, NumberConstraints } from "../constraints.js";
-
-import { indexToFloat, MAX_VALUE_32, safeFloatToIndex } from "../../../util/math.js";
-import { Gen } from "../definition.js";
-
-/**
- * @tsplus static fncts.test.GenOps float
- */
-export function float(constraints: NumberConstraints & FloatConstraints = {}): Gen<never, number> {
-  const {
-    noDefaultInfinity = false,
-    min = noDefaultInfinity ? -MAX_VALUE_32 : Number.NEGATIVE_INFINITY,
-    max = noDefaultInfinity ? MAX_VALUE_32 : Number.POSITIVE_INFINITY,
-    noNaN = false,
-  } = constraints;
-  return Gen.unwrap(
-    IO.gen(function* (_) {
-      const minIndex = yield* _(safeFloatToIndex(min, "min"));
-      const maxIndex = yield* _(safeFloatToIndex(max, "max"));
-      if (minIndex > maxIndex) {
-        return yield* _(
-          IO.haltNow(new Error("Gen.float constraints.min must be less than or equal to constraints.max")),
-        );
-      }
-      if (noNaN) {
-        return Gen.int({ min: minIndex, max: maxIndex }).map(indexToFloat);
-      }
-      const minIndexWithNaN = maxIndex > 0 ? minIndex : minIndex - 1;
-      const maxIndexWithNaN = maxIndex > 0 ? maxIndex + 1 : maxIndex;
-      return Gen.int({ min: minIndexWithNaN, max: maxIndexWithNaN }).map((index) => {
-        if (index > maxIndex || index < minIndex) return Number.NaN;
-        else return indexToFloat(index);
-      });
-    }),
-  );
-}

package/_src/control/Gen/api/string.ts

@@ -1,75 +0,0 @@
-import type { Sized } from "../../Sized.js";
-import type { LengthConstraints } from "../constraints.js";
-
-import { Gen } from "../definition.js";
-import { alphaNumericChar, asciiChar, base64Char, char16, fullUnicodeChar, hexChar, unicodeChar } from "./char.js";
-
-/**
- * @tsplus static fncts.test.GenOps asciiString
- */
-export function asciiString<R>(constraints?: LengthConstraints): Gen<R | Sized, string> {
-  return asciiChar.string(constraints);
-}
-
-/**
- * @tsplus static fncts.test.GenOps alphaNumericString
- */
-export function alphaNumericString(constraints: LengthConstraints = {}): Gen<Sized, string> {
-  return alphaNumericChar.string(constraints);
-}
-
-/**
- * @tsplus static fncts.test.GenOps base64String
- */
-export function base64String(constraints: LengthConstraints = {}): Gen<Sized, string> {
-  return base64Char.string(constraints);
-}
-
-/**
- * @tsplus static fncts.test.GenOps fullUnicodeString
- */
-export function fullUnicodeString(constraints: LengthConstraints = {}): Gen<Sized, string> {
-  return fullUnicodeChar.string(constraints);
-}
-
-/**
- * @tsplus static fncts.test.GenOps hexString
- */
-export function hexString(constraints: LengthConstraints = {}): Gen<Sized, string> {
-  return hexChar.string(constraints);
-}
-
-/**
- * @tsplus static fncts.test.GenOps string16
- */
-export function string16(constraints: LengthConstraints = {}): Gen<Sized, string> {
-  return char16.string(constraints);
-}
-
-/**
- * @tsplus pipeable fncts.test.Gen string
- */
-export function string(constraints: LengthConstraints = {}) {
-  return <R>(char: Gen<R, string>): Gen<R | Sized, string> => {
-    const min = constraints.minLength || 0;
-    return constraints.maxLength
-      ? Gen.bounded(min, constraints.maxLength, (n) => char.stringN(n))
-      : Gen.small((n) => char.stringN(n), min);
-  };
-}
-
-/**
- * @tsplus pipeable fncts.test.Gen stringN
- */
-export function stringN(n: number) {
-  return <R>(char: Gen<R, string>): Gen<R, string> => {
-    return char.arrayN(n).map((arr) => arr.join(""));
-  };
-}
-
-/**
- * @tsplus static fncts.test.GenOps unicodeString
- */
-export function unicodeString(constraints: LengthConstraints = {}): Gen<Sized, string> {
-  return unicodeChar.string(constraints);
-}

package/_src/control/Gen/api/struct.ts

@@ -1,31 +0,0 @@
-import type { _A, _R } from "@fncts/base/types";
-
-import { Gen } from "../definition.js";
-
-export function struct<P extends Record<string, Gen<any, any>>>(
-  properties: P,
-): Gen<
-  _R<P[keyof P]>,
-  {
-    readonly [K in keyof P]: _A<P[K]>;
-  }
-> {
-  const entries = Object.entries(properties);
-  return entries.foldLeft(Gen.constant({}) as Gen<any, any>, (b, [k, gen]) =>
-    b.zipWith(gen, (out, a) => ({ ...out, [k]: a })),
-  );
-}
-
-export function partial<P extends Record<string, Gen<any, any>>>(
-  properties: P,
-): Gen<
-  unknown & _R<P[keyof P]>,
-  Partial<{
-    readonly [K in keyof P]: _A<P[K]>;
-  }>
-> {
-  const entries = Object.entries(properties);
-  return entries.foldLeft(Gen.constant({}) as Gen<any, any>, (b, [k, gen]) =>
-    Gen.unwrap(Random.nextBoolean.ifIO(IO.succeed(b.zipWith(gen, (r, a) => ({ ...r, [k]: a }))), IO.succeed(b))),
-  );
-}

package/control/Gen/api/array.d.ts

@@ -1,18 +0,0 @@
-import type { Sized } from "../../Sized.js";
-import type { EqConstraint, LengthConstraints } from "../constraints.js";
-import { Gen } from "../definition.js";
-/**
- * @tsplus pipeable fncts.test.Gen array
- * @tsplus location "@fncts/test/control/Gen/api/array"
- */
-export declare function array(constraints?: LengthConstraints): <R, A>(g: Gen<R, A>) => Gen<Sized | R, readonly A[]>;
-/**
- * @tsplus pipeable fncts.test.Gen arrayN
- * @tsplus location "@fncts/test/control/Gen/api/array"
- */
-export declare function arrayN(n: number): <R, A>(self: Gen<R, A>) => Gen<R, readonly A[]>;
-/**
- * @tsplus pipeable fncts.test.Gen uniqueArray
- * @tsplus location "@fncts/test/control/Gen/api/array"
- */
-export declare function uniqueArray<A>(constraints?: LengthConstraints & EqConstraint<A>): <R>(gen: Gen<R, A>) => Gen<Sized | R, readonly A[]>;

package/control/Gen/api/char.d.ts

@@ -1,47 +0,0 @@
-import type { NumberConstraints } from "../constraints.js";
-import { Gen } from "../definition.js";
-/**
- * @tsplus static fncts.test.GenOps alphaNumericChar
- * @tsplus location "@fncts/test/control/Gen/api/char"
- */
-export declare const alphaNumericChar: Gen<never, string>;
-/**
- * @tsplus static fncts.test.GenOps asciiChar
- * @tsplus location "@fncts/test/control/Gen/api/char"
- */
-export declare const asciiChar: Gen<never, string>;
-/**
- * @tsplus static fncts.test.GenOps base64Char
- * @tsplus location "@fncts/test/control/Gen/api/char"
- */
-export declare const base64Char: Gen<never, string>;
-/**
- * @tsplus static fncts.test.GenOps char
- * @tsplus location "@fncts/test/control/Gen/api/char"
- */
-export declare function char(constraints: Required<NumberConstraints>): Gen<never, string>;
-/**
- * @tsplus static fncts.test.GenOps char16
- * @tsplus location "@fncts/test/control/Gen/api/char"
- */
-export declare const char16: Gen<never, string>;
-/**
- * @tsplus static fncts.test.GenOps fullUnicodeChar
- * @tsplus location "@fncts/test/control/Gen/api/char"
- */
-export declare const fullUnicodeChar: Gen<never, string>;
-/**
- * @tsplus static fncts.test.GenOps hexChar
- * @tsplus location "@fncts/test/control/Gen/api/char"
- */
-export declare const hexChar: Gen<never, string>;
-/**
- * @tsplus static fncts.test.GenOps printableChar
- * @tsplus location "@fncts/test/control/Gen/api/char"
- */
-export declare const printableChar: Gen<never, string>;
-/**
- * @tsplus static fncts.test.GenOps unicodeChar
- * @tsplus location "@fncts/test/control/Gen/api/char"
- */
-export declare const unicodeChar: Gen<never, string>;

package/control/Gen/api/conc.d.ts

@@ -1,25 +0,0 @@
-import { Conc } from "@fncts/base/collection/immutable/Conc";
-import type { Sized } from "../../Sized.js";
-import type { EqConstraint, LengthConstraints } from "../constraints.js";
-import { Eq } from "@fncts/base/typeclass";
-import { Gen } from "../definition.js";
-/**
- * @tsplus pipeable fncts.test.Gen conc
- * @tsplus location "@fncts/test/control/Gen/api/conc"
- */
-export declare function conc(constraints?: LengthConstraints): <R, A>(self: Gen<R, A>) => Gen<Sized | R, import("@fncts/base/collection/immutable/Conc.js").Conc<A>>;
-/**
- * @tsplus pipeable fncts.test.Gen concN
- * @tsplus location "@fncts/test/control/Gen/api/conc"
- */
-export declare function concN(n: number): <R, A>(g: Gen<R, A>) => Gen<R, import("@fncts/base/collection/immutable/Conc.js").Conc<A>>;
-/**
- * @tsplus pipeable fncts.test.Gen uniqueConc
- * @tsplus location "@fncts/test/control/Gen/api/conc"
- */
-export declare function uniqueConc<A>(constraints?: LengthConstraints & EqConstraint<A>): <R>(self: Gen<R, A>) => Gen<Sized | R, import("@fncts/base/collection/immutable/Conc.js").Conc<A>>;
-/**
- * @tsplus pipeable fncts.test.Gen uniqueConcN
- * @tsplus location "@fncts/test/control/Gen/api/conc"
- */
-export declare function uniqueConcN<A>(n: number, /** @tsplus auto */ E: Eq<A>): <R>(self: Gen<R, A>) => Gen<R, import("@fncts/base/collection/immutable/Conc.js").Conc<A>>;

package/control/Gen/api/double.d.ts

@@ -1,13 +0,0 @@
-import type { FloatConstraints, NumberConstraints } from "../constraints.js";
-import type { ArrayInt64 } from "@fncts/base/util/rand";
-import { Gen } from "../definition.js";
-/**
- * @tsplus static fncts.test.GenOps arrayInt64
- * @tsplus location "@fncts/test/control/Gen/api/double"
- */
-export declare function arrayInt64(min: ArrayInt64, max: ArrayInt64): Gen<never, ArrayInt64>;
-/**
- * @tsplus static fncts.test.GenOps double
- * @tsplus location "@fncts/test/control/Gen/api/double"
- */
-export declare function double(constraints?: NumberConstraints & FloatConstraints): Gen<never, number>;

package/control/Gen/api/float.d.ts

@@ -1,7 +0,0 @@
-import type { FloatConstraints, NumberConstraints } from "../constraints.js";
-import { Gen } from "../definition.js";
-/**
- * @tsplus static fncts.test.GenOps float
- * @tsplus location "@fncts/test/control/Gen/api/float"
- */
-export declare function float(constraints?: NumberConstraints & FloatConstraints): Gen<never, number>;

package/control/Gen/api/string.d.ts

@@ -1,48 +0,0 @@
-import type { Sized } from "../../Sized.js";
-import type { LengthConstraints } from "../constraints.js";
-import { Gen } from "../definition.js";
-/**
- * @tsplus static fncts.test.GenOps asciiString
- * @tsplus location "@fncts/test/control/Gen/api/string"
- */
-export declare function asciiString<R>(constraints?: LengthConstraints): Gen<R | Sized, string>;
-/**
- * @tsplus static fncts.test.GenOps alphaNumericString
- * @tsplus location "@fncts/test/control/Gen/api/string"
- */
-export declare function alphaNumericString(constraints?: LengthConstraints): Gen<Sized, string>;
-/**
- * @tsplus static fncts.test.GenOps base64String
- * @tsplus location "@fncts/test/control/Gen/api/string"
- */
-export declare function base64String(constraints?: LengthConstraints): Gen<Sized, string>;
-/**
- * @tsplus static fncts.test.GenOps fullUnicodeString
- * @tsplus location "@fncts/test/control/Gen/api/string"
- */
-export declare function fullUnicodeString(constraints?: LengthConstraints): Gen<Sized, string>;
-/**
- * @tsplus static fncts.test.GenOps hexString
- * @tsplus location "@fncts/test/control/Gen/api/string"
- */
-export declare function hexString(constraints?: LengthConstraints): Gen<Sized, string>;
-/**
- * @tsplus static fncts.test.GenOps string16
- * @tsplus location "@fncts/test/control/Gen/api/string"
- */
-export declare function string16(constraints?: LengthConstraints): Gen<Sized, string>;
-/**
- * @tsplus pipeable fncts.test.Gen string
- * @tsplus location "@fncts/test/control/Gen/api/string"
- */
-export declare function string(constraints?: LengthConstraints): <R>(char: Gen<R, string>) => Gen<Sized | R, string>;
-/**
- * @tsplus pipeable fncts.test.Gen stringN
- * @tsplus location "@fncts/test/control/Gen/api/string"
- */
-export declare function stringN(n: number): <R>(char: Gen<R, string>) => Gen<R, string>;
-/**
- * @tsplus static fncts.test.GenOps unicodeString
- * @tsplus location "@fncts/test/control/Gen/api/string"
- */
-export declare function unicodeString(constraints?: LengthConstraints): Gen<Sized, string>;

package/control/Gen/api/struct.d.ts

@@ -1,8 +0,0 @@
-import type { _A, _R } from "@fncts/base/types";
-import { Gen } from "../definition.js";
-export declare function struct<P extends Record<string, Gen<any, any>>>(properties: P): Gen<_R<P[keyof P]>, {
-    readonly [K in keyof P]: _A<P[K]>;
-}>;
-export declare function partial<P extends Record<string, Gen<any, any>>>(properties: P): Gen<unknown & _R<P[keyof P]>, Partial<{
-    readonly [K in keyof P]: _A<P[K]>;
-}>>;