@fncts/test 0.0.38 → 0.0.40

package/_src/control/TestAspect.ts

@@ -1,4 +1,5 @@
+/* eslint-disable simple-import-sort/exports */
 // codegen:start { preset: barrel, include: ./TestAspect/*.ts }
-export * from "./TestAspect/api.js";
 export * from "./TestAspect/definition.js";
+export * from "./TestAspect/api.js";
 // codegen:end

package/_src/control/TestClock/definition.ts

@@ -8,11 +8,18 @@ import { FiberStatusTag } from "@fncts/io/FiberStatus";
 import { TestAnnotation } from "@fncts/test/data/TestAnnotation";
 
 export class Data {
-  constructor(readonly duration: number, readonly sleeps: List<readonly [number, Future<never, void>]>) {}
+  constructor(
+    readonly duration: number,
+    readonly sleeps: List<readonly [number, Future<never, void>]>,
+  ) {}
 }
 
 export class Sleep {
-  constructor(readonly duration: number, readonly promise: Future<never, void>, readonly fiberId: FiberId) {}
+  constructor(
+    readonly duration: number,
+    readonly promise: Future<never, void>,
+    readonly fiberId: FiberId,
+  ) {}
 }
 
 interface Start {
@@ -98,13 +105,13 @@ export class TestClock extends Clock {
   get supervizedFibers(): UIO<HashSet<Fiber.Runtime<any, any>>> {
     return IO.fiberId.flatMap((fiberId) =>
       this.annotations.get(TestAnnotation.Fibers).flatMap((_) =>
-        _.match(
-          (_) => IO.succeed(HashSet.empty()),
-          (fibers) =>
+        _.match({
+          Left: (_) => IO.succeed(HashSet.empty()),
+          Right: (fibers) =>
             IO.foreach(fibers, (ref) => ref.get)
               .map((_) => _.foldLeft(HashSet.empty<Fiber.Runtime<any, any>>(), (s0, s1) => s0.union(s1)))
               .map((set) => set.filter((f) => !Equatable.strictEquals(f.id, fiberId))),
-        ),
+        }),
       ),
     );
   }

package/_src/control/TestClock.ts

@@ -1,4 +1,5 @@
+/* eslint-disable simple-import-sort/exports */
 // codegen:start { preset: barrel, include: ./TestClock/*.ts }
-export * from "./TestClock/api.js";
 export * from "./TestClock/definition.js";
+export * from "./TestClock/api.js";
 // codegen:end

package/_src/control/TestConsole/definition.ts

@@ -15,7 +15,11 @@ export class ConsoleData extends CaseClass<{
  * @tsplus companion fncts.test.TestConsoleOps
  */
 export class TestConsole implements Console {
-  constructor(readonly consoleState: Ref<ConsoleData>, readonly live: Live, readonly debugState: FiberRef<boolean>) {}
+  constructor(
+    readonly consoleState: Ref<ConsoleData>,
+    readonly live: Live,
+    readonly debugState: FiberRef<boolean>,
+  ) {}
   show(...input: ReadonlyArray<unknown>): UIO<void> {
     return this.consoleState.update((data) =>
       data.copy({

package/_src/control/TestConsole.ts

@@ -1,4 +1,5 @@
+/* eslint-disable simple-import-sort/exports */
 // codegen:start { preset: barrel, include: ./TestConsole/*.ts }
-export * from "./TestConsole/api.js";
 export * from "./TestConsole/definition.js";
+export * from "./TestConsole/api.js";
 // codegen:end

package/_src/control/TestRandom/definition.ts

@@ -12,7 +12,10 @@ export const TestRandomTag = Tag<TestRandom>("fncts.test.TestRandom");
  * @tsplus companion fncts.test.TestRandomOps
  */
 export class TestRandom implements Random {
-  constructor(readonly randomState: Ref<Data>, readonly bufferState: Ref<Buffer>) {}
+  constructor(
+    readonly randomState: Ref<Data>,
+    readonly bufferState: Ref<Buffer>,
+  ) {}
   clearBooleans: UIO<void> = this.bufferState.update((buff) => buff.copy({ booleans: Vector.empty() }));
   clearBytes: UIO<void>    = this.bufferState.update((buff) => buff.copy({ bytes: Vector.empty() }));
   clearChars: UIO<void>    = this.bufferState.update((buff) => buff.copy({ chars: Vector.empty() }));

package/_src/control/TestRandom.ts

@@ -1,4 +1,5 @@
+/* eslint-disable simple-import-sort/exports */
 // codegen:start { preset: barrel, include: ./TestRandom/*.ts }
-export * from "./TestRandom/api.js";
 export * from "./TestRandom/definition.js";
+export * from "./TestRandom/api.js";
 // codegen:end

package/_src/control/TestRenderer/ConsoleRenderer.ts

@@ -50,7 +50,7 @@ export function renderSingle(result: ExecutionResult, testAnnotationRenderer: Te
     Other: () => new Message(Vector.from(result.lines)),
   });
   const renderedAnnotations = renderAnnotations(result.annotations, testAnnotationRenderer);
-  return renderToStringLines(output + renderedAnnotations).join("");
+  return renderToStringLines(output + renderedAnnotations).join("\n");
 }
 
 function renderSuite(status: Status, offset: number, message: Message) {

package/_src/control.ts

@@ -1,26 +1,24 @@
+/* eslint-disable simple-import-sort/exports */
 // codegen:start { preset: type-barrel, include: ./control/*.ts }
-export type {} from "./control/AbstractRunnableSpec.js";
-export type {} from "./control/Annotations.js";
-export type {} from "./control/Assertion.js";
-export type {} from "./control/AssertionIO.js";
-export type {} from "./control/DefaultRunnableSpec.js";
-export type {} from "./control/DefaultTestReporter.js";
-export type {} from "./control/FreeBooleanAlgebraIO.js";
-export type {} from "./control/Gen.js";
-export type {} from "./control/Live.js";
-export type {} from "./control/RunnableSpec.js";
-export type {} from "./control/Sample.js";
-export type {} from "./control/Sized.js";
-export type {} from "./control/Spec.js";
-export type {} from "./control/SummaryBuilder.js";
-export type {} from "./control/Test.js";
-export type {} from "./control/TestAnnotationRenderer.js";
-export type {} from "./control/TestAspect.js";
-export type {} from "./control/TestClock.js";
-export type {} from "./control/TestConsole.js";
-export type {} from "./control/TestEnvironment.js";
-export type {} from "./control/TestExecutor.js";
-export type {} from "./control/TestLogger.js";
 export type {} from "./control/TestRandom.js";
-export type {} from "./control/TestRunner.js";
+export type {} from "./control/TestLogger.js";
+export type {} from "./control/TestEnvironment.js";
+export type {} from "./control/TestConsole.js";
+export type {} from "./control/TestClock.js";
+export type {} from "./control/TestAspect.js";
+export type {} from "./control/TestAnnotationRenderer.js";
+export type {} from "./control/Test.js";
+export type {} from "./control/SummaryBuilder.js";
+export type {} from "./control/Spec.js";
+export type {} from "./control/Sized.js";
+export type {} from "./control/Sample.js";
+export type {} from "./control/Live.js";
+export type {} from "./control/Gen.js";
+export type {} from "./control/FreeBooleanAlgebraIO.js";
+export type {} from "./control/DefaultTestReporter.js";
+export type {} from "./control/DefaultRunnableSpec.js";
+export type {} from "./control/AssertionIO.js";
+export type {} from "./control/Assertion.js";
+export type {} from "./control/Annotations.js";
+export type {} from "./control/AbstractRunnableSpec.js";
 // codegen:end

package/_src/data/AssertionData.ts

@@ -11,7 +11,10 @@ export type AssertionDataTypeId = typeof AssertionDataTypeId;
  */
 export class AssertionData<A> {
   readonly [AssertionDataTypeId]: AssertionDataTypeId = AssertionDataTypeId;
-  constructor(readonly value: A, readonly assertion: Assertion<A>) {}
+  constructor(
+    readonly value: A,
+    readonly assertion: Assertion<A>,
+  ) {}
 }
 
 /**

package/_src/data/AssertionValue.ts

@@ -1,4 +1,5 @@
+/* eslint-disable simple-import-sort/exports */
 // codegen:start { preset: barrel, include: ./AssertionValue/*.ts }
-export * from "./AssertionValue/api.js";
 export * from "./AssertionValue/definition.js";
+export * from "./AssertionValue/api.js";
 // codegen:end

package/_src/data/ExecutedSpec/definition.ts

@@ -18,12 +18,18 @@ export class ExecutedSpec<E> {
 
 export class TestCase<E> {
   readonly _tag = ExecutedSpecCaseTag.Test;
-  constructor(readonly test: Either<TestFailure<E>, TestSuccess>, readonly annotations: TestAnnotationMap) {}
+  constructor(
+    readonly test: Either<TestFailure<E>, TestSuccess>,
+    readonly annotations: TestAnnotationMap,
+  ) {}
 }
 
 export class LabeledCase<A> {
   readonly _tag = ExecutedSpecCaseTag.Labeled;
-  constructor(readonly label: string, readonly spec: A) {}
+  constructor(
+    readonly label: string,
+    readonly spec: A,
+  ) {}
 }
 
 export class MultipleCase<A> {

package/_src/data/ExecutedSpec.ts

@@ -1,4 +1,5 @@
+/* eslint-disable simple-import-sort/exports */
 // codegen:start { preset: barrel, include: ./ExecutedSpec/*.ts }
-export * from "./ExecutedSpec/api.js";
 export * from "./ExecutedSpec/definition.js";
+export * from "./ExecutedSpec/api.js";
 // codegen:end

package/_src/data/FailureDetails.ts

@@ -9,5 +9,8 @@ import type { GenFailureDetails } from "./GenFailureDetails.js";
 export type TestResult = FreeBooleanAlgebra<FailureDetailsResult>;
 
 export class FailureDetails {
-  constructor(readonly assertion: Cons<AssertionValue<any>>, readonly gen: Maybe<GenFailureDetails<any>>) {}
+  constructor(
+    readonly assertion: Cons<AssertionValue<any>>,
+    readonly gen: Maybe<GenFailureDetails<any>>,
+  ) {}
 }

package/_src/data/FreeBooleanAlgebra/api.ts

@@ -55,8 +55,8 @@ export function failures<A>(self: FreeBooleanAlgebra<A>): Maybe<FreeBooleanAlgeb
             ? Either.right(l.right && r.right)
             : r
           : r.isRight()
-          ? l
-          : Either.left(l.left && r.left);
+            ? l
+            : Either.left(l.left && r.left);
       },
       Or: (l, r) => {
         Either.concrete(l);
@@ -66,12 +66,12 @@ export function failures<A>(self: FreeBooleanAlgebra<A>): Maybe<FreeBooleanAlgeb
             ? Either.right(l.right || r.right)
             : l
           : r.isRight()
-          ? r
-          : Either.left(l.left || r.left);
+            ? r
+            : Either.left(l.left || r.left);
       },
       Not: (v) => v.swap,
     })
-    .match(Maybe.just, () => Nothing());
+    .match({ Left: Maybe.just, Right: () => Nothing() });
 }
 
 /**

package/_src/data/FreeBooleanAlgebra/definition.ts

@@ -12,12 +12,18 @@ export class Value<A> {
 
 export class And<A> {
   readonly _tag = FreeBooleanAlgebraTag.And;
-  constructor(readonly left: FreeBooleanAlgebra<A>, readonly right: FreeBooleanAlgebra<A>) {}
+  constructor(
+    readonly left: FreeBooleanAlgebra<A>,
+    readonly right: FreeBooleanAlgebra<A>,
+  ) {}
 }
 
 export class Or<A> {
   readonly _tag = FreeBooleanAlgebraTag.Or;
-  constructor(readonly left: FreeBooleanAlgebra<A>, readonly right: FreeBooleanAlgebra<A>) {}
+  constructor(
+    readonly left: FreeBooleanAlgebra<A>,
+    readonly right: FreeBooleanAlgebra<A>,
+  ) {}
 }
 
 export class Not<A> {

package/_src/data/FreeBooleanAlgebra.ts

@@ -1,4 +1,5 @@
+/* eslint-disable simple-import-sort/exports */
 // codegen:start { preset: barrel, include: ./FreeBooleanAlgebra/*.ts }
-export * from "./FreeBooleanAlgebra/api.js";
 export * from "./FreeBooleanAlgebra/definition.js";
+export * from "./FreeBooleanAlgebra/api.js";
 // codegen:end

package/_src/data/GenFailureDetails.ts

@@ -1,3 +1,7 @@
 export class GenFailureDetails<A = any> {
-  constructor(readonly initialInput: A, readonly shrunkenInput: A, readonly iterations: number) {}
+  constructor(
+    readonly initialInput: A,
+    readonly shrunkenInput: A,
+    readonly iterations: number,
+  ) {}
 }

package/_src/data/LogLine/Fragment.ts

@@ -6,7 +6,10 @@ import { Style } from "./Style.js";
  * @tsplus companion fncts.test.data.FragmentOps
  */
 export class Fragment {
-  constructor(readonly text: string, readonly style: Style = Style.Default) {}
+  constructor(
+    readonly text: string,
+    readonly style: Style = Style.Default,
+  ) {}
 }
 
 /**

package/_src/data/LogLine/Line.ts

@@ -6,7 +6,10 @@ import { Message } from "./Message.js";
  * @tsplus companion fncts.test.data.LineOps
  */
 export class Line {
-  constructor(readonly fragments: Vector<Fragment> = Vector.empty(), readonly offset = 0) {}
+  constructor(
+    readonly fragments: Vector<Fragment> = Vector.empty(),
+    readonly offset = 0,
+  ) {}
 }
 
 /**

package/_src/data/Render/definition.ts

@@ -7,7 +7,10 @@ export const enum RenderTag {
 
 export class RenderFunction {
   readonly _tag = RenderTag.Function;
-  constructor(readonly name: string, readonly paramLists: Conc<Conc<RenderParam>>) {}
+  constructor(
+    readonly name: string,
+    readonly paramLists: Conc<Conc<RenderParam>>,
+  ) {}
   get rendered(): string {
     return `${this.name}(${this.paramLists.map((ps) => ps.map((p) => p.rendered).join(", ")).join("")})`;
   }
@@ -15,7 +18,11 @@ export class RenderFunction {
 
 export class RenderInfix {
   readonly _tag = RenderTag.Infix;
-  constructor(readonly left: RenderParam, readonly op: string, readonly right: RenderParam) {}
+  constructor(
+    readonly left: RenderParam,
+    readonly op: string,
+    readonly right: RenderParam,
+  ) {}
   get rendered(): string {
     return `(${this.left.rendered} ${this.op} ${this.right.rendered})`;
   }

package/_src/data/Render.ts

@@ -1,4 +1,5 @@
+/* eslint-disable simple-import-sort/exports */
 // codegen:start { preset: barrel, include: ./Render/*.ts }
-export * from "./Render/api.js";
 export * from "./Render/definition.js";
+export * from "./Render/api.js";
 // codegen:end

package/_src/data/RenderParam.ts

@@ -1,4 +1,5 @@
+/* eslint-disable simple-import-sort/exports */
 // codegen:start { preset: barrel, include: ./RenderParam/*.ts }
-export * from "./RenderParam/api.js";
 export * from "./RenderParam/definition.js";
+export * from "./RenderParam/api.js";
 // codegen:end

package/_src/data/Summary.ts

@@ -1,4 +1,9 @@
 export class Summary {
-  constructor(readonly success: number, readonly fail: number, readonly ignore: number, readonly summary: string) {}
+  constructor(
+    readonly success: number,
+    readonly fail: number,
+    readonly ignore: number,
+    readonly summary: string,
+  ) {}
   total = this.success + this.fail + this.ignore;
 }

package/_src/data/TestAnnotation/api.ts

@@ -42,10 +42,10 @@ export const Fibers = new TestAnnotation(FibersTag, "fibers", Either.left(0), (l
       ? Either.left(left.left + right.left)
       : right
     : left.isRight()
-    ? right.isRight()
-      ? Either.right(left.right.concat(right.right))
-      : right
-    : (() => {
-        throw new Error("absurd");
-      })();
+      ? right.isRight()
+        ? Either.right(left.right.concat(right.right))
+        : right
+      : (() => {
+          throw new Error("absurd");
+        })();
 });

package/_src/data/TestAnnotation.ts

@@ -1,4 +1,5 @@
+/* eslint-disable simple-import-sort/exports */
 // codegen:start { preset: barrel, include: ./TestAnnotation/*.ts }
-export * from "./TestAnnotation/api.js";
 export * from "./TestAnnotation/definition.js";
+export * from "./TestAnnotation/api.js";
 // codegen:end

package/_src/data/TestArgs.ts

@@ -1,3 +1,4 @@
+/* eslint-disable simple-import-sort/exports */
 // codegen:start { preset: barrel, include: ./TestArgs/*.ts }
 export * from "./TestArgs/definition.js";
 // codegen:end

package/_src/data.ts

@@ -1,21 +1,22 @@
+/* eslint-disable simple-import-sort/exports */
 // codegen:start { preset: type-barrel, include: ./data/*.ts }
-export type {} from "./data/AssertionData.js";
-export type {} from "./data/AssertionResult.js";
-export type {} from "./data/AssertionValue.js";
-export type {} from "./data/ExecutedSpec.js";
-export type {} from "./data/ExecutionResult.js";
-export type {} from "./data/FailureDetails.js";
-export type {} from "./data/FreeBooleanAlgebra.js";
-export type {} from "./data/GenFailureDetails.js";
-export type {} from "./data/LogLine.js";
-export type {} from "./data/Render.js";
-export type {} from "./data/RenderParam.js";
-export type {} from "./data/Summary.js";
-export type {} from "./data/TestAnnotation.js";
-export type {} from "./data/TestAnnotationMap.js";
-export type {} from "./data/TestArgs.js";
-export type {} from "./data/TestConfig.js";
-export type {} from "./data/TestFailure.js";
-export type {} from "./data/TestSuccess.js";
 export type {} from "./data/TestTimeoutException.js";
+export type {} from "./data/TestSuccess.js";
+export type {} from "./data/TestFailure.js";
+export type {} from "./data/TestConfig.js";
+export type {} from "./data/TestArgs.js";
+export type {} from "./data/TestAnnotationMap.js";
+export type {} from "./data/TestAnnotation.js";
+export type {} from "./data/Summary.js";
+export type {} from "./data/RenderParam.js";
+export type {} from "./data/Render.js";
+export type {} from "./data/LogLine.js";
+export type {} from "./data/GenFailureDetails.js";
+export type {} from "./data/FreeBooleanAlgebra.js";
+export type {} from "./data/FailureDetails.js";
+export type {} from "./data/ExecutionResult.js";
+export type {} from "./data/ExecutedSpec.js";
+export type {} from "./data/AssertionValue.js";
+export type {} from "./data/AssertionResult.js";
+export type {} from "./data/AssertionData.js";
 // codegen:end

package/_src/index.ts

@@ -1,8 +1,9 @@
-// codegen:start { preset: type-barrel, include: ./*.ts, exclude: ./vitest.ts }
-export type {} from "./api.js";
-export type {} from "./control.js";
-export type {} from "./data.js";
-export type {} from "./demo.js";
-export type {} from "./global.js";
+/* eslint-disable simple-import-sort/exports */
+// codegen:start { preset: type-barrel, include: ./*.ts, exclude: vitest.ts }
 export type {} from "./util.js";
+export type {} from "./global.js";
+export type {} from "./demo.js";
+export type {} from "./data.js";
+export type {} from "./control.js";
+export type {} from "./api.js";
 // codegen:end

package/_src/util.ts

@@ -1,3 +1,4 @@
+/* eslint-disable simple-import-sort/exports */
 // codegen:start { preset: type-barrel, include: ./util/*.ts }
 export type {} from "./util/math.js";
 // codegen:end

package/_src/vitest.ts

@@ -1,17 +1,15 @@
 import type { AssertionValue } from "@fncts/test/data/AssertionValue";
 import type { TestResult } from "@fncts/test/data/FailureDetails";
 
-import { identity } from "@fncts/base/data/function";
 import { check, checkAllConcurrently, checkAllIOConcurrently, checkIO } from "@fncts/test/api";
+import { Assertion } from "@fncts/test/control/Assertion";
 import { renderFragment } from "@fncts/test/control/DefaultTestReporter";
-import { Gen } from "@fncts/test/control/Gen";
 import { TestAnnotationRenderer } from "@fncts/test/control/TestAnnotationRenderer";
 import { TestEnvironment } from "@fncts/test/control/TestEnvironment";
 import { ConsoleRenderer } from "@fncts/test/control/TestRenderer/ConsoleRenderer";
 import { Failed, Passed, rendered, Test } from "@fncts/test/data/ExecutionResult";
-import { TestConfig } from "@fncts/test/data/TestConfig";
+import { RenderParam } from "@fncts/test/data/RenderParam";
 import * as V from "vitest";
-import { GenerateStackTrace } from "@fncts/io/IO";
 
 export const describe = V.describe;
 
@@ -26,15 +24,21 @@ export const it = (() => {
     if (result.isFailure) {
       const lines = (assertionValues: Cons<AssertionValue<any>>) =>
         assertionValues.flatMap((value) => List.from(renderFragment(value, 0).lines));
-      const renderedResult = ConsoleRenderer.renderSingle(
-        result.invert.fold({
-          Value: (details) => rendered(Test, "", Failed, 0, lines(details.failureDetails.assertion)),
-          And: (l, r) => l && r,
-          Or: (l, r) => l || r,
-          Not: (v) => v.invert,
-        }),
-        TestAnnotationRenderer.Default,
-      );
+
+      const renderedResult = result.failures
+        .map((failures) =>
+          ConsoleRenderer.renderSingle(
+            failures.fold({
+              Value: (details) => rendered(Test, "", Failed, 0, lines(details.failureDetails.assertion)),
+              And: (l, r) => l && r,
+              Or: (l, r) => l || r,
+              Not: (v) => v.invert,
+            }),
+            TestAnnotationRenderer.Default,
+          ),
+        )
+        .getOrElse("Unknown Test Failure");
+
       const error = new Error(renderedResult);
       error.stack = undefined;
       throw error;
@@ -53,7 +57,7 @@ export const it = (() => {
           if (result.isFailure) {
             const lines = (assertionValues: Cons<AssertionValue<any>>) => {
               return assertionValues.flatMap((value) => List.from(renderFragment(value, 0).lines));
-            }
+            };
             const renderedResult = ConsoleRenderer.renderSingle(
               result.fold({
                 Value: (details) => rendered(Test, "", Passed, 0, lines(details.failureDetails.assertion)),
@@ -92,7 +96,7 @@ export const it = (() => {
     checkAllIO: checkAllIOConcurrently,
     io: Object.assign(itIO, {
       scoped: <E>(name: string, io: Lazy<IO<TestEnvironment | Scope, E, TestResult>>, timeout = 5_000) => {
-        return itIO(name, io().scoped, timeout)
+        return itIO(name, io().scoped, timeout);
       },
       skip: <E>(name: string, io: Lazy<IO<TestEnvironment, E, TestResult>>, timeout = 5_000) => {
         return V.it.skip(name, () => runTestIO(io), timeout);
@@ -105,3 +109,10 @@ export const it = (() => {
 })();
 
 export const test = it;
+
+/**
+ * @tsplus static fncts.test.AssertionOps calledTimes
+ */
+export function calledTimes(times: number): Assertion<V.Mock> {
+  return Assertion.make("calledTimes", [RenderParam(times)], (mock) => mock.mock.calls.length === times);
+}

package/api.d.ts

@@ -20,7 +20,7 @@ export declare function assert<A>(assertion: Assertion<A>): (value: A) => TestRe
  * @tsplus pipeable fncts.io.IO assertIO
  * @tsplus location "@fncts/test/api"
  */
-export declare function assertIO<A>(assertion: AssertionIO<A>): <R, E>(io: import("@fncts/io/IO.js").IO<R, E, A>) => import("@fncts/io/IO.js").IO<R, E, TestResult>;
+export declare function assertIO<A>(assertion: AssertionIO<A>): <R, E>(io: IO<R, E, A>) => IO<R, E, TestResult>;
 export declare function suite<Specs extends ReadonlyArray<Spec<any, any>>>(label: string, ...specs: Specs): Spec<_R<Specs[number]>, _E<Specs[number]>>;
 export declare function testIO<R, E>(label: string, assertion: Lazy<IO<R, E, TestResult>>): Spec<R, E>;
 export declare function test(label: string, assertion: Lazy<TestResult>): Spec<never, never>;
@@ -28,19 +28,19 @@ export declare function test(label: string, assertion: Lazy<TestResult>): Spec<n
  * @tsplus pipeable fncts.test.Gen check
  * @tsplus location "@fncts/test/api"
  */
-export declare function check<A>(test: (a: A) => TestResult): <R>(rv: Gen<R, A>) => import("@fncts/io/IO.js").IO<TestConfig | R, never, TestResult>;
+export declare function check<A>(test: (a: A) => TestResult): <R>(rv: Gen<R, A>) => IO<R | TestConfig, never, TestResult>;
 /**
  * @tsplus pipeable fncts.test.Gen check
  * @tsplus location "@fncts/test/api"
  */
-export declare function checkIO<A, R1, E>(test: (a: A) => IO<R1, E, TestResult>): <R>(rv: Gen<R, A>) => import("@fncts/io/IO.js").IO<TestConfig | R1 | R, E, TestResult>;
+export declare function checkIO<A, R1, E>(test: (a: A) => IO<R1, E, TestResult>): <R>(rv: Gen<R, A>) => IO<R | R1 | TestConfig, E, TestResult>;
 /**
  * @tsplus pipeable fncts.test.Gen checkAllConcurrently
  * @tsplus location "@fncts/test/api"
  */
-export declare function checkAllConcurrently<A>(concurrency: number, test: (a: A) => TestResult): <R>(rv: Gen<R, A>) => import("@fncts/io/IO.js").IO<TestConfig | R, never, TestResult>;
+export declare function checkAllConcurrently<A>(concurrency: number, test: (a: A) => TestResult): <R>(rv: Gen<R, A>) => IO<R | TestConfig, never, TestResult>;
 /**
  * @tsplus pipeable fncts.test.Gen checkAllConcurrently
  * @tsplus location "@fncts/test/api"
  */
-export declare function checkAllIOConcurrently<A, R1, E>(concurrency: number, test: (a: A) => IO<R1, E, TestResult>): <R>(rv: Gen<R, A>) => import("@fncts/io/IO.js").IO<TestConfig | R1 | R, E, TestResult>;
+export declare function checkAllIOConcurrently<A, R1, E>(concurrency: number, test: (a: A) => IO<R1, E, TestResult>): <R>(rv: Gen<R, A>) => IO<R | R1 | TestConfig, E, TestResult>;

package/control/AbstractRunnableSpec.d.ts

@@ -23,4 +23,4 @@ export declare abstract class AbstractRunnableSpec<R, E> {
  * @tsplus pipeable-operator fncts.test.AbstractRunnableSpec +
  * @tsplus location "@fncts/test/control/AbstractRunnableSpec"
  */
-export declare function combine<R1, E1>(that: AbstractRunnableSpec<R1, E1>): <R, E>(self: AbstractRunnableSpec<R, E>) => AbstractRunnableSpec<R1 | R, E1 | E>;
+export declare function combine<R1, E1>(that: AbstractRunnableSpec<R1, E1>): <R, E>(self: AbstractRunnableSpec<R, E>) => AbstractRunnableSpec<R | R1, E | E1>;

package/control/Annotations/definition.d.ts

@@ -21,4 +21,4 @@ export declare abstract class Annotations {
  * @tsplus static fncts.test.AnnotationsOps Tag
  * @tsplus location "@fncts/test/control/Annotations/definition"
  */
-export declare const AnnotationsTag: import("@fncts/base/data/Tag.js").Tag<Annotations>;
+export declare const AnnotationsTag: import("@fncts/base/data/Tag.js").Tag<Annotations, Annotations>;

package/control/Annotations.d.ts

@@ -1,3 +1,3 @@
-export * from "./Annotations/api.js";
-export * from "./Annotations/definition.js";
 export * from "./Annotations/live.js";
+export * from "./Annotations/definition.js";
+export * from "./Annotations/api.js";

package/control/Assertion/api.d.ts

@@ -65,6 +65,7 @@ export declare const isTrue: Assertion<boolean>;
 export declare const isEmpty: Assertion<Iterable<any>>;
 export declare const isUnit: Assertion<void>;
 export declare function isLessThanOrEqualTo(n: number): Assertion<number>;
+export declare function isGreaterThanOrEqualTo(n: number): Assertion<number>;
 /**
  * @tsplus pipeable fncts.test.Assertion label
  * @tsplus location "@fncts/test/control/Assertion/api"
@@ -92,3 +93,4 @@ export declare function succeeds<A>(assertion: Assertion<A>): Assertion<Exit<any
  */
 export declare function test<A>(actual: A): (self: Assertion<A>) => boolean;
 export declare const completes: Assertion<unknown>;
+export declare function hasSize<A>(assertion: Assertion<number>): Assertion<Iterable<A>>;

package/control/Assertion.d.ts

@@ -1,2 +1,2 @@
-export * from "./Assertion/api.js";
 export * from "./Assertion/definition.js";
+export * from "./Assertion/api.js";

package/control/AssertionIO.d.ts

@@ -1,2 +1,2 @@
-export * from "./AssertionIO/api.js";
 export * from "./AssertionIO/definition.js";
+export * from "./AssertionIO/api.js";

package/control/DefaultTestReporter.d.ts

@@ -1,2 +1,2 @@
-export * from "./DefaultTestReporter/definition.js";
 export * from "./DefaultTestReporter/render.js";
+export * from "./DefaultTestReporter/definition.js";