@fncts/test 0.0.32 → 0.0.34

package/control/Gen/api.d.ts

@@ -6,12 +6,17 @@ import { IO, URIO } from "@fncts/io/IO/definition";
 import { Stream } from "@fncts/io/Stream/definition";
 import { Maybe } from "@fncts/base/data/Maybe/definition";
 import { Eq } from "@fncts/base/data/Eq/definition";
-import type { EqConstraint, FloatConstraints, LengthConstraints, NumberConstraints } from "./constraints.js";
+import type { DateConstraints, EqConstraint, FloatConstraints, LengthConstraints, NumberConstraints, ObjectConstraints } from "./constraints.js";
 import type { _A, _R } from "@fncts/base/types.js";
 import type { ArrayInt64 } from "@fncts/base/util/rand";
 import { Sample } from "../Sample.js";
 import { Sized } from "../Sized.js";
 import { Gen } from "./definition.js";
+/**
+ * @tsplus static fncts.test.GenOps anything
+ * @tsplus location "@fncts/test/control/Gen/api"
+ */
+export declare function anything<C extends ObjectConstraints>(constraints?: C): Gen<ObjectConstraints extends C ? Sized : unknown extends C["key"] ? Sized : _R<C["key"]> | C["values"] extends Array<infer A> ? _R<A> : Sized, unknown>;
 /**
  * @tsplus static fncts.test.GenOps size
  * @tsplus location "@fncts/test/control/Gen/api"
@@ -373,3 +378,43 @@ export declare function tuple<A extends [...Gen<any, any>[]]>(...components: A):
 }[keyof A & number], {
     [K in keyof A]: [A[K]] extends [Gen<any, infer A>] ? A : never;
 }>;
+/**
+ * @tsplus static fncts.test.GenOps record
+ * @tsplus location "@fncts/test/control/Gen/api"
+ */
+export declare function record<R, R1, A>(key: Gen<R, string>, value: Gen<R1, A>, constraints?: LengthConstraints): Gen<Sized | R | R1, Record<string, A>>;
+/**
+ * @tsplus static fncts.test.GenOps date
+ * @tsplus location "@fncts/test/control/Gen/api"
+ */
+export declare function date(constraints?: DateConstraints): Gen<never, Date>;
+/**
+ * @tsplus static fncts.test.GenOps int8Array
+ * @tsplus location "@fncts/test/control/Gen/api"
+ */
+export declare function int8Array(constraints?: LengthConstraints & NumberConstraints): Gen<Sized, Int8Array>;
+/**
+ * @tsplus static fncts.test.GenOps int16Array
+ * @tsplus location "@fncts/test/control/Gen/api"
+ */
+export declare function int16Array(constraints?: LengthConstraints & NumberConstraints): Gen<Sized, Int16Array>;
+/**
+ * @tsplus static fncts.test.GenOps int32Array
+ * @tsplus location "@fncts/test/control/Gen/api"
+ */
+export declare function int32Array(constraints?: LengthConstraints & NumberConstraints): Gen<Sized, Int32Array>;
+/**
+ * @tsplus static fncts.test.GenOps uint8Array
+ * @tsplus location "@fncts/test/control/Gen/api"
+ */
+export declare function uint8Array(constraints?: LengthConstraints & NumberConstraints): Gen<Sized, Uint8Array>;
+/**
+ * @tsplus static fncts.test.GenOps uint16Array
+ * @tsplus location "@fncts/test/control/Gen/api"
+ */
+export declare function uint16Array(constraints?: LengthConstraints & NumberConstraints): Gen<Sized, Uint16Array>;
+/**
+ * @tsplus static fncts.test.GenOps uint32Array
+ * @tsplus location "@fncts/test/control/Gen/api"
+ */
+export declare function uint32Array(constraints?: LengthConstraints & NumberConstraints): Gen<Sized, Uint32Array>;

package/control/Live/definition.d.ts

@@ -12,11 +12,15 @@ export declare const LiveTag: import("@fncts/base/data/Tag").Tag<Live>;
 export declare abstract class Live {
     abstract provide<R, E, A>(io: IO<R, E, A>): IO<R, E, A>;
     static Default: Layer<IOEnv, never, Live>;
-    static Live<R extends Live, E, A>(io: IO<R, E, A>): IO<R | Live, E, A>;
+    static live<R extends Live, E, A>(io: IO<R, E, A>): IO<R | Live, E, A>;
 }
+/**
+ * @tsplus static fncts.io.IOOps liveWith
+ * @tsplus location "@fncts/test/control/Live/definition"
+ */
+export declare function liveWith<R, E, A>(f: (live: Live) => IO<R, E, A>): IO<R | Live, E, A>;
 /**
  * @tsplus static fncts.test.LiveOps withLive
  * @tsplus location "@fncts/test/control/Live/definition"
  */
