@fncts/test 0.0.12 → 0.0.13

package/control/TestRandom/api.d.ts

@@ -1,49 +1,49 @@
 import { Byte } from "@fncts/base/data/Byte";
 import { Layer } from "@fncts/io/Layer";
-import { Has } from "@fncts/base/typeclass";
+import { Random } from "@fncts/io/Random";
 import { Data, TestRandom } from "@fncts/test/control/TestRandom";
 /**
  * @tsplus static fncts.test.TestRandom feedInts
  * @tsplus location "@fncts/test/control/TestRandom/api"
  */
-export declare function feedInts(...ints: ReadonlyArray<number>): import("@fncts/io/IO").IO<import("@fncts/base/typeclass").Has<TestRandom>, never, void>;
+export declare function feedInts(...ints: ReadonlyArray<number>): import("@fncts/io/IO").IO<TestRandom, never, void>;
 /**
  * @tsplus static fncts.test.TestRandom feedBytes
  * @tsplus location "@fncts/test/control/TestRandom/api"
  */
-export declare function feedBytes(...bytes: ReadonlyArray<ReadonlyArray<Byte>>): import("@fncts/io/IO").IO<import("@fncts/base/typeclass").Has<TestRandom>, never, void>;
+export declare function feedBytes(...bytes: ReadonlyArray<ReadonlyArray<Byte>>): import("@fncts/io/IO").IO<TestRandom, never, void>;
 /**
  * @tsplus static fncts.test.TestRandom feedChars
  * @tsplus location "@fncts/test/control/TestRandom/api"
  */
-export declare function feedChars(...chars: ReadonlyArray<string>): import("@fncts/io/IO").IO<import("@fncts/base/typeclass").Has<TestRandom>, never, void>;
+export declare function feedChars(...chars: ReadonlyArray<string>): import("@fncts/io/IO").IO<TestRandom, never, void>;
 /**
  * @tsplus static fncts.test.TestRandom feedDoubles
  * @tsplus location "@fncts/test/control/TestRandom/api"
  */
-export declare function feedDoubles(...doubles: ReadonlyArray<number>): import("@fncts/io/IO").IO<import("@fncts/base/typeclass").Has<TestRandom>, never, void>;
+export declare function feedDoubles(...doubles: ReadonlyArray<number>): import("@fncts/io/IO").IO<TestRandom, never, void>;
 /**
  * @tsplus static fncts.test.TestRandom feedStrings
  * @tsplus location "@fncts/test/control/TestRandom/api"
  */
-export declare function feedStrings(...strings: ReadonlyArray<string>): import("@fncts/io/IO").IO<import("@fncts/base/typeclass").Has<TestRandom>, never, void>;
+export declare function feedStrings(...strings: ReadonlyArray<string>): import("@fncts/io/IO").IO<TestRandom, never, void>;
 /**
  * @tsplus static fncts.test.TestRandom feedBooleans
  * @tsplus location "@fncts/test/control/TestRandom/api"
  */
-export declare function feedBooleans(...booleans: ReadonlyArray<boolean>): import("@fncts/io/IO").IO<import("@fncts/base/typeclass").Has<TestRandom>, never, void>;
+export declare function feedBooleans(...booleans: ReadonlyArray<boolean>): import("@fncts/io/IO").IO<TestRandom, never, void>;
 /**
  * @tsplus static fncts.test.TestRandomOps make
  * @tsplus location "@fncts/test/control/TestRandom/api"
  */
-export declare function make(initialData: Data): Layer<unknown, never, unknown & Has<TestRandom>>;
+export declare function make(initialData: Data): Layer<never, never, Random | TestRandom>;
 /**
  * @tsplus static fncts.test.TestRandomOps Deterministic
  * @tsplus location "@fncts/test/control/TestRandom/api"
  */
-export declare const determinictic: import("@fncts/io/Layer").Layer<unknown, never, import("@fncts/base/typeclass").Has<TestRandom>>;
+export declare const determinictic: import("@fncts/io/Layer").Layer<never, never, import("@fncts/io/Random").Random | TestRandom>;
 /**
  * @tsplus static fncts.test.TestRandomOps Random
  * @tsplus location "@fncts/test/control/TestRandom/api"
  */
-export declare const random: Layer<unknown, never, Has<TestRandom>>;
+export declare const random: Layer<unknown, never, TestRandom>;

package/control/TestRunner.d.ts

@@ -1,5 +1,4 @@
 import { Layer } from "@fncts/io/Layer";
-import { Has } from "@fncts/base/typeclass";
 import { URIO } from "@fncts/io/IO";
 import { ExecutionStrategy } from "@fncts/base/data/ExecutionStrategy";
 import { Clock } from "@fncts/io/Clock";
