effect 2.2.5 → 2.3.0

package/src/StreamEmit.ts

@@ -10,7 +10,7 @@ import type * as Option from "./Option.js"
 /**
  * An `Emit<R, E, A, B>` represents an asynchronous callback that can be
  * called multiple times. The callback can be called with a value of type
- * `Effect<R, Option<E>, Chunk<A>>`, where succeeding with a `Chunk<A>`
+ * `Effect<Chunk<A>, Option<E>, R>`, where succeeding with a `Chunk<A>`
  * indicates to emit those elements, failing with `Some<E>` indicates to
  * terminate with that error, and failing with `None` indicates to terminate
  * with an end of stream signal.
@@ -19,7 +19,7 @@ import type * as Option from "./Option.js"
  * @category models
  */
 export interface Emit<in R, in E, in A, out B> extends EmitOps<R, E, A, B> {
-  (f: Effect.Effect<R, Option.Option<E>, Chunk.Chunk<A>>): Promise<B>
+  (f: Effect.Effect<Chunk.Chunk<A>, Option.Option<E>, R>): Promise<B>
 }
 
 /**
@@ -47,7 +47,7 @@ export interface EmitOps<in R, in E, in A, out B> {
    * Either emits the specified value if this `Exit` is a `Success` or else
    * terminates with the specified cause if this `Exit` is a `Failure`.
    */
-  done(exit: Exit.Exit<E, A>): Promise<B>
+  done(exit: Exit.Exit<A, E>): Promise<B>
 
   /**
    * Terminates with an end of stream signal.
@@ -63,13 +63,13 @@ export interface EmitOps<in R, in E, in A, out B> {
    * Either emits the success value of this effect or terminates the stream
    * with the failure value of this effect.
    */
-  fromEffect(effect: Effect.Effect<R, E, A>): Promise<B>
+  fromEffect(effect: Effect.Effect<A, E, R>): Promise<B>
 
   /**
    * Either emits the success value of this effect or terminates the stream
    * with the failure value of this effect.
    */
-  fromEffectChunk(effect: Effect.Effect<R, E, Chunk.Chunk<A>>): Promise<B>
+  fromEffectChunk(effect: Effect.Effect<Chunk.Chunk<A>, E, R>): Promise<B>
 
   /**
    * Terminates the stream with the specified cause.

package/src/Streamable.ts

@@ -18,7 +18,7 @@ const streamVariance = {
  * @since 2.0.0
  * @category constructors
  */
