@shivaedev/effect-test 0.3.1 → 0.3.2

package/CHANGELOG.md

@@ -1,5 +1,20 @@
 # Changelog
 
+## 0.3.2 - 2026-10-12
+
+### Added
+
+- `makeEffectIt` fixture testers accept Effect-returning bodies as well as generators, including table cases and tester variants. Both forms retain harness, service, clock and per-test Scope behavior.
+- Export `EffectTestBody<THarness, TProvided, A>` from `types.ts` to describe both fixture body forms.
+- `makeEffectIt` harnesses, wrappers, generator bodies and table bodies can use the per-test `Scope` already supplied by the runner. The worker Context and inferred Layer services stay unchanged; unrelated services still require a matching Layer.
+
+### Changed
+
+- Name descriptive generic type parameters with a `T` prefix, preserving test runner types and behavior.
+- Verify conditional skipping in an isolated Vitest fixture, with passing suite assertions for registration and body non-execution instead of a skipped suite test.
+- Explain the runner's purpose, service and test lifetimes, clock choices and typed readiness polling in the README, agent north star and package docs; publish `docs/` with the README.
+- Build package JavaScript, declarations and source maps with TypeScript 7.
+
 ## 0.3.1 - 2026-10-06
 
 ### Fixed

package/README.md

@@ -1,109 +1,233 @@
-# `@shivaedev/effect-test`
+# @shivaedev/effect-test
 
-A Vitest runner for Effect programs. The test Layer is built once per worker.
-Each test gets a fresh Scope, a generator body, and TestClock unless you ask
-for the live clock.
+Effect tests should spend their lines on the behavior they check. This package gives ordinary tests and reusable fixtures one Vitest runner, so a generator can use the application's services and a controlled clock without repeating the runner around every test.
 
-Prisma and tRPC testing helpers in this repository are thin wrappers around
-`makeEffectIt`. Use this package directly when those wrappers are the wrong
-shape.
+## Why you want this
 
-This package currently targets exact early-access versions of Effect v4. It is
-built for ShivaeDev applications and may change without a deprecation period.
+Wrapping every body in `Effect.gen` hides the test's work, and copying a runner into each fixture makes service and clock setup drift. Pass the generator itself and read the test from top to bottom:
 
-## Install
-
-```sh
-pnpm add --save-dev @shivaedev/effect-test @effect/vitest effect vitest
+```ts
+import { expect } from "@effect/vitest";
+import { Clock } from "effect";
+import * as TestClock from "effect/testing/TestClock";
+import { it } from "@shivaedev/effect-test/it.ts";
+
+it.effect("advances the test's time", function* () {
+  expect(yield* Clock.currentTimeMillis).toBe(0);
+  yield* TestClock.adjust("1 second");
+  expect(yield* Clock.currentTimeMillis).toBe(1000);
+});
 ```
 
-## `it`
+That is a whole test. The body starts at time zero and advances its clock by one second. For a suite that needs services, the same package makes a tester from a Layer and a harness, so the suite defines its plumbing once and each spec keeps its own work.
+
+## Using it
+
+### How to think about it
+
+There are two ways to enter the runner. `it.effect` and `it.live` are the ordinary testers: their body receives Vitest's test context and uses services it provides inside its own Effect. `makeEffectIt` defines a tester for a reusable fixture: its body receives a harness first, then the test context, and can yield the services its Layer provides.
 
-`@shivaedev/effect-test/it.ts` exports the `it` of `@effect/vitest`, whose `effect` and `live`
-testers also take the generator itself and run it with `Effect.gen`:
+A **Layer** describes how to acquire the fixture's services. `makeEffectIt` builds it in a Vitest worker fixture and retains the resulting Effect **Context**, the map from service keys to service values. A **harness** is the value made for one test using those services. It can hold a service, a fixture identifier or the domain entry points the test needs. The **test context** is Vitest's context, with the test's name, assertion helpers and hooks; it is a different thing from Effect's Context.
+
+Keep the two lifetimes separate. The worker owns the acquired Layer and its scope. Each test makes its harness and runs its body in a separate scope. Harnesses, wrappers, generator bodies and `each` bodies may acquire resources through that Scope; their finalizers run on success, failure and interruption. Scope is available per test and is not added to the worker Context. A shared service can retain mutable state across tests; a fresh harness alone does not reset it. Put application-state isolation in the fixture that owns that state, such as a database transaction wrapper.
+
+The work usually splits into two parts:
+
+1. Once per fixture, define its Layer, `makeHarness` and, when needed, an `around` wrapper in test support.
+2. In every test, write the generator and the assertions. For a test with no reusable fixture, use `it.effect` directly.
+
+### 1. Once per fixture: services and the harness
 
 ```ts
-import { it } from "@shivaedev/effect-test/it.ts"
+import { expect } from "@effect/vitest";
+import { Clock, Context, Effect, Layer } from "effect";
+import { makeEffectIt } from "@shivaedev/effect-test/vitest.ts";
 
-it.effect("starts at time zero", function* ({ task }) {
-  expect(yield* Clock.currentTimeMillis).toBe(0)
-})
+class Token extends Context.Service<Token, string>()("test/Token") {}
 
-it.live("waits on the real clock", function* () {
-  yield* Effect.sleep("10 millis")
-})
+const { effectApp } = makeEffectIt({
+  layer: Layer.succeed(Token, "from-layer"),
+  makeHarness: (context) => Effect.gen(function* () {
+    return {
+      name: context.task.name,
+      token: yield* Token,
+    };
+  }),
+});
+
+effectApp("reads the fixture's services", function* (harness, context) {
+  expect(harness.token).toBe("from-layer");
+  expect(harness.name).toBe(context.task.name);
+  expect(yield* Token).toBe("from-layer");
+});
 ```
 
-The body receives the Vitest test context; destructure what it reads. `effect`
-installs TestClock and the other test services, `live` keeps the live ones, and
-each runs the body in a Scope. A function that returns an Effect works as well,
-as with `@effect/vitest`. Each tester supports `each`, `fails`, `only`, `runIf`,
-`skip` and `skipIf`; an `each` body receives the table case.
+The Layer supplies `Token`. `makeHarness` runs for the test and reads that same service; the generator receives its result and can also yield `Token` directly. Harness fields and provided services keep their types. A body that requires a service the Layer does not provide does not type-check.
 
-## `makeEffectIt`
+A fixture that needs no services uses `Layer.empty`. This separate module
+replaces the token fixture above:
 
 ```ts
-import { Layer } from "effect"
-import { makeEffectIt } from "@shivaedev/effect-test/vitest.ts"
+import { expect } from "@effect/vitest";
+import { Effect, Layer } from "effect";
+import { makeEffectIt } from "@shivaedev/effect-test/vitest.ts";
 
 const { effectApp } = makeEffectIt({
-  layer: TestLive,
-  makeHarness: () => Effect.succeed({}),
-})
-
-effectApp("reads a service from the test Layer", function* (_harness, _context) {
-  const movies = yield* Movies
-  expect(yield* movies.list()).toEqual([])
-})
+  layer: Layer.empty,
+  makeHarness: () => Effect.succeed({ shelf: 0 }),
+});
+
+effectApp("uses a harness without services", function* (harness) {
+  expect(harness.shelf).toBe(0);
+});
 ```
 
-`makeHarness` runs inside the worker Layer and any `around` wrapper, then the
-generator receives that value as its first argument.
+There is no placeholder service. The harness is still inferred, and a body that tries to yield `Token` from this fixture does not compile. The Layer itself must have no unmet service requirements: compose its dependencies before passing it to the factory.
+
+#### Wrapping the harness and body
+
+This alternative token fixture adds a tracing wrapper:
 
 ```ts
+import { expect } from "@effect/vitest";
+import { Context, Effect, Layer } from "effect";
+import { makeEffectIt } from "@shivaedev/effect-test/vitest.ts";
+
+class Token extends Context.Service<Token, string>()("test/Token") {}
+
 const { effectApp } = makeEffectIt({
-  layer: DatabaseLive,
-  around: (effect) => withTestTransaction(Database, effect),
-  makeHarness: () => Database,
-})
+  around: (effect) => Effect.withSpan(effect, "test.token"),
+  layer: Layer.succeed(Token, "from-layer"),
+  makeHarness: () => Effect.service(Token),
+});
+
+effectApp("reads the harness", function* (token) {
+  expect(token).toBe("from-layer");
+});
+```
+
+`around` receives the Effect that makes the harness and then runs the body. The wrapper also has the Layer's services. This is where a fixture composes its tracing or transaction boundary. The database package owns whether that transaction rolls back; this runner does not add a database policy. The later examples use the first token fixture, whose harness contains `token` and `name`.
+
+`@shivaedev/effect-prisma` and `@shivaedev/effect-trpc` build their testing helpers on this factory. `@shivaedev/test-story` builds domain stories above it and owns traits, verbs, engine stepping and failure narration. Use those helpers when the test needs their vocabulary; use this runner when defining the fixture underneath. An application-owned story kit can lease PostgreSQL through its worker Layer, use `around` for real-commit resets or local rollback, and acquire servers, native RPC clients and React roots through per-test Scope. The [order feature kit](https://github.com/ShivaeDev/platform/tree/main/packages/effect-react/src/test-support/order-example) demonstrates that composition; [test-story’s kit guide](https://github.com/ShivaeDev/platform/tree/main/packages/test-story#whole-stack-application-kits) explains the application’s isolation, seed and screen responsibilities.
+
+### 2. In every test: the generator
+
+```ts
+import { expect } from "@effect/vitest";
+import { Effect } from "effect";
+import { it } from "@shivaedev/effect-test/it.ts";
+
+it.effect("reads an Effect result", function* ({ task }) {
+  expect(task.name).toBe("reads an Effect result");
+  expect(yield* Effect.succeed(3)).toBe(3);
+});
+
+it.effect("accepts an Effect-returning body", () =>
+  Effect.sync(() => expect(3).toBe(3)),
+);
+
+it.effect.each([1, 2])("passes the case %s", function* (count) {
+  expect(yield* Effect.succeed(count)).toBe(count);
+});
+```
+
+The ordinary body receives Vitest's context. An `each` body receives the table case instead. Both generator and Effect-returning bodies are accepted. `it` itself remains the plain Vitest tester.
+
+For a fixture's `effectApp.each`, the arguments are the case, harness and context:
+
+```ts
+effectApp.each(["alpha", "beta"])("checks %s", function* (item, harness, context) {
+  expect(context.task.name).toContain(item);
+  expect(harness.token).toBe("from-layer");
+});
 ```
 
-`effectApp` supports `skip`, `skipIf`, `runIf`, `only`, `each`, and `fails`.
+This uses the token fixture from the first example. Case and harness types are inferred. The fixture tester, `it.effect` and `it.live` accept generator bodies and Effect-returning functions. A synchronous DOM fixture test can return `Effect.sync(() => expect(harness.token).toBe("from-layer"))`; the harness, services and per-test Scope are the same for both body forms.
 
-## Clock
+### Choosing which clock runs the test
 
-Tests install TestClock and TestConsole. Pass `clock: "live"` on the factory or
-on a single test when the program must use wall-clock time:
+`it.effect` uses TestClock; `it.live` uses live time. A fixture defaults to `clock: "test"`. Its factory may choose `clock: "live"`, and a single test may override the factory in either direction:
 
 ```ts
