add missing TypeLambda to Micro module (#3056)

Effect-TS · Jun 24, 2024 · 66a1910 · 66a1910
1 parent 2e8e252
commit 66a1910
Show file tree

Hide file tree

Showing 2 changed files with 14 additions and 0 deletions.
diff --git a/.changeset/curly-numbers-promise.md b/.changeset/curly-numbers-promise.md
@@ -0,0 +1,5 @@
+---
+"effect": patch
+---
+
+add missing `TypeLambda` to `Micro` module
diff --git a/packages/effect/src/Micro.ts b/packages/effect/src/Micro.ts
@@ -11,6 +11,7 @@ import * as Effectable from "./Effectable.js"
 import * as Either from "./Either.js"
 import { constTrue, constVoid, dual, identity, type LazyArg } from "./Function.js"
 import { globalValue } from "./GlobalValue.js"
+import type { TypeLambda } from "./HKT.js"
 import type { Inspectable } from "./Inspectable.js"
 import { NodeInspectSymbol, toStringUnknown } from "./Inspectable.js"
 import { StructuralPrototype } from "./internal/effectable.js"
@@ -65,6 +66,14 @@ export interface Micro<out A, out E = never, out R = never> extends Effect<A, E,
   [Symbol.iterator](): MicroIterator<Micro<A, E, R>>
 }
 
+/**
+ * @category type lambdas
+ * @since 3.4.1
+ */
+export interface MicroTypeLambda extends TypeLambda {
+  readonly type: Micro<this["Target"], this["Out1"], this["Out2"]>
+}
+
 /**
  * @since 3.4.0
  * @experimental