@effect-app/infra 4.0.0-beta.323 → 4.0.0-beta.325

package/CHANGELOG.md

@@ -1,5 +1,20 @@
 # @effect-app/infra
 
+## 4.0.0-beta.325
+
+### Patch Changes
+
+- Updated dependencies [f233f3d]
+  - effect-app@4.0.0-beta.325
+
+## 4.0.0-beta.324
+
+### Patch Changes
+
+- a0075b8: `generateFromSchema` advances its seed on every call, so successive samples differ (deterministic across runs) instead of always returning the same value.
+- Updated dependencies [a0075b8]
+  - effect-app@4.0.0-beta.324
+
 ## 4.0.0-beta.323
 
 ### Minor Changes

package/dist/arbs.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"arbs.d.ts","sourceRoot":"","sources":["../src/arbs.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,KAAK,CAAC,MAAM,mBAAmB,CAAA;AAG3C,OAAO,KAAK,SAAS,MAAM,YAAY,CAAA;AAUvC,wBAAgB,QAAQ,CAAC,CAAC,EAAE,GAAG,EAAE,SAAS,CAAC,SAAS,CAAC,CAAC,CAAC,sBAEtD;AAED,wBAAgB,qBAAqB,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,sBAE3D;AAED,wBAAgB,kBAAkB,CAAC,CAAC,SAAS,CAAC,CAAC,UAAU,EAAE,MAAM,EAAE,CAAC;;EASnE"}
+{"version":3,"file":"arbs.d.ts","sourceRoot":"","sources":["../src/arbs.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,KAAK,CAAC,MAAM,mBAAmB,CAAA;AAG3C,OAAO,KAAK,SAAS,MAAM,YAAY,CAAA;AAUvC,wBAAgB,QAAQ,CAAC,CAAC,EAAE,GAAG,EAAE,SAAS,CAAC,SAAS,CAAC,CAAC,CAAC,sBAEtD;AAED,wBAAgB,qBAAqB,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,sBAE3D;AAMD,wBAAgB,kBAAkB,CAAC,CAAC,SAAS,CAAC,CAAC,UAAU,EAAE,MAAM,EAAE,CAAC;;EASnE"}

package/dist/arbs.js

@@ -16,12 +16,15 @@ export function generate(arb) {
 export function generateFromArbitrary(arb) {
     return generate(arb(FastCheck));
 }
+// Advance the seed per call: deterministic across runs, but successive calls yield different
+// samples (like `generate` advancing its shared fast-check Random).
+let schemaSamples = 0;
 export function generateFromSchema(schema) {
-    const samples = Effect.runSync(Arbitrary.sampleEffect(Arbitrary.schema(schema), { count: 1, seed }));
+    const samples = Effect.runSync(Arbitrary.sampleEffect(Arbitrary.schema(schema), { count: 1, seed: seed + schemaSamples++ }));
     const value = samples[0];
     if (value === undefined) {
         throw new Error("failed to sample schema");
     }
     return { value };
 }
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiYXJicy5qcyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uL3NyYy9hcmJzLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLDRCQUE0QjtBQUU1QixPQUFPLEVBQUUsS0FBSyxFQUFFLE1BQU0saUJBQWlCLENBQUE7QUFDdkMsT0FBTyxFQUFFLFFBQVEsRUFBRSxNQUFNLGtCQUFrQixDQUFBO0FBRTNDLE9BQU8sS0FBSyxNQUFNLE1BQU0sZUFBZSxDQUFBO0FBQ3ZDLE9BQU8sS0FBSyxTQUFTLE1BQU0scUNBQXFDLENBQUE7QUFDaEUsT0FBTyxLQUFLLFNBQVMsTUFBTSxZQUFZLENBQUE7QUFDdkMsT0FBTyxFQUFFLE1BQU0sRUFBRSxNQUFNLFlBQVksQ0FBQTtBQUNuQyxPQUFPLEVBQUUsY0FBYyxFQUFFLE1BQU0sb0NBQW9DLENBQUE7QUFFbkUsTUFBTSxJQUFJLEdBQUcsQ0FBQyxDQUFBO0FBQ2QsTUFBTSxHQUFHLEdBQUcsY0FBYyxDQUFDLElBQUksQ0FBQyxDQUFBO0FBQ2hDLE1BQU0sR0FBRyxHQUFHLElBQUksTUFBTSxDQUFDLEdBQUcsQ0FBQyxDQUFBO0FBRTNCLFFBQVEsQ0FBQyxLQUFLLENBQUMsQ0FBQTtBQUVmLE1BQU0sVUFBVSxRQUFRLENBQUksR0FBMkI7SUFDckQsT0FBTyxHQUFHLENBQUMsUUFBUSxDQUFDLEdBQUcsRUFBRSxTQUFTLENBQUMsQ0FBQTtBQUNyQyxDQUFDO0FBRUQsTUFBTSxVQUFVLHFCQUFxQixDQUFJLEdBQW1CO0lBQzFELE9BQU8sUUFBUSxDQUFDLEdBQUcsQ0FBQyxTQUFTLENBQUMsQ0FBQyxDQUFBO0FBQ2pDLENBQUM7QUFFRCxNQUFNLFVBQVUsa0JBQWtCLENBQXlCLE1BQVM7SUFDbEUsTUFBTSxPQUFPLEdBQUcsTUFBTSxDQUFDLE9BQU8sQ0FDNUIsU0FBUyxDQUFDLFlBQVksQ0FBQyxTQUFTLENBQUMsTUFBTSxDQUFDLE1BQU0sQ0FBQyxFQUFFLEVBQUUsS0FBSyxFQUFFLENBQUMsRUFBRSxJQUFJLEVBQUUsQ0FBQyxDQUNyRSxDQUFBO0lBQ0QsTUFBTSxLQUFLLEdBQUcsT0FBTyxDQUFDLENBQUMsQ0FBQyxDQUFBO0lBQ3hCLElBQUksS0FBSyxLQUFLLFNBQVMsRUFBRSxDQUFDO1FBQ3hCLE1BQU0sSUFBSSxLQUFLLENBQUMseUJBQXlCLENBQUMsQ0FBQTtJQUM1QyxDQUFDO0lBQ0QsT0FBTyxFQUFFLEtBQUssRUFBRSxDQUFBO0FBQ2xCLENBQUMifQ==
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiYXJicy5qcyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uL3NyYy9hcmJzLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLDRCQUE0QjtBQUU1QixPQUFPLEVBQUUsS0FBSyxFQUFFLE1BQU0saUJBQWlCLENBQUE7QUFDdkMsT0FBTyxFQUFFLFFBQVEsRUFBRSxNQUFNLGtCQUFrQixDQUFBO0FBRTNDLE9BQU8sS0FBSyxNQUFNLE1BQU0sZUFBZSxDQUFBO0FBQ3ZDLE9BQU8sS0FBSyxTQUFTLE1BQU0scUNBQXFDLENBQUE7QUFDaEUsT0FBTyxLQUFLLFNBQVMsTUFBTSxZQUFZLENBQUE7QUFDdkMsT0FBTyxFQUFFLE1BQU0sRUFBRSxNQUFNLFlBQVksQ0FBQTtBQUNuQyxPQUFPLEVBQUUsY0FBYyxFQUFFLE1BQU0sb0NBQW9DLENBQUE7QUFFbkUsTUFBTSxJQUFJLEdBQUcsQ0FBQyxDQUFBO0FBQ2QsTUFBTSxHQUFHLEdBQUcsY0FBYyxDQUFDLElBQUksQ0FBQyxDQUFBO0FBQ2hDLE1BQU0sR0FBRyxHQUFHLElBQUksTUFBTSxDQUFDLEdBQUcsQ0FBQyxDQUFBO0FBRTNCLFFBQVEsQ0FBQyxLQUFLLENBQUMsQ0FBQTtBQUVmLE1BQU0sVUFBVSxRQUFRLENBQUksR0FBMkI7SUFDckQsT0FBTyxHQUFHLENBQUMsUUFBUSxDQUFDLEdBQUcsRUFBRSxTQUFTLENBQUMsQ0FBQTtBQUNyQyxDQUFDO0FBRUQsTUFBTSxVQUFVLHFCQUFxQixDQUFJLEdBQW1CO0lBQzFELE9BQU8sUUFBUSxDQUFDLEdBQUcsQ0FBQyxTQUFTLENBQUMsQ0FBQyxDQUFBO0FBQ2pDLENBQUM7QUFFRCw2RkFBNkY7QUFDN0Ysb0VBQW9FO0FBQ3BFLElBQUksYUFBYSxHQUFHLENBQUMsQ0FBQTtBQUVyQixNQUFNLFVBQVUsa0JBQWtCLENBQXlCLE1BQVM7SUFDbEUsTUFBTSxPQUFPLEdBQUcsTUFBTSxDQUFDLE9BQU8sQ0FDNUIsU0FBUyxDQUFDLFlBQVksQ0FBQyxTQUFTLENBQUMsTUFBTSxDQUFDLE1BQU0sQ0FBQyxFQUFFLEVBQUUsS0FBSyxFQUFFLENBQUMsRUFBRSxJQUFJLEVBQUUsSUFBSSxHQUFHLGFBQWEsRUFBRSxFQUFFLENBQUMsQ0FDN0YsQ0FBQTtJQUNELE1BQU0sS0FBSyxHQUFHLE9BQU8sQ0FBQyxDQUFDLENBQUMsQ0FBQTtJQUN4QixJQUFJLEtBQUssS0FBSyxTQUFTLEVBQUUsQ0FBQztRQUN4QixNQUFNLElBQUksS0FBSyxDQUFDLHlCQUF5QixDQUFDLENBQUE7SUFDNUMsQ0FBQztJQUNELE9BQU8sRUFBRSxLQUFLLEVBQUUsQ0FBQTtBQUNsQixDQUFDIn0=

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@effect-app/infra",
-  "version": "4.0.0-beta.323",
+  "version": "4.0.0-beta.325",
   "license": "MIT",
   "type": "module",
   "repository": {
@@ -16,7 +16,7 @@
     "proper-lockfile": "^4.1.2",
     "pure-rand": "8.4.0",
     "query-string": "^9.4.0",
-    "effect-app": "4.0.0-beta.323"
+    "effect-app": "4.0.0-beta.325"
   },
   "devDependencies": {
     "@azure/cosmos": "^4.9.3",

package/src/arbs.ts

@@ -23,9 +23,13 @@ export function generateFromArbitrary<T>(arb: S.Arbitrary<T>) {
   return generate(arb(FastCheck))
 }
 
+// Advance the seed per call: deterministic across runs, but successive calls yield different
+// samples (like `generate` advancing its shared fast-check Random).
+let schemaSamples = 0
+
 export function generateFromSchema<S extends S.Constraint>(schema: S) {
   const samples = Effect.runSync(
-    Arbitrary.sampleEffect(Arbitrary.schema(schema), { count: 1, seed })
+    Arbitrary.sampleEffect(Arbitrary.schema(schema), { count: 1, seed: seed + schemaSamples++ })
   )
   const value = samples[0]
   if (value === undefined) {

package/test/arbs-magnitude.test.ts

@@ -0,0 +1,21 @@
+import { describe, expect, it } from "@effect/vitest"
+import * as S from "effect-app/Schema"
+import { generateFromSchema } from "../src/arbs.js"
+
+describe("generateFromSchema number magnitudes", () => {
+  it("keeps PositiveNumber and NonNegativeNumber samples realistic", () => {
+    const schema = S.Struct({ amount: S.PositiveNumber, weight: S.NonNegativeNumber })
+    for (let i = 0; i < 200; i++) {
+      const { amount, weight } = generateFromSchema(schema).value
+      expect(amount).toBeGreaterThan(0)
+      expect(weight).toBeGreaterThanOrEqual(0)
+      expect(Math.max(amount, weight)).toBeLessThanOrEqual(1_000_000)
+      expect(Number.isFinite(amount * weight)).toBe(true)
+    }
+  })
+
+  it("does not change the JSON Schema of the number schemas", () => {
+    expect(S.toJsonSchemaDocument(S.PositiveNumber).schema).not.toHaveProperty("maximum")
+    expect(S.toJsonSchemaDocument(S.NonNegativeNumber).schema).not.toHaveProperty("maximum")
+  })
+})

package/test/arbs.test.ts

@@ -0,0 +1,21 @@
+import { describe, expect, it } from "@effect/vitest"
+import * as S from "effect-app/Schema"
+import { generateFromSchema } from "../src/arbs.js"
+
+describe("generateFromSchema", () => {
+  it("yields a new sample on each call", () => {
+    const schema = S.Struct({ id: S.NonEmptyString255, amount: S.Finite })
+    const samples = Array.from({ length: 5 }, () => generateFromSchema(schema).value)
+    for (const sample of samples) {
+      expect(S.is(schema)(sample)).toBe(true)
+    }
+    expect(new Set(samples.map((sample) => JSON.stringify(sample))).size).toBeGreaterThan(1)
+  })
+
+  it("samples refined strings that native generation cannot invert (Email, PhoneNumber)", () => {
+    const schema = S.Struct({ email: S.Email, phone: S.PhoneNumber })
+    for (let i = 0; i < 10; i++) {
+      expect(S.is(schema)(generateFromSchema(schema).value)).toBe(true)
+    }
+  })
+})

package/test/dist/arbs-magnitude.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"arbs-magnitude.test.d.ts","sourceRoot":"","sources":["../arbs-magnitude.test.ts"],"names":[],"mappings":""}

package/test/dist/arbs.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"arbs.test.d.ts","sourceRoot":"","sources":["../arbs.test.ts"],"names":[],"mappings":""}