-effectApp("talks to a real timer", function* () {
-  yield* Effect.sleep("10 millis")
-}, { clock: "live" })
+effectApp("reads live time", function* () {
+  expect(yield* Clock.currentTimeMillis).toBeGreaterThan(1_000_000);
+}, { clock: "live" });
 ```
 
-The worker Layer is acquired and released outside the per-test environment,
-using the live clock unless the Layer supplies its own. Fibers started during
-Layer acquisition keep that environment; advancing a test's TestClock does not
-advance their timers. The selected per-test clock applies to `around`,
-`makeHarness`, and the test body.
+The override changes the per-test environment used by the wrapper, harness and body. TestConsole is installed for both clock choices.
+
+Worker acquisition is separate: a Layer that reads the default Clock while it is being built sees live time, even when its tests use TestClock. A fiber started during that acquisition retains its worker environment, so advancing a test's clock does not advance that fiber's timers. A Layer that supplies its own Clock also supplies that service through its Context; the test's clock option chooses the outer environment and does not replace services explicitly supplied by the fixture.
+
+### Waiting for a typed readiness condition
 
-## `eventually`
+`eventually(effect, options)` retries the Effect's typed failures until it succeeds or uses its retry budget. Under TestClock it advances time with `TestClock.adjust`; under live time it retries with `Schedule.spaced`.
 
-Retries typed failures until the effect succeeds. Under TestClock it advances
-time with `TestClock.adjust`. Under `clock: "live"` it uses `Schedule.spaced`.
-`times` counts retries after the initial attempt; omitting it retries without a
-limit. Defects (including thrown assertions) and interruption propagate without
-retrying under either clock. Use `Effect.try(() => expect(...))` when an
-assertion failure is intentionally a retryable condition.
+```ts
+import { eventually } from "@shivaedev/effect-test/eventually.ts";
+
+effectApp("reaches the selected time", function* () {
+  const readyAt = yield* eventually(
+    Effect.gen(function* () {
+      const now = yield* Clock.currentTimeMillis;
+      return now >= 50 ? now : yield* Effect.fail("too-early");
+    }),
+    { interval: "7 millis", times: 8 },
+  );
+
+  expect(readyAt).toBe(56);
+});
+```
+
+The attempts see 0, 7, 14 and subsequent multiples of 7 through 56 milliseconds. `times` counts retries after the initial attempt, so `times: 0` tries once. When the budget runs out, the final typed failure remains the failure.
+
+A thrown assertion is a defect, so it escapes on the first attempt. Interruption also escapes immediately. Capture an assertion with `Effect.try` only when its failure means the state is not ready yet:
 
 ```ts