-export abstract class Class<R, E, A> implements Stream.Stream<R, E, A> {
+export abstract class Class<A, E = never, R = never> implements Stream.Stream<A, E, R> {
   /**
    * @since 2.0.0
    */
@@ -34,7 +34,7 @@ export abstract class Class<R, E, A> implements Stream.Stream<R, E, A> {
   /**
    * @since 2.0.0
    */
-  abstract toStream(): Stream.Stream<R, E, A>
+  abstract toStream(): Stream.Stream<A, E, R>
 
   /**
    * @internal

package/src/SubscriptionRef.ts

@@ -43,7 +43,7 @@ export interface SubscriptionRef<in out A>
    * A stream containing the current value of the `Ref` as well as all changes
    * to that value.
    */
-  readonly changes: Stream.Stream<never, never, A>
+  readonly changes: Stream.Stream<A>
 }
 
 /**
@@ -65,15 +65,15 @@ export declare namespace SubscriptionRef {
  * @since 2.0.0
  * @category getters
  */
-export const get: <A>(self: SubscriptionRef<A>) => Effect.Effect<never, never, A> = internal.get
+export const get: <A>(self: SubscriptionRef<A>) => Effect.Effect<A> = internal.get
 
 /**
  * @since 2.0.0
  * @category utils
  */
 export const getAndSet: {
-  <A>(value: A): (self: SubscriptionRef<A>) => Effect.Effect<never, never, A>
-  <A>(self: SubscriptionRef<A>, value: A): Effect.Effect<never, never, A>
+  <A>(value: A): (self: SubscriptionRef<A>) => Effect.Effect<A>
+  <A>(self: SubscriptionRef<A>, value: A): Effect.Effect<A>
 } = Ref.getAndSet
 
 /**
@@ -81,8 +81,8 @@ export const getAndSet: {
  * @category utils
  */
 export const getAndUpdate: {
-  <A>(f: (a: A) => A): (self: SubscriptionRef<A>) => Effect.Effect<never, never, A>
-  <A>(self: SubscriptionRef<A>, f: (a: A) => A): Effect.Effect<never, never, A>
+  <A>(f: (a: A) => A): (self: SubscriptionRef<A>) => Effect.Effect<A>
+  <A>(self: SubscriptionRef<A>, f: (a: A) => A): Effect.Effect<A>
 } = Ref.getAndUpdate
 
 /**
@@ -90,8 +90,8 @@ export const getAndUpdate: {
  * @category utils
  */
 export const getAndUpdateEffect: {
-  <A, R, E>(f: (a: A) => Effect.Effect<R, E, A>): (self: SubscriptionRef<A>) => Effect.Effect<R, E, A>
-  <A, R, E>(self: SubscriptionRef<A>, f: (a: A) => Effect.Effect<R, E, A>): Effect.Effect<R, E, A>
+  <A, R, E>(f: (a: A) => Effect.Effect<A, E, R>): (self: SubscriptionRef<A>) => Effect.Effect<A, E, R>
+  <A, R, E>(self: SubscriptionRef<A>, f: (a: A) => Effect.Effect<A, E, R>): Effect.Effect<A, E, R>
 } = Synchronized.getAndUpdateEffect
 
 /**
@@ -99,8 +99,8 @@ export const getAndUpdateEffect: {
  * @category utils
  */
 export const getAndUpdateSome: {
-  <A>(pf: (a: A) => Option.Option<A>): (self: SubscriptionRef<A>) => Effect.Effect<never, never, A>
-  <A>(self: SubscriptionRef<A>, pf: (a: A) => Option.Option<A>): Effect.Effect<never, never, A>
+  <A>(pf: (a: A) => Option.Option<A>): (self: SubscriptionRef<A>) => Effect.Effect<A>
+  <A>(self: SubscriptionRef<A>, pf: (a: A) => Option.Option<A>): Effect.Effect<A>
 } = Ref.getAndUpdateSome
 
 /**
@@ -109,12 +109,12 @@ export const getAndUpdateSome: {
  */
 export const getAndUpdateSomeEffect: {
   <A, R, E>(
-    pf: (a: A) => Option.Option<Effect.Effect<R, E, A>>
-  ): (self: SubscriptionRef<A>) => Effect.Effect<R, E, A>
+    pf: (a: A) => Option.Option<Effect.Effect<A, E, R>>
+  ): (self: SubscriptionRef<A>) => Effect.Effect<A, E, R>
   <A, R, E>(
     self: SubscriptionRef<A>,
-    pf: (a: A) => Option.Option<Effect.Effect<R, E, A>>
-  ): Effect.Effect<R, E, A>
+    pf: (a: A) => Option.Option<Effect.Effect<A, E, R>>
+  ): Effect.Effect<A, E, R>
 } = Synchronized.getAndUpdateSomeEffect
 
 /**
@@ -123,15 +123,15 @@ export const getAndUpdateSomeEffect: {
  * @since 2.0.0
  * @category constructors
  */
