Rewrite the Arbitrary compiler from scratch, closes #2312 (#4126)

Effect-TS · Dec 12, 2024 · 31c62d8 · 31c62d8
1 parent 662d1ce
commit 31c62d8
Show file tree

Hide file tree

Showing 7 changed files with 952 additions and 911 deletions.
diff --git a/.changeset/thin-shoes-battle.md b/.changeset/thin-shoes-battle.md
@@ -0,0 +1,5 @@
+---
+"effect": patch
+---
+
+Rewrite the Arbitrary compiler from scratch, closes #2312
diff --git a/packages/effect/dtslint/Schema.ts b/packages/effect/dtslint/Schema.ts
@@ -1370,14 +1370,17 @@ pipe(
     ) => true,
     {
       arbitrary: (
-        _from // $ExpectType LazyArbitrary<string>
+        _from, // $ExpectType LazyArbitrary<string>
+        _ctx // $ExpectType ArbitraryGenerationContext
       ) =>
       (fc) => fc.string(),
       pretty: (
         _from // $ExpectType Pretty<string>
       ) =>
       (s) => s,
-      equivalence: () =>
+      equivalence: (
+        _from // $ExpectType Equivalence<string>
+      ) =>
       (
         _a, // $ExpectType string
         _b // $ExpectType string
@@ -1386,6 +1389,30 @@ pipe(
   )
 )
 
+pipe(
+  S.String,
+  S.filter((_s) => true)
+).annotations({
+  arbitrary: (
+    // $ExpectType any[]
+    ..._x
+  ) =>
+  (fc) => fc.string(),
+  pretty: (
+    // $ExpectType any[]
+    ..._x
+  ) =>
+  (s) => s,
+  equivalence: (
+    // $ExpectType any[]
+    ..._x
+  ) =>
+  (
+    _a, // $ExpectType string
+    _b // $ExpectType string
+  ) => true
+})
+
 // ---------------------------------------------
 // filterEffect
 // ---------------------------------------------