-import { eventually } from "@shivaedev/effect-test/eventually.ts"
-
-effectApp("sees a delayed write", function* ({ db }) {
-  const row = yield* eventually(db.Job.where({ id }).first(), {
-    interval: "10 millis",
-    times: 50,
-  })
-  expect(row.status).toBe("ready")
-})
+effectApp("retries a readiness assertion", function* () {
+  let attempts = 0;
+
+  yield* eventually(
+    Effect.try(() => {
+      attempts += 1;
+      expect(attempts).toBe(3);
+    }),
+    { interval: "1 millis", times: 3 },
+  );
+
+  expect(attempts).toBe(3);
+});
 ```
+
+This distinction applies under both clocks. The helper preserves the Effect's success, error and service types.
+
+### API
+
+Import the module that defines the name; the package has no root entry.
+
+| Module | Exports |
+| --- | --- |
+| `@shivaedev/effect-test/it.ts` | `it`, with generator-aware `effect` and `live` testers. |
+| `@shivaedev/effect-test/vitest.ts` | `makeEffectIt({ layer, makeHarness, around?, clock? })`, returning `{ effectApp }`. |
+| `@shivaedev/effect-test/eventually.ts` | `eventually(effect, options?)` and `EventuallyOptions`. |
+| `@shivaedev/effect-test/any-test-layer.ts` | `AnyTestLayer` and `buildTestLayer(layer, scope)`, an Effect that builds the Layer's service Context in the supplied scope. |
+| `@shivaedev/effect-test/types.ts` | `EffectClock`, `EffectTestOptions`, `EffectTestBody`, `EffectTest`, `EffectTester`, `MakeEffectItOptions`, `MakeEffectItResult`, `EffectItTest`, `EffectItTester` and `EffectIt`. |
+
+`effectApp(name, body, options?)` takes a generator or Effect-returning body with `(harness, context)`. Its `each(cases)` takes `(item, harness, context)`. Options are a timeout in milliseconds or Vitest test options with an optional `clock`.
+
+`it.effect` and `it.live` take `(name, body, options?)`; options are a timeout or Vitest test options. A regular body takes the context; an `each` body takes the case. These testers and `effectApp` expose `each`, `fails`, `only`, `runIf`, `skip` and `skipIf`.
+
+`EventuallyOptions` has `interval?: Duration.Input` and `times?: number`. The default interval is `"10 millis"`; omitting `times` leaves retries unbounded.
+
+### Install, setup and limits
+
+```sh
+pnpm add --save-dev @shivaedev/effect-test @effect/vitest@4.0.0-rc.112 effect@4.0.0-rc.112 vitest@4.1.11
+```
+
+The package declares `effect` as a peer and `@effect/vitest` as an optional peer. The Vitest runner modules require `@effect/vitest`; install it when using them. The package requires Node.js 24 or later. Use peer versions compatible with the package's `package.json`.
+
+- Define a fixture tester in test support and import it from Vitest tests. Calling `makeEffectIt` declares a Vitest fixture; it is not an application runtime factory.
+- The Layer is shared within its worker fixture. Reset application state in the harness or compose the fixture's own isolation wrapper when tests need it.
+- TestClock controls its Effect environment. It does not establish how external timers, real HTTP or a database behave.
+- An unbounded readiness poll can run until Vitest ends the test. Set a retry budget when the condition may never become true.
+- Compiler tests prove service requirements and inferred types; runtime tests prove the exercised clock and failure paths. Neither is evidence that a consumer's composed application has been validated.

package/dist/eventually.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"eventually.d.ts","sourceRoot":"","sources":["../src/eventually.ts"],"names":[],"mappings":"AAAA,OAAO,EAAS,KAAK,QAAQ,EAAE,MAAM,EAAoB,MAAM,QAAQ,CAAC;AAGxE,MAAM,WAAW,iBAAiB;IACjC,QAAQ,CAAC,QAAQ,CAAC,EAAE,QAAQ,CAAC,KAAK,CAAC;IACnC,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC;CACxB;AAgCD,eAAO,MAAM,UAAU,GAAI,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,QAAQ,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,UAAU,iBAAiB,KAAG,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAMpH,CAAC"}
+{"version":3,"file":"eventually.d.ts","sourceRoot":"","sources":["../src/eventually.ts"],"names":[],"mappings":"AAAA,OAAO,EAAS,KAAK,QAAQ,EAAE,MAAM,EAAoB,MAAM,QAAQ,CAAC;AAGxE,MAAM,WAAW,iBAAiB;IACjC,QAAQ,CAAC,QAAQ,CAAC,EAAE,QAAQ,CAAC,KAAK,CAAC;IACnC,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC;CACxB;AAoCD,eAAO,MAAM,UAAU,GAAI,CAAC,EAAE,CAAC,EAAE,CAAC,UAAU,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,YAAY,iBAAiB,KAAG,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAMpH,CAAC"}

package/dist/eventually.js

@@ -1,29 +1,35 @@
 import { Clock, Effect, Result, Schedule } from "effect";
 import * as TestClock from "effect/testing/TestClock";
 const defaultInterval = "10 millis";
-const isTestClock = (clock) => "adjust" in clock;
-const retryOnLiveClock = (effect, interval, times) => times === undefined
-    ? Effect.retry(effect, Schedule.spaced(interval))
-    : Effect.retry(effect, {
-        schedule: Schedule.spaced(interval),
-        times,
-    });
-const retryOnTestClock = (effect, interval, times) => Effect.gen(function* () {
-    let retriesLeft = times;
-    for (;;) {
-        const result = yield* Effect.result(effect);
-        if (Result.isSuccess(result)) {
-            return result.success;
-        }
-        if (retriesLeft === 0) {
-            return yield* Effect.fail(result.failure);
-        }
-        if (retriesLeft !== undefined) {
-            retriesLeft -= 1;
+function isTestClock(clock) {
+    return "adjust" in clock;
+}
+function retryOnLiveClock(effect, interval, times) {
+    return times === undefined
+        ? Effect.retry(effect, Schedule.spaced(interval))
+        : Effect.retry(effect, {
+            schedule: Schedule.spaced(interval),
+            times,
+        });
+}
+function retryOnTestClock(effect, interval, times) {
+    return Effect.gen(function* () {
+        let retriesLeft = times;
+        for (;;) {
+            const result = yield* Effect.result(effect);
+            if (Result.isSuccess(result)) {
+                return result.success;
+            }
+            if (retriesLeft === 0) {
+                return yield* Effect.fail(result.failure);
+            }
+            if (retriesLeft !== undefined) {
+                retriesLeft -= 1;
+            }
+            yield* TestClock.adjust(interval);
         }
-        yield* TestClock.adjust(interval);
-    }
-});
+    });
+}
 export const eventually = (effect, options) => Effect.gen(function* () {
     const interval = options?.interval ?? defaultInterval;
     const clock = yield* Clock.Clock;

package/dist/eventually.js.map

@@ -1 +1 @@
-{"version":3,"file":"eventually.js","sourceRoot":"","sources":["../src/eventually.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAiB,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,QAAQ,CAAC;AACxE,OAAO,KAAK,SAAS,MAAM,0BAA0B,CAAC;AAOtD,MAAM,eAAe,GAAG,WAAW,CAAC;AAEpC,MAAM,WAAW,GAAG,CAAC,KAAkB,EAAgC,EAAE,CAAC,QAAQ,IAAI,KAAK,CAAC;AAE5F,MAAM,gBAAgB,GAAG,CAAU,MAA8B,EAAE,QAAwB,EAAE,KAAyB,EAA0B,EAAE,CACjJ,KAAK,KAAK,SAAS;IAClB,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;IACjD,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,EAAE;QACrB,QAAQ,EAAE,QAAQ,CAAC,MAAM,CAAC,QAAQ,CAAC;QACnC,KAAK;KACL,CAAC,CAAC;AAEN,MAAM,gBAAgB,GAAG,CAAU,MAA8B,EAAE,QAAwB,EAAE,KAAyB,EAA0B,EAAE,CACjJ,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IACnB,IAAI,WAAW,GAAG,KAAK,CAAC;IACxB,SAAS,CAAC;QACT,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;QAC5C,IAAI,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,CAAC;YAC9B,OAAO,MAAM,CAAC,OAAO,CAAC;QACvB,CAAC;QACD,IAAI,WAAW,KAAK,CAAC,EAAE,CAAC;YACvB,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;QAC3C,CAAC;QACD,IAAI,WAAW,KAAK,SAAS,EAAE,CAAC;YAC/B,WAAW,IAAI,CAAC,CAAC;QAClB,CAAC;QACD,KAAK,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;IACnC,CAAC;AACF,CAAC,CAAC,CAAC;AAEJ,MAAM,CAAC,MAAM,UAAU,GAAG,CAAU,MAA8B,EAAE,OAA2B,EAA0B,EAAE,CAC1H,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IACnB,MAAM,QAAQ,GAAG,OAAO,EAAE,QAAQ,IAAI,eAAe,CAAC;IACtD,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC;IACjC,MAAM,KAAK,GAAG,WAAW,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC,CAAC,gBAAgB,CAAC;IACvE,OAAO,KAAK,CAAC,CAAC,KAAK,CAAC,MAAM,EAAE,QAAQ,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC;AACvD,CAAC,CAAC,CAAC"}
+{"version":3,"file":"eventually.js","sourceRoot":"","sources":["../src/eventually.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAiB,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,QAAQ,CAAC;AACxE,OAAO,KAAK,SAAS,MAAM,0BAA0B,CAAC;AAOtD,MAAM,eAAe,GAAG,WAAW,CAAC;AAEpC,SAAS,WAAW,CAAC,KAAkB;IACtC,OAAO,QAAQ,IAAI,KAAK,CAAC;AAC1B,CAAC;AAED,SAAS,gBAAgB,CAAU,MAA8B,EAAE,QAAwB,EAAE,KAAyB;IACrH,OAAO,KAAK,KAAK,SAAS;QACzB,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;QACjD,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,EAAE;YACrB,QAAQ,EAAE,QAAQ,CAAC,MAAM,CAAC,QAAQ,CAAC;YACnC,KAAK;SACL,CAAC,CAAC;AACN,CAAC;AAED,SAAS,gBAAgB,CAAU,MAA8B,EAAE,QAAwB,EAAE,KAAyB;IACrH,OAAO,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QAC1B,IAAI,WAAW,GAAG,KAAK,CAAC;QACxB,SAAS,CAAC;YACT,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;YAC5C,IAAI,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,CAAC;gBAC9B,OAAO,MAAM,CAAC,OAAO,CAAC;YACvB,CAAC;YACD,IAAI,WAAW,KAAK,CAAC,EAAE,CAAC;gBACvB,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;YAC3C,CAAC;YACD,IAAI,WAAW,KAAK,SAAS,EAAE,CAAC;gBAC/B,WAAW,IAAI,CAAC,CAAC;YAClB,CAAC;YACD,KAAK,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;QACnC,CAAC;IACF,CAAC,CAAC,CAAC;AACJ,CAAC;AAED,MAAM,CAAC,MAAM,UAAU,GAAG,CAAU,MAA8B,EAAE,OAA2B,EAA0B,EAAE,CAC1H,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IACnB,MAAM,QAAQ,GAAG,OAAO,EAAE,QAAQ,IAAI,eAAe,CAAC;IACtD,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC;IACjC,MAAM,KAAK,GAAG,WAAW,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC,CAAC,gBAAgB,CAAC;IACvE,OAAO,KAAK,CAAC,CAAC,KAAK,CAAC,MAAM,EAAE,QAAQ,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC;AACvD,CAAC,CAAC,CAAC"}

package/dist/types.d.ts

@@ -6,23 +6,24 @@ export type EffectClock = "test" | "live";
 export type EffectTestOptions = TestOptions & {
     readonly clock?: EffectClock;
 };
-export type EffectTest<Harness, Provided> = <A, Eff extends Effect.Effect<unknown, unknown, Provided>>(name: string, body: (harness: Harness, context: TestContext) => Generator<Eff, A, never>, options?: number | EffectTestOptions) => void;
-export interface EffectTester<Harness, Provided> extends EffectTest<Harness, Provided> {
-    readonly each: <Item>(cases: readonly Item[]) => <A, Eff extends Effect.Effect<unknown, unknown, Provided>>(name: string, body: (item: Item, harness: Harness, context: TestContext) => Generator<Eff, A, never>, options?: number | EffectTestOptions) => void;
-    readonly fails: EffectTest<Harness, Provided>;
-    readonly only: EffectTest<Harness, Provided>;
-    readonly runIf: (condition: unknown) => EffectTest<Harness, Provided>;
-    readonly skip: EffectTest<Harness, Provided>;
-    readonly skipIf: (condition: unknown) => EffectTest<Harness, Provided>;
+export type EffectTestBody<THarness, TProvided, A = unknown> = (harness: THarness, context: TestContext) => Generator<Effect.Effect<unknown, unknown, TProvided | Scope.Scope>, A, never> | Effect.Effect<A, unknown, TProvided | Scope.Scope>;
+export type EffectTest<THarness, TProvided> = <A, TEff extends Effect.Effect<unknown, unknown, TProvided | Scope.Scope>>(name: string, body: (harness: THarness, context: TestContext) => Generator<TEff, A, never> | Effect.Effect<A, unknown, TProvided | Scope.Scope>, options?: number | EffectTestOptions) => void;
+export interface EffectTester<THarness, TProvided> extends EffectTest<THarness, TProvided> {
+    readonly each: <TItem>(cases: readonly TItem[]) => <A, TEff extends Effect.Effect<unknown, unknown, TProvided | Scope.Scope>>(name: string, body: (item: TItem, harness: THarness, context: TestContext) => Generator<TEff, A, never> | Effect.Effect<A, unknown, TProvided | Scope.Scope>, options?: number | EffectTestOptions) => void;
+    readonly fails: EffectTest<THarness, TProvided>;
+    readonly only: EffectTest<THarness, TProvided>;
+    readonly runIf: (condition: unknown) => EffectTest<THarness, TProvided>;
+    readonly skip: EffectTest<THarness, TProvided>;
+    readonly skipIf: (condition: unknown) => EffectTest<THarness, TProvided>;
 }
-export interface MakeEffectItOptions<Harness, TestLayer extends AnyTestLayer> {
-    readonly around?: (<A, E>(effect: Effect.Effect<A, E, Layer.Success<TestLayer>>) => Effect.Effect<A, unknown, Layer.Success<TestLayer>>) | undefined;
+export interface MakeEffectItOptions<THarness, TTestLayer extends AnyTestLayer> {
+    readonly around?: (<A, E>(effect: Effect.Effect<A, E, Layer.Success<TTestLayer> | Scope.Scope>) => Effect.Effect<A, unknown, Layer.Success<TTestLayer> | Scope.Scope>) | undefined;
     readonly clock?: EffectClock | undefined;
-    readonly layer: TestLayer;
-    readonly makeHarness: (context: TestContext) => Effect.Effect<Harness, unknown, Layer.Success<TestLayer>>;
+    readonly layer: TTestLayer;
+    readonly makeHarness: (context: TestContext) => Effect.Effect<THarness, unknown, Layer.Success<TTestLayer> | Scope.Scope>;
 }
-export interface MakeEffectItResult<Harness, Provided> {
-    readonly effectApp: EffectTester<Harness, Provided>;
+export interface MakeEffectItResult<THarness, TProvided> {
+    readonly effectApp: EffectTester<THarness, TProvided>;
 }
 export interface EffectItTest<R, TArgs extends readonly unknown[] = [context: TestContext]> {
     <TEffect extends Effect.Effect<unknown, unknown, R>, A>(name: string, body: (...args: TArgs) => Generator<TEffect, A, never>, options?: number | TestOptions): void;

package/dist/types.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../src/types.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,WAAW,EAAE,WAAW,EAAE,MAAM,gBAAgB,CAAC;AAC/D,OAAO,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,QAAQ,CAAC;AACnD,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,QAAQ,CAAC;AACtC,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,qBAAqB,CAAC;AAExD,MAAM,MAAM,WAAW,GAAG,MAAM,GAAG,MAAM,CAAC;AAE1C,MAAM,MAAM,iBAAiB,GAAG,WAAW,GAAG;IAC7C,QAAQ,CAAC,KAAK,CAAC,EAAE,WAAW,CAAC;CAC7B,CAAC;AAEF,MAAM,MAAM,UAAU,CAAC,OAAO,EAAE,QAAQ,IAAI,CAAC,CAAC,EAAE,GAAG,SAAS,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,OAAO,EAAE,QAAQ,CAAC,EACpG,IAAI,EAAE,MAAM,EACZ,IAAI,EAAE,CAAC,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,WAAW,KAAK,SAAS,CAAC,GAAG,EAAE,CAAC,EAAE,KAAK,CAAC,EAC1E,OAAO,CAAC,EAAE,MAAM,GAAG,iBAAiB,KAChC,IAAI,CAAC;AAEV,MAAM,WAAW,YAAY,CAAC,OAAO,EAAE,QAAQ,CAAE,SAAQ,UAAU,CAAC,OAAO,EAAE,QAAQ,CAAC;IACrF,QAAQ,CAAC,IAAI,EAAE,CAAC,IAAI,EACnB,KAAK,EAAE,SAAS,IAAI,EAAE,KAClB,CAAC,CAAC,EAAE,GAAG,SAAS,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,OAAO,EAAE,QAAQ,CAAC,EAC7D,IAAI,EAAE,MAAM,EACZ,IAAI,EAAE,CAAC,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,WAAW,KAAK,SAAS,CAAC,GAAG,EAAE,CAAC,EAAE,KAAK,CAAC,EACtF,OAAO,CAAC,EAAE,MAAM,GAAG,iBAAiB,KAChC,IAAI,CAAC;IACV,QAAQ,CAAC,KAAK,EAAE,UAAU,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC;IAC9C,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC;IAC7C,QAAQ,CAAC,KAAK,EAAE,CAAC,SAAS,EAAE,OAAO,KAAK,UAAU,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC;IACtE,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC;IAC7C,QAAQ,CAAC,MAAM,EAAE,CAAC,SAAS,EAAE,OAAO,KAAK,UAAU,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC;CACvE;AAED,MAAM,WAAW,mBAAmB,CAAC,OAAO,EAAE,SAAS,SAAS,YAAY;IAC3E,QAAQ,CAAC,MAAM,CAAC,EACb,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,KAAK,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,KAAK,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,GACtH,SAAS,CAAC;IACb,QAAQ,CAAC,KAAK,CAAC,EAAE,WAAW,GAAG,SAAS,CAAC;IACzC,QAAQ,CAAC,KAAK,EAAE,SAAS,CAAC;IAC1B,QAAQ,CAAC,WAAW,EAAE,CAAC,OAAO,EAAE,WAAW,KAAK,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC;CAC1G;AAED,MAAM,WAAW,kBAAkB,CAAC,OAAO,EAAE,QAAQ;IACpD,QAAQ,CAAC,SAAS,EAAE,YAAY,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC;CACpD;AAED,MAAM,WAAW,YAAY,CAAC,CAAC,EAAE,KAAK,SAAS,SAAS,OAAO,EAAE,GAAG,CAAC,OAAO,EAAE,WAAW,CAAC;IACzF,CAAC,OAAO,SAAS,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,OAAO,EAAE,CAAC,CAAC,EAAE,CAAC,EACrD,IAAI,EAAE,MAAM,EACZ,IAAI,EAAE,CAAC,GAAG,IAAI,EAAE,KAAK,KAAK,SAAS,CAAC,OAAO,EAAE,CAAC,EAAE,KAAK,CAAC,EACtD,OAAO,CAAC,EAAE,MAAM,GAAG,WAAW,GAC5B,IAAI,CAAC;IACR,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,GAAG,IAAI,EAAE,KAAK,KAAK,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,OAAO,CAAC,EAAE,MAAM,GAAG,WAAW,GAAG,IAAI,CAAC;CAC7G;AAED,MAAM,WAAW,cAAc,CAAC,CAAC,CAAE,SAAQ,YAAY,CAAC,CAAC,CAAC;IACzD,QAAQ,CAAC,IAAI,EAAE,CAAC,KAAK,EAAE,KAAK,EAAE,SAAS,KAAK,EAAE,KAAK,YAAY,CAAC,CAAC,EAAE,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC;IAClF,QAAQ,CAAC,KAAK,EAAE,YAAY,CAAC,CAAC,CAAC,CAAC;IAChC,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC,CAAC,CAAC;IAC/B,QAAQ,CAAC,KAAK,EAAE,CAAC,SAAS,EAAE,OAAO,KAAK,YAAY,CAAC,CAAC,CAAC,CAAC;IACxD,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC,CAAC,CAAC;IAC/B,QAAQ,CAAC,MAAM,EAAE,CAAC,SAAS,EAAE,OAAO,KAAK,YAAY,CAAC,CAAC,CAAC,CAAC;CACzD;AAED,MAAM,MAAM,QAAQ,GAAG,OAAO,GAAG;IAChC,QAAQ,CAAC,MAAM,EAAE,cAAc,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IAC7C,QAAQ,CAAC,IAAI,EAAE,cAAc,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;CAC3C,CAAC"}
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../src/types.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,WAAW,EAAE,WAAW,EAAE,MAAM,gBAAgB,CAAC;AAC/D,OAAO,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,QAAQ,CAAC;AACnD,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,QAAQ,CAAC;AACtC,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,qBAAqB,CAAC;AAExD,MAAM,MAAM,WAAW,GAAG,MAAM,GAAG,MAAM,CAAC;AAE1C,MAAM,MAAM,iBAAiB,GAAG,WAAW,GAAG;IAC7C,QAAQ,CAAC,KAAK,CAAC,EAAE,WAAW,CAAC;CAC7B,CAAC;AAEF,MAAM,MAAM,cAAc,CAAC,QAAQ,EAAE,SAAS,EAAE,CAAC,GAAG,OAAO,IAAI,CAC9D,OAAO,EAAE,QAAQ,EACjB,OAAO,EAAE,WAAW,KAChB,SAAS,CAAC,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,OAAO,EAAE,SAAS,GAAG,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC,EAAE,KAAK,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,OAAO,EAAE,SAAS,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC;AAExI,MAAM,MAAM,UAAU,CAAC,QAAQ,EAAE,SAAS,IAAI,CAAC,CAAC,EAAE,IAAI,SAAS,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,OAAO,EAAE,SAAS,GAAG,KAAK,CAAC,KAAK,CAAC,EACtH,IAAI,EAAE,MAAM,EACZ,IAAI,EAAE,CAAC,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,WAAW,KAAK,SAAS,CAAC,IAAI,EAAE,CAAC,EAAE,KAAK,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,OAAO,EAAE,SAAS,GAAG,KAAK,CAAC,KAAK,CAAC,EACjI,OAAO,CAAC,EAAE,MAAM,GAAG,iBAAiB,KAChC,IAAI,CAAC;AAEV,MAAM,WAAW,YAAY,CAAC,QAAQ,EAAE,SAAS,CAAE,SAAQ,UAAU,CAAC,QAAQ,EAAE,SAAS,CAAC;IACzF,QAAQ,CAAC,IAAI,EAAE,CAAC,KAAK,EACpB,KAAK,EAAE,SAAS,KAAK,EAAE,KACnB,CAAC,CAAC,EAAE,IAAI,SAAS,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,OAAO,EAAE,SAAS,GAAG,KAAK,CAAC,KAAK,CAAC,EAC7E,IAAI,EAAE,MAAM,EACZ,IAAI,EAAE,CAAC,IAAI,EAAE,KAAK,EAAE,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,WAAW,KAAK,SAAS,CAAC,IAAI,EAAE,CAAC,EAAE,KAAK,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,OAAO,EAAE,SAAS,GAAG,KAAK,CAAC,KAAK,CAAC,EAC9I,OAAO,CAAC,EAAE,MAAM,GAAG,iBAAiB,KAChC,IAAI,CAAC;IACV,QAAQ,CAAC,KAAK,EAAE,UAAU,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC;IAChD,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC;IAC/C,QAAQ,CAAC,KAAK,EAAE,CAAC,SAAS,EAAE,OAAO,KAAK,UAAU,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC;IACxE,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC;IAC/C,QAAQ,CAAC,MAAM,EAAE,CAAC,SAAS,EAAE,OAAO,KAAK,UAAU,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC;CACzE;AAED,MAAM,WAAW,mBAAmB,CAAC,QAAQ,EAAE,UAAU,SAAS,YAAY;IAC7E,QAAQ,CAAC,MAAM,CAAC,EACb,CAAC,CAAC,CAAC,EAAE,CAAC,EACN,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,KAAK,CAAC,OAAO,CAAC,UAAU,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC,KAC/D,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,CAAC,UAAU,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,GACxE,SAAS,CAAC;IACb,QAAQ,CAAC,KAAK,CAAC,EAAE,WAAW,GAAG,SAAS,CAAC;IACzC,QAAQ,CAAC,KAAK,EAAE,UAAU,CAAC;IAC3B,QAAQ,CAAC,WAAW,EAAE,CAAC,OAAO,EAAE,WAAW,KAAK,MAAM,CAAC,MAAM,CAAC,QAAQ,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,CAAC,UAAU,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC;CAC1H;AAED,MAAM,WAAW,kBAAkB,CAAC,QAAQ,EAAE,SAAS;IACtD,QAAQ,CAAC,SAAS,EAAE,YAAY,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC;CACtD;AAED,MAAM,WAAW,YAAY,CAAC,CAAC,EAAE,KAAK,SAAS,SAAS,OAAO,EAAE,GAAG,CAAC,OAAO,EAAE,WAAW,CAAC;IACzF,CAAC,OAAO,SAAS,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,OAAO,EAAE,CAAC,CAAC,EAAE,CAAC,EACrD,IAAI,EAAE,MAAM,EACZ,IAAI,EAAE,CAAC,GAAG,IAAI,EAAE,KAAK,KAAK,SAAS,CAAC,OAAO,EAAE,CAAC,EAAE,KAAK,CAAC,EACtD,OAAO,CAAC,EAAE,MAAM,GAAG,WAAW,GAC5B,IAAI,CAAC;IACR,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,GAAG,IAAI,EAAE,KAAK,KAAK,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,OAAO,CAAC,EAAE,MAAM,GAAG,WAAW,GAAG,IAAI,CAAC;CAC7G;AAED,MAAM,WAAW,cAAc,CAAC,CAAC,CAAE,SAAQ,YAAY,CAAC,CAAC,CAAC;IACzD,QAAQ,CAAC,IAAI,EAAE,CAAC,KAAK,EAAE,KAAK,EAAE,SAAS,KAAK,EAAE,KAAK,YAAY,CAAC,CAAC,EAAE,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC;IAClF,QAAQ,CAAC,KAAK,EAAE,YAAY,CAAC,CAAC,CAAC,CAAC;IAChC,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC,CAAC,CAAC;IAC/B,QAAQ,CAAC,KAAK,EAAE,CAAC,SAAS,EAAE,OAAO,KAAK,YAAY,CAAC,CAAC,CAAC,CAAC;IACxD,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC,CAAC,CAAC;IAC/B,QAAQ,CAAC,MAAM,EAAE,CAAC,SAAS,EAAE,OAAO,KAAK,YAAY,CAAC,CAAC,CAAC,CAAC;CACzD;AAED,MAAM,MAAM,QAAQ,GAAG,OAAO,GAAG;IAChC,QAAQ,CAAC,MAAM,EAAE,cAAc,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IAC7C,QAAQ,CAAC,IAAI,EAAE,cAAc,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;CAC3C,CAAC"}

package/dist/vitest.d.ts

@@ -1,5 +1,5 @@
 import { Layer } from "effect";
 import { type AnyTestLayer } from "./any-test-layer.ts";
 import type { MakeEffectItOptions, MakeEffectItResult } from "./types.ts";
-export declare const makeEffectIt: <Harness, TestLayer extends AnyTestLayer>(options: MakeEffectItOptions<Harness, TestLayer>) => MakeEffectItResult<Harness, Layer.Success<TestLayer>>;
+export declare const makeEffectIt: <THarness, TTestLayer extends AnyTestLayer>(options: MakeEffectItOptions<THarness, TTestLayer>) => MakeEffectItResult<THarness, Layer.Success<TTestLayer>>;
 //# sourceMappingURL=vitest.d.ts.map

package/dist/vitest.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"vitest.d.ts","sourceRoot":"","sources":["../src/vitest.ts"],"names":[],"mappings":"AACA,OAAO,EAAqC,KAAK,EAAS,MAAM,QAAQ,CAAC;AAGzE,OAAO,EAAE,KAAK,YAAY,EAAkB,MAAM,qBAAqB,CAAC;AACxE,OAAO,KAAK,EAA4D,mBAAmB,EAAE,kBAAkB,EAAE,MAAM,YAAY,CAAC;AAkEpI,eAAO,MAAM,YAAY,GAAI,OAAO,EAAE,SAAS,SAAS,YAAY,EACnE,SAAS,mBAAmB,CAAC,OAAO,EAAE,SAAS,CAAC,KAC9C,kBAAkB,CAAC,OAAO,EAAE,KAAK,CAAC,OAAO,CAAC,SAAS,CAAC,CAyEtD,CAAC"}
+{"version":3,"file":"vitest.d.ts","sourceRoot":"","sources":["../src/vitest.ts"],"names":[],"mappings":"AACA,OAAO,EAAqC,KAAK,EAAS,MAAM,QAAQ,CAAC;AAGzE,OAAO,EAAE,KAAK,YAAY,EAAkB,MAAM,qBAAqB,CAAC;AACxE,OAAO,KAAK,EAA4E,mBAAmB,EAAE,kBAAkB,EAAE,MAAM,YAAY,CAAC;AAqEpJ,eAAO,MAAM,YAAY,GAAI,QAAQ,EAAE,UAAU,SAAS,YAAY,WAC5D,mBAAmB,CAAC,QAAQ,EAAE,UAAU,CAAC,KAChD,kBAAkB,CAAC,QAAQ,EAAE,KAAK,CAAC,OAAO,CAAC,UAAU,CAAC,CAuExD,CAAC"}

package/dist/vitest.js

@@ -6,11 +6,15 @@ import { buildTestLayer } from "./any-test-layer.js";
 const fixtureName = "__effectTestContext";
 const TestClockEnvironment = Layer.mergeAll(TestConsole.layer, TestClock.layer());
 const LiveClockEnvironment = TestConsole.layer;
-const environmentFor = (clock) => (clock === "live" ? LiveClockEnvironment : TestClockEnvironment);
-const restoreContext = (fixture, context) => ({
-    ...context,
-    [fixtureName]: fixture,
-});
+function environmentFor(clock) {
+    return clock === "live" ? LiveClockEnvironment : TestClockEnvironment;
+}
+function restoreContext(fixture, context) {
+    return {
+        ...context,
+        [fixtureName]: fixture,
+    };
+}
 const runEffectTest = (effect, context, clock) => Effect.runPromise(Effect.gen(function* () {
     const exit = yield* Effect.exit(effect);
     if (Exit.isFailure(exit)) {
@@ -20,7 +24,7 @@ const runEffectTest = (effect, context, clock) => Effect.runPromise(Effect.gen(f
     }
     return yield* exit;
 }).pipe(Effect.scoped, Effect.provide(environmentFor(clock))), { signal: context.signal });
-const splitOptions = (options) => {
+function splitOptions(options) {
     if (typeof options === "number") {
         return { clock: undefined, vitest: { timeout: options } };
     }
@@ -29,46 +33,51 @@ const splitOptions = (options) => {
     }
     const { clock, ...vitest } = options;
     return { clock, vitest };
-};
-const makeFixtureIt = (layer) => effectIt.extend(fixtureName, { scope: "worker" }, async ({}, { onCleanup }) => {
-    const scope = Effect.runSync(Scope.make());
-    onCleanup(() => Effect.runPromise(Scope.close(scope, Exit.void)));
-    try {
-        return await Effect.runPromise(buildTestLayer(layer, scope));
-    }
-    catch (error) {
-        await Effect.runPromise(Scope.close(scope, Exit.void));
-        throw error;
-    }
-});
+}
+function makeFixtureIt(layer) {
+    return effectIt.extend(fixtureName, { scope: "worker" }, async ({}, { onCleanup }) => {
+        const scope = Effect.runSync(Scope.make());
+        onCleanup(() => Effect.runPromise(Scope.close(scope, Exit.void)));
+        try {
+            return await Effect.runPromise(buildTestLayer(layer, scope));
+        }
+        catch (error) {
+            await Effect.runPromise(Scope.close(scope, Exit.void));
+            throw error;
+        }
+    });
+}
 export const makeEffectIt = (options) => {
     const fixtureIt = makeFixtureIt(options.layer);
     const defaultClock = options.clock ?? "test";
-    const run = (body, context) => {
+    function run(body, context) {
         const ready = Effect.gen(function* () {
             const harness = yield* options.makeHarness(context);
-            return yield* Effect.gen(() => body(harness, context));
+            const result = body(harness, context);
+            return yield* Effect.isEffect(result) ? result : Effect.gen(() => result);
         });
         const wrapped = options.around?.(ready) ?? ready;
         return wrapped.pipe(Effect.provide(context[fixtureName]));
-    };
-    const register = (current) => (name, body, testOptions) => {
-        const split = splitOptions(testOptions);
-        const clock = split.clock ?? defaultClock;
-        current(name, split.vitest, ({ __effectTestContext, task, signal, onTestFailed, onTestFinished, skip, annotate, expect, _local }) => {
-            const context = restoreContext(__effectTestContext, {
-                _local,
-                annotate,
-                expect,
-                onTestFailed,
-                onTestFinished,
-                signal,
-                skip,
-                task,
+    }
+    function register(current) {
+        return (name, body, testOptions) => {
+            const split = splitOptions(testOptions);
+            const clock = split.clock ?? defaultClock;
+            current(name, split.vitest, ({ __effectTestContext, task, signal, onTestFailed, onTestFinished, skip, annotate, expect, _local }) => {
+                const context = restoreContext(__effectTestContext, {
+                    _local,
+                    annotate,
+                    expect,
+                    onTestFailed,
+                    onTestFinished,
+                    signal,
+                    skip,
+                    task,
+                });
+                return runEffectTest(run(body, context), context, clock);
             });
-            return runEffectTest(run(body, context), context, clock);
-        });
-    };
+        };
+    }
     const effectApp = Object.assign(register(fixtureIt), {
         each: (cases) => (name, body, testOptions) => {
             const split = splitOptions(testOptions);

package/dist/vitest.js.map

@@ -1 +1 @@
-{"version":3,"file":"vitest.js","sourceRoot":"","sources":["../src/vitest.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,EAAE,IAAI,QAAQ,EAAsC,MAAM,gBAAgB,CAAC;AACpF,OAAO,EAAE,KAAK,EAAgB,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,QAAQ,CAAC;AACzE,OAAO,KAAK,SAAS,MAAM,0BAA0B,CAAC;AACtD,OAAO,KAAK,WAAW,MAAM,4BAA4B,CAAC;AAC1D,OAAO,EAAqB,cAAc,EAAE,MAAM,qBAAqB,CAAC;AAGxE,MAAM,WAAW,GAAG,qBAAqB,CAAC;AAQ1C,MAAM,oBAAoB,GAAG,KAAK,CAAC,QAAQ,CAAC,WAAW,CAAC,KAAK,EAAE,SAAS,CAAC,KAAK,EAAE,CAAC,CAAC;AAClF,MAAM,oBAAoB,GAAG,WAAW,CAAC,KAAK,CAAC;AAE/C,MAAM,cAAc,GAAG,CAAC,KAAkB,EAAE,EAAE,CAAC,CAAC,KAAK,KAAK,MAAM,CAAC,CAAC,CAAC,oBAAoB,CAAC,CAAC,CAAC,oBAAoB,CAAC,CAAC;AAEhH,MAAM,cAAc,GAAG,CACtB,OAAkC,EAClC,OAA0D,EAChC,EAAE,CAAC,CAAC;IAC9B,GAAG,OAAO;IACV,CAAC,WAAW,CAAC,EAAE,OAAO;CACtB,CAAC,CAAC;AAEH,MAAM,aAAa,GAAG,CAAO,MAAwC,EAAE,OAAoB,EAAE,KAAkB,EAAc,EAAE,CAC9H,MAAM,CAAC,UAAU,CAChB,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IACnB,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IACxC,IAAI,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC;QAC1B,KAAK,MAAM,KAAK,IAAI,KAAK,CAAC,YAAY,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;YACpD,KAAK,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;QAC/B,CAAC;IACF,CAAC;IACD,OAAO,KAAK,CAAC,CAAC,IAAI,CAAC;AACpB,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,OAAO,CAAC,cAAc,CAAC,KAAK,CAAC,CAAC,CAAC,EAC7D,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,CAC1B,CAAC;AAEH,MAAM,YAAY,GAAG,CACpB,OAA+C,EAI9C,EAAE;IACH,IAAI,OAAO,OAAO,KAAK,QAAQ,EAAE,CAAC;QACjC,OAAO,EAAE,KAAK,EAAE,SAAS,EAAE,MAAM,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE,EAAE,CAAC;IAC3D,CAAC;IACD,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;QAC3B,OAAO,EAAE,KAAK,EAAE,SAAS,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC;IACzC,CAAC;IACD,MAAM,EAAE,KAAK,EAAE,GAAG,MAAM,EAAE,GAAG,OAAO,CAAC;IACrC,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC;AAC1B,CAAC,CAAC;AAEF,MAAM,aAAa,GAAG,CAA8B,KAAa,EAAE,EAAE,CACpE,QAAQ,CAAC,MAAM,CAAC,WAAW,EAAE,EAAE,KAAK,EAAE,QAAQ,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,EAAE,SAAS,EAAE,EAAE,EAAE;IAC7E,MAAM,KAAK,GAAG,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC;IAC3C,SAAS,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,UAAU,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAElE,IAAI,CAAC;QACJ,OAAO,MAAM,MAAM,CAAC,UAAU,CAAC,cAAc,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC;IAC9D,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QAChB,MAAM,MAAM,CAAC,UAAU,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;QACvD,MAAM,KAAK,CAAC;IACb,CAAC;AACF,CAAC,CAAC,CAAC;AAEJ,MAAM,CAAC,MAAM,YAAY,GAAG,CAC3B,OAAgD,EACQ,EAAE;IAE1D,MAAM,SAAS,GAAG,aAAa,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;IAC/C,MAAM,YAAY,GAAG,OAAO,CAAC,KAAK,IAAI,MAAM,CAAC;IAE7C,MAAM,GAAG,GAAG,CACX,IAAgH,EAChH,OAAgC,EACS,EAAE;QAC3C,MAAM,KAAK,GAAwC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;YACtE,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,OAAO,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC;YACpD,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC;QACxD,CAAC,CAAC,CAAC;QACH,MAAM,OAAO,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC;QACjD,OAAO,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC;IAC3D,CAAC,CAAC;IAEF,MAAM,QAAQ,GACb,CAAC,OAA8B,EAAiC,EAAE,CAClE,CAAC,IAAI,EAAE,IAAI,EAAE,WAAW,EAAE,EAAE;QAC3B,MAAM,KAAK,GAAG,YAAY,CAAC,WAAW,CAAC,CAAC;QACxC,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,IAAI,YAAY,CAAC;QAC1C,OAAO,CAAC,IAAI,EAAE,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,mBAAmB,EAAE,IAAI,EAAE,MAAM,EAAE,YAAY,EAAE,cAAc,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,EAAE,EAAE,EAAE;YACnI,MAAM,OAAO,GAAG,cAAc,CAAC,mBAAmB,EAAE;gBACnD,MAAM;gBACN,QAAQ;gBACR,MAAM;gBACN,YAAY;gBACZ,cAAc;gBACd,MAAM;gBACN,IAAI;gBACJ,IAAI;aACJ,CAAC,CAAC;YACH,OAAO,aAAa,CAAC,GAAG,CAAC,IAAI,EAAE,OAAO,CAAC,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC;QAC1D,CAAC,CAAC,CAAC;IACJ,CAAC,CAAC;IAEH,MAAM,SAAS,GAAoC,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,SAAS,CAAC,EAAE;QACrF,IAAI,EACH,CAAO,KAAsB,EAAE,EAAE,CACjC,CACC,IAAY,EACZ,IAAsF,EACtF,WAAwC,EACvC,EAAE;YACH,MAAM,KAAK,GAAG,YAAY,CAAC,WAAW,CAAC,CAAC;YACxC,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,IAAI,YAAY,CAAC;YAC1C,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,CACnB,IAAI,EACJ,KAAK,CAAC,MAAM,EACZ,CAAC,IAAI,EAAE,EAAE,mBAAmB,EAAE,IAAI,EAAE,MAAM,EAAE,YAAY,EAAE,cAAc,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,EAAE,EAAE,EAAE;gBAC7G,MAAM,OAAO,GAAG,cAAc,CAAC,mBAAmB,EAAE;oBACnD,MAAM;oBACN,QAAQ;oBACR,MAAM;oBACN,YAAY;oBACZ,cAAc;oBACd,MAAM;oBACN,IAAI;oBACJ,IAAI;iBACJ,CAAC,CAAC;gBACH,OAAO,aAAa,CAAC,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,WAAW,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,EAAE,WAAW,CAAC,EAAE,OAAO,CAAC,CAAC,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC;YAC/H,CAAC,CACD,CAAC;QACH,CAAC;QACF,KAAK,EAAE,QAAQ,CAAC,SAAS,CAAC,KAAK,CAAC;QAChC,IAAI,EAAE,QAAQ,CAAC,SAAS,CAAC,IAAI,CAAC;QAC9B,KAAK,EAAE,CAAC,SAAkB,EAAE,EAAE,CAAC,QAAQ,CAAC,SAAS,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;QACnE,IAAI,EAAE,QAAQ,CAAC,SAAS,CAAC,IAAI,CAAC;QAC9B,MAAM,EAAE,CAAC,SAAkB,EAAE,EAAE,CAAC,QAAQ,CAAC,SAAS,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;KACrE,CAAC,CAAC;IAEH,OAAO,EAAE,SAAS,EAAE,CAAC;AACtB,CAAC,CAAC"}
+{"version":3,"file":"vitest.js","sourceRoot":"","sources":["../src/vitest.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,EAAE,IAAI,QAAQ,EAAsC,MAAM,gBAAgB,CAAC;AACpF,OAAO,EAAE,KAAK,EAAgB,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,QAAQ,CAAC;AACzE,OAAO,KAAK,SAAS,MAAM,0BAA0B,CAAC;AACtD,OAAO,KAAK,WAAW,MAAM,4BAA4B,CAAC;AAC1D,OAAO,EAAqB,cAAc,EAAE,MAAM,qBAAqB,CAAC;AAGxE,MAAM,WAAW,GAAG,qBAAqB,CAAC;AAQ1C,MAAM,oBAAoB,GAAG,KAAK,CAAC,QAAQ,CAAC,WAAW,CAAC,KAAK,EAAE,SAAS,CAAC,KAAK,EAAE,CAAC,CAAC;AAClF,MAAM,oBAAoB,GAAG,WAAW,CAAC,KAAK,CAAC;AAE/C,SAAS,cAAc,CAAC,KAAkB;IACzC,OAAO,KAAK,KAAK,MAAM,CAAC,CAAC,CAAC,oBAAoB,CAAC,CAAC,CAAC,oBAAoB,CAAC;AACvE,CAAC;AAED,SAAS,cAAc,CACtB,OAAmC,EACnC,OAA2D;IAE3D,OAAO;QACN,GAAG,OAAO;QACV,CAAC,WAAW,CAAC,EAAE,OAAO;KACtB,CAAC;AACH,CAAC;AAED,MAAM,aAAa,GAAG,CAAO,MAAwC,EAAE,OAAoB,EAAE,KAAkB,EAAc,EAAE,CAC9H,MAAM,CAAC,UAAU,CAChB,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IACnB,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IACxC,IAAI,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC;QAC1B,KAAK,MAAM,KAAK,IAAI,KAAK,CAAC,YAAY,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;YACpD,KAAK,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;QAC/B,CAAC;IACF,CAAC;IACD,OAAO,KAAK,CAAC,CAAC,IAAI,CAAC;AACpB,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,OAAO,CAAC,cAAc,CAAC,KAAK,CAAC,CAAC,CAAC,EAC7D,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,CAC1B,CAAC;AAEH,SAAS,YAAY,CAAC,OAA+C;IAIpE,IAAI,OAAO,OAAO,KAAK,QAAQ,EAAE,CAAC;QACjC,OAAO,EAAE,KAAK,EAAE,SAAS,EAAE,MAAM,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE,EAAE,CAAC;IAC3D,CAAC;IACD,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;QAC3B,OAAO,EAAE,KAAK,EAAE,SAAS,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC;IACzC,CAAC;IACD,MAAM,EAAE,KAAK,EAAE,GAAG,MAAM,EAAE,GAAG,OAAO,CAAC;IACrC,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC;AAC1B,CAAC;AAED,SAAS,aAAa,CAA8B,KAAa;IAChE,OAAO,QAAQ,CAAC,MAAM,CAAC,WAAW,EAAE,EAAE,KAAK,EAAE,QAAQ,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,EAAE,SAAS,EAAE,EAAE,EAAE;QACpF,MAAM,KAAK,GAAG,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC;QAC3C,SAAS,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,UAAU,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAElE,IAAI,CAAC;YACJ,OAAO,MAAM,MAAM,CAAC,UAAU,CAAC,cAAc,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC;QAC9D,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YAChB,MAAM,MAAM,CAAC,UAAU,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;YACvD,MAAM,KAAK,CAAC;QACb,CAAC;IACF,CAAC,CAAC,CAAC;AACJ,CAAC;AAED,MAAM,CAAC,MAAM,YAAY,GAAG,CAC3B,OAAkD,EACQ,EAAE;IAE5D,MAAM,SAAS,GAAG,aAAa,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;IAC/C,MAAM,YAAY,GAAG,OAAO,CAAC,KAAK,IAAI,MAAM,CAAC;IAE7C,SAAS,GAAG,CAAI,IAA2C,EAAE,OAAgC;QAC5F,MAAM,KAAK,GAAsD,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;YACpF,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,OAAO,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC;YACpD,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;YACtC,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,CAAC;QAC3E,CAAC,CAAC,CAAC;QACH,MAAM,OAAO,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC;QACjD,OAAO,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC;IAC3D,CAAC;IAED,SAAS,QAAQ,CAAC,OAA8B;QAC/C,OAAO,CAAC,IAAI,EAAE,IAAI,EAAE,WAAW,EAAE,EAAE;YAClC,MAAM,KAAK,GAAG,YAAY,CAAC,WAAW,CAAC,CAAC;YACxC,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,IAAI,YAAY,CAAC;YAC1C,OAAO,CAAC,IAAI,EAAE,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,mBAAmB,EAAE,IAAI,EAAE,MAAM,EAAE,YAAY,EAAE,cAAc,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,EAAE,EAAE,EAAE;gBACnI,MAAM,OAAO,GAAG,cAAc,CAAC,mBAAmB,EAAE;oBACnD,MAAM;oBACN,QAAQ;oBACR,MAAM;oBACN,YAAY;oBACZ,cAAc;oBACd,MAAM;oBACN,IAAI;oBACJ,IAAI;iBACJ,CAAC,CAAC;gBACH,OAAO,aAAa,CAAC,GAAG,CAAC,IAAI,EAAE,OAAO,CAAC,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC;YAC1D,CAAC,CAAC,CAAC;QACJ,CAAC,CAAC;IACH,CAAC;IAED,MAAM,SAAS,GAAqC,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,SAAS,CAAC,EAAE;QACtF,IAAI,EACH,CAAQ,KAAuB,EAAE,EAAE,CACnC,CACC,IAAY,EACZ,IAA6I,EAC7I,WAAwC,EACvC,EAAE;YACH,MAAM,KAAK,GAAG,YAAY,CAAC,WAAW,CAAC,CAAC;YACxC,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,IAAI,YAAY,CAAC;YAC1C,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,CACnB,IAAI,EACJ,KAAK,CAAC,MAAM,EACZ,CAAC,IAAI,EAAE,EAAE,mBAAmB,EAAE,IAAI,EAAE,MAAM,EAAE,YAAY,EAAE,cAAc,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,EAAE,EAAE,EAAE;gBAC7G,MAAM,OAAO,GAAG,cAAc,CAAC,mBAAmB,EAAE;oBACnD,MAAM;oBACN,QAAQ;oBACR,MAAM;oBACN,YAAY;oBACZ,cAAc;oBACd,MAAM;oBACN,IAAI;oBACJ,IAAI;iBACJ,CAAC,CAAC;gBACH,OAAO,aAAa,CAAC,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,WAAW,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,EAAE,WAAW,CAAC,EAAE,OAAO,CAAC,CAAC,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC;YAC/H,CAAC,CACD,CAAC;QACH,CAAC;QACF,KAAK,EAAE,QAAQ,CAAC,SAAS,CAAC,KAAK,CAAC;QAChC,IAAI,EAAE,QAAQ,CAAC,SAAS,CAAC,IAAI,CAAC;QAC9B,KAAK,EAAE,CAAC,SAAkB,EAAE,EAAE,CAAC,QAAQ,CAAC,SAAS,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;QACnE,IAAI,EAAE,QAAQ,CAAC,SAAS,CAAC,IAAI,CAAC;QAC9B,MAAM,EAAE,CAAC,SAAkB,EAAE,EAAE,CAAC,QAAQ,CAAC,SAAS,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;KACrE,CAAC,CAAC;IAEH,OAAO,EAAE,SAAS,EAAE,CAAC;AACtB,CAAC,CAAC"}

package/docs/north-star.md

@@ -0,0 +1,43 @@
+# North star
+
+## The problem
+
+An Effect test needs more than a Promise runner. It needs the application's services, a scope for work that must be released, a clock it can control and a way to wait for a typed readiness condition. When each database or transport fixture writes that machinery, small differences become differences in correctness: a clock advances in one helper but waits in another, a retry catches a defect, or a service is acquired at the wrong lifetime.
+
+The package gives those fixtures one runner. A test names its work as a generator, and a fixture supplies its Layer and the value the test receives. The test still uses Effect's services, failure channel and clock, and Vitest still declares and reports the test.
+
+## The ideal
+
+A test contains the work specific to that test. Shared service acquisition, per-test harness construction and an optional wrapper are defined once in test support. A plain Effect test needs no custom fixture: its generator goes directly to `it.effect` or `it.live`.
+
+The boundary between worker and test is explicit. A worker owns the acquired service Context, while a test owns its harness and execution scope. A shared database service does not imply fresh database contents, and a fresh harness does not imply a freshly acquired service. The fixture that owns application state chooses how to reset or transact it.
+
+Time is part of the Effect environment. A controlled test clock makes a readiness poll cheap and inspectable; live time remains an explicit choice for work that needs it. A typed readiness failure means “try again”. A defect means something broke, and interruption means the run must stop. These are different outcomes and the runner must keep them different.
+
+## What good looks like
+
+- A generator reaches the application's real services instead of converting them into a separate testing API.
+- A Layer, a harness and a wrapper are enough to define a reusable fixture. Their types are inferred, and a body cannot silently ask for a service the fixture does not provide.
+- Resource lifetimes are visible in the design and backed by tests at the boundaries where this package adds behavior.
+- Clock selection does not imply control over resources that were acquired in a different environment.
+- A failed assertion is retried only when the author explicitly makes it a typed, retryable failure.
+- Downstream fixture authors reuse the runner and own their domain setup.
+
+## Trade-offs
+
+When goals conflict, preserve native Effect semantics first, keep one runner second, preserve deliberate worker and test lifetimes third, prove readable behavior fourth, and keep the adapter small fifth.
+
+**Shared acquisition costs less and requires state discipline.** A worker Layer avoids rebuilding expensive services for every test. That places application-state isolation in the fixture that understands the state. Adding a hidden reset would conceal the lifetime rather than solve it.
+
+**Controlled time and live time solve different problems.** A test clock helps a test advance the Effects in its environment. It does not make external timers or a worker's already-running fibers deterministic. Prefer a precise limit over a broad promise of determinism.
+
+**Composition keeps responsibility local.** An `around` wrapper can establish a transaction or tracing boundary for the harness and body. This package owns how the wrapper fits the runner; the package that supplies a transaction owns its rollback semantics.
+
+**Types are a contract, not runtime evidence.** Compiler tests establish which requirements, harness fields and table cases a body may use. Runtime tests establish what runs, when it runs and which failure escapes. Neither substitutes for the other.
+
+## What it leaves out
+
+- Database rollback, migrations, seeded application state and transport caller construction. Those belong to their integrations or application test support.
+- Domain traits, verbs, engine stepping and story failure narration. `@shivaedev/test-story` owns that layer above this runner.
+- A replacement for Vitest's reporting, selection or configuration, or for Effect's Context, Scope and scheduling.
+- Evidence of real HTTP, PostgreSQL, browser or deployment behavior from a controlled-clock unit test. Composed examples and host-boundary validation belong to the framework.

package/docs/roadmap.md

@@ -0,0 +1,24 @@
+# Roadmap
+
+This roadmap owns the test runner, its public contracts and its package tests. The [framework roadmap](https://github.com/ShivaeDev/platform/blob/main/docs/framework/roadmap.md) owns composed fixtures, application adoption and host or deployment validation. The same status is recorded in one place.
+
+## Built
+
+- [x] `it.effect` and `it.live` accept generator bodies and Effect-returning bodies over the upstream testers. Tests cover the controlled and live clocks, table cases, expected failure, conditional skipping and plain Vitest tests.
+- [x] `makeEffectIt` supplies the Layer's services, an inferred harness and Vitest's test context to the generator. Tests cover wrapper entry, harness values and table cases.
+- [x] Default TestClock, factory live-clock selection and per-test overrides in either direction. Acquisition-time tests distinguish the worker Layer's live clock from the harness and body's test clock.
+- [x] `Layer.empty` runs without a placeholder service. Compiler tests reject a service the empty Layer does not provide and retain harness, service and table-case types.
+- [x] `eventually` retries typed failures on both clock paths. Tests count initial attempts and retries, preserve the final typed failure, reject thrown assertion retries, accept assertions captured with `Effect.try`, and preserve interruption.
+- [x] Packed-consumer compiler fixtures exercise the published runner modules and retained harness types.
+
+## Next
+
+- [ ] Add direct acquisition-count and finalizer assertions for worker Layer reuse and release, including acquisition failure.
+- [ ] Assert per-test scope cleanup and wrapper ordering around harness construction as well as the body.
+- [ ] Cover a timer fiber started during worker acquisition and a fixture that explicitly supplies its own Clock, so the clock boundary has direct regression evidence.
+- [ ] Cover the runner's TestConsole environment, tester variants and `buildTestLayer` with assertions dedicated to the behavior this package adds.
+
+## Open questions
+
+- Should composed application fixtures gain any API here, or remain framework examples and downstream helpers? The runner keeps the composition points small; new fixture APIs need a repeated job that the existing Layer, harness and wrapper cannot express.
+- Which lifecycle and clock properties need local regression tests, and which should rely on the upstream Vitest and Effect contracts? The next items identify the gaps in this package's own evidence without changing its public API.

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@shivaedev/effect-test",
-  "version": "0.3.1",
+  "version": "0.3.2",
   "description": "Generic Effect Vitest runner with worker-scoped Layers and TestClock",
   "homepage": "https://github.com/ShivaeDev/platform/tree/main/packages/effect-test#readme",
   "bugs": {
@@ -37,13 +37,14 @@
     "!src/**/*.test.ts",
     "!src/**/*.spec.ts",
     "!src/**/test-support",
+    "docs",
     "CHANGELOG.md",
     "README.md"
   ],
   "devDependencies": {
     "@effect/vitest": "4.0.0-rc.112",
-    "@shivaedev/quality": "0.17.0",
-    "@types/node": "24.10.1",
+    "@shivaedev/quality": "0.19.0",
+    "@types/node": "24.19.1",
     "@typescript/native": "npm:typescript@7.0.2",
     "effect": "4.0.0-rc.112",
     "typescript": "npm:@typescript/typescript6@6.0.2",
@@ -66,7 +67,7 @@
     "provenance": true
   },
   "scripts": {
-    "build": "node --eval \"import('node:fs').then(({ rmSync }) => rmSync('dist', { force: true, recursive: true }))\" && tsc6 --project tsconfig.build.json",
+    "build": "node --eval \"import('node:fs').then(({ rmSync }) => rmSync('dist', { force: true, recursive: true }))\" && tsc --project tsconfig.build.json",
     "ready": "pnpm typecheck && pnpm test && pnpm build",
     "test": "vitest run",
     "typecheck": "tsc --noEmit"

package/src/eventually.ts

@@ -8,18 +8,21 @@ export interface EventuallyOptions {
 
 const defaultInterval = "10 millis";
 
-const isTestClock = (clock: Clock.Clock): clock is TestClock.TestClock => "adjust" in clock;
+function isTestClock(clock: Clock.Clock): clock is TestClock.TestClock {
+	return "adjust" in clock;
+}
 
-const retryOnLiveClock = <A, E, R>(effect: Effect.Effect<A, E, R>, interval: Duration.Input, times: number | undefined): Effect.Effect<A, E, R> =>
-	times === undefined
+function retryOnLiveClock<A, E, R>(effect: Effect.Effect<A, E, R>, interval: Duration.Input, times: number | undefined): Effect.Effect<A, E, R> {
+	return times === undefined
 		? Effect.retry(effect, Schedule.spaced(interval))
 		: Effect.retry(effect, {
 				schedule: Schedule.spaced(interval),
 				times,
 			});
+}
 
-const retryOnTestClock = <A, E, R>(effect: Effect.Effect<A, E, R>, interval: Duration.Input, times: number | undefined): Effect.Effect<A, E, R> =>
-	Effect.gen(function* () {
+function retryOnTestClock<A, E, R>(effect: Effect.Effect<A, E, R>, interval: Duration.Input, times: number | undefined): Effect.Effect<A, E, R> {
+	return Effect.gen(function* () {
 		let retriesLeft = times;
 		for (;;) {
 			const result = yield* Effect.result(effect);
@@ -35,6 +38,7 @@ const retryOnTestClock = <A, E, R>(effect: Effect.Effect<A, E, R>, interval: Dur
 			yield* TestClock.adjust(interval);
 		}
 	});
+}
 
 export const eventually = <A, E, R>(effect: Effect.Effect<A, E, R>, options?: EventuallyOptions): Effect.Effect<A, E, R> =>
 	Effect.gen(function* () {

package/src/types.ts

@@ -9,38 +9,45 @@ export type EffectTestOptions = TestOptions & {
 	readonly clock?: EffectClock;
 };
 
-export type EffectTest<Harness, Provided> = <A, Eff extends Effect.Effect<unknown, unknown, Provided>>(
+export type EffectTestBody<THarness, TProvided, A = unknown> = (
+	harness: THarness,
+	context: TestContext,
+) => Generator<Effect.Effect<unknown, unknown, TProvided | Scope.Scope>, A, never> | Effect.Effect<A, unknown, TProvided | Scope.Scope>;
+
+export type EffectTest<THarness, TProvided> = <A, TEff extends Effect.Effect<unknown, unknown, TProvided | Scope.Scope>>(
 	name: string,
-	body: (harness: Harness, context: TestContext) => Generator<Eff, A, never>,
+	body: (harness: THarness, context: TestContext) => Generator<TEff, A, never> | Effect.Effect<A, unknown, TProvided | Scope.Scope>,
 	options?: number | EffectTestOptions,
 ) => void;
 
-export interface EffectTester<Harness, Provided> extends EffectTest<Harness, Provided> {
-	readonly each: <Item>(
-		cases: readonly Item[],
-	) => <A, Eff extends Effect.Effect<unknown, unknown, Provided>>(
+export interface EffectTester<THarness, TProvided> extends EffectTest<THarness, TProvided> {
+	readonly each: <TItem>(
+		cases: readonly TItem[],
+	) => <A, TEff extends Effect.Effect<unknown, unknown, TProvided | Scope.Scope>>(
 		name: string,
-		body: (item: Item, harness: Harness, context: TestContext) => Generator<Eff, A, never>,
+		body: (item: TItem, harness: THarness, context: TestContext) => Generator<TEff, A, never> | Effect.Effect<A, unknown, TProvided | Scope.Scope>,
 		options?: number | EffectTestOptions,
 	) => void;
-	readonly fails: EffectTest<Harness, Provided>;
-	readonly only: EffectTest<Harness, Provided>;
-	readonly runIf: (condition: unknown) => EffectTest<Harness, Provided>;
-	readonly skip: EffectTest<Harness, Provided>;
-	readonly skipIf: (condition: unknown) => EffectTest<Harness, Provided>;
+	readonly fails: EffectTest<THarness, TProvided>;
+	readonly only: EffectTest<THarness, TProvided>;
+	readonly runIf: (condition: unknown) => EffectTest<THarness, TProvided>;
+	readonly skip: EffectTest<THarness, TProvided>;
+	readonly skipIf: (condition: unknown) => EffectTest<THarness, TProvided>;
 }
 
-export interface MakeEffectItOptions<Harness, TestLayer extends AnyTestLayer> {
+export interface MakeEffectItOptions<THarness, TTestLayer extends AnyTestLayer> {
 	readonly around?:
-		| (<A, E>(effect: Effect.Effect<A, E, Layer.Success<TestLayer>>) => Effect.Effect<A, unknown, Layer.Success<TestLayer>>)
+		| (<A, E>(
+				effect: Effect.Effect<A, E, Layer.Success<TTestLayer> | Scope.Scope>,
+		  ) => Effect.Effect<A, unknown, Layer.Success<TTestLayer> | Scope.Scope>)
 		| undefined;
 	readonly clock?: EffectClock | undefined;
-	readonly layer: TestLayer;
-	readonly makeHarness: (context: TestContext) => Effect.Effect<Harness, unknown, Layer.Success<TestLayer>>;
+	readonly layer: TTestLayer;
+	readonly makeHarness: (context: TestContext) => Effect.Effect<THarness, unknown, Layer.Success<TTestLayer> | Scope.Scope>;
 }
 
-export interface MakeEffectItResult<Harness, Provided> {
-	readonly effectApp: EffectTester<Harness, Provided>;
+export interface MakeEffectItResult<THarness, TProvided> {
+	readonly effectApp: EffectTester<THarness, TProvided>;
 }
 
 export interface EffectItTest<R, TArgs extends readonly unknown[] = [context: TestContext]> {

package/src/vitest.ts

@@ -3,28 +3,32 @@ import { Cause, type Context, Effect, Exit, Layer, Scope } from "effect";
 import * as TestClock from "effect/testing/TestClock";
 import * as TestConsole from "effect/testing/TestConsole";
 import { type AnyTestLayer, buildTestLayer } from "./any-test-layer.ts";
-import type { EffectClock, EffectTest, EffectTester, EffectTestOptions, MakeEffectItOptions, MakeEffectItResult } from "./types.ts";
+import type { EffectClock, EffectTest, EffectTestBody, EffectTester, EffectTestOptions, MakeEffectItOptions, MakeEffectItResult } from "./types.ts";
 
 const fixtureName = "__effectTestContext";
 
-type EffectFixture<Provided> = TestContext & {
-	readonly [fixtureName]: Context.Context<Provided>;
+type EffectFixture<TProvided> = TestContext & {
+	readonly [fixtureName]: Context.Context<TProvided>;
 };
 
-type FixtureTest<Provided> = (name: string, options: TestOptions, body: (context: EffectFixture<Provided>) => Promise<unknown>) => void;
+type FixtureTest<TProvided> = (name: string, options: TestOptions, body: (context: EffectFixture<TProvided>) => Promise<unknown>) => void;
 
 const TestClockEnvironment = Layer.mergeAll(TestConsole.layer, TestClock.layer());
 const LiveClockEnvironment = TestConsole.layer;
 
-const environmentFor = (clock: EffectClock) => (clock === "live" ? LiveClockEnvironment : TestClockEnvironment);
+function environmentFor(clock: EffectClock) {
+	return clock === "live" ? LiveClockEnvironment : TestClockEnvironment;
+}
 
-const restoreContext = <Provided>(
-	fixture: Context.Context<Provided>,
-	context: Omit<EffectFixture<Provided>, typeof fixtureName>,
-): EffectFixture<Provided> => ({
-	...context,
-	[fixtureName]: fixture,
-});
+function restoreContext<TProvided>(
+	fixture: Context.Context<TProvided>,
+	context: Omit<EffectFixture<TProvided>, typeof fixtureName>,
+): EffectFixture<TProvided> {
+	return {
+		...context,
+		[fixtureName]: fixture,
+	};
+}
 
 const runEffectTest = <A, E>(effect: Effect.Effect<A, E, Scope.Scope>, context: TestContext, clock: EffectClock): Promise<A> =>
 	Effect.runPromise(
@@ -40,12 +44,10 @@ const runEffectTest = <A, E>(effect: Effect.Effect<A, E, Scope.Scope>, context:
 		{ signal: context.signal },
 	);
 
-const splitOptions = (
-	options: number | EffectTestOptions | undefined,
-): {
+function splitOptions(options: number | EffectTestOptions | undefined): {
 	readonly vitest: TestOptions;
 	readonly clock: EffectClock | undefined;
-} => {
+} {
 	if (typeof options === "number") {
 		return { clock: undefined, vitest: { timeout: options } };
 	}
@@ -54,10 +56,10 @@ const splitOptions = (
 	}
 	const { clock, ...vitest } = options;
 	return { clock, vitest };
-};
+}
 
-const makeFixtureIt = <TLayer extends AnyTestLayer>(layer: TLayer) =>
-	effectIt.extend(fixtureName, { scope: "worker" }, async ({}, { onCleanup }) => {
+function makeFixtureIt<TLayer extends AnyTestLayer>(layer: TLayer) {
+	return effectIt.extend(fixtureName, { scope: "worker" }, async ({}, { onCleanup }) => {
 		const scope = Effect.runSync(Scope.make());
 		onCleanup(() => Effect.runPromise(Scope.close(scope, Exit.void)));
 
@@ -68,29 +70,27 @@ const makeFixtureIt = <TLayer extends AnyTestLayer>(layer: TLayer) =>
 			throw error;
 		}
 	});
+}
 
-export const makeEffectIt = <Harness, TestLayer extends AnyTestLayer>(
-	options: MakeEffectItOptions<Harness, TestLayer>,
-): MakeEffectItResult<Harness, Layer.Success<TestLayer>> => {
-	type Provided = Layer.Success<TestLayer>;
+export const makeEffectIt = <THarness, TTestLayer extends AnyTestLayer>(
+	options: MakeEffectItOptions<THarness, TTestLayer>,
+): MakeEffectItResult<THarness, Layer.Success<TTestLayer>> => {
+	type Provided = Layer.Success<TTestLayer>;
 	const fixtureIt = makeFixtureIt(options.layer);
 	const defaultClock = options.clock ?? "test";
 
-	const run = <A>(
-		body: (harness: Harness, context: TestContext) => Generator<Effect.Effect<unknown, unknown, Provided>, A, never>,
-		context: EffectFixture<Provided>,
-	): Effect.Effect<A, unknown, Scope.Scope> => {
-		const ready: Effect.Effect<A, unknown, Provided> = Effect.gen(function* () {
+	function run<A>(body: EffectTestBody<THarness, Provided, A>, context: EffectFixture<Provided>): Effect.Effect<A, unknown, Scope.Scope> {
+		const ready: Effect.Effect<A, unknown, Provided | Scope.Scope> = Effect.gen(function* () {
 			const harness = yield* options.makeHarness(context);
-			return yield* Effect.gen(() => body(harness, context));
+			const result = body(harness, context);
+			return yield* Effect.isEffect(result) ? result : Effect.gen(() => result);
 		});
 		const wrapped = options.around?.(ready) ?? ready;
 		return wrapped.pipe(Effect.provide(context[fixtureName]));
-	};
+	}
 
-	const register =
-		(current: FixtureTest<Provided>): EffectTest<Harness, Provided> =>
-		(name, body, testOptions) => {
+	function register(current: FixtureTest<Provided>): EffectTest<THarness, Provided> {
+		return (name, body, testOptions) => {
 			const split = splitOptions(testOptions);
 			const clock = split.clock ?? defaultClock;
 			current(name, split.vitest, ({ __effectTestContext, task, signal, onTestFailed, onTestFinished, skip, annotate, expect, _local }) => {
@@ -107,13 +107,14 @@ export const makeEffectIt = <Harness, TestLayer extends AnyTestLayer>(
 				return runEffectTest(run(body, context), context, clock);
 			});
 		};
+	}
 
-	const effectApp: EffectTester<Harness, Provided> = Object.assign(register(fixtureIt), {
+	const effectApp: EffectTester<THarness, Provided> = Object.assign(register(fixtureIt), {
 		each:
-			<Item>(cases: readonly Item[]) =>
-			<A, Eff extends Effect.Effect<unknown, unknown, Provided>>(
+			<TItem>(cases: readonly TItem[]) =>
+			<A, TEff extends Effect.Effect<unknown, unknown, Provided | Scope.Scope>>(
 				name: string,
-				body: (item: Item, harness: Harness, context: TestContext) => Generator<Eff, A, never>,
+				body: (item: TItem, harness: THarness, context: TestContext) => Generator<TEff, A, never> | Effect.Effect<A, unknown, Provided | Scope.Scope>,
 				testOptions?: number | EffectTestOptions,
 			) => {
 				const split = splitOptions(testOptions);