@@ -14,7 +13,7 @@ export declare class TestRunner<R, E> {
     readonly executor: TestExecutor<R>;
     readonly runtimeConfig: RuntimeConfig;
     readonly reporter: TestReporter<E>;
-    readonly bootstrap: Layer<unknown, never, Has<TestLogger>>;
-    constructor(executor: TestExecutor<R>, runtimeConfig?: RuntimeConfig, reporter?: TestReporter<E>, bootstrap?: Layer<unknown, never, Has<TestLogger>>);
-    run(spec: Spec<R & Has<Annotations>, E>): URIO<Has<TestLogger>, ExecutedSpec<E>>;
+    readonly bootstrap: Layer<never, never, TestLogger>;
+    constructor(executor: TestExecutor<R>, runtimeConfig?: RuntimeConfig, reporter?: TestReporter<E>, bootstrap?: Layer<never, never, TestLogger>);
+    run(spec: Spec<R | Annotations, E>): URIO<TestLogger, ExecutedSpec<E>>;
 }

package/data/TestConfig.d.ts

@@ -1,5 +1,4 @@
 import { Layer } from "@fncts/io/Layer";
-import { Has } from "@fncts/base/typeclass";
 /**
  * @tsplus type fncts.test.data.TestConfig
  * @tsplus companion fncts.test.data.TestConfigOps
@@ -19,24 +18,24 @@ export declare const TestConfigTag: import("@fncts/base/data/Tag").Tag<TestConfi
  * @tsplus static fncts.test.data.TestConfigOps Live
  * @tsplus location "@fncts/test/data/TestConfig"
  */
-export declare function live(_: TestConfig): Layer<unknown, never, Has<TestConfig>>;
+export declare function live(_: TestConfig): Layer<never, never, TestConfig>;
 /**
  * @tsplus static fncts.test.data.TestConfigOps repeats
  * @tsplus location "@fncts/test/data/TestConfig"
  */
-export declare const repeats: import("@fncts/io/IO").IO<import("@fncts/base/typeclass").Has<TestConfig>, never, number>;
+export declare const repeats: import("@fncts/io/IO").IO<TestConfig, never, number>;
 /**
  * @tsplus static fncts.test.data.TestConfigOps retries
  * @tsplus location "@fncts/test/data/TestConfig"
  */
-export declare const retries: import("@fncts/io/IO").IO<import("@fncts/base/typeclass").Has<TestConfig>, never, number>;
+export declare const retries: import("@fncts/io/IO").IO<TestConfig, never, number>;
 /**
  * @tsplus static fncts.test.data.TestConfigOps samples
  * @tsplus location "@fncts/test/data/TestConfig"
  */
-export declare const samples: import("@fncts/io/IO").IO<import("@fncts/base/typeclass").Has<TestConfig>, never, number>;
+export declare const samples: import("@fncts/io/IO").IO<TestConfig, never, number>;
 /**
  * @tsplus static fncts.test.data.TestConfigOps shrinks
  * @tsplus location "@fncts/test/data/TestConfig"
  */
-export declare const shrinks: import("@fncts/io/IO").IO<import("@fncts/base/typeclass").Has<TestConfig>, never, number>;
+export declare const shrinks: import("@fncts/io/IO").IO<TestConfig, never, number>;

package/package.json

@@ -1,10 +1,10 @@
 {
   "name": "@fncts/test",
-  "version": "0.0.12",
+  "version": "0.0.13",
   "dependencies": {
-    "@fncts/base": "0.0.12",
-    "@fncts/io": "0.0.12",
-    "@fncts/typelevel": "0.0.10"
+    "@fncts/base": "0.0.13",
+    "@fncts/io": "0.0.13",
+    "@fncts/typelevel": "0.0.11"
   },
   "exports": {
     "./*": {

package/util/math.d.ts

@@ -1,11 +1,11 @@
-import { IO, URIO } from "@fncts/io/IO";
+import { IO, UIO } from "@fncts/io/IO";
 /** @internal */
 export declare const MIN_VALUE_32: number;
 /** @internal */
 export declare const MAX_VALUE_32: number;
 /** @internal */
 export declare const EPSILON_32: number;
-export declare function safeFloatToIndex(f: number, label: string): IO<unknown, never, number>;
+export declare function safeFloatToIndex(f: number, label: string): IO<never, never, number>;
 export declare function decomposeFloat(f: number): {
     exponent: number;
     significand: number;
@@ -110,7 +110,7 @@ export declare function indexToDouble(index: ArrayInt64): number;
  *
  * @internal
  */
-export declare function safeDoubleToIndex(d: number, label: string): IO<unknown, never, ArrayInt64>;
+export declare function safeDoubleToIndex(d: number, label: string): IO<never, never, ArrayInt64>;
 export declare function nextUp(x: number): number;
 export declare function nextAfter(x: number, y: number): number;
 export declare function computeBiasedRanges(min: ArrayInt64, max: ArrayInt64, biasedRanges?: {
@@ -123,7 +123,7 @@ export declare function computeBiasedRanges(min: ArrayInt64, max: ArrayInt64, bi
 export declare function computeArrayInt64GenerateRange(min: ArrayInt64, max: ArrayInt64, biasFactor: number | undefined, biasedRanges: {
     min: ArrayInt64;
     max: ArrayInt64;
-}[] | undefined): URIO<unknown, {
+}[] | undefined): UIO<{
     min: ArrayInt64;
     max: ArrayInt64;
 }>;