-export const make: <A>(value: A) => Effect.Effect<never, never, SubscriptionRef<A>> = internal.make
+export const make: <A>(value: A) => Effect.Effect<SubscriptionRef<A>> = internal.make
 
 /**
  * @since 2.0.0
  * @category utils
  */
 export const modify: {
-  <A, B>(f: (a: A) => readonly [B, A]): (self: SubscriptionRef<A>) => Effect.Effect<never, never, B>
-  <A, B>(self: SubscriptionRef<A>, f: (a: A) => readonly [B, A]): Effect.Effect<never, never, B>
+  <A, B>(f: (a: A) => readonly [B, A]): (self: SubscriptionRef<A>) => Effect.Effect<B>
+  <A, B>(self: SubscriptionRef<A>, f: (a: A) => readonly [B, A]): Effect.Effect<B>
 } = internal.modify
 
 /**
@@ -139,8 +139,8 @@ export const modify: {
  * @category utils
  */
 export const modifyEffect: {
-  <A, R, E, B>(f: (a: A) => Effect.Effect<R, E, readonly [B, A]>): (self: SubscriptionRef<A>) => Effect.Effect<R, E, B>
-  <A, R, E, B>(self: SubscriptionRef<A>, f: (a: A) => Effect.Effect<R, E, readonly [B, A]>): Effect.Effect<R, E, B>
+  <A, R, E, B>(f: (a: A) => Effect.Effect<readonly [B, A], E, R>): (self: SubscriptionRef<A>) => Effect.Effect<B, E, R>
+  <A, R, E, B>(self: SubscriptionRef<A>, f: (a: A) => Effect.Effect<readonly [B, A], E, R>): Effect.Effect<B, E, R>
 } = internal.modifyEffect
 
 /**
@@ -151,12 +151,12 @@ export const modifySome: {
   <B, A>(
     fallback: B,
     pf: (a: A) => Option.Option<readonly [B, A]>
-  ): (self: SubscriptionRef<A>) => Effect.Effect<never, never, B>
+  ): (self: SubscriptionRef<A>) => Effect.Effect<B>
   <A, B>(
     self: SubscriptionRef<A>,
     fallback: B,
     pf: (a: A) => Option.Option<readonly [B, A]>
-  ): Effect.Effect<never, never, B>
+  ): Effect.Effect<B>
 } = Ref.modifySome
 
 /**
@@ -166,13 +166,13 @@ export const modifySome: {
 export const modifySomeEffect: {
   <A, B, R, E>(
     fallback: B,
-    pf: (a: A) => Option.Option<Effect.Effect<R, E, readonly [B, A]>>
-  ): (self: SubscriptionRef<A>) => Effect.Effect<R, E, B>
+    pf: (a: A) => Option.Option<Effect.Effect<readonly [B, A], E, R>>
+  ): (self: Synchronized.SynchronizedRef<A>) => Effect.Effect<B, E, R>
   <A, B, R, E>(
-    self: SubscriptionRef<A>,
+    self: Synchronized.SynchronizedRef<A>,
     fallback: B,
-    pf: (a: A) => Option.Option<Effect.Effect<R, E, readonly [B, A]>>
-  ): Effect.Effect<R, E, B>
+    pf: (a: A) => Option.Option<Effect.Effect<readonly [B, A], E, R>>
+  ): Effect.Effect<B, E, R>
 } = Synchronized.modifySomeEffect
 
 /**
@@ -180,8 +180,8 @@ export const modifySomeEffect: {
  * @category utils
  */
 export const set: {
-  <A>(value: A): (self: SubscriptionRef<A>) => Effect.Effect<never, never, void>
-  <A>(self: SubscriptionRef<A>, value: A): Effect.Effect<never, never, void>
+  <A>(value: A): (self: SubscriptionRef<A>) => Effect.Effect<void>
+  <A>(self: SubscriptionRef<A>, value: A): Effect.Effect<void>
 } = internal.set
 
 /**
@@ -189,8 +189,8 @@ export const set: {
  * @category utils
  */
 export const setAndGet: {
-  <A>(value: A): (self: SubscriptionRef<A>) => Effect.Effect<never, never, A>
-  <A>(self: SubscriptionRef<A>, value: A): Effect.Effect<never, never, A>
+  <A>(value: A): (self: SubscriptionRef<A>) => Effect.Effect<A>
+  <A>(self: SubscriptionRef<A>, value: A): Effect.Effect<A>
 } = Ref.setAndGet
 
 /**
@@ -198,8 +198,8 @@ export const setAndGet: {
  * @category utils
  */
 export const update: {
-  <A>(f: (a: A) => A): (self: SubscriptionRef<A>) => Effect.Effect<never, never, void>
-  <A>(self: SubscriptionRef<A>, f: (a: A) => A): Effect.Effect<never, never, void>
+  <A>(f: (a: A) => A): (self: SubscriptionRef<A>) => Effect.Effect<void>
+  <A>(self: SubscriptionRef<A>, f: (a: A) => A): Effect.Effect<void>
 } = Ref.update
 
 /**
@@ -207,8 +207,8 @@ export const update: {
  * @category utils
  */
 export const updateEffect: {
-  <A, R, E>(f: (a: A) => Effect.Effect<R, E, A>): (self: SubscriptionRef<A>) => Effect.Effect<R, E, void>
-  <A, R, E>(self: SubscriptionRef<A>, f: (a: A) => Effect.Effect<R, E, A>): Effect.Effect<R, E, void>
+  <A, R, E>(f: (a: A) => Effect.Effect<A, E, R>): (self: Synchronized.SynchronizedRef<A>) => Effect.Effect<void, E, R>
+  <A, R, E>(self: Synchronized.SynchronizedRef<A>, f: (a: A) => Effect.Effect<A, E, R>): Effect.Effect<void, E, R>
 } = Synchronized.updateEffect
 
 /**
@@ -216,8 +216,8 @@ export const updateEffect: {
  * @category utils
  */
 export const updateAndGet: {
-  <A>(f: (a: A) => A): (self: SubscriptionRef<A>) => Effect.Effect<never, never, A>
-  <A>(self: SubscriptionRef<A>, f: (a: A) => A): Effect.Effect<never, never, A>
+  <A>(f: (a: A) => A): (self: SubscriptionRef<A>) => Effect.Effect<A>
+  <A>(self: SubscriptionRef<A>, f: (a: A) => A): Effect.Effect<A>
 } = Ref.updateAndGet
 
 /**
@@ -225,8 +225,8 @@ export const updateAndGet: {
  * @category utils
  */
 export const updateAndGetEffect: {
-  <A, R, E>(f: (a: A) => Effect.Effect<R, E, A>): (self: SubscriptionRef<A>) => Effect.Effect<R, E, A>
-  <A, R, E>(self: SubscriptionRef<A>, f: (a: A) => Effect.Effect<R, E, A>): Effect.Effect<R, E, A>
+  <A, R, E>(f: (a: A) => Effect.Effect<A, E, R>): (self: SubscriptionRef<A>) => Effect.Effect<A, E, R>
+  <A, R, E>(self: SubscriptionRef<A>, f: (a: A) => Effect.Effect<A, E, R>): Effect.Effect<A, E, R>
 } = Synchronized.updateAndGetEffect
 
 /**
@@ -234,8 +234,8 @@ export const updateAndGetEffect: {
  * @category utils
  */
 export const updateSome: {
-  <A>(f: (a: A) => Option.Option<A>): (self: SubscriptionRef<A>) => Effect.Effect<never, never, void>
-  <A>(self: SubscriptionRef<A>, f: (a: A) => Option.Option<A>): Effect.Effect<never, never, void>
+  <A>(f: (a: A) => Option.Option<A>): (self: SubscriptionRef<A>) => Effect.Effect<void>
+  <A>(self: SubscriptionRef<A>, f: (a: A) => Option.Option<A>): Effect.Effect<void>
 } = Ref.updateSome
 
 /**
@@ -244,12 +244,12 @@ export const updateSome: {
  */
 export const updateSomeEffect: {
   <A, R, E>(
-    pf: (a: A) => Option.Option<Effect.Effect<R, E, A>>
-  ): (self: SubscriptionRef<A>) => Effect.Effect<R, E, void>
+    pf: (a: A) => Option.Option<Effect.Effect<A, E, R>>
+  ): (self: Synchronized.SynchronizedRef<A>) => Effect.Effect<void, E, R>
   <A, R, E>(
-    self: SubscriptionRef<A>,
-    pf: (a: A) => Option.Option<Effect.Effect<R, E, A>>
-  ): Effect.Effect<R, E, void>
+    self: Synchronized.SynchronizedRef<A>,
+    pf: (a: A) => Option.Option<Effect.Effect<A, E, R>>
+  ): Effect.Effect<void, E, R>
 } = Synchronized.updateSomeEffect
 
 /**
@@ -257,8 +257,8 @@ export const updateSomeEffect: {
  * @category utils
  */
 export const updateSomeAndGet: {
-  <A>(pf: (a: A) => Option.Option<A>): (self: SubscriptionRef<A>) => Effect.Effect<never, never, A>
-  <A>(self: SubscriptionRef<A>, pf: (a: A) => Option.Option<A>): Effect.Effect<never, never, A>
+  <A>(pf: (a: A) => Option.Option<A>): (self: SubscriptionRef<A>) => Effect.Effect<A>
+  <A>(self: SubscriptionRef<A>, pf: (a: A) => Option.Option<A>): Effect.Effect<A>
 } = Ref.updateSomeAndGet
 
 /**
@@ -267,10 +267,10 @@ export const updateSomeAndGet: {
  */
 export const updateSomeAndGetEffect: {
   <A, R, E>(
-    pf: (a: A) => Option.Option<Effect.Effect<R, E, A>>
-  ): (self: SubscriptionRef<A>) => Effect.Effect<R, E, A>
+    pf: (a: A) => Option.Option<Effect.Effect<A, E, R>>
+  ): (self: SubscriptionRef<A>) => Effect.Effect<A, E, R>
   <A, R, E>(
     self: SubscriptionRef<A>,
-    pf: (a: A) => Option.Option<Effect.Effect<R, E, A>>
-  ): Effect.Effect<R, E, A>
+    pf: (a: A) => Option.Option<Effect.Effect<A, E, R>>
+  ): Effect.Effect<A, E, R>
 } = Synchronized.updateSomeAndGetEffect

