if it looks like an Effect, it quacks like an Effect, it probably is …

…(an Effect)
effect-app · Oct 26, 2023 · aaeb80e · aaeb80e
1 parent 87ca0d5
commit aaeb80e
Show file tree

Hide file tree

Showing 2 changed files with 16 additions and 2 deletions.
diff --git a/packages/core/_src/Unify.ts b/packages/core/_src/Unify.ts
@@ -6,14 +6,14 @@ import type { Chunk, Either, Option } from "./Prelude.js"
 /**
  * @tsplus unify effect/io/Effect
  */
-export function unifyEffect<X extends Effect<any, any, any>>(
+export function unifyEffect<X extends { readonly [EffectTypeId]: Effect.VarianceStruct<any, any, any> }>(
   self: X
 ): Effect<
   [X] extends [{ readonly [EffectTypeId]: { _R: (_: never) => infer R } }] ? R : never,
   [X] extends [{ readonly [EffectTypeId]: { _E: (_: never) => infer E } }] ? E : never,
   [X] extends [{ readonly [EffectTypeId]: { _A: (_: never) => infer A } }] ? A : never
 > {
-  return self
+  return self as any
 }
 
 /**

diff --git a/packages/core/vendor/effect-data-tsplus.json b/packages/core/vendor/effect-data-tsplus.json
@@ -2125,6 +2125,20 @@
     }
   ],
   "effect/Data": [
+    {
+      "definitionName": "YieldableError",
+      "definitionKind": "interface",
+      "extensions": [
+        {
+          "kind": "type",
+          "typeName": "effect/data/Data/YieldableError"
+        },
+        {
+          "kind": "companion",
+          "typeName": "effect/data/Data/YieldableError.Ops"
+        }
+      ]
+    },
     {
       "definitionName": "Case",
       "definitionKind": "interface",