@effect/vitest 0.12.1 → 0.13.1

package/README.md

@@ -1,18 +1,18 @@
 # Introduction
 
-Welcome to your guide on testing Effect applications using `vitest` and the `@effect/vitest` package! `@effect/vitest` is designed to help simplify running Effect-based tests through `vitest`.
+Welcome to your guide on testing Effect-based applications using `vitest` and the `@effect/vitest` package. This package simplifies running tests for Effect-based code with Vitest.
 
-In the guide below, we will first start by setting up the required dependencies. Then, we will dive into a few examples of how to use `@effect/vitest` to create some Effect-based test cases.
+In this guide, we'll walk you through setting up the necessary dependencies and provide examples of how to write Effect-based tests using `@effect/vitest`.
 
 # Requirements
 
-First, install [`vitest`](https://vitest.dev/guide/) (version `1.6.0` or newer)
+First, ensure you have [`vitest`](https://vitest.dev/guide/) installed (version `1.6.0` or later).
 
 ```sh
 pnpm add -D vitest
 ```
 
-Next, install the `@effect/vitest` package which facilitates running Effect-based tests through `vitest`.
+Next, install the `@effect/vitest` package, which integrates Effect with Vitest.
 
 ```sh
 pnpm add -D @effect/vitest
@@ -40,116 +40,148 @@ This import enhances the standard `it` function from `vitest` with several power
 
 Here's how to use `it.effect` to write your tests:
 
+**Syntax**
+
 ```ts
 import { it } from "@effect/vitest"
 
 it.effect("test name", () => EffectContainingAssertions, timeout: number | TestOptions = 5_000)
 ```
 
-When using `it.effect`, the `TestContext` is automatically injected, which allows tests to have access to services designed to facilitate testing (such as the [`TestClock`](#using-the-testclock)).
+`it.effect` automatically provides a `TestContext`, allowing access to services like [`TestClock`](#using-the-testclock).
 
 ## Testing Successful Operations
 
-Let's create a test for a function that divides two numbers but fails if the divisor is zero:
+To write a test, place your assertions directly within the main effect. This ensures that your assertions are evaluated as part of the test's execution.
+
+**Example** (Testing a Successful Operation)
+
+In the following example, we test a function that divides two numbers, but fails if the divisor is zero. The goal is to check that the function returns the correct result when given valid input.
 
 ```ts
 import { it } from "@effect/vitest"
 import { Effect } from "effect"
 import { expect } from "vitest"
 
+// A simple divide function that returns an Effect, failing when dividing by zero
 function divide(a: number, b: number) {
   if (b === 0) return Effect.fail("Cannot divide by zero")
   return Effect.succeed(a / b)
 }
 
+// Testing a successful division
 it.effect("test success", () =>
   Effect.gen(function* () {
-    const result = yield* divide(4, 2)
-    expect(result).toBe(2)
+    const result = yield* divide(4, 2) // Expect 4 divided by 2 to succeed
+    expect(result).toBe(2) // Assert that the result is 2
   })
 )
 ```
 
 ## Testing Successes and Failures as `Exit`
 
-To test both success and failure scenarios, convert the outcomes into an `Exit` object using `Effect.exit`:
+When you need to handle both success and failure cases in a test, you can use `Effect.exit` to capture the outcome as an `Exit` object. This allows you to verify both successful and failed results within the same test structure.
+
+**Example** (Testing Success and Failure with `Exit`)
 
 ```ts
 import { it } from "@effect/vitest"
 import { Effect, Exit } from "effect"
 import { expect } from "vitest"
 
+// A function that divides two numbers and returns an Effect.
+// It fails if the divisor is zero.
 function divide(a: number, b: number) {
   if (b === 0) return Effect.fail("Cannot divide by zero")
   return Effect.succeed(a / b)
 }
 
+// Test case for a successful division, using `Effect.exit` to capture the result
 it.effect("test success as Exit", () =>
   Effect.gen(function* () {
-    const result = yield* divide(4, 2).pipe(Effect.exit)
-    expect(result).toStrictEqual(Exit.succeed(2))
+    const result = yield* Effect.exit(divide(4, 2)) // Capture the result as an Exit
+    expect(result).toStrictEqual(Exit.succeed(2)) // Expect success with the value 2
   })
 )
 
+// Test case for a failure (division by zero), using `Effect.exit`
 it.effect("test failure as Exit", () =>
   Effect.gen(function* () {
-    const result = yield* divide(4, 0).pipe(Effect.exit)
-    expect(result).toStrictEqual(Exit.fail("Cannot divide by zero"))
+    const result = yield* Effect.exit(divide(4, 0)) // Capture the result as an Exit
+    expect(result).toStrictEqual(Exit.fail("Cannot divide by zero")) // Expect failure with the correct message
   })
 )
 ```
 
 ## Using the TestClock
 
-When using `it.effect`, a `TestContext` is provided to your program which provides access to several services designed to facilitate testing. One such service is the `[TestClock`](https://effect.website/docs/guides/testing/testclock) which is designed to simulate the passage of time.
+When writing tests with `it.effect`, a `TestContext` is automatically provided. This context gives access to various testing services, including the [`TestClock`](https://effect.website/docs/guides/testing/testclock), which allows you to simulate the passage of time in your tests.
+
+**Note**: If you want to use the real-time clock (instead of the simulated one), you can switch to `it.live`.
 
-**Note**: To utilize the default, non-testing services in your tests you can use `it.live`.
+**Example** (Using `TestClock` and `it.live`)
 
-Below, you'll find examples illustrating different ways to use time in your tests:
+Here are examples that demonstrate how you can work with time in your tests using `it.effect` and `TestClock`:
 
-1. **Using `it.live` to show the current time:** This mode uses the real-time clock of your system, reflecting the actual current time.
+1. **Using `it.live` to show the current time**: This will display the actual system time, since it runs in the live environment.
 
-2. **Using `it.effect` with no adjustments:** By default, this test starts the clock at a time of `0`, effectively simulating a starting point without any elapsed time.
+2. **Using `it.effect` without adjustments**: By default, the `TestClock` starts at `0`, simulating the beginning of time for your test without any time passing.
 
-3. **Using `it.effect` and adjusting time forward:** Here, we advance the clock by 1000 milliseconds to test scenarios that depend on the passing of time.
+3. **Using `it.effect` and adjusting time**: In this test, we simulate the passage of time by advancing the clock by 1000 milliseconds (1 second).
 
 ```ts
 import { it } from "@effect/vitest"
 import { Clock, Effect, TestClock } from "effect"
 
+// Effect to log the current time
 const logNow = Effect.gen(function* () {
-  const now = yield* Clock.currentTimeMillis
-  console.log(now)
+  const now = yield* Clock.currentTimeMillis // Fetch the current time from the clock
+  console.log(now) // Log the current time
 })
 
+// Example of using the real system clock with `it.live`
 it.live("runs the test with the live Effect environment", () =>
   Effect.gen(function* () {
-    yield* logNow // prints the actual time
+    yield* logNow // Prints the actual current time
   })
 )
 
+// Example of using `it.effect` with the default test environment
 it.effect("run the test with the test environment", () =>
   Effect.gen(function* () {
-    yield* logNow // prints 0
+    yield* logNow // Prints 0, as the test clock starts at 0
   })
 )
 
+// Example of advancing the test clock by 1000 milliseconds
 it.effect("run the test with the test environment and the time adjusted", () =>
   Effect.gen(function* () {
-    yield* TestClock.adjust("1000 millis")
-    yield* logNow // prints 1000
+    yield* TestClock.adjust("1000 millis") // Move the clock forward by 1000 milliseconds
+    yield* logNow // Prints 1000, reflecting the adjusted time
   })
 )
 ```
 
 ## Skipping Tests
 
-You can skip a test using `it.effect.skip`, which is useful when you want to temporarily disable a test without deleting any code.
+If you need to temporarily disable a test but don't want to delete or comment out the code, you can use `it.effect.skip`. This is helpful when you're working on other parts of your test suite but want to keep the test for future execution.
+
+**Example** (Skipping a Test)
 
 ```ts
-it.effect.skip("test failure as Exit", () =>
+import { it } from "@effect/vitest"
+import { Effect, Exit } from "effect"
+import { expect } from "vitest"
+
+function divide(a: number, b: number) {
+  if (b === 0) return Effect.fail("Cannot divide by zero")
+  return Effect.succeed(a / b)
+}
+
+// Temporarily skip the test for dividing numbers
+it.effect("test failure as Exit", () =>
   Effect.gen(function* () {
-    const result = yield* divide(4, 0).pipe(Effect.exit)
+    const result = yield* Effect.exit(divide(4, 0))
     expect(result).toStrictEqual(Exit.fail("Cannot divide by zero"))
   })
 )
@@ -157,32 +189,78 @@ it.effect.skip("test failure as Exit", () =>
 
 ## Running a Single Test
 
-To run only a specific test and ignore all others, use `it.effect.only`. This is helpful during development to focus on a single test case.
+When you're developing or debugging, it's often useful to run a specific test without executing the entire test suite. You can achieve this by using `it.effect.only`, which will run just the selected test and ignore the others.
+
+**Example** (Running a Single Test)
 
 ```ts
+import { it } from "@effect/vitest"
+import { Effect, Exit } from "effect"
+import { expect } from "vitest"
+
+function divide(a: number, b: number) {
+  if (b === 0) return Effect.fail("Cannot divide by zero")
+  return Effect.succeed(a / b)
+}
+
+// Run only this test, skipping all others
 it.effect.only("test failure as Exit", () =>
   Effect.gen(function* () {
-    const result = yield* divide(4, 0).pipe(Effect.exit)
+    const result = yield* Effect.exit(divide(4, 0))
     expect(result).toStrictEqual(Exit.fail("Cannot divide by zero"))
   })
 )
 ```
 
+## Logging
+
+By default, `it.effect` suppresses log output, which can be useful for keeping test results clean. However, if you want to enable logging during tests, you can use `it.live` or provide a custom logger to control the output.
+
+**Example** (Controlling Logging in Tests)
+
+```ts
+import { it } from "@effect/vitest"
+import { Effect, Logger } from "effect"
+
+// This test won't display the log message, as logging is suppressed by default in `it.effect`
+it.effect("does not display a log", () =>
+  Effect.gen(function* () {
+    yield* Effect.log("it.effect") // Log won't be shown
+  })
+)
+
+// This test will display the log because a custom logger is provided
+it.effect("providing a logger displays a log", () =>
+  Effect.gen(function* () {
+    yield* Effect.log("it.effect with custom logger") // Log will be displayed
+  }).pipe(
+    Effect.provide(Logger.pretty) // Providing a pretty logger for log output
+  )
+)
+
+// This test runs using `it.live`, which enables logging by default
+it.live("it.live displays a log", () =>
+  Effect.gen(function* () {
+    yield* Effect.log("it.live") // Log will be displayed
+  })
+)
+```
+
 # Writing Tests with `it.scoped`
 
-The `it.scoped` method allows you to run tests that involve Effect programs requiring a `Scope`. A `Scope` is essential when your Effect needs to manage resources that must be acquired before the test and released after it completes. This ensures that all resources are properly cleaned up, preventing leaks and ensuring test isolation.
+The `it.scoped` method is used for tests that involve `Effect` programs needing a `Scope`. A `Scope` ensures that any resources your test acquires are managed properly, meaning they will be released when the test completes. This helps prevent resource leaks and guarantees test isolation.
 
-Here’s a simple example to demonstrate how `it.scoped` can be used in your tests:
+**Example** (Using `it.scoped` to Manage Resource Lifecycle)
 
 ```ts
 import { it } from "@effect/vitest"
 import { Console, Effect } from "effect"
 
-// Simulate acquiring and releasing a resource with console logging
+// Simulating the acquisition and release of a resource with console logging
 const acquire = Console.log("acquire resource")
 const release = Console.log("release resource")
 
-// Define a resource that needs to be managed
+// Defining a resource that requires proper management
 const resource = Effect.acquireRelease(acquire, () => release)
 
 // Incorrect usage: This will result in a type error because it lacks a scope
@@ -192,7 +270,7 @@ it.effect("run with scope", () =>
   })
 )
 
-// Correct usage: Using 'it.scoped' to properly manage the scope
+// Correct usage: Using 'it.scoped' to manage the scope correctly
 it.scoped("run with scope", () =>
   Effect.gen(function* () {
     yield* resource
@@ -202,17 +280,17 @@ it.scoped("run with scope", () =>
 
 # Writing Tests with `it.flakyTest`
 
-`it.flakyTest` is a function from the `@effect/vitest` package designed to handle tests that might not succeed on the first try. These tests are often called "flaky" tests because their outcome can vary (e.g., due to timing issues, external dependencies, or randomness). `it.flakyTest` allows these tests to be retried until they succeed or until a specified timeout period expires.
+`it.flakyTest` is a utility designed to manage tests that may not succeed consistently on the first attempt. These tests, often referred to as "flaky," can fail due to factors like timing issues, external dependencies, or randomness. `it.flakyTest` allows for retrying these tests until they pass or a specified timeout is reached.
 
-Here's how you can use `it.flakyTest` in your test suite:
+**Example** (Handling Flaky Tests with Retries)
 
-First, let’s set up a basic test scenario that could potentially fail randomly:
+Let's start by setting up a basic test scenario that has the potential to fail randomly:
 
 ```ts
 import { it } from "@effect/vitest"
 import { Effect, Random } from "effect"
 
-// Define a flaky test effect
+// Simulating a flaky effect
 const flaky = Effect.gen(function* () {
   const random = yield* Random.nextBoolean
   if (random) {
@@ -220,14 +298,16 @@ const flaky = Effect.gen(function* () {
   }
 })
 
-// Standard test, which may fail intermittently
+// Standard test that may fail intermittently
 it.effect("possibly failing test", () => flaky)
 ```
 
-To address the flakiness, we apply `it.flakyTest` which will retry the test until it succeeds or the specified timeout is reached:
+In this test, the outcome is random, so the test might fail depending on the result of `Random.nextBoolean`.
+
+To handle this flakiness, we use `it.flakyTest` to retry the test until it passes, or until a defined timeout expires:
 
 ```ts
-// Retrying the flaky test with a timeout
+// Retrying the flaky test with a 5-second timeout
 it.effect("retrying until success or timeout", () =>
   it.flakyTest(flaky, "5 seconds")
 )

package/dist/cjs/index.js

@@ -11,9 +11,10 @@ var _exportNames = {
   scopedLive: true,
   layer: true,
   flakyTest: true,
+  prop: true,
   it: true
 };
-exports.scopedLive = exports.scoped = exports.live = exports.layer = exports.it = exports.flakyTest = exports.effect = exports.addEqualityTesters = void 0;
+exports.scopedLive = exports.scoped = exports.prop = exports.live = exports.layer = exports.it = exports.flakyTest = exports.effect = exports.addEqualityTesters = void 0;
 var V = _interopRequireWildcard(require("vitest"));
 Object.keys(V).forEach(function (key) {
   if (key === "default" || key === "__esModule") return;
@@ -96,6 +97,13 @@ const layer = exports.layer = internal.layer;
  * @since 1.0.0
  */
 const flakyTest = exports.flakyTest = internal.flakyTest;
+/**
+ * @since 1.0.0
+ */
+const prop = exports.prop = internal.prop;
+/**
+ * @since 1.0.0
+ */
 /** @ignored */
 const methods = {
   effect,
@@ -103,7 +111,8 @@ const methods = {
   flakyTest,
   scoped,
   scopedLive,
-  layer
+  layer,
+  prop
 };
 /**
  * @since 1.0.0

package/dist/cjs/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","names":["V","_interopRequireWildcard","require","Object","keys","forEach","key","prototype","hasOwnProperty","call","_exportNames","exports","defineProperty","enumerable","get","internal","_getRequireWildcardCache","e","WeakMap","r","t","__esModule","default","has","n","__proto__","a","getOwnPropertyDescriptor","u","i","set","addEqualityTesters","effect","scoped","live","scopedLive","layer","flakyTest","methods","it","assign"],"sources":["../../src/index.ts"],"sourcesContent":[null],"mappings":";;;;;;;;;;;;;;;;AAQA,IAAAA,CAAA,GAAAC,uBAAA,CAAAC,OAAA;AA4JAC,MAAA,CAAAC,IAAA,CAAAJ,CAAA,EAAAK,OAAA,WAAAC,GAAA;EAAA,IAAAA,GAAA,kBAAAA,GAAA;EAAA,IAAAH,MAAA,CAAAI,SAAA,CAAAC,cAAA,CAAAC,IAAA,CAAAC,YAAA,EAAAJ,GAAA;EAAA,IAAAA,GAAA,IAAAK,OAAA,IAAAA,OAAA,CAAAL,GAAA,MAAAN,CAAA,CAAAM,GAAA;EAAAH,MAAA,CAAAS,cAAA,CAAAD,OAAA,EAAAL,GAAA;IAAAO,UAAA;IAAAC,GAAA,WAAAA,CAAA;MAAA,OAAAd,CAAA,CAAAM,GAAA;IAAA;EAAA;AAAA;AA3JA,IAAAS,QAAA,GAAAd,uBAAA,CAAAC,OAAA;AAAyC,SAAAc,yBAAAC,CAAA,6BAAAC,OAAA,mBAAAC,CAAA,OAAAD,OAAA,IAAAE,CAAA,OAAAF,OAAA,YAAAF,wBAAA,YAAAA,CAAAC,CAAA,WAAAA,CAAA,GAAAG,CAAA,GAAAD,CAAA,KAAAF,CAAA;AAAA,SAAAhB,wBAAAgB,CAAA,EAAAE,CAAA,SAAAA,CAAA,IAAAF,CAAA,IAAAA,CAAA,CAAAI,UAAA,SAAAJ,CAAA,eAAAA,CAAA,uBAAAA,CAAA,yBAAAA,CAAA,WAAAK,OAAA,EAAAL,CAAA,QAAAG,CAAA,GAAAJ,wBAAA,CAAAG,CAAA,OAAAC,CAAA,IAAAA,CAAA,CAAAG,GAAA,CAAAN,CAAA,UAAAG,CAAA,CAAAN,GAAA,CAAAG,CAAA,OAAAO,CAAA,KAAAC,SAAA,UAAAC,CAAA,GAAAvB,MAAA,CAAAS,cAAA,IAAAT,MAAA,CAAAwB,wBAAA,WAAAC,CAAA,IAAAX,CAAA,oBAAAW,CAAA,OAAApB,cAAA,CAAAC,IAAA,CAAAQ,CAAA,EAAAW,CAAA,SAAAC,CAAA,GAAAH,CAAA,GAAAvB,MAAA,CAAAwB,wBAAA,CAAAV,CAAA,EAAAW,CAAA,UAAAC,CAAA,KAAAA,CAAA,CAAAf,GAAA,IAAAe,CAAA,CAAAC,GAAA,IAAA3B,MAAA,CAAAS,cAAA,CAAAY,CAAA,EAAAI,CAAA,EAAAC,CAAA,IAAAL,CAAA,CAAAI,CAAA,IAAAX,CAAA,CAAAW,CAAA,YAAAJ,CAAA,CAAAF,OAAA,GAAAL,CAAA,EAAAG,CAAA,IAAAA,CAAA,CAAAU,GAAA,CAAAb,CAAA,EAAAO,CAAA,GAAAA,CAAA;AA+DzC;;;AAGO,MAAMO,kBAAkB,GAAApB,OAAA,CAAAoB,kBAAA,GAAehB,QAAQ,CAACgB,kBAAkB;AAEzE;;;AAGO,MAAMC,MAAM,GAAArB,OAAA,CAAAqB,MAAA,GAA6CjB,QAAQ,CAACiB,MAAM;AAE/E;;;AAGO,MAAMC,MAAM,GAAAtB,OAAA,CAAAsB,MAAA,GAA2DlB,QAAQ,CAACkB,MAAM;AAE7F;;;AAGO,MAAMC,IAAI,GAAAvB,OAAA,CAAAuB,IAAA,GAAyBnB,QAAQ,CAACmB,IAAI;AAEvD;;;AAGO,MAAMC,UAAU,GAAAxB,OAAA,CAAAwB,UAAA,GAA+BpB,QAAQ,CAACoB,UAAU;AAEzE;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AA0CO,MAAMC,KAAK,GAAAzB,OAAA,CAAAyB,KAAA,GAIhBrB,QAAQ,CAACqB,KAAK;AAEhB;;;AAGO,MAAMC,SAAS,GAAA1B,OAAA,CAAA0B,SAAA,GAGYtB,QAAQ,CAACsB,SAAS;AAEpD;AACA,MAAMC,OAAO,GAAG;EAAEN,MAAM;EAAEE,IAAI;EAAEG,SAAS;EAAEJ,MAAM;EAAEE,UAAU;EAAEC;AAAK,CAAW;AAE/E;;;AAGO,MAAMG,EAAE,GAAA5B,OAAA,CAAA4B,EAAA,gBAAmBpC,MAAM,CAACqC,MAAM,CAACxC,CAAC,CAACuC,EAAE,EAAED,OAAO,CAAC;AAE9D","ignoreList":[]}
+{"version":3,"file":"index.js","names":["V","_interopRequireWildcard","require","Object","keys","forEach","key","prototype","hasOwnProperty","call","_exportNames","exports","defineProperty","enumerable","get","internal","_getRequireWildcardCache","e","WeakMap","r","t","__esModule","default","has","n","__proto__","a","getOwnPropertyDescriptor","u","i","set","addEqualityTesters","effect","scoped","live","scopedLive","layer","flakyTest","prop","methods","it","assign"],"sources":["../../src/index.ts"],"sourcesContent":[null],"mappings":";;;;;;;;;;;;;;;;;AASA,IAAAA,CAAA,GAAAC,uBAAA,CAAAC,OAAA;AA8MAC,MAAA,CAAAC,IAAA,CAAAJ,CAAA,EAAAK,OAAA,WAAAC,GAAA;EAAA,IAAAA,GAAA,kBAAAA,GAAA;EAAA,IAAAH,MAAA,CAAAI,SAAA,CAAAC,cAAA,CAAAC,IAAA,CAAAC,YAAA,EAAAJ,GAAA;EAAA,IAAAA,GAAA,IAAAK,OAAA,IAAAA,OAAA,CAAAL,GAAA,MAAAN,CAAA,CAAAM,GAAA;EAAAH,MAAA,CAAAS,cAAA,CAAAD,OAAA,EAAAL,GAAA;IAAAO,UAAA;IAAAC,GAAA,WAAAA,CAAA;MAAA,OAAAd,CAAA,CAAAM,GAAA;IAAA;EAAA;AAAA;AA7MA,IAAAS,QAAA,GAAAd,uBAAA,CAAAC,OAAA;AAAyC,SAAAc,yBAAAC,CAAA,6BAAAC,OAAA,mBAAAC,CAAA,OAAAD,OAAA,IAAAE,CAAA,OAAAF,OAAA,YAAAF,wBAAA,YAAAA,CAAAC,CAAA,WAAAA,CAAA,GAAAG,CAAA,GAAAD,CAAA,KAAAF,CAAA;AAAA,SAAAhB,wBAAAgB,CAAA,EAAAE,CAAA,SAAAA,CAAA,IAAAF,CAAA,IAAAA,CAAA,CAAAI,UAAA,SAAAJ,CAAA,eAAAA,CAAA,uBAAAA,CAAA,yBAAAA,CAAA,WAAAK,OAAA,EAAAL,CAAA,QAAAG,CAAA,GAAAJ,wBAAA,CAAAG,CAAA,OAAAC,CAAA,IAAAA,CAAA,CAAAG,GAAA,CAAAN,CAAA,UAAAG,CAAA,CAAAN,GAAA,CAAAG,CAAA,OAAAO,CAAA,KAAAC,SAAA,UAAAC,CAAA,GAAAvB,MAAA,CAAAS,cAAA,IAAAT,MAAA,CAAAwB,wBAAA,WAAAC,CAAA,IAAAX,CAAA,oBAAAW,CAAA,OAAApB,cAAA,CAAAC,IAAA,CAAAQ,CAAA,EAAAW,CAAA,SAAAC,CAAA,GAAAH,CAAA,GAAAvB,MAAA,CAAAwB,wBAAA,CAAAV,CAAA,EAAAW,CAAA,UAAAC,CAAA,KAAAA,CAAA,CAAAf,GAAA,IAAAe,CAAA,CAAAC,GAAA,IAAA3B,MAAA,CAAAS,cAAA,CAAAY,CAAA,EAAAI,CAAA,EAAAC,CAAA,IAAAL,CAAA,CAAAI,CAAA,IAAAX,CAAA,CAAAW,CAAA,YAAAJ,CAAA,CAAAF,OAAA,GAAAL,CAAA,EAAAG,CAAA,IAAAA,CAAA,CAAAU,GAAA,CAAAb,CAAA,EAAAO,CAAA,GAAAA,CAAA;AAgGzC;;;AAGO,MAAMO,kBAAkB,GAAApB,OAAA,CAAAoB,kBAAA,GAAehB,QAAQ,CAACgB,kBAAkB;AAEzE;;;AAGO,MAAMC,MAAM,GAAArB,OAAA,CAAAqB,MAAA,GAA6CjB,QAAQ,CAACiB,MAAM;AAE/E;;;AAGO,MAAMC,MAAM,GAAAtB,OAAA,CAAAsB,MAAA,GAA2DlB,QAAQ,CAACkB,MAAM;AAE7F;;;AAGO,MAAMC,IAAI,GAAAvB,OAAA,CAAAuB,IAAA,GAAyBnB,QAAQ,CAACmB,IAAI;AAEvD;;;AAGO,MAAMC,UAAU,GAAAxB,OAAA,CAAAwB,UAAA,GAA+BpB,QAAQ,CAACoB,UAAU;AAEzE;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AA0CO,MAAMC,KAAK,GAAAzB,OAAA,CAAAyB,KAAA,GAIhBrB,QAAQ,CAACqB,KAAK;AAEhB;;;AAGO,MAAMC,SAAS,GAAA1B,OAAA,CAAA0B,SAAA,GAGYtB,QAAQ,CAACsB,SAAS;AAEpD;;;AAGO,MAAMC,IAAI,GAAA3B,OAAA,CAAA2B,IAAA,GAQLvB,QAAQ,CAACuB,IAAI;AAEzB;;;AAIA;AACA,MAAMC,OAAO,GAAG;EAAEP,MAAM;EAAEE,IAAI;EAAEG,SAAS;EAAEJ,MAAM;EAAEE,UAAU;EAAEC,KAAK;EAAEE;AAAI,CAAW;AAErF;;;AAGO,MAAME,EAAE,GAAA7B,OAAA,CAAA6B,EAAA,gBAAmBrC,MAAM,CAACsC,MAAM,CAACzC,CAAC,CAACwC,EAAE,EAAED,OAAO,CAAC;AAE9D","ignoreList":[]}

package/dist/cjs/internal.js

@@ -3,7 +3,8 @@
 Object.defineProperty(exports, "__esModule", {
   value: true
 });
-exports.scopedLive = exports.scoped = exports.live = exports.layer = exports.flakyTest = exports.effect = exports.addEqualityTesters = void 0;
+exports.scopedLive = exports.scoped = exports.prop = exports.live = exports.layer = exports.flakyTest = exports.effect = exports.addEqualityTesters = void 0;
+var Arbitrary = _interopRequireWildcard(require("effect/Arbitrary"));
 var Cause = _interopRequireWildcard(require("effect/Cause"));
 var Duration = _interopRequireWildcard(require("effect/Duration"));
 var Effect = _interopRequireWildcard(require("effect/Effect"));
@@ -17,7 +18,9 @@ var Schedule = _interopRequireWildcard(require("effect/Schedule"));
 var Scope = _interopRequireWildcard(require("effect/Scope"));
 var TestEnvironment = _interopRequireWildcard(require("effect/TestContext"));
 var Utils = _interopRequireWildcard(require("effect/Utils"));
+var _fastCheck = _interopRequireDefault(require("fast-check"));
 var V = _interopRequireWildcard(require("vitest"));
+function _interopRequireDefault(e) { return e && e.__esModule ? e : { default: e }; }
 function _getRequireWildcardCache(e) { if ("function" != typeof WeakMap) return null; var r = new WeakMap(), t = new WeakMap(); return (_getRequireWildcardCache = function (e) { return e ? t : r; })(e); }
 function _interopRequireWildcard(e, r) { if (!r && e && e.__esModule) return e; if (null === e || "object" != typeof e && "function" != typeof e) return { default: e }; var t = _getRequireWildcardCache(r); if (t && t.has(e)) return t.get(e); var n = { __proto__: null }, a = Object.defineProperty && Object.getOwnPropertyDescriptor; for (var u in e) if ("default" !== u && {}.hasOwnProperty.call(e, u)) { var i = a ? Object.getOwnPropertyDescriptor(e, u) : null; i && (i.get || i.set) ? Object.defineProperty(n, u, i) : n[u] = e[u]; } return n.default = e, t && t.set(e, n), n; }
 const runPromise = ctx => effect => Effect.gen(function* () {
@@ -37,7 +40,7 @@ const runPromise = ctx => effect => Effect.gen(function* () {
   }
 }).pipe(Effect.runPromise).then(f => f());
 /** @internal */
-const runTest = ctx => effect => runPromise(ctx)(Effect.asVoid(effect));
+const runTest = ctx => effect => runPromise(ctx)(effect);
 /** @internal */
 const TestEnv = /*#__PURE__*/TestEnvironment.TestContext.pipe( /*#__PURE__*/Layer.provide( /*#__PURE__*/Logger.remove(Logger.defaultLogger)));
 /** @internal */
@@ -63,21 +66,54 @@ const makeTester = mapEffect => {
   const each = cases => (name, self, timeout) => V.it.for(cases)(name, typeof timeout === "number" ? {
     timeout
   } : timeout ?? {}, (args, ctx) => run(ctx, [args], self));
+  const prop = (name, schemaObj, self, timeout) => {
+    if (Array.isArray(schemaObj)) {
+      const arbs = schemaObj.map(schema => Arbitrary.make(schema));
+      return V.it(name,
+      // @ts-ignore
+      ctx => _fastCheck.default.assert(_fastCheck.default.asyncProperty(...arbs, (...as) => run(ctx, [as, ctx], self))), timeout);
+    }
+    const arbs = _fastCheck.default.record(Object.keys(schemaObj).reduce(function (result, key) {
+      result[key] = Arbitrary.make(schemaObj[key]);
+      return result;
+    }, {}));
+    return V.it(name,
+    // @ts-ignore
+    ctx => _fastCheck.default.assert(_fastCheck.default.asyncProperty(arbs, (...as) => run(ctx, [as[0], ctx], self))), timeout);
+  };
   return Object.assign(f, {
     skip,
     skipIf,
     runIf,
     only,
-    each
+    each,
+    prop
   });
 };
+const prop = (name, schemaObj, self, timeout) => {
+  if (Array.isArray(schemaObj)) {
+    const arbs = schemaObj.map(schema => Arbitrary.make(schema));
+    return V.it(name,
+    // @ts-ignore
+    ctx => _fastCheck.default.assert(_fastCheck.default.property(...arbs, (...as) => self(as, ctx))), timeout);
+  }
+  const arbs = _fastCheck.default.record(Object.keys(schemaObj).reduce(function (result, key) {
+    result[key] = Arbitrary.make(schemaObj[key]);
+    return result;
+  }, {}));
+  return V.it(name,
+  // @ts-ignore
+  ctx => _fastCheck.default.assert(_fastCheck.default.property(arbs, (...as) => self(as[0], ctx))), timeout);
+};
 /** @internal */
+exports.prop = prop;
 const layer = (layer_, options) => (...args) => {
   const memoMap = options?.memoMap ?? Effect.runSync(Layer.makeMemoMap);
   const scope = Effect.runSync(Scope.make());
   const runtimeEffect = Layer.toRuntimeWithMemoMap(layer_, memoMap).pipe(Scope.extend(scope), Effect.orDie, Effect.cached, Effect.runSync);
   const it = Object.assign(V.it, {
     effect: makeTester(effect => Effect.flatMap(runtimeEffect, runtime => effect.pipe(Effect.provide(runtime), Effect.provide(TestEnv)))),
+    prop,
     scoped: makeTester(effect => Effect.flatMap(runtimeEffect, runtime => effect.pipe(Effect.scoped, Effect.provide(runtime), Effect.provide(TestEnv)))),
     live: makeTester(effect => Effect.flatMap(runtimeEffect, runtime => Effect.provide(effect, runtime))),
     scopedLive: makeTester(effect => Effect.flatMap(runtimeEffect, runtime => effect.pipe(Effect.scoped, Effect.provide(runtime)))),

package/dist/cjs/internal.js.map

@@ -1 +1 @@
-{"version":3,"file":"internal.js","names":["Cause","_interopRequireWildcard","require","Duration","Effect","Equal","Exit","Fiber","_Function","Layer","Logger","Schedule","Scope","TestEnvironment","Utils","V","_getRequireWildcardCache","e","WeakMap","r","t","__esModule","default","has","get","n","__proto__","a","Object","defineProperty","getOwnPropertyDescriptor","u","hasOwnProperty","call","i","set","runPromise","ctx","effect","gen","exitFiber","fork","exit","onTestFinished","interrupt","pipe","asVoid","join","isSuccess","value","errors","prettyErrors","cause","length","logError","then","f","runTest","TestEnv","TestContext","provide","remove","defaultLogger","customTester","b","customTesters","isEqual","undefined","structuralRegion","equals","x","y","filter","addEqualityTesters","expect","exports","makeTester","mapEffect","run","args","self","suspend","name","timeout","it","skip","skipIf","condition","runIf","only","each","cases","for","assign","layer","layer_","options","memoMap","runSync","makeMemoMap","scope","make","runtimeEffect","toRuntimeWithMemoMap","extend","orDie","cached","flatMap","runtime","scoped","live","scopedLive","flakyTest","nestedLayer","provideMerge","beforeAll","toMillis","afterAll","close","void","describe","flow","identity","seconds","catchAllDefect","fail","retry","recurs","compose","elapsed","whileOutput","lessThanOrEqualTo"],"sources":["../../src/internal.ts"],"sourcesContent":[null],"mappings":";;;;;;AAIA,IAAAA,KAAA,GAAAC,uBAAA,CAAAC,OAAA;AACA,IAAAC,QAAA,GAAAF,uBAAA,CAAAC,OAAA;AACA,IAAAE,MAAA,GAAAH,uBAAA,CAAAC,OAAA;AACA,IAAAG,KAAA,GAAAJ,uBAAA,CAAAC,OAAA;AACA,IAAAI,IAAA,GAAAL,uBAAA,CAAAC,OAAA;AACA,IAAAK,KAAA,GAAAN,uBAAA,CAAAC,OAAA;AACA,IAAAM,SAAA,GAAAN,OAAA;AACA,IAAAO,KAAA,GAAAR,uBAAA,CAAAC,OAAA;AACA,IAAAQ,MAAA,GAAAT,uBAAA,CAAAC,OAAA;AACA,IAAAS,QAAA,GAAAV,uBAAA,CAAAC,OAAA;AACA,IAAAU,KAAA,GAAAX,uBAAA,CAAAC,OAAA;AACA,IAAAW,eAAA,GAAAZ,uBAAA,CAAAC,OAAA;AAEA,IAAAY,KAAA,GAAAb,uBAAA,CAAAC,OAAA;AACA,IAAAa,CAAA,GAAAd,uBAAA,CAAAC,OAAA;AAA2B,SAAAc,yBAAAC,CAAA,6BAAAC,OAAA,mBAAAC,CAAA,OAAAD,OAAA,IAAAE,CAAA,OAAAF,OAAA,YAAAF,wBAAA,YAAAA,CAAAC,CAAA,WAAAA,CAAA,GAAAG,CAAA,GAAAD,CAAA,KAAAF,CAAA;AAAA,SAAAhB,wBAAAgB,CAAA,EAAAE,CAAA,SAAAA,CAAA,IAAAF,CAAA,IAAAA,CAAA,CAAAI,UAAA,SAAAJ,CAAA,eAAAA,CAAA,uBAAAA,CAAA,yBAAAA,CAAA,WAAAK,OAAA,EAAAL,CAAA,QAAAG,CAAA,GAAAJ,wBAAA,CAAAG,CAAA,OAAAC,CAAA,IAAAA,CAAA,CAAAG,GAAA,CAAAN,CAAA,UAAAG,CAAA,CAAAI,GAAA,CAAAP,CAAA,OAAAQ,CAAA,KAAAC,SAAA,UAAAC,CAAA,GAAAC,MAAA,CAAAC,cAAA,IAAAD,MAAA,CAAAE,wBAAA,WAAAC,CAAA,IAAAd,CAAA,oBAAAc,CAAA,OAAAC,cAAA,CAAAC,IAAA,CAAAhB,CAAA,EAAAc,CAAA,SAAAG,CAAA,GAAAP,CAAA,GAAAC,MAAA,CAAAE,wBAAA,CAAAb,CAAA,EAAAc,CAAA,UAAAG,CAAA,KAAAA,CAAA,CAAAV,GAAA,IAAAU,CAAA,CAAAC,GAAA,IAAAP,MAAA,CAAAC,cAAA,CAAAJ,CAAA,EAAAM,CAAA,EAAAG,CAAA,IAAAT,CAAA,CAAAM,CAAA,IAAAd,CAAA,CAAAc,CAAA,YAAAN,CAAA,CAAAH,OAAA,GAAAL,CAAA,EAAAG,CAAA,IAAAA,CAAA,CAAAe,GAAA,CAAAlB,CAAA,EAAAQ,CAAA,GAAAA,CAAA;AAG3B,MAAMW,UAAU,GAAIC,GAAwB,IAAYC,MAA2B,IACjFlC,MAAM,CAACmC,GAAG,CAAC,aAAS;EAClB,MAAMC,SAAS,GAAG,OAAOpC,MAAM,CAACqC,IAAI,CAACrC,MAAM,CAACsC,IAAI,CAACJ,MAAM,CAAC,CAAC;EAEzDD,GAAG,EAAEM,cAAc,CAAC,MAClBpC,KAAK,CAACqC,SAAS,CAACJ,SAAS,CAAC,CAACK,IAAI,CAC7BzC,MAAM,CAAC0C,MAAM,EACb1C,MAAM,CAACgC,UAAU,CAClB,CACF;EAED,MAAMM,IAAI,GAAG,OAAOnC,KAAK,CAACwC,IAAI,CAACP,SAAS,CAAC;EACzC,IAAIlC,IAAI,CAAC0C,SAAS,CAACN,IAAI,CAAC,EAAE;IACxB,OAAO,MAAMA,IAAI,CAACO,KAAK;EACzB,CAAC,MAAM;IACL,MAAMC,MAAM,GAAGlD,KAAK,CAACmD,YAAY,CAACT,IAAI,CAACU,KAAK,CAAC;IAC7C,KAAK,IAAIlB,CAAC,GAAG,CAAC,EAAEA,CAAC,GAAGgB,MAAM,CAACG,MAAM,EAAEnB,CAAC,EAAE,EAAE;MACtC,OAAO9B,MAAM,CAACkD,QAAQ,CAACJ,MAAM,CAAChB,CAAC,CAAC,CAAC;IACnC;IACA,OAAO,MAAK;MACV,MAAMgB,MAAM,CAAC,CAAC,CAAC;IACjB,CAAC;EACH;AACF,CAAC,CAAC,CAACL,IAAI,CAACzC,MAAM,CAACgC,UAAU,CAAC,CAACmB,IAAI,CAAEC,CAAC,IAAKA,CAAC,EAAE,CAAC;AAE7C;AACA,MAAMC,OAAO,GAAIpB,GAAwB,IAAYC,MAA2B,IAC9EF,UAAU,CAACC,GAAG,CAAC,CAACjC,MAAM,CAAC0C,MAAM,CAACR,MAAM,CAAC,CAAC;AAExC;AACA,MAAMoB,OAAO,gBAAG7C,eAAe,CAAC8C,WAAW,CAACd,IAAI,eAC9CpC,KAAK,CAACmD,OAAO,eAAClD,MAAM,CAACmD,MAAM,CAACnD,MAAM,CAACoD,aAAa,CAAC,CAAC,CACnD;AAED;AACA,SAASC,YAAYA,CAAsBpC,CAAU,EAAEqC,CAAU,EAAEC,aAA4B;EAC7F,IAAI,CAAC5D,KAAK,CAAC6D,OAAO,CAACvC,CAAC,CAAC,IAAI,CAACtB,KAAK,CAAC6D,OAAO,CAACF,CAAC,CAAC,EAAE;IAC1C,OAAOG,SAAS;EAClB;EACA,OAAOrD,KAAK,CAACsD,gBAAgB,CAC3B,MAAM/D,KAAK,CAACgE,MAAM,CAAC1C,CAAC,EAAEqC,CAAC,CAAC,EACxB,CAACM,CAAC,EAAEC,CAAC,KAAK,IAAI,CAACF,MAAM,CAACC,CAAC,EAAEC,CAAC,EAAEN,aAAa,CAACO,MAAM,CAAEpD,CAAC,IAAKA,CAAC,KAAK2C,YAAY,CAAC,CAAC,CAC7E;AACH;AAEA;AACO,MAAMU,kBAAkB,GAAGA,CAAA,KAAK;EACrC1D,CAAC,CAAC2D,MAAM,CAACD,kBAAkB,CAAC,CAACV,YAAY,CAAC,CAAC;AAC7C,CAAC;AAED;AAAAY,OAAA,CAAAF,kBAAA,GAAAA,kBAAA;AACA,MAAMG,UAAU,GACdC,SAA6E,IAClD;EAC3B,MAAMC,GAAG,GAAGA,CACVzC,GAAqE,EACrE0C,IAAc,EACdC,IAAmD,KAChD,IAAAnC,cAAI,EAACzC,MAAM,CAAC6E,OAAO,CAAC,MAAMD,IAAI,CAAC,GAAGD,IAAI,CAAC,CAAC,EAAEF,SAAS,EAAEpB,OAAO,CAACpB,GAAG,CAAC,CAAC;EAEvE,MAAMmB,CAAC,GAA0BA,CAAC0B,IAAI,EAAEF,IAAI,EAAEG,OAAO,KAAKpE,CAAC,CAACqE,EAAE,CAACF,IAAI,EAAG7C,GAAG,IAAKyC,GAAG,CAACzC,GAAG,EAAE,CAACA,GAAG,CAAC,EAAE2C,IAAI,CAAC,EAAEG,OAAO,CAAC;EAE7G,MAAME,IAAI,GAAoCA,CAACH,IAAI,EAAEF,IAAI,EAAEG,OAAO,KAChEpE,CAAC,CAACqE,EAAE,CAACC,IAAI,CAACH,IAAI,EAAG7C,GAAG,IAAKyC,GAAG,CAACzC,GAAG,EAAE,CAACA,GAAG,CAAC,EAAE2C,IAAI,CAAC,EAAEG,OAAO,CAAC;EAC1D,MAAMG,MAAM,GAAuCC,SAAS,IAAK,CAACL,IAAI,EAAEF,IAAI,EAAEG,OAAO,KACnFpE,CAAC,CAACqE,EAAE,CAACE,MAAM,CAACC,SAAS,CAAC,CAACL,IAAI,EAAG7C,GAAG,IAAKyC,GAAG,CAACzC,GAAG,EAAE,CAACA,GAAG,CAAC,EAAE2C,IAAI,CAAC,EAAEG,OAAO,CAAC;EACvE,MAAMK,KAAK,GAAsCD,SAAS,IAAK,CAACL,IAAI,EAAEF,IAAI,EAAEG,OAAO,KACjFpE,CAAC,CAACqE,EAAE,CAACI,KAAK,CAACD,SAAS,CAAC,CAACL,IAAI,EAAG7C,GAAG,IAAKyC,GAAG,CAACzC,GAAG,EAAE,CAACA,GAAG,CAAC,EAAE2C,IAAI,CAAC,EAAEG,OAAO,CAAC;EACtE,MAAMM,IAAI,GAAoCA,CAACP,IAAI,EAAEF,IAAI,EAAEG,OAAO,KAChEpE,CAAC,CAACqE,EAAE,CAACK,IAAI,CAACP,IAAI,EAAG7C,GAAG,IAAKyC,GAAG,CAACzC,GAAG,EAAE,CAACA,GAAG,CAAC,EAAE2C,IAAI,CAAC,EAAEG,OAAO,CAAC;EAC1D,MAAMO,IAAI,GAAqCC,KAAK,IAAK,CAACT,IAAI,EAAEF,IAAI,EAAEG,OAAO,KAC3EpE,CAAC,CAACqE,EAAE,CAACQ,GAAG,CAACD,KAAK,CAAC,CACbT,IAAI,EACJ,OAAOC,OAAO,KAAK,QAAQ,GAAG;IAAEA;EAAO,CAAE,GAAGA,OAAO,IAAI,EAAE,EACzD,CAACJ,IAAI,EAAE1C,GAAG,KAAKyC,GAAG,CAACzC,GAAG,EAAE,CAAC0C,IAAI,CAAC,EAAEC,IAAI,CAAC,CACtC;EAEH,OAAOpD,MAAM,CAACiE,MAAM,CAACrC,CAAC,EAAE;IAAE6B,IAAI;IAAEC,MAAM;IAAEE,KAAK;IAAEC,IAAI;IAAEC;EAAI,CAAE,CAAC;AAC9D,CAAC;AAED;AACO,MAAMI,KAAK,GAAGA,CAAOC,MAAyB,EAAEC,OAGtD,KAID,CACE,GAAGjB,IAA6G,KAC9G;EACF,MAAMkB,OAAO,GAAGD,OAAO,EAAEC,OAAO,IAAI7F,MAAM,CAAC8F,OAAO,CAACzF,KAAK,CAAC0F,WAAW,CAAC;EACrE,MAAMC,KAAK,GAAGhG,MAAM,CAAC8F,OAAO,CAACtF,KAAK,CAACyF,IAAI,EAAE,CAAC;EAC1C,MAAMC,aAAa,GAAG7F,KAAK,CAAC8F,oBAAoB,CAACR,MAAM,EAAEE,OAAO,CAAC,CAACpD,IAAI,CACpEjC,KAAK,CAAC4F,MAAM,CAACJ,KAAK,CAAC,EACnBhG,MAAM,CAACqG,KAAK,EACZrG,MAAM,CAACsG,MAAM,EACbtG,MAAM,CAAC8F,OAAO,CACf;EAED,MAAMd,EAAE,GAA6BxD,MAAM,CAACiE,MAAM,CAAC9E,CAAC,CAACqE,EAAE,EAAE;IACvD9C,MAAM,EAAEsC,UAAU,CAAiCtC,MAAM,IACvDlC,MAAM,CAACuG,OAAO,CAACL,aAAa,EAAGM,OAAO,IACpCtE,MAAM,CAACO,IAAI,CACTzC,MAAM,CAACwD,OAAO,CAACgD,OAAO,CAAC,EACvBxG,MAAM,CAACwD,OAAO,CAACF,OAAO,CAAC,CACxB,CAAC,CACL;IACDmD,MAAM,EAAEjC,UAAU,CAA+CtC,MAAM,IACrElC,MAAM,CAACuG,OAAO,CAACL,aAAa,EAAGM,OAAO,IACpCtE,MAAM,CAACO,IAAI,CACTzC,MAAM,CAACyG,MAAM,EACbzG,MAAM,CAACwD,OAAO,CAACgD,OAAO,CAAC,EACvBxG,MAAM,CAACwD,OAAO,CAACF,OAAO,CAAC,CACxB,CAAC,CACL;IACDoD,IAAI,EAAElC,UAAU,CAAKtC,MAAM,IACzBlC,MAAM,CAACuG,OAAO,CACZL,aAAa,EACZM,OAAO,IAAKxG,MAAM,CAACwD,OAAO,CAACtB,MAAM,EAAEsE,OAAO,CAAC,CAC7C,CACF;IACDG,UAAU,EAAEnC,UAAU,CAAmBtC,MAAM,IAC7ClC,MAAM,CAACuG,OAAO,CAACL,aAAa,EAAGM,OAAO,IACpCtE,MAAM,CAACO,IAAI,CACTzC,MAAM,CAACyG,MAAM,EACbzG,MAAM,CAACwD,OAAO,CAACgD,OAAO,CAAC,CACxB,CAAC,CACL;IACDI,SAAS;IACTlB,KAAKA,CAASmB,WAAmC,EAAEjB,OAElD;MACC,OAAOF,KAAK,CAACrF,KAAK,CAACyG,YAAY,CAACD,WAAW,EAAElB,MAAM,CAAC,EAAE;QAAE,GAAGC,OAAO;QAAEC;MAAO,CAAE,CAAC;IAChF;GACD,CAAC;EAEF,IAAIlB,IAAI,CAAC1B,MAAM,KAAK,CAAC,EAAE;IACrBtC,CAAC,CAACoG,SAAS,CACT,MAAM/E,UAAU,EAAE,CAAChC,MAAM,CAAC0C,MAAM,CAACwD,aAAa,CAAC,CAAC,EAChDN,OAAO,EAAEb,OAAO,GAAGhF,QAAQ,CAACiH,QAAQ,CAACpB,OAAO,CAACb,OAAO,CAAC,GAAGhB,SAAS,CAClE;IACDpD,CAAC,CAACsG,QAAQ,CACR,MAAMjF,UAAU,EAAE,CAACxB,KAAK,CAAC0G,KAAK,CAAClB,KAAK,EAAE9F,IAAI,CAACiH,IAAI,CAAC,CAAC,EACjDvB,OAAO,EAAEb,OAAO,GAAGhF,QAAQ,CAACiH,QAAQ,CAACpB,OAAO,CAACb,OAAO,CAAC,GAAGhB,SAAS,CAClE;IACD,OAAOY,IAAI,CAAC,CAAC,CAAC,CAACK,EAAE,CAAC;EACpB;EAEA,OAAOrE,CAAC,CAACyG,QAAQ,CAACzC,IAAI,CAAC,CAAC,CAAC,EAAE,MAAK;IAC9BhE,CAAC,CAACoG,SAAS,CACT,MAAM/E,UAAU,EAAE,CAAChC,MAAM,CAAC0C,MAAM,CAACwD,aAAa,CAAC,CAAC,EAChDN,OAAO,EAAEb,OAAO,GAAGhF,QAAQ,CAACiH,QAAQ,CAACpB,OAAO,CAACb,OAAO,CAAC,GAAGhB,SAAS,CAClE;IACDpD,CAAC,CAACsG,QAAQ,CACR,MAAMjF,UAAU,EAAE,CAACxB,KAAK,CAAC0G,KAAK,CAAClB,KAAK,EAAE9F,IAAI,CAACiH,IAAI,CAAC,CAAC,EACjDvB,OAAO,EAAEb,OAAO,GAAGhF,QAAQ,CAACiH,QAAQ,CAACpB,OAAO,CAACb,OAAO,CAAC,GAAGhB,SAAS,CAClE;IACD,OAAOY,IAAI,CAAC,CAAC,CAAC,CAACK,EAAE,CAAC;EACpB,CAAC,CAAC;AACJ,CAAC;AAED;AAAAT,OAAA,CAAAmB,KAAA,GAAAA,KAAA;AACO,MAAMxD,MAAM,GAAAqC,OAAA,CAAArC,MAAA,gBAAGsC,UAAU,eAA4BxE,MAAM,CAACwD,OAAO,CAACF,OAAO,CAAC,CAAC;AAEpF;AACO,MAAMmD,MAAM,GAAAlC,OAAA,CAAAkC,MAAA,gBAAGjC,UAAU,eAA0C,IAAA6C,cAAI,EAACrH,MAAM,CAACyG,MAAM,eAAEzG,MAAM,CAACwD,OAAO,CAACF,OAAO,CAAC,CAAC,CAAC;AAEvH;AACO,MAAMoD,IAAI,GAAAnC,OAAA,CAAAmC,IAAA,gBAAGlC,UAAU,CAAQ8C,kBAAQ,CAAC;AAE/C;AACO,MAAMX,UAAU,GAAApC,OAAA,CAAAoC,UAAA,gBAAGnC,UAAU,CAAcxE,MAAM,CAACyG,MAAM,CAAC;AAEhE;AACO,MAAMG,SAAS,GAAGA,CACvBhC,IAA4B,EAC5BG,OAAA,GAAkChF,QAAQ,CAACwH,OAAO,CAAC,EAAE,CAAC,KAEtD,IAAA9E,cAAI,EACFzC,MAAM,CAACwH,cAAc,CAAC5C,IAAI,EAAE5E,MAAM,CAACyH,IAAI,CAAC,EACxCzH,MAAM,CAAC0H,KAAK,CACV,IAAAjF,cAAI,EACFlC,QAAQ,CAACoH,MAAM,CAAC,EAAE,CAAC,EACnBpH,QAAQ,CAACqH,OAAO,CAACrH,QAAQ,CAACsH,OAAO,CAAC,EAClCtH,QAAQ,CAACuH,WAAW,CAAC/H,QAAQ,CAACgI,iBAAiB,CAAChD,OAAO,CAAC,CAAC,CAC1D,CACF,EACD/E,MAAM,CAACqG,KAAK,CACb;AAAA9B,OAAA,CAAAqC,SAAA,GAAAA,SAAA","ignoreList":[]}
+{"version":3,"file":"internal.js","names":["Arbitrary","_interopRequireWildcard","require","Cause","Duration","Effect","Equal","Exit","Fiber","_Function","Layer","Logger","Schedule","Scope","TestEnvironment","Utils","_fastCheck","_interopRequireDefault","V","e","__esModule","default","_getRequireWildcardCache","WeakMap","r","t","has","get","n","__proto__","a","Object","defineProperty","getOwnPropertyDescriptor","u","hasOwnProperty","call","i","set","runPromise","ctx","effect","gen","exitFiber","fork","exit","onTestFinished","interrupt","pipe","asVoid","join","isSuccess","value","errors","prettyErrors","cause","length","logError","then","f","runTest","TestEnv","TestContext","provide","remove","defaultLogger","customTester","b","customTesters","isEqual","undefined","structuralRegion","equals","x","y","filter","addEqualityTesters","expect","exports","makeTester","mapEffect","run","args","self","suspend","name","timeout","it","skip","skipIf","condition","runIf","only","each","cases","for","prop","schemaObj","Array","isArray","arbs","map","schema","make","fc","assert","asyncProperty","as","record","keys","reduce","result","key","assign","property","layer","layer_","options","memoMap","runSync","makeMemoMap","scope","runtimeEffect","toRuntimeWithMemoMap","extend","orDie","cached","flatMap","runtime","scoped","live","scopedLive","flakyTest","nestedLayer","provideMerge","beforeAll","toMillis","afterAll","close","void","describe","flow","identity","seconds","catchAllDefect","fail","retry","recurs","compose","elapsed","whileOutput","lessThanOrEqualTo"],"sources":["../../src/internal.ts"],"sourcesContent":[null],"mappings":";;;;;;AAIA,IAAAA,SAAA,GAAAC,uBAAA,CAAAC,OAAA;AACA,IAAAC,KAAA,GAAAF,uBAAA,CAAAC,OAAA;AACA,IAAAE,QAAA,GAAAH,uBAAA,CAAAC,OAAA;AACA,IAAAG,MAAA,GAAAJ,uBAAA,CAAAC,OAAA;AACA,IAAAI,KAAA,GAAAL,uBAAA,CAAAC,OAAA;AACA,IAAAK,IAAA,GAAAN,uBAAA,CAAAC,OAAA;AACA,IAAAM,KAAA,GAAAP,uBAAA,CAAAC,OAAA;AACA,IAAAO,SAAA,GAAAP,OAAA;AACA,IAAAQ,KAAA,GAAAT,uBAAA,CAAAC,OAAA;AACA,IAAAS,MAAA,GAAAV,uBAAA,CAAAC,OAAA;AACA,IAAAU,QAAA,GAAAX,uBAAA,CAAAC,OAAA;AACA,IAAAW,KAAA,GAAAZ,uBAAA,CAAAC,OAAA;AACA,IAAAY,eAAA,GAAAb,uBAAA,CAAAC,OAAA;AAEA,IAAAa,KAAA,GAAAd,uBAAA,CAAAC,OAAA;AACA,IAAAc,UAAA,GAAAC,sBAAA,CAAAf,OAAA;AACA,IAAAgB,CAAA,GAAAjB,uBAAA,CAAAC,OAAA;AAA2B,SAAAe,uBAAAE,CAAA,WAAAA,CAAA,IAAAA,CAAA,CAAAC,UAAA,GAAAD,CAAA,KAAAE,OAAA,EAAAF,CAAA;AAAA,SAAAG,yBAAAH,CAAA,6BAAAI,OAAA,mBAAAC,CAAA,OAAAD,OAAA,IAAAE,CAAA,OAAAF,OAAA,YAAAD,wBAAA,YAAAA,CAAAH,CAAA,WAAAA,CAAA,GAAAM,CAAA,GAAAD,CAAA,KAAAL,CAAA;AAAA,SAAAlB,wBAAAkB,CAAA,EAAAK,CAAA,SAAAA,CAAA,IAAAL,CAAA,IAAAA,CAAA,CAAAC,UAAA,SAAAD,CAAA,eAAAA,CAAA,uBAAAA,CAAA,yBAAAA,CAAA,WAAAE,OAAA,EAAAF,CAAA,QAAAM,CAAA,GAAAH,wBAAA,CAAAE,CAAA,OAAAC,CAAA,IAAAA,CAAA,CAAAC,GAAA,CAAAP,CAAA,UAAAM,CAAA,CAAAE,GAAA,CAAAR,CAAA,OAAAS,CAAA,KAAAC,SAAA,UAAAC,CAAA,GAAAC,MAAA,CAAAC,cAAA,IAAAD,MAAA,CAAAE,wBAAA,WAAAC,CAAA,IAAAf,CAAA,oBAAAe,CAAA,OAAAC,cAAA,CAAAC,IAAA,CAAAjB,CAAA,EAAAe,CAAA,SAAAG,CAAA,GAAAP,CAAA,GAAAC,MAAA,CAAAE,wBAAA,CAAAd,CAAA,EAAAe,CAAA,UAAAG,CAAA,KAAAA,CAAA,CAAAV,GAAA,IAAAU,CAAA,CAAAC,GAAA,IAAAP,MAAA,CAAAC,cAAA,CAAAJ,CAAA,EAAAM,CAAA,EAAAG,CAAA,IAAAT,CAAA,CAAAM,CAAA,IAAAf,CAAA,CAAAe,CAAA,YAAAN,CAAA,CAAAP,OAAA,GAAAF,CAAA,EAAAM,CAAA,IAAAA,CAAA,CAAAa,GAAA,CAAAnB,CAAA,EAAAS,CAAA,GAAAA,CAAA;AAG3B,MAAMW,UAAU,GAAIC,GAAwB,IAAYC,MAA2B,IACjFpC,MAAM,CAACqC,GAAG,CAAC,aAAS;EAClB,MAAMC,SAAS,GAAG,OAAOtC,MAAM,CAACuC,IAAI,CAACvC,MAAM,CAACwC,IAAI,CAACJ,MAAM,CAAC,CAAC;EAEzDD,GAAG,EAAEM,cAAc,CAAC,MAClBtC,KAAK,CAACuC,SAAS,CAACJ,SAAS,CAAC,CAACK,IAAI,CAC7B3C,MAAM,CAAC4C,MAAM,EACb5C,MAAM,CAACkC,UAAU,CAClB,CACF;EAED,MAAMM,IAAI,GAAG,OAAOrC,KAAK,CAAC0C,IAAI,CAACP,SAAS,CAAC;EACzC,IAAIpC,IAAI,CAAC4C,SAAS,CAACN,IAAI,CAAC,EAAE;IACxB,OAAO,MAAMA,IAAI,CAACO,KAAK;EACzB,CAAC,MAAM;IACL,MAAMC,MAAM,GAAGlD,KAAK,CAACmD,YAAY,CAACT,IAAI,CAACU,KAAK,CAAC;IAC7C,KAAK,IAAIlB,CAAC,GAAG,CAAC,EAAEA,CAAC,GAAGgB,MAAM,CAACG,MAAM,EAAEnB,CAAC,EAAE,EAAE;MACtC,OAAOhC,MAAM,CAACoD,QAAQ,CAACJ,MAAM,CAAChB,CAAC,CAAC,CAAC;IACnC;IACA,OAAO,MAAK;MACV,MAAMgB,MAAM,CAAC,CAAC,CAAC;IACjB,CAAC;EACH;AACF,CAAC,CAAC,CAACL,IAAI,CAAC3C,MAAM,CAACkC,UAAU,CAAC,CAACmB,IAAI,CAAEC,CAAC,IAAKA,CAAC,EAAE,CAAC;AAE7C;AACA,MAAMC,OAAO,GAAIpB,GAAwB,IAAYC,MAA2B,IAAKF,UAAU,CAACC,GAAG,CAAC,CAACC,MAAM,CAAC;AAE5G;AACA,MAAMoB,OAAO,gBAAG/C,eAAe,CAACgD,WAAW,CAACd,IAAI,eAC9CtC,KAAK,CAACqD,OAAO,eAACpD,MAAM,CAACqD,MAAM,CAACrD,MAAM,CAACsD,aAAa,CAAC,CAAC,CACnD;AAED;AACA,SAASC,YAAYA,CAAsBpC,CAAU,EAAEqC,CAAU,EAAEC,aAA4B;EAC7F,IAAI,CAAC9D,KAAK,CAAC+D,OAAO,CAACvC,CAAC,CAAC,IAAI,CAACxB,KAAK,CAAC+D,OAAO,CAACF,CAAC,CAAC,EAAE;IAC1C,OAAOG,SAAS;EAClB;EACA,OAAOvD,KAAK,CAACwD,gBAAgB,CAC3B,MAAMjE,KAAK,CAACkE,MAAM,CAAC1C,CAAC,EAAEqC,CAAC,CAAC,EACxB,CAACM,CAAC,EAAEC,CAAC,KAAK,IAAI,CAACF,MAAM,CAACC,CAAC,EAAEC,CAAC,EAAEN,aAAa,CAACO,MAAM,CAAElD,CAAC,IAAKA,CAAC,KAAKyC,YAAY,CAAC,CAAC,CAC7E;AACH;AAEA;AACO,MAAMU,kBAAkB,GAAGA,CAAA,KAAK;EACrC1D,CAAC,CAAC2D,MAAM,CAACD,kBAAkB,CAAC,CAACV,YAAY,CAAC,CAAC;AAC7C,CAAC;AAED;AAAAY,OAAA,CAAAF,kBAAA,GAAAA,kBAAA;AACA,MAAMG,UAAU,GACdC,SAA6E,IAClD;EAC3B,MAAMC,GAAG,GAAGA,CACVzC,GAAqE,EACrE0C,IAAc,EACdC,IAAmD,KAChD,IAAAnC,cAAI,EAAC3C,MAAM,CAAC+E,OAAO,CAAC,MAAMD,IAAI,CAAC,GAAGD,IAAI,CAAC,CAAC,EAAEF,SAAS,EAAEpB,OAAO,CAACpB,GAAG,CAAC,CAAC;EAEvE,MAAMmB,CAAC,GAA0BA,CAAC0B,IAAI,EAAEF,IAAI,EAAEG,OAAO,KAAKpE,CAAC,CAACqE,EAAE,CAACF,IAAI,EAAG7C,GAAG,IAAKyC,GAAG,CAACzC,GAAG,EAAE,CAACA,GAAG,CAAC,EAAE2C,IAAI,CAAC,EAAEG,OAAO,CAAC;EAE7G,MAAME,IAAI,GAAoCA,CAACH,IAAI,EAAEF,IAAI,EAAEG,OAAO,KAChEpE,CAAC,CAACqE,EAAE,CAACC,IAAI,CAACH,IAAI,EAAG7C,GAAG,IAAKyC,GAAG,CAACzC,GAAG,EAAE,CAACA,GAAG,CAAC,EAAE2C,IAAI,CAAC,EAAEG,OAAO,CAAC;EAC1D,MAAMG,MAAM,GAAuCC,SAAS,IAAK,CAACL,IAAI,EAAEF,IAAI,EAAEG,OAAO,KACnFpE,CAAC,CAACqE,EAAE,CAACE,MAAM,CAACC,SAAS,CAAC,CAACL,IAAI,EAAG7C,GAAG,IAAKyC,GAAG,CAACzC,GAAG,EAAE,CAACA,GAAG,CAAC,EAAE2C,IAAI,CAAC,EAAEG,OAAO,CAAC;EACvE,MAAMK,KAAK,GAAsCD,SAAS,IAAK,CAACL,IAAI,EAAEF,IAAI,EAAEG,OAAO,KACjFpE,CAAC,CAACqE,EAAE,CAACI,KAAK,CAACD,SAAS,CAAC,CAACL,IAAI,EAAG7C,GAAG,IAAKyC,GAAG,CAACzC,GAAG,EAAE,CAACA,GAAG,CAAC,EAAE2C,IAAI,CAAC,EAAEG,OAAO,CAAC;EACtE,MAAMM,IAAI,GAAoCA,CAACP,IAAI,EAAEF,IAAI,EAAEG,OAAO,KAChEpE,CAAC,CAACqE,EAAE,CAACK,IAAI,CAACP,IAAI,EAAG7C,GAAG,IAAKyC,GAAG,CAACzC,GAAG,EAAE,CAACA,GAAG,CAAC,EAAE2C,IAAI,CAAC,EAAEG,OAAO,CAAC;EAC1D,MAAMO,IAAI,GAAqCC,KAAK,IAAK,CAACT,IAAI,EAAEF,IAAI,EAAEG,OAAO,KAC3EpE,CAAC,CAACqE,EAAE,CAACQ,GAAG,CAACD,KAAK,CAAC,CACbT,IAAI,EACJ,OAAOC,OAAO,KAAK,QAAQ,GAAG;IAAEA;EAAO,CAAE,GAAGA,OAAO,IAAI,EAAE,EACzD,CAACJ,IAAI,EAAE1C,GAAG,KAAKyC,GAAG,CAACzC,GAAG,EAAE,CAAC0C,IAAI,CAAC,EAAEC,IAAI,CAAQ,CAC7C;EAEH,MAAMa,IAAI,GAAoCA,CAACX,IAAI,EAAEY,SAAS,EAAEd,IAAI,EAAEG,OAAO,KAAI;IAC/E,IAAIY,KAAK,CAACC,OAAO,CAACF,SAAS,CAAC,EAAE;MAC5B,MAAMG,IAAI,GAAGH,SAAS,CAACI,GAAG,CAAEC,MAAM,IAAKtG,SAAS,CAACuG,IAAI,CAACD,MAAM,CAAC,CAAC;MAC9D,OAAOpF,CAAC,CAACqE,EAAE,CACTF,IAAI;MACJ;MACC7C,GAAG,IAAKgE,kBAAE,CAACC,MAAM,CAACD,kBAAE,CAACE,aAAa,CAAC,GAAGN,IAAI,EAAE,CAAC,GAAGO,EAAE,KAAK1B,GAAG,CAACzC,GAAG,EAAE,CAACmE,EAAS,EAAEnE,GAAG,CAAC,EAAE2C,IAAI,CAAC,CAAC,CAAC,EAC1FG,OAAO,CACR;IACH;IAEA,MAAMc,IAAI,GAAGI,kBAAE,CAACI,MAAM,CACpB7E,MAAM,CAAC8E,IAAI,CAACZ,SAAS,CAAC,CAACa,MAAM,CAAC,UAASC,MAAM,EAAEC,GAAG;MAChDD,MAAM,CAACC,GAAG,CAAC,GAAGhH,SAAS,CAACuG,IAAI,CAACN,SAAS,CAACe,GAAG,CAAC,CAAC;MAC5C,OAAOD,MAAM;IACf,CAAC,EAAE,EAAuC,CAAC,CAC5C;IAED,OAAO7F,CAAC,CAACqE,EAAE,CACTF,IAAI;IACJ;IACC7C,GAAG,IAAKgE,kBAAE,CAACC,MAAM,CAACD,kBAAE,CAACE,aAAa,CAACN,IAAI,EAAE,CAAC,GAAGO,EAAE,KAAK1B,GAAG,CAACzC,GAAG,EAAE,CAACmE,EAAE,CAAC,CAAC,CAAQ,EAAEnE,GAAG,CAAC,EAAE2C,IAAI,CAAC,CAAC,CAAC,EAC1FG,OAAO,CACR;EACH,CAAC;EAED,OAAOvD,MAAM,CAACkF,MAAM,CAACtD,CAAC,EAAE;IAAE6B,IAAI;IAAEC,MAAM;IAAEE,KAAK;IAAEC,IAAI;IAAEC,IAAI;IAAEG;EAAI,CAAE,CAAC;AACpE,CAAC;AAEM,MAAMA,IAAI,GAAkCA,CAACX,IAAI,EAAEY,SAAS,EAAEd,IAAI,EAAEG,OAAO,KAAI;EACpF,IAAIY,KAAK,CAACC,OAAO,CAACF,SAAS,CAAC,EAAE;IAC5B,MAAMG,IAAI,GAAGH,SAAS,CAACI,GAAG,CAAEC,MAAM,IAAKtG,SAAS,CAACuG,IAAI,CAACD,MAAM,CAAC,CAAC;IAC9D,OAAOpF,CAAC,CAACqE,EAAE,CACTF,IAAI;IACJ;IACC7C,GAAG,IAAKgE,kBAAE,CAACC,MAAM,CAACD,kBAAE,CAACU,QAAQ,CAAC,GAAGd,IAAI,EAAE,CAAC,GAAGO,EAAE,KAAKxB,IAAI,CAACwB,EAAE,EAAEnE,GAAG,CAAC,CAAC,CAAC,EAClE8C,OAAO,CACR;EACH;EAEA,MAAMc,IAAI,GAAGI,kBAAE,CAACI,MAAM,CACpB7E,MAAM,CAAC8E,IAAI,CAACZ,SAAS,CAAC,CAACa,MAAM,CAAC,UAASC,MAAM,EAAEC,GAAG;IAChDD,MAAM,CAACC,GAAG,CAAC,GAAGhH,SAAS,CAACuG,IAAI,CAACN,SAAS,CAACe,GAAG,CAAC,CAAC;IAC5C,OAAOD,MAAM;EACf,CAAC,EAAE,EAAuC,CAAC,CAC5C;EAED,OAAO7F,CAAC,CAACqE,EAAE,CACTF,IAAI;EACJ;EACC7C,GAAG,IAAKgE,kBAAE,CAACC,MAAM,CAACD,kBAAE,CAACU,QAAQ,CAACd,IAAI,EAAE,CAAC,GAAGO,EAAE,KAAKxB,IAAI,CAACwB,EAAE,CAAC,CAAC,CAAC,EAAEnE,GAAG,CAAC,CAAC,CAAC,EAClE8C,OAAO,CACR;AACH,CAAC;AAED;AAAAR,OAAA,CAAAkB,IAAA,GAAAA,IAAA;AACO,MAAMmB,KAAK,GAAGA,CAAOC,MAAyB,EAAEC,OAGtD,KAID,CACE,GAAGnC,IAA6G,KAC9G;EACF,MAAMoC,OAAO,GAAGD,OAAO,EAAEC,OAAO,IAAIjH,MAAM,CAACkH,OAAO,CAAC7G,KAAK,CAAC8G,WAAW,CAAC;EACrE,MAAMC,KAAK,GAAGpH,MAAM,CAACkH,OAAO,CAAC1G,KAAK,CAAC0F,IAAI,EAAE,CAAC;EAC1C,MAAMmB,aAAa,GAAGhH,KAAK,CAACiH,oBAAoB,CAACP,MAAM,EAAEE,OAAO,CAAC,CAACtE,IAAI,CACpEnC,KAAK,CAAC+G,MAAM,CAACH,KAAK,CAAC,EACnBpH,MAAM,CAACwH,KAAK,EACZxH,MAAM,CAACyH,MAAM,EACbzH,MAAM,CAACkH,OAAO,CACf;EAED,MAAMhC,EAAE,GAA6BxD,MAAM,CAACkF,MAAM,CAAC/F,CAAC,CAACqE,EAAE,EAAE;IACvD9C,MAAM,EAAEsC,UAAU,CAAiCtC,MAAM,IACvDpC,MAAM,CAAC0H,OAAO,CAACL,aAAa,EAAGM,OAAO,IACpCvF,MAAM,CAACO,IAAI,CACT3C,MAAM,CAAC0D,OAAO,CAACiE,OAAO,CAAC,EACvB3H,MAAM,CAAC0D,OAAO,CAACF,OAAO,CAAC,CACxB,CAAC,CACL;IAEDmC,IAAI;IAEJiC,MAAM,EAAElD,UAAU,CAA+CtC,MAAM,IACrEpC,MAAM,CAAC0H,OAAO,CAACL,aAAa,EAAGM,OAAO,IACpCvF,MAAM,CAACO,IAAI,CACT3C,MAAM,CAAC4H,MAAM,EACb5H,MAAM,CAAC0D,OAAO,CAACiE,OAAO,CAAC,EACvB3H,MAAM,CAAC0D,OAAO,CAACF,OAAO,CAAC,CACxB,CAAC,CACL;IACDqE,IAAI,EAAEnD,UAAU,CAAKtC,MAAM,IACzBpC,MAAM,CAAC0H,OAAO,CACZL,aAAa,EACZM,OAAO,IAAK3H,MAAM,CAAC0D,OAAO,CAACtB,MAAM,EAAEuF,OAAO,CAAC,CAC7C,CACF;IACDG,UAAU,EAAEpD,UAAU,CAAmBtC,MAAM,IAC7CpC,MAAM,CAAC0H,OAAO,CAACL,aAAa,EAAGM,OAAO,IACpCvF,MAAM,CAACO,IAAI,CACT3C,MAAM,CAAC4H,MAAM,EACb5H,MAAM,CAAC0D,OAAO,CAACiE,OAAO,CAAC,CACxB,CAAC,CACL;IACDI,SAAS;IACTjB,KAAKA,CAASkB,WAAmC,EAAEhB,OAElD;MACC,OAAOF,KAAK,CAACzG,KAAK,CAAC4H,YAAY,CAACD,WAAW,EAAEjB,MAAM,CAAC,EAAE;QAAE,GAAGC,OAAO;QAAEC;MAAO,CAAE,CAAC;IAChF;GACD,CAAC;EAEF,IAAIpC,IAAI,CAAC1B,MAAM,KAAK,CAAC,EAAE;IACrBtC,CAAC,CAACqH,SAAS,CACT,MAAMhG,UAAU,EAAE,CAAClC,MAAM,CAAC4C,MAAM,CAACyE,aAAa,CAAC,CAAC,EAChDL,OAAO,EAAE/B,OAAO,GAAGlF,QAAQ,CAACoI,QAAQ,CAACnB,OAAO,CAAC/B,OAAO,CAAC,GAAGhB,SAAS,CAClE;IACDpD,CAAC,CAACuH,QAAQ,CACR,MAAMlG,UAAU,EAAE,CAAC1B,KAAK,CAAC6H,KAAK,CAACjB,KAAK,EAAElH,IAAI,CAACoI,IAAI,CAAC,CAAC,EACjDtB,OAAO,EAAE/B,OAAO,GAAGlF,QAAQ,CAACoI,QAAQ,CAACnB,OAAO,CAAC/B,OAAO,CAAC,GAAGhB,SAAS,CAClE;IACD,OAAOY,IAAI,CAAC,CAAC,CAAC,CAACK,EAAE,CAAC;EACpB;EAEA,OAAOrE,CAAC,CAAC0H,QAAQ,CAAC1D,IAAI,CAAC,CAAC,CAAC,EAAE,MAAK;IAC9BhE,CAAC,CAACqH,SAAS,CACT,MAAMhG,UAAU,EAAE,CAAClC,MAAM,CAAC4C,MAAM,CAACyE,aAAa,CAAC,CAAC,EAChDL,OAAO,EAAE/B,OAAO,GAAGlF,QAAQ,CAACoI,QAAQ,CAACnB,OAAO,CAAC/B,OAAO,CAAC,GAAGhB,SAAS,CAClE;IACDpD,CAAC,CAACuH,QAAQ,CACR,MAAMlG,UAAU,EAAE,CAAC1B,KAAK,CAAC6H,KAAK,CAACjB,KAAK,EAAElH,IAAI,CAACoI,IAAI,CAAC,CAAC,EACjDtB,OAAO,EAAE/B,OAAO,GAAGlF,QAAQ,CAACoI,QAAQ,CAACnB,OAAO,CAAC/B,OAAO,CAAC,GAAGhB,SAAS,CAClE;IACD,OAAOY,IAAI,CAAC,CAAC,CAAC,CAACK,EAAE,CAAC;EACpB,CAAC,CAAC;AACJ,CAAC;AAED;AAAAT,OAAA,CAAAqC,KAAA,GAAAA,KAAA;AACO,MAAM1E,MAAM,GAAAqC,OAAA,CAAArC,MAAA,gBAAGsC,UAAU,eAA4B1E,MAAM,CAAC0D,OAAO,CAACF,OAAO,CAAC,CAAC;AAEpF;AACO,MAAMoE,MAAM,GAAAnD,OAAA,CAAAmD,MAAA,gBAAGlD,UAAU,eAA0C,IAAA8D,cAAI,EAACxI,MAAM,CAAC4H,MAAM,eAAE5H,MAAM,CAAC0D,OAAO,CAACF,OAAO,CAAC,CAAC,CAAC;AAEvH;AACO,MAAMqE,IAAI,GAAApD,OAAA,CAAAoD,IAAA,gBAAGnD,UAAU,CAAQ+D,kBAAQ,CAAC;AAE/C;AACO,MAAMX,UAAU,GAAArD,OAAA,CAAAqD,UAAA,gBAAGpD,UAAU,CAAc1E,MAAM,CAAC4H,MAAM,CAAC;AAEhE;AACO,MAAMG,SAAS,GAAGA,CACvBjD,IAA4B,EAC5BG,OAAA,GAAkClF,QAAQ,CAAC2I,OAAO,CAAC,EAAE,CAAC,KAEtD,IAAA/F,cAAI,EACF3C,MAAM,CAAC2I,cAAc,CAAC7D,IAAI,EAAE9E,MAAM,CAAC4I,IAAI,CAAC,EACxC5I,MAAM,CAAC6I,KAAK,CACV,IAAAlG,cAAI,EACFpC,QAAQ,CAACuI,MAAM,CAAC,EAAE,CAAC,EACnBvI,QAAQ,CAACwI,OAAO,CAACxI,QAAQ,CAACyI,OAAO,CAAC,EAClCzI,QAAQ,CAAC0I,WAAW,CAAClJ,QAAQ,CAACmJ,iBAAiB,CAACjE,OAAO,CAAC,CAAC,CAC1D,CACF,EACDjF,MAAM,CAACwH,KAAK,CACb;AAAA/C,OAAA,CAAAsD,SAAA,GAAAA,SAAA","ignoreList":[]}

package/dist/dts/index.d.ts

@@ -4,6 +4,7 @@
 import type * as Duration from "effect/Duration";
 import type * as Effect from "effect/Effect";
 import type * as Layer from "effect/Layer";
+import type * as Schema from "effect/Schema";
 import type * as Scope from "effect/Scope";
 import type * as TestServices from "effect/TestServices";
 import * as V from "vitest";
@@ -27,6 +28,12 @@ export declare namespace Vitest {
     interface Test<R> {
         <A, E>(name: string, self: TestFunction<A, E, R, [V.TaskContext<V.RunnerTestCase<{}>> & V.TestContext]>, timeout?: number | V.TestOptions): void;
     }
+    /**
+     * @since 1.0.0
+     */
+    type SchemaObj = Array<Schema.Schema.Any> | {
+        [K in string]: Schema.Schema.Any;
+    };
     /**
      * @since 1.0.0
      */
@@ -36,6 +43,15 @@ export declare namespace Vitest {
         runIf: (condition: unknown) => Vitest.Test<R>;
         only: Vitest.Test<R>;
         each: <T>(cases: ReadonlyArray<T>) => <A, E>(name: string, self: TestFunction<A, E, R, Array<T>>, timeout?: number | V.TestOptions) => void;
+        /**
+         * @since 1.0.0
+         */
+        prop: <const S extends SchemaObj, A, E>(name: string, schemas: S, self: TestFunction<A, E, R, [
+            {
+                [K in keyof S]: Schema.Schema.Type<S[K]>;
+            },
+            V.TaskContext<V.RunnerTestCase<{}>> & V.TestContext
+        ]>, timeout?: number | V.TestOptions) => void;
     }
     /**
      * @since 1.0.0
@@ -52,6 +68,12 @@ export declare namespace Vitest {
             (f: (it: Vitest.Methods<R | R2>) => void): void;
             (name: string, f: (it: Vitest.Methods<R | R2>) => void): void;
         };
+        /**
+         * @since 1.0.0
+         */
+        readonly prop: <const S extends SchemaObj>(name: string, schemas: S, self: (schemas: {
+            [K in keyof S]: Schema.Schema.Type<S[K]>;
+        }, ctx: V.TaskContext<V.RunnerTestCase<{}>> & V.TestContext) => void, timeout?: number | V.TestOptions) => void;
     }
 }
 /**
@@ -127,6 +149,12 @@ export declare const layer: <R, E>(layer_: Layer.Layer<R, E>, options?: {
  * @since 1.0.0
  */
 export declare const flakyTest: <A, E, R>(self: Effect.Effect<A, E, R>, timeout?: Duration.DurationInput) => Effect.Effect<A, never, R>;
+/**
+ * @since 1.0.0
+ */
+export declare const prop: <const S extends Vitest.SchemaObj>(name: string, schemas: S, self: (schemas: {
+    [K in keyof S]: Schema.Schema.Type<S[K]>;
+}, ctx: V.TaskContext<V.RunnerTestCase<{}>> & V.TestContext) => void, timeout?: number | V.TestOptions) => void;
 /**
  * @since 1.0.0
  */

package/dist/dts/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/index.ts"],"names":[],"mappings":"AAAA;;GAEG;AACH,OAAO,KAAK,KAAK,QAAQ,MAAM,iBAAiB,CAAA;AAChD,OAAO,KAAK,KAAK,MAAM,MAAM,eAAe,CAAA;AAC5C,OAAO,KAAK,KAAK,KAAK,MAAM,cAAc,CAAA;AAC1C,OAAO,KAAK,KAAK,KAAK,MAAM,cAAc,CAAA;AAC1C,OAAO,KAAK,KAAK,YAAY,MAAM,qBAAqB,CAAA;AACxD,OAAO,KAAK,CAAC,MAAM,QAAQ,CAAA;AAG3B;;GAEG;AACH,MAAM,MAAM,GAAG,GAAG,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAA;AAE/B;;GAEG;AACH,yBAAiB,MAAM,CAAC;IACtB;;OAEG;IACH,UAAiB,YAAY,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,QAAQ,SAAS,KAAK,CAAC,GAAG,CAAC;QAChE,CAAC,GAAG,IAAI,EAAE,QAAQ,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;KAC5C;IAED;;OAEG;IACH,UAAiB,IAAI,CAAC,CAAC;QACrB,CAAC,CAAC,EAAE,CAAC,EACH,IAAI,EAAE,MAAM,EACZ,IAAI,EAAE,YAAY,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,cAAc,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,WAAW,CAAC,CAAC,EAClF,OAAO,CAAC,EAAE,MAAM,GAAG,CAAC,CAAC,WAAW,GAC/B,IAAI,CAAA;KACR;IAED;;OAEG;IACH,UAAiB,MAAM,CAAC,CAAC,CAAE,SAAQ,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC;QAC/C,IAAI,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAA;QACpB,MAAM,EAAE,CAAC,SAAS,EAAE,OAAO,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAA;QAC9C,KAAK,EAAE,CAAC,SAAS,EAAE,OAAO,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAA;QAC7C,IAAI,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAA;QACpB,IAAI,EAAE,CAAC,CAAC,EACN,KAAK,EAAE,aAAa,CAAC,CAAC,CAAC,KACpB,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,YAAY,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,EAAE,MAAM,GAAG,CAAC,CAAC,WAAW,KAAK,IAAI,CAAA;KAC3G;IAED;;OAEG;IACH,UAAiB,OAAO,CAAC,CAAC,GAAG,KAAK,CAAE,SAAQ,GAAG;QAC7C,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,YAAY,CAAC,YAAY,GAAG,CAAC,CAAC,CAAA;QAC7D,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAA;QAC/B,QAAQ,CAAC,SAAS,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,EAC3B,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,EAC7B,OAAO,CAAC,EAAE,QAAQ,CAAC,aAAa,KAC7B,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE,CAAC,CAAA;QAChC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,YAAY,CAAC,YAAY,GAAG,KAAK,CAAC,KAAK,GAAG,CAAC,CAAC,CAAA;QAC3E,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,GAAG,CAAC,CAAC,CAAA;QACnD,QAAQ,CAAC,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,OAAO,CAAC,EAAE;YAC9D,QAAQ,CAAC,OAAO,CAAC,EAAE,QAAQ,CAAC,aAAa,CAAA;SAC1C,KAAK;YACJ,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,MAAM,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,CAAC,KAAK,IAAI,GAAG,IAAI,CAAA;YAC/C,CAAC,IAAI,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,MAAM,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,CAAC,KAAK,IAAI,GAAG,IAAI,CAAA;SAC9D,CAAA;KACF;CACF;AAED;;GAEG;AACH,eAAO,MAAM,kBAAkB,EAAE,MAAM,IAAkC,CAAA;AAEzE;;GAEG;AACH,eAAO,MAAM,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,YAAY,CAAC,YAAY,CAAmB,CAAA;AAE/E;;GAEG;AACH,eAAO,MAAM,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,YAAY,CAAC,YAAY,GAAG,KAAK,CAAC,KAAK,CAAmB,CAAA;AAE7F;;GAEG;AACH,eAAO,MAAM,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,KAAK,CAAiB,CAAA;AAEvD;;GAEG;AACH,eAAO,MAAM,UAAU,EAAE,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,CAAuB,CAAA;AAEzE;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAyCG;AACH,eAAO,MAAM,KAAK,EAAE,CAAC,CAAC,EAAE,CAAC,EACvB,MAAM,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,EACzB,OAAO,CAAC,EAAE;IAAE,QAAQ,CAAC,OAAO,CAAC,EAAE,KAAK,CAAC,OAAO,CAAC;IAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,QAAQ,CAAC,aAAa,CAAA;CAAE,KACtF;IAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,IAAI,GAAG,IAAI,CAAC;IAAC,CAAC,IAAI,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,IAAI,GAAG,IAAI,CAAA;CAC3F,CAAA;AAEhB;;GAEG;AACH,eAAO,MAAM,SAAS,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAC9B,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAC5B,OAAO,CAAC,EAAE,QAAQ,CAAC,aAAa,KAC7B,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAsB,CAAA;AAKpD;;GAEG;AACH,eAAO,MAAM,EAAE,EAAE,MAAM,CAAC,OAAsC,CAAA;AAE9D;;GAEG;AACH,cAAc,QAAQ,CAAA"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/index.ts"],"names":[],"mappings":"AAAA;;GAEG;AACH,OAAO,KAAK,KAAK,QAAQ,MAAM,iBAAiB,CAAA;AAChD,OAAO,KAAK,KAAK,MAAM,MAAM,eAAe,CAAA;AAC5C,OAAO,KAAK,KAAK,KAAK,MAAM,cAAc,CAAA;AAC1C,OAAO,KAAK,KAAK,MAAM,MAAM,eAAe,CAAA;AAC5C,OAAO,KAAK,KAAK,KAAK,MAAM,cAAc,CAAA;AAC1C,OAAO,KAAK,KAAK,YAAY,MAAM,qBAAqB,CAAA;AACxD,OAAO,KAAK,CAAC,MAAM,QAAQ,CAAA;AAG3B;;GAEG;AACH,MAAM,MAAM,GAAG,GAAG,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAA;AAE/B;;GAEG;AACH,yBAAiB,MAAM,CAAC;IACtB;;OAEG;IACH,UAAiB,YAAY,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,QAAQ,SAAS,KAAK,CAAC,GAAG,CAAC;QAChE,CAAC,GAAG,IAAI,EAAE,QAAQ,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;KAC5C;IAED;;OAEG;IACH,UAAiB,IAAI,CAAC,CAAC;QACrB,CAAC,CAAC,EAAE,CAAC,EACH,IAAI,EAAE,MAAM,EACZ,IAAI,EAAE,YAAY,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,cAAc,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,WAAW,CAAC,CAAC,EAClF,OAAO,CAAC,EAAE,MAAM,GAAG,CAAC,CAAC,WAAW,GAC/B,IAAI,CAAA;KACR;IAED;;OAEG;IACH,KAAY,SAAS,GAAG,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG;SAAG,CAAC,IAAI,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,GAAG;KAAE,CAAA;IAEvF;;OAEG;IACH,UAAiB,MAAM,CAAC,CAAC,CAAE,SAAQ,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC;QAC/C,IAAI,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAA;QACpB,MAAM,EAAE,CAAC,SAAS,EAAE,OAAO,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAA;QAC9C,KAAK,EAAE,CAAC,SAAS,EAAE,OAAO,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAA;QAC7C,IAAI,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAA;QACpB,IAAI,EAAE,CAAC,CAAC,EACN,KAAK,EAAE,aAAa,CAAC,CAAC,CAAC,KACpB,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,YAAY,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,EAAE,MAAM,GAAG,CAAC,CAAC,WAAW,KAAK,IAAI,CAAA;QAE1G;;WAEG;QACH,IAAI,EAAE,CAAC,KAAK,CAAC,CAAC,SAAS,SAAS,EAAE,CAAC,EAAE,CAAC,EACpC,IAAI,EAAE,MAAM,EACZ,OAAO,EAAE,CAAC,EACV,IAAI,EAAE,YAAY,CAChB,CAAC,EACD,CAAC,EACD,CAAC,EACD;YAAC;iBAAG,CAAC,IAAI,MAAM,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;aAAE;YAAE,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,cAAc,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,WAAW;SAAC,CACpG,EACD,OAAO,CAAC,EAAE,MAAM,GAAG,CAAC,CAAC,WAAW,KAC7B,IAAI,CAAA;KACV;IAED;;OAEG;IACH,UAAiB,OAAO,CAAC,CAAC,GAAG,KAAK,CAAE,SAAQ,GAAG;QAC7C,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,YAAY,CAAC,YAAY,GAAG,CAAC,CAAC,CAAA;QAC7D,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAA;QAC/B,QAAQ,CAAC,SAAS,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,EAC3B,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,EAC7B,OAAO,CAAC,EAAE,QAAQ,CAAC,aAAa,KAC7B,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE,CAAC,CAAA;QAChC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,YAAY,CAAC,YAAY,GAAG,KAAK,CAAC,KAAK,GAAG,CAAC,CAAC,CAAA;QAC3E,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,GAAG,CAAC,CAAC,CAAA;QACnD,QAAQ,CAAC,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,OAAO,CAAC,EAAE;YAC9D,QAAQ,CAAC,OAAO,CAAC,EAAE,QAAQ,CAAC,aAAa,CAAA;SAC1C,KAAK;YACJ,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,MAAM,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,CAAC,KAAK,IAAI,GAAG,IAAI,CAAA;YAC/C,CAAC,IAAI,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,MAAM,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,CAAC,KAAK,IAAI,GAAG,IAAI,CAAA;SAC9D,CAAA;QAED;;WAEG;QACH,QAAQ,CAAC,IAAI,EAAE,CAAC,KAAK,CAAC,CAAC,SAAS,SAAS,EACvC,IAAI,EAAE,MAAM,EACZ,OAAO,EAAE,CAAC,EACV,IAAI,EAAE,CACJ,OAAO,EAAE;aAAG,CAAC,IAAI,MAAM,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;SAAE,EACrD,GAAG,EAAE,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,cAAc,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,WAAW,KACrD,IAAI,EACT,OAAO,CAAC,EAAE,MAAM,GAAG,CAAC,CAAC,WAAW,KAC7B,IAAI,CAAA;KACV;CACF;AAED;;GAEG;AACH,eAAO,MAAM,kBAAkB,EAAE,MAAM,IAAkC,CAAA;AAEzE;;GAEG;AACH,eAAO,MAAM,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,YAAY,CAAC,YAAY,CAAmB,CAAA;AAE/E;;GAEG;AACH,eAAO,MAAM,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,YAAY,CAAC,YAAY,GAAG,KAAK,CAAC,KAAK,CAAmB,CAAA;AAE7F;;GAEG;AACH,eAAO,MAAM,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,KAAK,CAAiB,CAAA;AAEvD;;GAEG;AACH,eAAO,MAAM,UAAU,EAAE,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,CAAuB,CAAA;AAEzE;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAyCG;AACH,eAAO,MAAM,KAAK,EAAE,CAAC,CAAC,EAAE,CAAC,EACvB,MAAM,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,EACzB,OAAO,CAAC,EAAE;IAAE,QAAQ,CAAC,OAAO,CAAC,EAAE,KAAK,CAAC,OAAO,CAAC;IAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,QAAQ,CAAC,aAAa,CAAA;CAAE,KACtF;IAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,IAAI,GAAG,IAAI,CAAC;IAAC,CAAC,IAAI,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,IAAI,GAAG,IAAI,CAAA;CAC3F,CAAA;AAEhB;;GAEG;AACH,eAAO,MAAM,SAAS,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAC9B,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAC5B,OAAO,CAAC,EAAE,QAAQ,CAAC,aAAa,KAC7B,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAsB,CAAA;AAEpD;;GAEG;AACH,eAAO,MAAM,IAAI,EAAE,CAAC,KAAK,CAAC,CAAC,SAAS,MAAM,CAAC,SAAS,EAClD,IAAI,EAAE,MAAM,EACZ,OAAO,EAAE,CAAC,EACV,IAAI,EAAE,CACJ,OAAO,EAAE;KAAG,CAAC,IAAI,MAAM,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;CAAE,EACrD,GAAG,EAAE,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,cAAc,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,WAAW,KACrD,IAAI,EACT,OAAO,CAAC,EAAE,MAAM,GAAG,CAAC,CAAC,WAAW,KAC7B,IAAoB,CAAA;AASzB;;GAEG;AACH,eAAO,MAAM,EAAE,EAAE,MAAM,CAAC,OAAsC,CAAA;AAE9D;;GAEG;AACH,cAAc,QAAQ,CAAA"}

package/dist/dts/internal.d.ts

@@ -1,2 +1,3 @@
-export {};
+import type * as Vitest from "./index.js";
+export declare const prop: Vitest.Vitest.Methods["prop"];
 //# sourceMappingURL=internal.d.ts.map

package/dist/dts/internal.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"internal.d.ts","sourceRoot":"","sources":["../../src/internal.ts"],"names":[],"mappings":""}
+{"version":3,"file":"internal.d.ts","sourceRoot":"","sources":["../../src/internal.ts"],"names":[],"mappings":"AAqBA,OAAO,KAAK,KAAK,MAAM,MAAM,YAAY,CAAA;AA2GzC,eAAO,MAAM,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,MAAM,CAwB9C,CAAA"}

package/dist/esm/index.js

@@ -67,6 +67,13 @@ export const layer = internal.layer;
  * @since 1.0.0
  */
 export const flakyTest = internal.flakyTest;
+/**
+ * @since 1.0.0
+ */
+export const prop = internal.prop;
+/**
+ * @since 1.0.0
+ */
 /** @ignored */
 const methods = {
   effect,
@@ -74,7 +81,8 @@ const methods = {
   flakyTest,
   scoped,
   scopedLive,
-  layer
+  layer,
+  prop
 };
 /**
  * @since 1.0.0

package/dist/esm/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","names":["V","internal","addEqualityTesters","effect","scoped","live","scopedLive","layer","flakyTest","methods","it","Object","assign"],"sources":["../../src/index.ts"],"sourcesContent":[null],"mappings":"AAQA,OAAO,KAAKA,CAAC,MAAM,QAAQ;AAC3B,OAAO,KAAKC,QAAQ,MAAM,eAAe;AA+DzC;;;AAGA,OAAO,MAAMC,kBAAkB,GAAeD,QAAQ,CAACC,kBAAkB;AAEzE;;;AAGA,OAAO,MAAMC,MAAM,GAA6CF,QAAQ,CAACE,MAAM;AAE/E;;;AAGA,OAAO,MAAMC,MAAM,GAA2DH,QAAQ,CAACG,MAAM;AAE7F;;;AAGA,OAAO,MAAMC,IAAI,GAAyBJ,QAAQ,CAACI,IAAI;AAEvD;;;AAGA,OAAO,MAAMC,UAAU,GAA+BL,QAAQ,CAACK,UAAU;AAEzE;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AA0CA,OAAO,MAAMC,KAAK,GAIhBN,QAAQ,CAACM,KAAK;AAEhB;;;AAGA,OAAO,MAAMC,SAAS,GAGYP,QAAQ,CAACO,SAAS;AAEpD;AACA,MAAMC,OAAO,GAAG;EAAEN,MAAM;EAAEE,IAAI;EAAEG,SAAS;EAAEJ,MAAM;EAAEE,UAAU;EAAEC;AAAK,CAAW;AAE/E;;;AAGA,OAAO,MAAMG,EAAE,gBAAmBC,MAAM,CAACC,MAAM,CAACZ,CAAC,CAACU,EAAE,EAAED,OAAO,CAAC;AAE9D;;;AAGA,cAAc,QAAQ","ignoreList":[]}
+{"version":3,"file":"index.js","names":["V","internal","addEqualityTesters","effect","scoped","live","scopedLive","layer","flakyTest","prop","methods","it","Object","assign"],"sources":["../../src/index.ts"],"sourcesContent":[null],"mappings":"AASA,OAAO,KAAKA,CAAC,MAAM,QAAQ;AAC3B,OAAO,KAAKC,QAAQ,MAAM,eAAe;AAgGzC;;;AAGA,OAAO,MAAMC,kBAAkB,GAAeD,QAAQ,CAACC,kBAAkB;AAEzE;;;AAGA,OAAO,MAAMC,MAAM,GAA6CF,QAAQ,CAACE,MAAM;AAE/E;;;AAGA,OAAO,MAAMC,MAAM,GAA2DH,QAAQ,CAACG,MAAM;AAE7F;;;AAGA,OAAO,MAAMC,IAAI,GAAyBJ,QAAQ,CAACI,IAAI;AAEvD;;;AAGA,OAAO,MAAMC,UAAU,GAA+BL,QAAQ,CAACK,UAAU;AAEzE;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AA0CA,OAAO,MAAMC,KAAK,GAIhBN,QAAQ,CAACM,KAAK;AAEhB;;;AAGA,OAAO,MAAMC,SAAS,GAGYP,QAAQ,CAACO,SAAS;AAEpD;;;AAGA,OAAO,MAAMC,IAAI,GAQLR,QAAQ,CAACQ,IAAI;AAEzB;;;AAIA;AACA,MAAMC,OAAO,GAAG;EAAEP,MAAM;EAAEE,IAAI;EAAEG,SAAS;EAAEJ,MAAM;EAAEE,UAAU;EAAEC,KAAK;EAAEE;AAAI,CAAW;AAErF;;;AAGA,OAAO,MAAME,EAAE,gBAAmBC,MAAM,CAACC,MAAM,CAACb,CAAC,CAACW,EAAE,EAAED,OAAO,CAAC;AAE9D;;;AAGA,cAAc,QAAQ","ignoreList":[]}

package/dist/esm/internal.js

@@ -1,3 +1,4 @@
+import * as Arbitrary from "effect/Arbitrary";
 import * as Cause from "effect/Cause";
 import * as Duration from "effect/Duration";
 import * as Effect from "effect/Effect";
@@ -11,6 +12,7 @@ import * as Schedule from "effect/Schedule";
 import * as Scope from "effect/Scope";
 import * as TestEnvironment from "effect/TestContext";
 import * as Utils from "effect/Utils";
+import fc from "fast-check";
 import * as V from "vitest";
 const runPromise = ctx => effect => Effect.gen(function* () {
   const exitFiber = yield* Effect.fork(Effect.exit(effect));
@@ -29,7 +31,7 @@ const runPromise = ctx => effect => Effect.gen(function* () {
   }
 }).pipe(Effect.runPromise).then(f => f());
 /** @internal */
-const runTest = ctx => effect => runPromise(ctx)(Effect.asVoid(effect));
+const runTest = ctx => effect => runPromise(ctx)(effect);
 /** @internal */
 const TestEnv = /*#__PURE__*/TestEnvironment.TestContext.pipe( /*#__PURE__*/Layer.provide( /*#__PURE__*/Logger.remove(Logger.defaultLogger)));
 /** @internal */
@@ -54,14 +56,45 @@ const makeTester = mapEffect => {
   const each = cases => (name, self, timeout) => V.it.for(cases)(name, typeof timeout === "number" ? {
     timeout
   } : timeout ?? {}, (args, ctx) => run(ctx, [args], self));
+  const prop = (name, schemaObj, self, timeout) => {
+    if (Array.isArray(schemaObj)) {
+      const arbs = schemaObj.map(schema => Arbitrary.make(schema));
+      return V.it(name,
+      // @ts-ignore
+      ctx => fc.assert(fc.asyncProperty(...arbs, (...as) => run(ctx, [as, ctx], self))), timeout);
+    }
+    const arbs = fc.record(Object.keys(schemaObj).reduce(function (result, key) {
+      result[key] = Arbitrary.make(schemaObj[key]);
+      return result;
+    }, {}));
+    return V.it(name,
+    // @ts-ignore
+    ctx => fc.assert(fc.asyncProperty(arbs, (...as) => run(ctx, [as[0], ctx], self))), timeout);
+  };
   return Object.assign(f, {
     skip,
     skipIf,
     runIf,
     only,
-    each
+    each,
+    prop
   });
 };
+export const prop = (name, schemaObj, self, timeout) => {
+  if (Array.isArray(schemaObj)) {
+    const arbs = schemaObj.map(schema => Arbitrary.make(schema));
+    return V.it(name,
+    // @ts-ignore
+    ctx => fc.assert(fc.property(...arbs, (...as) => self(as, ctx))), timeout);
+  }
+  const arbs = fc.record(Object.keys(schemaObj).reduce(function (result, key) {
+    result[key] = Arbitrary.make(schemaObj[key]);
+    return result;
+  }, {}));
+  return V.it(name,
+  // @ts-ignore
+  ctx => fc.assert(fc.property(arbs, (...as) => self(as[0], ctx))), timeout);
+};
 /** @internal */
 export const layer = (layer_, options) => (...args) => {
   const memoMap = options?.memoMap ?? Effect.runSync(Layer.makeMemoMap);
@@ -69,6 +102,7 @@ export const layer = (layer_, options) => (...args) => {
   const runtimeEffect = Layer.toRuntimeWithMemoMap(layer_, memoMap).pipe(Scope.extend(scope), Effect.orDie, Effect.cached, Effect.runSync);
   const it = Object.assign(V.it, {
     effect: makeTester(effect => Effect.flatMap(runtimeEffect, runtime => effect.pipe(Effect.provide(runtime), Effect.provide(TestEnv)))),
+    prop,
     scoped: makeTester(effect => Effect.flatMap(runtimeEffect, runtime => effect.pipe(Effect.scoped, Effect.provide(runtime), Effect.provide(TestEnv)))),
     live: makeTester(effect => Effect.flatMap(runtimeEffect, runtime => Effect.provide(effect, runtime))),
     scopedLive: makeTester(effect => Effect.flatMap(runtimeEffect, runtime => effect.pipe(Effect.scoped, Effect.provide(runtime)))),

package/dist/esm/internal.js.map

@@ -1 +1 @@
-{"version":3,"file":"internal.js","names":["Cause","Duration","Effect","Equal","Exit","Fiber","flow","identity","pipe","Layer","Logger","Schedule","Scope","TestEnvironment","Utils","V","runPromise","ctx","effect","gen","exitFiber","fork","exit","onTestFinished","interrupt","asVoid","join","isSuccess","value","errors","prettyErrors","cause","i","length","logError","then","f","runTest","TestEnv","TestContext","provide","remove","defaultLogger","customTester","a","b","customTesters","isEqual","undefined","structuralRegion","equals","x","y","filter","t","addEqualityTesters","expect","makeTester","mapEffect","run","args","self","suspend","name","timeout","it","skip","skipIf","condition","runIf","only","each","cases","for","Object","assign","layer","layer_","options","memoMap","runSync","makeMemoMap","scope","make","runtimeEffect","toRuntimeWithMemoMap","extend","orDie","cached","flatMap","runtime","scoped","live","scopedLive","flakyTest","nestedLayer","provideMerge","beforeAll","toMillis","afterAll","close","void","describe","seconds","catchAllDefect","fail","retry","recurs","compose","elapsed","whileOutput","lessThanOrEqualTo"],"sources":["../../src/internal.ts"],"sourcesContent":[null],"mappings":"AAIA,OAAO,KAAKA,KAAK,MAAM,cAAc;AACrC,OAAO,KAAKC,QAAQ,MAAM,iBAAiB;AAC3C,OAAO,KAAKC,MAAM,MAAM,eAAe;AACvC,OAAO,KAAKC,KAAK,MAAM,cAAc;AACrC,OAAO,KAAKC,IAAI,MAAM,aAAa;AACnC,OAAO,KAAKC,KAAK,MAAM,cAAc;AACrC,SAASC,IAAI,EAAEC,QAAQ,EAAEC,IAAI,QAAQ,iBAAiB;AACtD,OAAO,KAAKC,KAAK,MAAM,cAAc;AACrC,OAAO,KAAKC,MAAM,MAAM,eAAe;AACvC,OAAO,KAAKC,QAAQ,MAAM,iBAAiB;AAC3C,OAAO,KAAKC,KAAK,MAAM,cAAc;AACrC,OAAO,KAAKC,eAAe,MAAM,oBAAoB;AAErD,OAAO,KAAKC,KAAK,MAAM,cAAc;AACrC,OAAO,KAAKC,CAAC,MAAM,QAAQ;AAG3B,MAAMC,UAAU,GAAIC,GAAwB,IAAYC,MAA2B,IACjFhB,MAAM,CAACiB,GAAG,CAAC,aAAS;EAClB,MAAMC,SAAS,GAAG,OAAOlB,MAAM,CAACmB,IAAI,CAACnB,MAAM,CAACoB,IAAI,CAACJ,MAAM,CAAC,CAAC;EAEzDD,GAAG,EAAEM,cAAc,CAAC,MAClBlB,KAAK,CAACmB,SAAS,CAACJ,SAAS,CAAC,CAACZ,IAAI,CAC7BN,MAAM,CAACuB,MAAM,EACbvB,MAAM,CAACc,UAAU,CAClB,CACF;EAED,MAAMM,IAAI,GAAG,OAAOjB,KAAK,CAACqB,IAAI,CAACN,SAAS,CAAC;EACzC,IAAIhB,IAAI,CAACuB,SAAS,CAACL,IAAI,CAAC,EAAE;IACxB,OAAO,MAAMA,IAAI,CAACM,KAAK;EACzB,CAAC,MAAM;IACL,MAAMC,MAAM,GAAG7B,KAAK,CAAC8B,YAAY,CAACR,IAAI,CAACS,KAAK,CAAC;IAC7C,KAAK,IAAIC,CAAC,GAAG,CAAC,EAAEA,CAAC,GAAGH,MAAM,CAACI,MAAM,EAAED,CAAC,EAAE,EAAE;MACtC,OAAO9B,MAAM,CAACgC,QAAQ,CAACL,MAAM,CAACG,CAAC,CAAC,CAAC;IACnC;IACA,OAAO,MAAK;MACV,MAAMH,MAAM,CAAC,CAAC,CAAC;IACjB,CAAC;EACH;AACF,CAAC,CAAC,CAACrB,IAAI,CAACN,MAAM,CAACc,UAAU,CAAC,CAACmB,IAAI,CAAEC,CAAC,IAAKA,CAAC,EAAE,CAAC;AAE7C;AACA,MAAMC,OAAO,GAAIpB,GAAwB,IAAYC,MAA2B,IAC9EF,UAAU,CAACC,GAAG,CAAC,CAACf,MAAM,CAACuB,MAAM,CAACP,MAAM,CAAC,CAAC;AAExC;AACA,MAAMoB,OAAO,gBAAGzB,eAAe,CAAC0B,WAAW,CAAC/B,IAAI,eAC9CC,KAAK,CAAC+B,OAAO,eAAC9B,MAAM,CAAC+B,MAAM,CAAC/B,MAAM,CAACgC,aAAa,CAAC,CAAC,CACnD;AAED;AACA,SAASC,YAAYA,CAAsBC,CAAU,EAAEC,CAAU,EAAEC,aAA4B;EAC7F,IAAI,CAAC3C,KAAK,CAAC4C,OAAO,CAACH,CAAC,CAAC,IAAI,CAACzC,KAAK,CAAC4C,OAAO,CAACF,CAAC,CAAC,EAAE;IAC1C,OAAOG,SAAS;EAClB;EACA,OAAOlC,KAAK,CAACmC,gBAAgB,CAC3B,MAAM9C,KAAK,CAAC+C,MAAM,CAACN,CAAC,EAAEC,CAAC,CAAC,EACxB,CAACM,CAAC,EAAEC,CAAC,KAAK,IAAI,CAACF,MAAM,CAACC,CAAC,EAAEC,CAAC,EAAEN,aAAa,CAACO,MAAM,CAAEC,CAAC,IAAKA,CAAC,KAAKX,YAAY,CAAC,CAAC,CAC7E;AACH;AAEA;AACA,OAAO,MAAMY,kBAAkB,GAAGA,CAAA,KAAK;EACrCxC,CAAC,CAACyC,MAAM,CAACD,kBAAkB,CAAC,CAACZ,YAAY,CAAC,CAAC;AAC7C,CAAC;AAED;AACA,MAAMc,UAAU,GACdC,SAA6E,IAClD;EAC3B,MAAMC,GAAG,GAAGA,CACV1C,GAAqE,EACrE2C,IAAc,EACdC,IAAmD,KAChDrD,IAAI,CAACN,MAAM,CAAC4D,OAAO,CAAC,MAAMD,IAAI,CAAC,GAAGD,IAAI,CAAC,CAAC,EAAEF,SAAS,EAAErB,OAAO,CAACpB,GAAG,CAAC,CAAC;EAEvE,MAAMmB,CAAC,GAA0BA,CAAC2B,IAAI,EAAEF,IAAI,EAAEG,OAAO,KAAKjD,CAAC,CAACkD,EAAE,CAACF,IAAI,EAAG9C,GAAG,IAAK0C,GAAG,CAAC1C,GAAG,EAAE,CAACA,GAAG,CAAC,EAAE4C,IAAI,CAAC,EAAEG,OAAO,CAAC;EAE7G,MAAME,IAAI,GAAoCA,CAACH,IAAI,EAAEF,IAAI,EAAEG,OAAO,KAChEjD,CAAC,CAACkD,EAAE,CAACC,IAAI,CAACH,IAAI,EAAG9C,GAAG,IAAK0C,GAAG,CAAC1C,GAAG,EAAE,CAACA,GAAG,CAAC,EAAE4C,IAAI,CAAC,EAAEG,OAAO,CAAC;EAC1D,MAAMG,MAAM,GAAuCC,SAAS,IAAK,CAACL,IAAI,EAAEF,IAAI,EAAEG,OAAO,KACnFjD,CAAC,CAACkD,EAAE,CAACE,MAAM,CAACC,SAAS,CAAC,CAACL,IAAI,EAAG9C,GAAG,IAAK0C,GAAG,CAAC1C,GAAG,EAAE,CAACA,GAAG,CAAC,EAAE4C,IAAI,CAAC,EAAEG,OAAO,CAAC;EACvE,MAAMK,KAAK,GAAsCD,SAAS,IAAK,CAACL,IAAI,EAAEF,IAAI,EAAEG,OAAO,KACjFjD,CAAC,CAACkD,EAAE,CAACI,KAAK,CAACD,SAAS,CAAC,CAACL,IAAI,EAAG9C,GAAG,IAAK0C,GAAG,CAAC1C,GAAG,EAAE,CAACA,GAAG,CAAC,EAAE4C,IAAI,CAAC,EAAEG,OAAO,CAAC;EACtE,MAAMM,IAAI,GAAoCA,CAACP,IAAI,EAAEF,IAAI,EAAEG,OAAO,KAChEjD,CAAC,CAACkD,EAAE,CAACK,IAAI,CAACP,IAAI,EAAG9C,GAAG,IAAK0C,GAAG,CAAC1C,GAAG,EAAE,CAACA,GAAG,CAAC,EAAE4C,IAAI,CAAC,EAAEG,OAAO,CAAC;EAC1D,MAAMO,IAAI,GAAqCC,KAAK,IAAK,CAACT,IAAI,EAAEF,IAAI,EAAEG,OAAO,KAC3EjD,CAAC,CAACkD,EAAE,CAACQ,GAAG,CAACD,KAAK,CAAC,CACbT,IAAI,EACJ,OAAOC,OAAO,KAAK,QAAQ,GAAG;IAAEA;EAAO,CAAE,GAAGA,OAAO,IAAI,EAAE,EACzD,CAACJ,IAAI,EAAE3C,GAAG,KAAK0C,GAAG,CAAC1C,GAAG,EAAE,CAAC2C,IAAI,CAAC,EAAEC,IAAI,CAAC,CACtC;EAEH,OAAOa,MAAM,CAACC,MAAM,CAACvC,CAAC,EAAE;IAAE8B,IAAI;IAAEC,MAAM;IAAEE,KAAK;IAAEC,IAAI;IAAEC;EAAI,CAAE,CAAC;AAC9D,CAAC;AAED;AACA,OAAO,MAAMK,KAAK,GAAGA,CAAOC,MAAyB,EAAEC,OAGtD,KAID,CACE,GAAGlB,IAA6G,KAC9G;EACF,MAAMmB,OAAO,GAAGD,OAAO,EAAEC,OAAO,IAAI7E,MAAM,CAAC8E,OAAO,CAACvE,KAAK,CAACwE,WAAW,CAAC;EACrE,MAAMC,KAAK,GAAGhF,MAAM,CAAC8E,OAAO,CAACpE,KAAK,CAACuE,IAAI,EAAE,CAAC;EAC1C,MAAMC,aAAa,GAAG3E,KAAK,CAAC4E,oBAAoB,CAACR,MAAM,EAAEE,OAAO,CAAC,CAACvE,IAAI,CACpEI,KAAK,CAAC0E,MAAM,CAACJ,KAAK,CAAC,EACnBhF,MAAM,CAACqF,KAAK,EACZrF,MAAM,CAACsF,MAAM,EACbtF,MAAM,CAAC8E,OAAO,CACf;EAED,MAAMf,EAAE,GAA6BS,MAAM,CAACC,MAAM,CAAC5D,CAAC,CAACkD,EAAE,EAAE;IACvD/C,MAAM,EAAEuC,UAAU,CAAiCvC,MAAM,IACvDhB,MAAM,CAACuF,OAAO,CAACL,aAAa,EAAGM,OAAO,IACpCxE,MAAM,CAACV,IAAI,CACTN,MAAM,CAACsC,OAAO,CAACkD,OAAO,CAAC,EACvBxF,MAAM,CAACsC,OAAO,CAACF,OAAO,CAAC,CACxB,CAAC,CACL;IACDqD,MAAM,EAAElC,UAAU,CAA+CvC,MAAM,IACrEhB,MAAM,CAACuF,OAAO,CAACL,aAAa,EAAGM,OAAO,IACpCxE,MAAM,CAACV,IAAI,CACTN,MAAM,CAACyF,MAAM,EACbzF,MAAM,CAACsC,OAAO,CAACkD,OAAO,CAAC,EACvBxF,MAAM,CAACsC,OAAO,CAACF,OAAO,CAAC,CACxB,CAAC,CACL;IACDsD,IAAI,EAAEnC,UAAU,CAAKvC,MAAM,IACzBhB,MAAM,CAACuF,OAAO,CACZL,aAAa,EACZM,OAAO,IAAKxF,MAAM,CAACsC,OAAO,CAACtB,MAAM,EAAEwE,OAAO,CAAC,CAC7C,CACF;IACDG,UAAU,EAAEpC,UAAU,CAAmBvC,MAAM,IAC7ChB,MAAM,CAACuF,OAAO,CAACL,aAAa,EAAGM,OAAO,IACpCxE,MAAM,CAACV,IAAI,CACTN,MAAM,CAACyF,MAAM,EACbzF,MAAM,CAACsC,OAAO,CAACkD,OAAO,CAAC,CACxB,CAAC,CACL;IACDI,SAAS;IACTlB,KAAKA,CAASmB,WAAmC,EAAEjB,OAElD;MACC,OAAOF,KAAK,CAACnE,KAAK,CAACuF,YAAY,CAACD,WAAW,EAAElB,MAAM,CAAC,EAAE;QAAE,GAAGC,OAAO;QAAEC;MAAO,CAAE,CAAC;IAChF;GACD,CAAC;EAEF,IAAInB,IAAI,CAAC3B,MAAM,KAAK,CAAC,EAAE;IACrBlB,CAAC,CAACkF,SAAS,CACT,MAAMjF,UAAU,EAAE,CAACd,MAAM,CAACuB,MAAM,CAAC2D,aAAa,CAAC,CAAC,EAChDN,OAAO,EAAEd,OAAO,GAAG/D,QAAQ,CAACiG,QAAQ,CAACpB,OAAO,CAACd,OAAO,CAAC,GAAGhB,SAAS,CAClE;IACDjC,CAAC,CAACoF,QAAQ,CACR,MAAMnF,UAAU,EAAE,CAACJ,KAAK,CAACwF,KAAK,CAAClB,KAAK,EAAE9E,IAAI,CAACiG,IAAI,CAAC,CAAC,EACjDvB,OAAO,EAAEd,OAAO,GAAG/D,QAAQ,CAACiG,QAAQ,CAACpB,OAAO,CAACd,OAAO,CAAC,GAAGhB,SAAS,CAClE;IACD,OAAOY,IAAI,CAAC,CAAC,CAAC,CAACK,EAAE,CAAC;EACpB;EAEA,OAAOlD,CAAC,CAACuF,QAAQ,CAAC1C,IAAI,CAAC,CAAC,CAAC,EAAE,MAAK;IAC9B7C,CAAC,CAACkF,SAAS,CACT,MAAMjF,UAAU,EAAE,CAACd,MAAM,CAACuB,MAAM,CAAC2D,aAAa,CAAC,CAAC,EAChDN,OAAO,EAAEd,OAAO,GAAG/D,QAAQ,CAACiG,QAAQ,CAACpB,OAAO,CAACd,OAAO,CAAC,GAAGhB,SAAS,CAClE;IACDjC,CAAC,CAACoF,QAAQ,CACR,MAAMnF,UAAU,EAAE,CAACJ,KAAK,CAACwF,KAAK,CAAClB,KAAK,EAAE9E,IAAI,CAACiG,IAAI,CAAC,CAAC,EACjDvB,OAAO,EAAEd,OAAO,GAAG/D,QAAQ,CAACiG,QAAQ,CAACpB,OAAO,CAACd,OAAO,CAAC,GAAGhB,SAAS,CAClE;IACD,OAAOY,IAAI,CAAC,CAAC,CAAC,CAACK,EAAE,CAAC;EACpB,CAAC,CAAC;AACJ,CAAC;AAED;AACA,OAAO,MAAM/C,MAAM,gBAAGuC,UAAU,eAA4BvD,MAAM,CAACsC,OAAO,CAACF,OAAO,CAAC,CAAC;AAEpF;AACA,OAAO,MAAMqD,MAAM,gBAAGlC,UAAU,eAA0CnD,IAAI,CAACJ,MAAM,CAACyF,MAAM,eAAEzF,MAAM,CAACsC,OAAO,CAACF,OAAO,CAAC,CAAC,CAAC;AAEvH;AACA,OAAO,MAAMsD,IAAI,gBAAGnC,UAAU,CAAQlD,QAAQ,CAAC;AAE/C;AACA,OAAO,MAAMsF,UAAU,gBAAGpC,UAAU,CAAcvD,MAAM,CAACyF,MAAM,CAAC;AAEhE;AACA,OAAO,MAAMG,SAAS,GAAGA,CACvBjC,IAA4B,EAC5BG,OAAA,GAAkC/D,QAAQ,CAACsG,OAAO,CAAC,EAAE,CAAC,KAEtD/F,IAAI,CACFN,MAAM,CAACsG,cAAc,CAAC3C,IAAI,EAAE3D,MAAM,CAACuG,IAAI,CAAC,EACxCvG,MAAM,CAACwG,KAAK,CACVlG,IAAI,CACFG,QAAQ,CAACgG,MAAM,CAAC,EAAE,CAAC,EACnBhG,QAAQ,CAACiG,OAAO,CAACjG,QAAQ,CAACkG,OAAO,CAAC,EAClClG,QAAQ,CAACmG,WAAW,CAAC7G,QAAQ,CAAC8G,iBAAiB,CAAC/C,OAAO,CAAC,CAAC,CAC1D,CACF,EACD9D,MAAM,CAACqF,KAAK,CACb","ignoreList":[]}
+{"version":3,"file":"internal.js","names":["Arbitrary","Cause","Duration","Effect","Equal","Exit","Fiber","flow","identity","pipe","Layer","Logger","Schedule","Scope","TestEnvironment","Utils","fc","V","runPromise","ctx","effect","gen","exitFiber","fork","exit","onTestFinished","interrupt","asVoid","join","isSuccess","value","errors","prettyErrors","cause","i","length","logError","then","f","runTest","TestEnv","TestContext","provide","remove","defaultLogger","customTester","a","b","customTesters","isEqual","undefined","structuralRegion","equals","x","y","filter","t","addEqualityTesters","expect","makeTester","mapEffect","run","args","self","suspend","name","timeout","it","skip","skipIf","condition","runIf","only","each","cases","for","prop","schemaObj","Array","isArray","arbs","map","schema","make","assert","asyncProperty","as","record","Object","keys","reduce","result","key","assign","property","layer","layer_","options","memoMap","runSync","makeMemoMap","scope","runtimeEffect","toRuntimeWithMemoMap","extend","orDie","cached","flatMap","runtime","scoped","live","scopedLive","flakyTest","nestedLayer","provideMerge","beforeAll","toMillis","afterAll","close","void","describe","seconds","catchAllDefect","fail","retry","recurs","compose","elapsed","whileOutput","lessThanOrEqualTo"],"sources":["../../src/internal.ts"],"sourcesContent":[null],"mappings":"AAIA,OAAO,KAAKA,SAAS,MAAM,kBAAkB;AAC7C,OAAO,KAAKC,KAAK,MAAM,cAAc;AACrC,OAAO,KAAKC,QAAQ,MAAM,iBAAiB;AAC3C,OAAO,KAAKC,MAAM,MAAM,eAAe;AACvC,OAAO,KAAKC,KAAK,MAAM,cAAc;AACrC,OAAO,KAAKC,IAAI,MAAM,aAAa;AACnC,OAAO,KAAKC,KAAK,MAAM,cAAc;AACrC,SAASC,IAAI,EAAEC,QAAQ,EAAEC,IAAI,QAAQ,iBAAiB;AACtD,OAAO,KAAKC,KAAK,MAAM,cAAc;AACrC,OAAO,KAAKC,MAAM,MAAM,eAAe;AACvC,OAAO,KAAKC,QAAQ,MAAM,iBAAiB;AAC3C,OAAO,KAAKC,KAAK,MAAM,cAAc;AACrC,OAAO,KAAKC,eAAe,MAAM,oBAAoB;AAErD,OAAO,KAAKC,KAAK,MAAM,cAAc;AACrC,OAAOC,EAAE,MAAM,YAAY;AAC3B,OAAO,KAAKC,CAAC,MAAM,QAAQ;AAG3B,MAAMC,UAAU,GAAIC,GAAwB,IAAYC,MAA2B,IACjFjB,MAAM,CAACkB,GAAG,CAAC,aAAS;EAClB,MAAMC,SAAS,GAAG,OAAOnB,MAAM,CAACoB,IAAI,CAACpB,MAAM,CAACqB,IAAI,CAACJ,MAAM,CAAC,CAAC;EAEzDD,GAAG,EAAEM,cAAc,CAAC,MAClBnB,KAAK,CAACoB,SAAS,CAACJ,SAAS,CAAC,CAACb,IAAI,CAC7BN,MAAM,CAACwB,MAAM,EACbxB,MAAM,CAACe,UAAU,CAClB,CACF;EAED,MAAMM,IAAI,GAAG,OAAOlB,KAAK,CAACsB,IAAI,CAACN,SAAS,CAAC;EACzC,IAAIjB,IAAI,CAACwB,SAAS,CAACL,IAAI,CAAC,EAAE;IACxB,OAAO,MAAMA,IAAI,CAACM,KAAK;EACzB,CAAC,MAAM;IACL,MAAMC,MAAM,GAAG9B,KAAK,CAAC+B,YAAY,CAACR,IAAI,CAACS,KAAK,CAAC;IAC7C,KAAK,IAAIC,CAAC,GAAG,CAAC,EAAEA,CAAC,GAAGH,MAAM,CAACI,MAAM,EAAED,CAAC,EAAE,EAAE;MACtC,OAAO/B,MAAM,CAACiC,QAAQ,CAACL,MAAM,CAACG,CAAC,CAAC,CAAC;IACnC;IACA,OAAO,MAAK;MACV,MAAMH,MAAM,CAAC,CAAC,CAAC;IACjB,CAAC;EACH;AACF,CAAC,CAAC,CAACtB,IAAI,CAACN,MAAM,CAACe,UAAU,CAAC,CAACmB,IAAI,CAAEC,CAAC,IAAKA,CAAC,EAAE,CAAC;AAE7C;AACA,MAAMC,OAAO,GAAIpB,GAAwB,IAAYC,MAA2B,IAAKF,UAAU,CAACC,GAAG,CAAC,CAACC,MAAM,CAAC;AAE5G;AACA,MAAMoB,OAAO,gBAAG1B,eAAe,CAAC2B,WAAW,CAAChC,IAAI,eAC9CC,KAAK,CAACgC,OAAO,eAAC/B,MAAM,CAACgC,MAAM,CAAChC,MAAM,CAACiC,aAAa,CAAC,CAAC,CACnD;AAED;AACA,SAASC,YAAYA,CAAsBC,CAAU,EAAEC,CAAU,EAAEC,aAA4B;EAC7F,IAAI,CAAC5C,KAAK,CAAC6C,OAAO,CAACH,CAAC,CAAC,IAAI,CAAC1C,KAAK,CAAC6C,OAAO,CAACF,CAAC,CAAC,EAAE;IAC1C,OAAOG,SAAS;EAClB;EACA,OAAOnC,KAAK,CAACoC,gBAAgB,CAC3B,MAAM/C,KAAK,CAACgD,MAAM,CAACN,CAAC,EAAEC,CAAC,CAAC,EACxB,CAACM,CAAC,EAAEC,CAAC,KAAK,IAAI,CAACF,MAAM,CAACC,CAAC,EAAEC,CAAC,EAAEN,aAAa,CAACO,MAAM,CAAEC,CAAC,IAAKA,CAAC,KAAKX,YAAY,CAAC,CAAC,CAC7E;AACH;AAEA;AACA,OAAO,MAAMY,kBAAkB,GAAGA,CAAA,KAAK;EACrCxC,CAAC,CAACyC,MAAM,CAACD,kBAAkB,CAAC,CAACZ,YAAY,CAAC,CAAC;AAC7C,CAAC;AAED;AACA,MAAMc,UAAU,GACdC,SAA6E,IAClD;EAC3B,MAAMC,GAAG,GAAGA,CACV1C,GAAqE,EACrE2C,IAAc,EACdC,IAAmD,KAChDtD,IAAI,CAACN,MAAM,CAAC6D,OAAO,CAAC,MAAMD,IAAI,CAAC,GAAGD,IAAI,CAAC,CAAC,EAAEF,SAAS,EAAErB,OAAO,CAACpB,GAAG,CAAC,CAAC;EAEvE,MAAMmB,CAAC,GAA0BA,CAAC2B,IAAI,EAAEF,IAAI,EAAEG,OAAO,KAAKjD,CAAC,CAACkD,EAAE,CAACF,IAAI,EAAG9C,GAAG,IAAK0C,GAAG,CAAC1C,GAAG,EAAE,CAACA,GAAG,CAAC,EAAE4C,IAAI,CAAC,EAAEG,OAAO,CAAC;EAE7G,MAAME,IAAI,GAAoCA,CAACH,IAAI,EAAEF,IAAI,EAAEG,OAAO,KAChEjD,CAAC,CAACkD,EAAE,CAACC,IAAI,CAACH,IAAI,EAAG9C,GAAG,IAAK0C,GAAG,CAAC1C,GAAG,EAAE,CAACA,GAAG,CAAC,EAAE4C,IAAI,CAAC,EAAEG,OAAO,CAAC;EAC1D,MAAMG,MAAM,GAAuCC,SAAS,IAAK,CAACL,IAAI,EAAEF,IAAI,EAAEG,OAAO,KACnFjD,CAAC,CAACkD,EAAE,CAACE,MAAM,CAACC,SAAS,CAAC,CAACL,IAAI,EAAG9C,GAAG,IAAK0C,GAAG,CAAC1C,GAAG,EAAE,CAACA,GAAG,CAAC,EAAE4C,IAAI,CAAC,EAAEG,OAAO,CAAC;EACvE,MAAMK,KAAK,GAAsCD,SAAS,IAAK,CAACL,IAAI,EAAEF,IAAI,EAAEG,OAAO,KACjFjD,CAAC,CAACkD,EAAE,CAACI,KAAK,CAACD,SAAS,CAAC,CAACL,IAAI,EAAG9C,GAAG,IAAK0C,GAAG,CAAC1C,GAAG,EAAE,CAACA,GAAG,CAAC,EAAE4C,IAAI,CAAC,EAAEG,OAAO,CAAC;EACtE,MAAMM,IAAI,GAAoCA,CAACP,IAAI,EAAEF,IAAI,EAAEG,OAAO,KAChEjD,CAAC,CAACkD,EAAE,CAACK,IAAI,CAACP,IAAI,EAAG9C,GAAG,IAAK0C,GAAG,CAAC1C,GAAG,EAAE,CAACA,GAAG,CAAC,EAAE4C,IAAI,CAAC,EAAEG,OAAO,CAAC;EAC1D,MAAMO,IAAI,GAAqCC,KAAK,IAAK,CAACT,IAAI,EAAEF,IAAI,EAAEG,OAAO,KAC3EjD,CAAC,CAACkD,EAAE,CAACQ,GAAG,CAACD,KAAK,CAAC,CACbT,IAAI,EACJ,OAAOC,OAAO,KAAK,QAAQ,GAAG;IAAEA;EAAO,CAAE,GAAGA,OAAO,IAAI,EAAE,EACzD,CAACJ,IAAI,EAAE3C,GAAG,KAAK0C,GAAG,CAAC1C,GAAG,EAAE,CAAC2C,IAAI,CAAC,EAAEC,IAAI,CAAQ,CAC7C;EAEH,MAAMa,IAAI,GAAoCA,CAACX,IAAI,EAAEY,SAAS,EAAEd,IAAI,EAAEG,OAAO,KAAI;IAC/E,IAAIY,KAAK,CAACC,OAAO,CAACF,SAAS,CAAC,EAAE;MAC5B,MAAMG,IAAI,GAAGH,SAAS,CAACI,GAAG,CAAEC,MAAM,IAAKlF,SAAS,CAACmF,IAAI,CAACD,MAAM,CAAC,CAAC;MAC9D,OAAOjE,CAAC,CAACkD,EAAE,CACTF,IAAI;MACJ;MACC9C,GAAG,IAAKH,EAAE,CAACoE,MAAM,CAACpE,EAAE,CAACqE,aAAa,CAAC,GAAGL,IAAI,EAAE,CAAC,GAAGM,EAAE,KAAKzB,GAAG,CAAC1C,GAAG,EAAE,CAACmE,EAAS,EAAEnE,GAAG,CAAC,EAAE4C,IAAI,CAAC,CAAC,CAAC,EAC1FG,OAAO,CACR;IACH;IAEA,MAAMc,IAAI,GAAGhE,EAAE,CAACuE,MAAM,CACpBC,MAAM,CAACC,IAAI,CAACZ,SAAS,CAAC,CAACa,MAAM,CAAC,UAASC,MAAM,EAAEC,GAAG;MAChDD,MAAM,CAACC,GAAG,CAAC,GAAG5F,SAAS,CAACmF,IAAI,CAACN,SAAS,CAACe,GAAG,CAAC,CAAC;MAC5C,OAAOD,MAAM;IACf,CAAC,EAAE,EAAuC,CAAC,CAC5C;IAED,OAAO1E,CAAC,CAACkD,EAAE,CACTF,IAAI;IACJ;IACC9C,GAAG,IAAKH,EAAE,CAACoE,MAAM,CAACpE,EAAE,CAACqE,aAAa,CAACL,IAAI,EAAE,CAAC,GAAGM,EAAE,KAAKzB,GAAG,CAAC1C,GAAG,EAAE,CAACmE,EAAE,CAAC,CAAC,CAAQ,EAAEnE,GAAG,CAAC,EAAE4C,IAAI,CAAC,CAAC,CAAC,EAC1FG,OAAO,CACR;EACH,CAAC;EAED,OAAOsB,MAAM,CAACK,MAAM,CAACvD,CAAC,EAAE;IAAE8B,IAAI;IAAEC,MAAM;IAAEE,KAAK;IAAEC,IAAI;IAAEC,IAAI;IAAEG;EAAI,CAAE,CAAC;AACpE,CAAC;AAED,OAAO,MAAMA,IAAI,GAAkCA,CAACX,IAAI,EAAEY,SAAS,EAAEd,IAAI,EAAEG,OAAO,KAAI;EACpF,IAAIY,KAAK,CAACC,OAAO,CAACF,SAAS,CAAC,EAAE;IAC5B,MAAMG,IAAI,GAAGH,SAAS,CAACI,GAAG,CAAEC,MAAM,IAAKlF,SAAS,CAACmF,IAAI,CAACD,MAAM,CAAC,CAAC;IAC9D,OAAOjE,CAAC,CAACkD,EAAE,CACTF,IAAI;IACJ;IACC9C,GAAG,IAAKH,EAAE,CAACoE,MAAM,CAACpE,EAAE,CAAC8E,QAAQ,CAAC,GAAGd,IAAI,EAAE,CAAC,GAAGM,EAAE,KAAKvB,IAAI,CAACuB,EAAE,EAAEnE,GAAG,CAAC,CAAC,CAAC,EAClE+C,OAAO,CACR;EACH;EAEA,MAAMc,IAAI,GAAGhE,EAAE,CAACuE,MAAM,CACpBC,MAAM,CAACC,IAAI,CAACZ,SAAS,CAAC,CAACa,MAAM,CAAC,UAASC,MAAM,EAAEC,GAAG;IAChDD,MAAM,CAACC,GAAG,CAAC,GAAG5F,SAAS,CAACmF,IAAI,CAACN,SAAS,CAACe,GAAG,CAAC,CAAC;IAC5C,OAAOD,MAAM;EACf,CAAC,EAAE,EAAuC,CAAC,CAC5C;EAED,OAAO1E,CAAC,CAACkD,EAAE,CACTF,IAAI;EACJ;EACC9C,GAAG,IAAKH,EAAE,CAACoE,MAAM,CAACpE,EAAE,CAAC8E,QAAQ,CAACd,IAAI,EAAE,CAAC,GAAGM,EAAE,KAAKvB,IAAI,CAACuB,EAAE,CAAC,CAAC,CAAC,EAAEnE,GAAG,CAAC,CAAC,CAAC,EAClE+C,OAAO,CACR;AACH,CAAC;AAED;AACA,OAAO,MAAM6B,KAAK,GAAGA,CAAOC,MAAyB,EAAEC,OAGtD,KAID,CACE,GAAGnC,IAA6G,KAC9G;EACF,MAAMoC,OAAO,GAAGD,OAAO,EAAEC,OAAO,IAAI/F,MAAM,CAACgG,OAAO,CAACzF,KAAK,CAAC0F,WAAW,CAAC;EACrE,MAAMC,KAAK,GAAGlG,MAAM,CAACgG,OAAO,CAACtF,KAAK,CAACsE,IAAI,EAAE,CAAC;EAC1C,MAAMmB,aAAa,GAAG5F,KAAK,CAAC6F,oBAAoB,CAACP,MAAM,EAAEE,OAAO,CAAC,CAACzF,IAAI,CACpEI,KAAK,CAAC2F,MAAM,CAACH,KAAK,CAAC,EACnBlG,MAAM,CAACsG,KAAK,EACZtG,MAAM,CAACuG,MAAM,EACbvG,MAAM,CAACgG,OAAO,CACf;EAED,MAAMhC,EAAE,GAA6BqB,MAAM,CAACK,MAAM,CAAC5E,CAAC,CAACkD,EAAE,EAAE;IACvD/C,MAAM,EAAEuC,UAAU,CAAiCvC,MAAM,IACvDjB,MAAM,CAACwG,OAAO,CAACL,aAAa,EAAGM,OAAO,IACpCxF,MAAM,CAACX,IAAI,CACTN,MAAM,CAACuC,OAAO,CAACkE,OAAO,CAAC,EACvBzG,MAAM,CAACuC,OAAO,CAACF,OAAO,CAAC,CACxB,CAAC,CACL;IAEDoC,IAAI;IAEJiC,MAAM,EAAElD,UAAU,CAA+CvC,MAAM,IACrEjB,MAAM,CAACwG,OAAO,CAACL,aAAa,EAAGM,OAAO,IACpCxF,MAAM,CAACX,IAAI,CACTN,MAAM,CAAC0G,MAAM,EACb1G,MAAM,CAACuC,OAAO,CAACkE,OAAO,CAAC,EACvBzG,MAAM,CAACuC,OAAO,CAACF,OAAO,CAAC,CACxB,CAAC,CACL;IACDsE,IAAI,EAAEnD,UAAU,CAAKvC,MAAM,IACzBjB,MAAM,CAACwG,OAAO,CACZL,aAAa,EACZM,OAAO,IAAKzG,MAAM,CAACuC,OAAO,CAACtB,MAAM,EAAEwF,OAAO,CAAC,CAC7C,CACF;IACDG,UAAU,EAAEpD,UAAU,CAAmBvC,MAAM,IAC7CjB,MAAM,CAACwG,OAAO,CAACL,aAAa,EAAGM,OAAO,IACpCxF,MAAM,CAACX,IAAI,CACTN,MAAM,CAAC0G,MAAM,EACb1G,MAAM,CAACuC,OAAO,CAACkE,OAAO,CAAC,CACxB,CAAC,CACL;IACDI,SAAS;IACTjB,KAAKA,CAASkB,WAAmC,EAAEhB,OAElD;MACC,OAAOF,KAAK,CAACrF,KAAK,CAACwG,YAAY,CAACD,WAAW,EAAEjB,MAAM,CAAC,EAAE;QAAE,GAAGC,OAAO;QAAEC;MAAO,CAAE,CAAC;IAChF;GACD,CAAC;EAEF,IAAIpC,IAAI,CAAC3B,MAAM,KAAK,CAAC,EAAE;IACrBlB,CAAC,CAACkG,SAAS,CACT,MAAMjG,UAAU,EAAE,CAACf,MAAM,CAACwB,MAAM,CAAC2E,aAAa,CAAC,CAAC,EAChDL,OAAO,EAAE/B,OAAO,GAAGhE,QAAQ,CAACkH,QAAQ,CAACnB,OAAO,CAAC/B,OAAO,CAAC,GAAGhB,SAAS,CAClE;IACDjC,CAAC,CAACoG,QAAQ,CACR,MAAMnG,UAAU,EAAE,CAACL,KAAK,CAACyG,KAAK,CAACjB,KAAK,EAAEhG,IAAI,CAACkH,IAAI,CAAC,CAAC,EACjDtB,OAAO,EAAE/B,OAAO,GAAGhE,QAAQ,CAACkH,QAAQ,CAACnB,OAAO,CAAC/B,OAAO,CAAC,GAAGhB,SAAS,CAClE;IACD,OAAOY,IAAI,CAAC,CAAC,CAAC,CAACK,EAAE,CAAC;EACpB;EAEA,OAAOlD,CAAC,CAACuG,QAAQ,CAAC1D,IAAI,CAAC,CAAC,CAAC,EAAE,MAAK;IAC9B7C,CAAC,CAACkG,SAAS,CACT,MAAMjG,UAAU,EAAE,CAACf,MAAM,CAACwB,MAAM,CAAC2E,aAAa,CAAC,CAAC,EAChDL,OAAO,EAAE/B,OAAO,GAAGhE,QAAQ,CAACkH,QAAQ,CAACnB,OAAO,CAAC/B,OAAO,CAAC,GAAGhB,SAAS,CAClE;IACDjC,CAAC,CAACoG,QAAQ,CACR,MAAMnG,UAAU,EAAE,CAACL,KAAK,CAACyG,KAAK,CAACjB,KAAK,EAAEhG,IAAI,CAACkH,IAAI,CAAC,CAAC,EACjDtB,OAAO,EAAE/B,OAAO,GAAGhE,QAAQ,CAACkH,QAAQ,CAACnB,OAAO,CAAC/B,OAAO,CAAC,GAAGhB,SAAS,CAClE;IACD,OAAOY,IAAI,CAAC,CAAC,CAAC,CAACK,EAAE,CAAC;EACpB,CAAC,CAAC;AACJ,CAAC;AAED;AACA,OAAO,MAAM/C,MAAM,gBAAGuC,UAAU,eAA4BxD,MAAM,CAACuC,OAAO,CAACF,OAAO,CAAC,CAAC;AAEpF;AACA,OAAO,MAAMqE,MAAM,gBAAGlD,UAAU,eAA0CpD,IAAI,CAACJ,MAAM,CAAC0G,MAAM,eAAE1G,MAAM,CAACuC,OAAO,CAACF,OAAO,CAAC,CAAC,CAAC;AAEvH;AACA,OAAO,MAAMsE,IAAI,gBAAGnD,UAAU,CAAQnD,QAAQ,CAAC;AAE/C;AACA,OAAO,MAAMuG,UAAU,gBAAGpD,UAAU,CAAcxD,MAAM,CAAC0G,MAAM,CAAC;AAEhE;AACA,OAAO,MAAMG,SAAS,GAAGA,CACvBjD,IAA4B,EAC5BG,OAAA,GAAkChE,QAAQ,CAACuH,OAAO,CAAC,EAAE,CAAC,KAEtDhH,IAAI,CACFN,MAAM,CAACuH,cAAc,CAAC3D,IAAI,EAAE5D,MAAM,CAACwH,IAAI,CAAC,EACxCxH,MAAM,CAACyH,KAAK,CACVnH,IAAI,CACFG,QAAQ,CAACiH,MAAM,CAAC,EAAE,CAAC,EACnBjH,QAAQ,CAACkH,OAAO,CAAClH,QAAQ,CAACmH,OAAO,CAAC,EAClCnH,QAAQ,CAACoH,WAAW,CAAC9H,QAAQ,CAAC+H,iBAAiB,CAAC/D,OAAO,CAAC,CAAC,CAC1D,CACF,EACD/D,MAAM,CAACsG,KAAK,CACb","ignoreList":[]}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@effect/vitest",
-  "version": "0.12.1",
+  "version": "0.13.1",
   "description": "A set of helpers for testing Effects with vitest",
   "license": "MIT",
   "repository": {
@@ -11,7 +11,7 @@
   "sideEffects": [],
   "peerDependencies": {
     "vitest": "^2.0.5",
-    "effect": "^3.9.2"
+    "effect": "^3.10.1"
   },
   "publishConfig": {
     "provenance": true

package/src/index.ts

@@ -4,6 +4,7 @@
 import type * as Duration from "effect/Duration"
 import type * as Effect from "effect/Effect"
 import type * as Layer from "effect/Layer"
+import type * as Schema from "effect/Schema"
 import type * as Scope from "effect/Scope"
 import type * as TestServices from "effect/TestServices"
 import * as V from "vitest"
@@ -36,6 +37,11 @@ export namespace Vitest {
     ): void
   }
 
+  /**
+   * @since 1.0.0
+   */
+  export type SchemaObj = Array<Schema.Schema.Any> | { [K in string]: Schema.Schema.Any }
+
   /**
    * @since 1.0.0
    */
@@ -47,6 +53,21 @@ export namespace Vitest {
     each: <T>(
       cases: ReadonlyArray<T>
     ) => <A, E>(name: string, self: TestFunction<A, E, R, Array<T>>, timeout?: number | V.TestOptions) => void
+
+    /**
+     * @since 1.0.0
+     */
+    prop: <const S extends SchemaObj, A, E>(
+      name: string,
+      schemas: S,
+      self: TestFunction<
+        A,
+        E,
+        R,
+        [{ [K in keyof S]: Schema.Schema.Type<S[K]> }, V.TaskContext<V.RunnerTestCase<{}>> & V.TestContext]
+      >,
+      timeout?: number | V.TestOptions
+    ) => void
   }
 
   /**
@@ -67,6 +88,19 @@ export namespace Vitest {
       (f: (it: Vitest.Methods<R | R2>) => void): void
       (name: string, f: (it: Vitest.Methods<R | R2>) => void): void
     }
+
+    /**
+     * @since 1.0.0
+     */
+    readonly prop: <const S extends SchemaObj>(
+      name: string,
+      schemas: S,
+      self: (
+        schemas: { [K in keyof S]: Schema.Schema.Type<S[K]> },
+        ctx: V.TaskContext<V.RunnerTestCase<{}>> & V.TestContext
+      ) => void,
+      timeout?: number | V.TestOptions
+    ) => void
   }
 }
 
@@ -151,8 +185,25 @@ export const flakyTest: <A, E, R>(
   timeout?: Duration.DurationInput
 ) => Effect.Effect<A, never, R> = internal.flakyTest
 
+/**
+ * @since 1.0.0
+ */
+export const prop: <const S extends Vitest.SchemaObj>(
+  name: string,
+  schemas: S,
+  self: (
+    schemas: { [K in keyof S]: Schema.Schema.Type<S[K]> },
+    ctx: V.TaskContext<V.RunnerTestCase<{}>> & V.TestContext
+  ) => void,
+  timeout?: number | V.TestOptions
+) => void = internal.prop
+
+/**
+ * @since 1.0.0
+ */
+
 /** @ignored */
-const methods = { effect, live, flakyTest, scoped, scopedLive, layer } as const
+const methods = { effect, live, flakyTest, scoped, scopedLive, layer, prop } as const
 
 /**
  * @since 1.0.0

package/src/internal.ts

@@ -2,6 +2,7 @@
  * @since 1.0.0
  */
 import type { Tester, TesterContext } from "@vitest/expect"
+import * as Arbitrary from "effect/Arbitrary"
 import * as Cause from "effect/Cause"
 import * as Duration from "effect/Duration"
 import * as Effect from "effect/Effect"
@@ -16,6 +17,7 @@ import * as Scope from "effect/Scope"
 import * as TestEnvironment from "effect/TestContext"
 import type * as TestServices from "effect/TestServices"
 import * as Utils from "effect/Utils"
+import fc from "fast-check"
 import * as V from "vitest"
 import type * as Vitest from "./index.js"
 
@@ -45,8 +47,7 @@ const runPromise = (ctx?: Vitest.TaskContext) => <E, A>(effect: Effect.Effect<A,
   }).pipe(Effect.runPromise).then((f) => f())
 
 /** @internal */
-const runTest = (ctx?: Vitest.TaskContext) => <E, A>(effect: Effect.Effect<A, E>) =>
-  runPromise(ctx)(Effect.asVoid(effect))
+const runTest = (ctx?: Vitest.TaskContext) => <E, A>(effect: Effect.Effect<A, E>) => runPromise(ctx)(effect)
 
 /** @internal */
 const TestEnv = TestEnvironment.TestContext.pipe(
@@ -93,10 +94,62 @@ const makeTester = <R>(
     V.it.for(cases)(
       name,
       typeof timeout === "number" ? { timeout } : timeout ?? {},
-      (args, ctx) => run(ctx, [args], self)
+      (args, ctx) => run(ctx, [args], self) as any
     )
 
-  return Object.assign(f, { skip, skipIf, runIf, only, each })
+  const prop: Vitest.Vitest.Tester<R>["prop"] = (name, schemaObj, self, timeout) => {
+    if (Array.isArray(schemaObj)) {
+      const arbs = schemaObj.map((schema) => Arbitrary.make(schema))
+      return V.it(
+        name,
+        // @ts-ignore
+        (ctx) => fc.assert(fc.asyncProperty(...arbs, (...as) => run(ctx, [as as any, ctx], self))),
+        timeout
+      )
+    }
+
+    const arbs = fc.record(
+      Object.keys(schemaObj).reduce(function(result, key) {
+        result[key] = Arbitrary.make(schemaObj[key])
+        return result
+      }, {} as Record<string, fc.Arbitrary<any>>)
+    )
+
+    return V.it(
+      name,
+      // @ts-ignore
+      (ctx) => fc.assert(fc.asyncProperty(arbs, (...as) => run(ctx, [as[0] as any, ctx], self))),
+      timeout
+    )
+  }
+
+  return Object.assign(f, { skip, skipIf, runIf, only, each, prop })
+}
+
+export const prop: Vitest.Vitest.Methods["prop"] = (name, schemaObj, self, timeout) => {
+  if (Array.isArray(schemaObj)) {
+    const arbs = schemaObj.map((schema) => Arbitrary.make(schema))
+    return V.it(
+      name,
+      // @ts-ignore
+      (ctx) => fc.assert(fc.property(...arbs, (...as) => self(as, ctx))),
+      timeout
+    )
+  }
+
+  const arbs = fc.record(
+    Object.keys(schemaObj).reduce(function(result, key) {
+      result[key] = Arbitrary.make(schemaObj[key])
+      return result
+    }, {} as Record<string, fc.Arbitrary<any>>)
+  )
+
+  return V.it(
+    name,
+    // @ts-ignore
+    (ctx) => fc.assert(fc.property(arbs, (...as) => self(as[0], ctx))),
+    timeout
+  )
 }
 
 /** @internal */
@@ -127,6 +180,9 @@ export const layer = <R, E>(layer_: Layer.Layer<R, E>, options?: {
           Effect.provide(TestEnv)
         ))
     ),
+
+    prop,
+
     scoped: makeTester<TestServices.TestServices | Scope.Scope | R>((effect) =>
       Effect.flatMap(runtimeEffect, (runtime) =>
         effect.pipe(