-export declare function withLive_<R, E, A, E1, B>(io: IO<R, E, A>, f: (_: IO<never, E, A>) => IO<IOEnv, E1, B>): IO<Exclude<R, Live>, E | E1, B>;
 export declare function withLive<R extends Live, E, A>(io: IO<R, E, A>): <E1, B>(f: (_: IO<R, E, A>) => import("@fncts/io/IO").IO<R, E1, B>) => import("@fncts/io/IO").IO<Live | R, E1, B>;

package/control/TestRenderer/ConsoleRenderer.d.ts

@@ -13,3 +13,8 @@ export declare const ConsoleRenderer: ConsoleRenderer;
  * @tsplus location "@fncts/test/control/TestRenderer/ConsoleRenderer"
  */
 export declare function render(results: Vector<ExecutionResult>, testAnnotationRenderer: TestAnnotationRenderer): Vector<string>;
+/**
+ * @tsplus static fncts.test.ConsoleRenderer renderSingle
+ * @tsplus location "@fncts/test/control/TestRenderer/ConsoleRenderer"
+ */
+export declare function renderSingle(result: ExecutionResult, testAnnotationRenderer: TestAnnotationRenderer): string;

package/package.json

@@ -1,11 +1,14 @@
 {
   "name": "@fncts/test",
-  "version": "0.0.32",
+  "version": "0.0.34",
   "dependencies": {
-    "@fncts/base": "0.0.27",
-    "@fncts/io": "0.0.32",
+    "@fncts/base": "0.0.29",
+    "@fncts/io": "0.0.34",
     "@fncts/typelevel": "0.0.15"
   },
+  "peerDependencies": {
+    "vitest": "^0.30.1"
+  },
   "exports": {
     "./*": {
       "import": "./_mjs/*.mjs",

package/vitest.d.ts

@@ -0,0 +1,33 @@
+import { Lazy } from "@fncts/base/data/function/definition";
+import { Cons } from "@fncts/base/collection/immutable/List/definition";
+import { IO } from "@fncts/io/IO/definition";
+import type { TestResult } from "@fncts/test/data/FailureDetails";
+import { check, checkAllConcurrently, checkAllIOConcurrently, checkIO } from "@fncts/test/api";
+import { TestEnvironment } from "@fncts/test/control/TestEnvironment";
+import * as V from "vitest";
+export declare const describe: V.SuiteAPI;
+export declare const suite: V.SuiteAPI;
+export declare const it: ((name: string, test: Lazy<TestResult>, timeout?: number) => void) & {
+    skip: (name: string, test: Lazy<TestResult>, timeout?: number) => void;
+    only: (name: string, test: Lazy<TestResult>, timeout?: number) => void;
+    check: typeof check;
+    checkIO: typeof checkIO;
+    checkAll: typeof checkAllConcurrently;
+    checkAllIO: typeof checkAllIOConcurrently;
+    io: (<E>(name: string, io: import("@fncts/base/data/function").Lazy<import("@fncts/io/IO").IO<TestEnvironment, E, TestResult>>, timeout?: number) => void) & {
+        skip: <E_1>(name: string, io: import("@fncts/base/data/function").Lazy<import("@fncts/io/IO").IO<TestEnvironment, E_1, TestResult>>, timeout?: number) => void;
+        only: <E_2, A>(name: string, io: import("@fncts/base/data/function").Lazy<import("@fncts/io/IO").IO<TestEnvironment, E_2, TestResult>>, timeout?: number) => void;
+    };
+};
+export declare const test: ((name: string, test: Lazy<TestResult>, timeout?: number) => void) & {
+    skip: (name: string, test: Lazy<TestResult>, timeout?: number) => void;
+    only: (name: string, test: Lazy<TestResult>, timeout?: number) => void;
+    check: typeof check;
+    checkIO: typeof checkIO;
+    checkAll: typeof checkAllConcurrently;
+    checkAllIO: typeof checkAllIOConcurrently;
+    io: (<E>(name: string, io: import("@fncts/base/data/function").Lazy<import("@fncts/io/IO").IO<TestEnvironment, E, TestResult>>, timeout?: number) => void) & {
+        skip: <E_1>(name: string, io: import("@fncts/base/data/function").Lazy<import("@fncts/io/IO").IO<TestEnvironment, E_1, TestResult>>, timeout?: number) => void;
+        only: <E_2, A>(name: string, io: import("@fncts/base/data/function").Lazy<import("@fncts/io/IO").IO<TestEnvironment, E_2, TestResult>>, timeout?: number) => void;
+    };
+};

package/TestSpec.d.ts

@@ -1,6 +0,0 @@
-import { DefaultRunnableSpec } from "@fncts/test/control/DefaultRunnableSpec";
-declare class TestSpec extends DefaultRunnableSpec {
-    spec: import("../src/control/Spec").Spec<never, import("../src/data/TestFailure").TestFailure<never>>;
-}
-declare const _default: TestSpec;
-export default _default;

package/runTests.d.ts

@@ -1 +0,0 @@
-export {};