package/src/Supervisor.ts

@@ -39,37 +39,37 @@ export interface Supervisor<out T> extends Supervisor.Variance<T> {
    * supervisor. This value may change over time, reflecting what the supervisor
    * produces as it supervises fibers.
    */
-  readonly value: Effect.Effect<never, never, T>
+  readonly value: Effect.Effect<T>
 
   /**
    * Supervises the start of a `Fiber`.
    */
-  onStart<R, E, A>(
+  onStart<A, E, R>(
     context: Context.Context<R>,
-    effect: Effect.Effect<R, E, A>,
+    effect: Effect.Effect<A, E, R>,
     parent: Option.Option<Fiber.RuntimeFiber<any, any>>,
-    fiber: Fiber.RuntimeFiber<E, A>
+    fiber: Fiber.RuntimeFiber<A, E>
   ): void
 
   /**
    * Supervises the end of a `Fiber`.
    */
-  onEnd<E, A>(value: Exit.Exit<E, A>, fiber: Fiber.RuntimeFiber<E, A>): void
+  onEnd<A, E>(value: Exit.Exit<A, E>, fiber: Fiber.RuntimeFiber<A, E>): void
 
   /**
    * Supervises the execution of an `Effect` by a `Fiber`.
    */
-  onEffect<E, A>(fiber: Fiber.RuntimeFiber<E, A>, effect: Effect.Effect<any, any, any>): void
+  onEffect<A, E>(fiber: Fiber.RuntimeFiber<A, E>, effect: Effect.Effect<any, any, any>): void
 
   /**
    * Supervises the suspension of a computation running within a `Fiber`.
    */
-  onSuspend<E, A>(fiber: Fiber.RuntimeFiber<E, A>): void
+  onSuspend<A, E>(fiber: Fiber.RuntimeFiber<A, E>): void
 
   /**
    * Supervises the resumption of a computation running within a `Fiber`.
    */
-  onResume<E, A>(fiber: Fiber.RuntimeFiber<E, A>): void
+  onResume<A, E>(fiber: Fiber.RuntimeFiber<A, E>): void
 
   /**
    * Maps this supervisor to another one, which has the same effect, but whose
@@ -104,7 +104,7 @@ export declare namespace Supervisor {
  * @since 2.0.0
  * @category context
  */
-export const addSupervisor: <A>(supervisor: Supervisor<A>) => Layer.Layer<never, never, never> = circular.addSupervisor
+export const addSupervisor: <A>(supervisor: Supervisor<A>) => Layer.Layer<never> = circular.addSupervisor
 
 /**
  * Creates a new supervisor that tracks children in a set.
@@ -114,7 +114,7 @@ export const addSupervisor: <A>(supervisor: Supervisor<A>) => Layer.Layer<never,
  */
 export const fibersIn: (
   ref: MutableRef.MutableRef<SortedSet.SortedSet<Fiber.RuntimeFiber<any, any>>>
-) => Effect.Effect<never, never, Supervisor<SortedSet.SortedSet<Fiber.RuntimeFiber<any, any>>>> = internal.fibersIn
+) => Effect.Effect<Supervisor<SortedSet.SortedSet<Fiber.RuntimeFiber<any, any>>>> = internal.fibersIn
 
 /**
  * Creates a new supervisor that constantly yields effect when polled
@@ -122,7 +122,7 @@ export const fibersIn: (
  * @since 2.0.0
  * @category constructors
  */
-export const fromEffect: <A>(effect: Effect.Effect<never, never, A>) => Supervisor<A> = internal.fromEffect
+export const fromEffect: <A>(effect: Effect.Effect<A>) => Supervisor<A> = internal.fromEffect
 
 /**
  * A supervisor that doesn't do anything in response to supervision events.
@@ -138,7 +138,7 @@ export const none: Supervisor<void> = internal.none
  * @since 2.0.0
  * @category constructors
  */
-export const track: Effect.Effect<never, never, Supervisor<Array<Fiber.RuntimeFiber<any, any>>>> = internal.track
+export const track: Effect.Effect<Supervisor<Array<Fiber.RuntimeFiber<any, any>>>> = internal.track
 
 /**
  * Unsafely creates a new supervisor that tracks children in a set.
@@ -156,16 +156,16 @@ export abstract class AbstractSupervisor<T> implements Supervisor<T> {
   /**
    * @since 2.0.0
    */
-  abstract value: Effect.Effect<never, never, T>
+  abstract value: Effect.Effect<T>
 
   /**
    * @since 2.0.0
    */
-  onStart<R, E, A>(
+  onStart<A, E, R>(
     _context: Context.Context<R>,
-    _effect: Effect.Effect<R, E, A>,
+    _effect: Effect.Effect<A, E, R>,
     _parent: Option.Option<Fiber.RuntimeFiber<any, any>>,
-    _fiber: Fiber.RuntimeFiber<E, A>
+    _fiber: Fiber.RuntimeFiber<A, E>
   ): void {
     //
   }
@@ -173,9 +173,9 @@ export abstract class AbstractSupervisor<T> implements Supervisor<T> {
   /**
    * @since 2.0.0
    */
-  onEnd<E, A>(
-    _value: Exit.Exit<E, A>,
-    _fiber: Fiber.RuntimeFiber<E, A>
+  onEnd<A, E>(
+    _value: Exit.Exit<A, E>,
+    _fiber: Fiber.RuntimeFiber<A, E>
   ): void {
     //
   }
@@ -183,8 +183,8 @@ export abstract class AbstractSupervisor<T> implements Supervisor<T> {
   /**
    * @since 2.0.0
    */
-  onEffect<E, A>(
-    _fiber: Fiber.RuntimeFiber<E, A>,
+  onEffect<A, E>(
+    _fiber: Fiber.RuntimeFiber<A, E>,
     _effect: Effect.Effect<any, any, any>
   ): void {
     //
@@ -193,8 +193,8 @@ export abstract class AbstractSupervisor<T> implements Supervisor<T> {
   /**
    * @since 2.0.0
    */
-  onSuspend<E, A>(
-    _fiber: Fiber.RuntimeFiber<E, A>
+  onSuspend<A, E>(
+    _fiber: Fiber.RuntimeFiber<A, E>
   ): void {
     //
   }
@@ -202,8 +202,8 @@ export abstract class AbstractSupervisor<T> implements Supervisor<T> {
   /**
    * @since 2.0.0
    */
-  onResume<E, A>(
-    _fiber: Fiber.RuntimeFiber<E, A>
+  onResume<A, E>(
+    _fiber: Fiber.RuntimeFiber<A, E>
   ): void {
     //
   }
@@ -227,7 +227,7 @@ export abstract class AbstractSupervisor<T> implements Supervisor<T> {
   /**
    * @since 2.0.0
    */
-  onRun<E, A, X>(execution: () => X, _fiber: Fiber.RuntimeFiber<E, A>): X {
+  onRun<E, A, X>(execution: () => X, _fiber: Fiber.RuntimeFiber<A, E>): X {
     return execution()
   }