effect 2.4.1 → 2.4.3

package/dist/dts/Effect.d.ts

@@ -31,7 +31,7 @@ import type { Pipeable } from "./Pipeable.js";
 import type { Predicate, Refinement } from "./Predicate.js";
 import type * as Random from "./Random.js";
 import type * as Ref from "./Ref.js";
-import type * as Request from "./Request.js";
+import * as Request from "./Request.js";
 import type { RequestBlock } from "./RequestBlock.js";
 import type { RequestResolver } from "./RequestResolver.js";
 import type * as Runtime from "./Runtime.js";
@@ -42,7 +42,7 @@ import * as Scheduler from "./Scheduler.js";
 import type * as Scope from "./Scope.js";
 import type * as Supervisor from "./Supervisor.js";
 import type * as Tracer from "./Tracer.js";
-import type { Concurrency, Covariant, MergeRecord, NoInfer } from "./Types.js";
+import type { Concurrency, Covariant, MergeRecord, NoInfer, NotFunction } from "./Types.js";
 import type * as Unify from "./Unify.js";
 /**
  * @since 2.0.0
@@ -114,7 +114,7 @@ export interface Blocked<out A, out E> extends Effect<A, E> {
  * @category models
  */
 declare module "./Context.js" {
-    interface Tag<Identifier, Service> extends Effect<Service, never, Identifier> {
+    interface Tag<Id, Value> extends Effect<Value, never, Id> {
     }
     interface TagUnifyIgnore {
         Effect?: true;
@@ -2260,9 +2260,7 @@ export declare const serviceFunctionEffect: <T extends Effect<any, any, any>, Ar
  * @category context
  */
 export declare const serviceFunctions: <S, SE, SR>(getService: Effect<S, SE, SR>) => {
-    [k in {
-        [k in keyof S]: S[k] extends (...args: Array<any>) => Effect<any, any, any> ? k : never;
-    }[keyof S]]: S[k] extends (...args: infer Args) => Effect<infer A, infer E, infer R> ? (...args: Args) => Effect<A, SE | E, SR | R> : never;
+    [k in keyof S as S[k] extends (...args: Array<any>) => Effect<any, any, any> ? k : never]: S[k] extends (...args: infer Args) => Effect<infer A, infer E, infer R> ? (...args: Args) => Effect<A, SE | E, SR | R> : never;
 };
 /**
  * @since 2.0.0
@@ -2277,11 +2275,9 @@ export declare const serviceConstants: <S, SE, SR>(getService: Effect<S, SE, SR>
  * @since 2.0.0
  * @category context
  */
-export declare const serviceMembers: <SR, SE, S>(getService: Effect<S, SE, SR>) => {
+export declare const serviceMembers: <S, SE, SR>(getService: Effect<S, SE, SR>) => {
     functions: {
-        [k in {
-            [k in keyof S]: S[k] extends (...args: Array<any>) => Effect<any, any, any> ? k : never;
-        }[keyof S]]: S[k] extends (...args: infer Args) => Effect<infer A, infer E, infer R> ? (...args: Args) => Effect<A, SE | E, SR | R> : never;
+        [k in keyof S as S[k] extends (...args: Array<any>) => Effect<any, any, any> ? k : never]: S[k] extends (...args: infer Args) => Effect<infer A, infer E, infer R> ? (...args: Args) => Effect<A, SE | E, SR | R> : never;
     };
     constants: {
         [k in {
@@ -2597,9 +2593,9 @@ export declare const flatMap: {
  */
 export declare const andThen: {
     <A, X>(f: (a: NoInfer<A>) => X): <E, R>(self: Effect<A, E, R>) => [X] extends [Effect<infer A1, infer E1, infer R1>] ? Effect<A1, E | E1, R | R1> : [X] extends [Promise<infer A1>] ? Effect<A1, E | Cause.UnknownException, R> : Effect<X, E, R>;
-    <X>(f: X): <A, E, R>(self: Effect<A, E, R>) => [X] extends [Effect<infer A1, infer E1, infer R1>] ? Effect<A1, E | E1, R | R1> : [X] extends [Promise<infer A1>] ? Effect<A1, E | Cause.UnknownException, R> : Effect<X, E, R>;
+    <X>(f: NotFunction<X>): <A, E, R>(self: Effect<A, E, R>) => [X] extends [Effect<infer A1, infer E1, infer R1>] ? Effect<A1, E | E1, R | R1> : [X] extends [Promise<infer A1>] ? Effect<A1, E | Cause.UnknownException, R> : Effect<X, E, R>;
     <A, E, R, X>(self: Effect<A, E, R>, f: (a: NoInfer<A>) => X): [X] extends [Effect<infer A1, infer E1, infer R1>] ? Effect<A1, E | E1, R | R1> : [X] extends [Promise<infer A1>] ? Effect<A1, E | Cause.UnknownException, R> : Effect<X, E, R>;
-    <A, E, R, X>(self: Effect<A, E, R>, f: X): [X] extends [Effect<infer A1, infer E1, infer R1>] ? Effect<A1, E | E1, R | R1> : [X] extends [Promise<infer A1>] ? Effect<A1, E | Cause.UnknownException, R> : Effect<X, E, R>;
+    <A, E, R, X>(self: Effect<A, E, R>, f: NotFunction<X>): [X] extends [Effect<infer A1, infer E1, infer R1>] ? Effect<A1, E | E1, R | R1> : [X] extends [Promise<infer A1>] ? Effect<A1, E | Cause.UnknownException, R> : Effect<X, E, R>;
 };
 /**
  * @since 2.0.0
@@ -2682,9 +2678,9 @@ export declare const summarized: {
  */
 export declare const tap: {
     <A, X>(f: (a: NoInfer<A>) => X): <E, R>(self: Effect<A, E, R>) => [X] extends [Effect<infer _A1, infer E1, infer R1>] ? Effect<A, E | E1, R | R1> : [X] extends [Promise<infer _A1>] ? Effect<A, E | Cause.UnknownException, R> : Effect<A, E, R>;
-    <X>(f: X): <A, E, R>(self: Effect<A, E, R>) => [X] extends [Effect<infer _A1, infer E1, infer R1>] ? Effect<A, E | E1, R | R1> : [X] extends [Promise<infer _A1>] ? Effect<A, E | Cause.UnknownException, R> : Effect<A, E, R>;
+    <X>(f: NotFunction<X>): <A, E, R>(self: Effect<A, E, R>) => [X] extends [Effect<infer _A1, infer E1, infer R1>] ? Effect<A, E | E1, R | R1> : [X] extends [Promise<infer _A1>] ? Effect<A, E | Cause.UnknownException, R> : Effect<A, E, R>;
     <A, E, R, X>(self: Effect<A, E, R>, f: (a: NoInfer<A>) => X): [X] extends [Effect<infer _A1, infer E1, infer R1>] ? Effect<A, E | E1, R | R1> : [X] extends [Promise<infer _A1>] ? Effect<A, E | Cause.UnknownException, R> : Effect<A, E, R>;
-    <A, E, R, X>(self: Effect<A, E, R>, f: X): [X] extends [Effect<infer _A1, infer E1, infer R1>] ? Effect<A, E | E1, R | R1> : [X] extends [Promise<infer _A1>] ? Effect<A, E | Cause.UnknownException, R> : Effect<A, E, R>;
+    <A, E, R, X>(self: Effect<A, E, R>, f: NotFunction<X>): [X] extends [Effect<infer _A1, infer E1, infer R1>] ? Effect<A, E | E1, R | R1> : [X] extends [Promise<infer _A1>] ? Effect<A, E | Cause.UnknownException, R> : Effect<A, E, R>;
 };
 /**
  * Returns an effect that effectfully "peeks" at the failure or success of
@@ -3599,7 +3595,10 @@ export declare const step: <A, E, R>(self: Effect<A, E, R>) => Effect<Exit.Exit<
  * @category requests & batching
  */
 export declare const request: {
-    <A extends Request.Request<any, any>, Ds extends RequestResolver<A> | Effect<RequestResolver<A>, any, any>>(request: A, dataSource: Ds): Effect<Request.Request.Success<A>, Request.Request.Error<A>, [
+    <A extends Request.Request<any, any>, Ds extends RequestResolver<A> | Effect<RequestResolver<A>, any, any>>(dataSource: Ds): (self: A) => Effect<Request.Request.Success<A>, Request.Request.Error<A>, [
+        Ds
+    ] extends [Effect<any, any, any>] ? Effect.Context<Ds> : never>;
+    <Ds extends RequestResolver<A> | Effect<RequestResolver<A>, any, any>, A extends Request.Request<any, any>>(self: A, dataSource: Ds): Effect<Request.Request.Success<A>, Request.Request.Error<A>, [
         Ds
     ] extends [Effect<any, any, any>] ? Effect.Context<Ds> : never>;
 };
@@ -3837,4 +3836,13 @@ export declare const fromNullable: <A>(value: A) => Effect<NonNullable<A>, Cause
  * @category optionality
  */
 export declare const optionFromOptional: <A, E, R>(self: Effect<A, E, R>) => Effect<Option.Option<A>, Exclude<E, Cause.NoSuchElementException>, R>;
+/**
+ * @since 2.0.0
+ * @category constructors
+ */
+export declare const Tag: <const Id extends string>(id: Id) => <Self, Type>() => Context.TagClass<Self, Id, Type> & (Type extends Record<PropertyKey, any> ? {
+    [k in keyof Type as Type[k] extends ((...args: [...infer Args]) => infer Ret) ? ((...args: Readonly<Args>) => Ret) extends Type[k] ? k : never : k]: Type[k] extends (...args: [...infer Args]) => Effect<infer A, infer E, infer R> ? (...args: Readonly<Args>) => Effect<A, E, Self | R> : Type[k] extends (...args: [...infer Args]) => infer A ? (...args: Readonly<Args>) => Effect<A, never, Self> : Type[k] extends Effect<infer A, infer E, infer R> ? Effect<A, E, Self | R> : Effect<Type[k], never, Self>;
+} : {}) & {
+    use: <X>(body: (_: Type) => X) => X extends Effect<infer A, infer E, infer R> ? Effect<A, E, R | Self> : Effect<X, never, Self>;
+};
 //# sourceMappingURL=Effect.d.ts.map