@fncts/test 0.0.39 → 0.0.40

package/_src/control/Gen.ts

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

package/_src/control/Live.ts

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

package/_src/control/Sample/definition.ts

@@ -3,5 +3,8 @@
  * @tsplus companion fncts.test.SampleOps
  */
 export class Sample<R, A> {
-  constructor(readonly value: A, readonly shrink: Stream<R, never, Maybe<Sample<R, A>>>) {}
+  constructor(
+    readonly value: A,
+    readonly shrink: Stream<R, never, Maybe<Sample<R, A>>>,
+  ) {}
 }

package/_src/control/Sample.ts

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

package/_src/control/Sized.ts

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

package/_src/control/Spec/definition.ts

@@ -38,7 +38,10 @@ export const enum SpecCaseTag {
  */
 export class ExecCase<Spec> {
   readonly _tag = SpecCaseTag.Exec;
-  constructor(readonly exec: ExecutionStrategy, readonly spec: Spec) {}
+  constructor(
+    readonly exec: ExecutionStrategy,
+    readonly spec: Spec,
+  ) {}
 }
 
 /**
@@ -46,7 +49,10 @@ export class ExecCase<Spec> {
  */
 export class LabeledCase<Spec> {
   readonly _tag = SpecCaseTag.Labeled;
-  constructor(readonly label: string, readonly spec: Spec) {}
+  constructor(
+    readonly label: string,
+    readonly spec: Spec,
+  ) {}
 }
 
 /**
@@ -73,7 +79,10 @@ export class TestCase<R, E, T> {
   readonly _E!: () => E;
   readonly _A!: () => T;
   readonly _tag = SpecCaseTag.Test;
-  constructor(readonly test: IO<R, E, T>, readonly annotations: TestAnnotationMap) {}
+  constructor(
+    readonly test: IO<R, E, T>,
+    readonly annotations: TestAnnotationMap,
+  ) {}
 }
 
 /**

package/_src/control/Spec.ts

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

package/_src/control/TestAnnotationRenderer.ts

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

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 {

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,8 +66,8 @@ 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,
     })

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);
+}