@clayroach/effect 3.19.14-source-capture.8 → 3.19.14-source-trace.2

package/src/MergeDecision.ts

@@ -0,0 +1,95 @@
+/**
+ * @since 2.0.0
+ */
+import type * as Effect from "./Effect.js"
+import type * as Exit from "./Exit.js"
+import * as internal from "./internal/channel/mergeDecision.js"
+import type * as Types from "./Types.js"
+
+/**
+ * @since 2.0.0
+ * @category symbols
+ */
+export const MergeDecisionTypeId: unique symbol = internal.MergeDecisionTypeId
+
+/**
+ * @since 2.0.0
+ * @category symbols
+ */
+export type MergeDecisionTypeId = typeof MergeDecisionTypeId
+
+/**
+ * @since 2.0.0
+ * @category models
+ */
+export interface MergeDecision<out R, in E0, in Z0, out E, out Z> extends MergeDecision.Variance<R, E0, Z0, E, Z> {}
+
+/**
+ * @since 2.0.0
+ */
+export declare namespace MergeDecision {
+  /**
+   * @since 2.0.0
+   * @category models
+   */
+  export interface Variance<out R, in E0, in Z0, out E, out Z> {
+    readonly [MergeDecisionTypeId]: {
+      _R: Types.Covariant<R>
+      _E0: Types.Contravariant<E0>
+      _Z0: Types.Contravariant<Z0>
+      _E: Types.Covariant<E>
+      _Z: Types.Covariant<Z>
+    }
+  }
+}
+
+/**
+ * @since 2.0.0
+ * @category constructors
+ */
+export const Done: <Z, E, R>(effect: Effect.Effect<Z, E, R>) => MergeDecision<R, unknown, unknown, E, Z> = internal.Done
+
+/**
+ * @since 2.0.0
+ * @category constructors
+ */
+export const Await: <R, E0, Z0, E, Z>(
+  f: (exit: Exit.Exit<Z0, E0>) => Effect.Effect<Z, E, R>
+) => MergeDecision<R, E0, Z0, E, Z> = internal.Await
+
+/**
+ * @since 2.0.0
+ * @category constructors
+ */
+export const AwaitConst: <Z, E, R>(effect: Effect.Effect<Z, E, R>) => MergeDecision<R, unknown, unknown, E, Z> =
+  internal.AwaitConst
+
+/**
+ * Returns `true` if the specified value is a `MergeDecision`, `false`
+ * otherwise.
+ *
+ * @since 2.0.0
+ * @category refinements
+ */
+export const isMergeDecision: (u: unknown) => u is MergeDecision<unknown, unknown, unknown, unknown, unknown> =
+  internal.isMergeDecision
+
+/**
+ * @since 2.0.0
+ * @category folding
+ */
+export const match: {
+  <R, E0, Z0, E, Z, Z2>(
+    options: {
+      readonly onDone: (effect: Effect.Effect<Z, E, R>) => Z2
+      readonly onAwait: (f: (exit: Exit.Exit<Z0, E0>) => Effect.Effect<Z, E, R>) => Z2
+    }
+  ): (self: MergeDecision<R, E0, Z0, E, Z>) => Z2
+  <R, E0, Z0, E, Z, Z2>(
+    self: MergeDecision<R, E0, Z0, E, Z>,
+    options: {
+      readonly onDone: (effect: Effect.Effect<Z, E, R>) => Z2
+      readonly onAwait: (f: (exit: Exit.Exit<Z0, E0>) => Effect.Effect<Z, E, R>) => Z2
+    }
+  ): Z2
+} = internal.match

package/src/MergeState.ts

@@ -0,0 +1,172 @@
+/**
+ * @since 2.0.0
+ */
+import type * as Effect from "./Effect.js"
+import type * as Either from "./Either.js"
+import type * as Exit from "./Exit.js"
+import type * as Fiber from "./Fiber.js"
+import * as internal from "./internal/channel/mergeState.js"
+
+/**
+ * @since 2.0.0
+ * @category symbols
+ */
+export const MergeStateTypeId: unique symbol = internal.MergeStateTypeId
+
+/**
+ * @since 2.0.0
+ * @category symbols
+ */
+export type MergeStateTypeId = typeof MergeStateTypeId
+
+/**
+ * @since 2.0.0
+ * @category models
+ */
+export type MergeState<Env, Err, Err1, Err2, Elem, Done, Done1, Done2> =
+  | BothRunning<Env, Err, Err1, Err2, Elem, Done, Done1, Done2>
+  | LeftDone<Env, Err, Err1, Err2, Elem, Done, Done1, Done2>
+  | RightDone<Env, Err, Err1, Err2, Elem, Done, Done1, Done2>
+
+/**
+ * @since 2.0.0
+ */
+export declare namespace MergeState {
+  /**
+   * @since 2.0.0
+   * @category models
+   */
+  export interface Proto {
+    readonly [MergeStateTypeId]: MergeStateTypeId
+  }
+}
+
+/**
+ * @since 2.0.0
+ * @category models
+ */
+export interface BothRunning<_Env, out Err, out Err1, _Err2, out Elem, out Done, out Done1, _Done2>
+  extends MergeState.Proto
+{
+  readonly _tag: "BothRunning"
+  readonly left: Fiber.Fiber<Either.Either<Elem, Done>, Err>
+  readonly right: Fiber.Fiber<Either.Either<Elem, Done1>, Err1>
+}
+
+/**
+ * @since 2.0.0
+ * @category models
+ */
+export interface LeftDone<out Env, _Err, in Err1, out Err2, _Elem, _Done, in Done1, out Done2>
+  extends MergeState.Proto
+{
+  readonly _tag: "LeftDone"
+  f(exit: Exit.Exit<Done1, Err1>): Effect.Effect<Done2, Err2, Env>
+}
+
+/**
+ * @since 2.0.0
+ * @category models
+ */
+export interface RightDone<out Env, in Err, _Err1, out Err2, _Elem, in Done, _Done1, out Done2>
+  extends MergeState.Proto
+{
+  readonly _tag: "RightDone"
+  f(exit: Exit.Exit<Done, Err>): Effect.Effect<Done2, Err2, Env>
+}
+
+/**
+ * @since 2.0.0
+ * @category constructors
+ */
+export const BothRunning: <Env, Err, Err1, Err2, Elem, Done, Done1, Done2>(
+  left: Fiber.Fiber<Either.Either<Elem, Done>, Err>,
+  right: Fiber.Fiber<Either.Either<Elem, Done1>, Err1>
+) => MergeState<Env, Err, Err1, Err2, Elem, Done, Done1, Done2> = internal.BothRunning
+
+/**
+ * @since 2.0.0
+ * @category constructors
+ */
+export const LeftDone: <Env, Err, Err1, Err2, Elem, Done, Done1, Done2>(
+  f: (exit: Exit.Exit<Done1, Err1>) => Effect.Effect<Done2, Err2, Env>
+) => MergeState<Env, Err, Err1, Err2, Elem, Done, Done1, Done2> = internal.LeftDone
+
+/**
+ * @since 2.0.0
+ * @category constructors
+ */
+export const RightDone: <Env, Err, Err1, Err2, Elem, Done, Done1, Done2>(
+  f: (exit: Exit.Exit<Done, Err>) => Effect.Effect<Done2, Err2, Env>
+) => MergeState<Env, Err, Err1, Err2, Elem, Done, Done1, Done2> = internal.RightDone
+
+/**
+ * Returns `true` if the specified value is a `MergeState`, `false` otherwise.
+ *
+ * @since 2.0.0
+ * @category refinements
+ */
+export const isMergeState: (
+  u: unknown
+) => u is MergeState<unknown, unknown, unknown, unknown, unknown, unknown, unknown, unknown> = internal.isMergeState
+
+/**
+ * Returns `true` if the specified `MergeState` is a `BothRunning`, `false`
+ * otherwise.
+ *
+ * @since 2.0.0
+ * @category refinements
+ */
+export const isBothRunning: <Env, Err, Err1, Err2, Elem, Done, Done1, Done2>(
+  self: MergeState<Env, Err, Err1, Err2, Elem, Done, Done1, Done2>
+) => self is BothRunning<Env, Err, Err1, Err2, Elem, Done, Done1, Done2> = internal.isBothRunning
+
+/**
+ * Returns `true` if the specified `MergeState` is a `LeftDone`, `false`
+ * otherwise.
+ *
+ * @since 2.0.0
+ * @category refinements
+ */
+export const isLeftDone: <Env, Err, Err1, Err2, Elem, Done, Done1, Done2>(
+  self: MergeState<Env, Err, Err1, Err2, Elem, Done, Done1, Done2>
+) => self is LeftDone<Env, Err, Err1, Err2, Elem, Done, Done1, Done2> = internal.isLeftDone
+
+/**
+ * Returns `true` if the specified `MergeState` is a `RightDone`, `false`
+ * otherwise.
+ *
+ * @since 2.0.0
+ * @category refinements
+ */
+export const isRightDone: <Env, Err, Err1, Err2, Elem, Done, Done1, Done2>(
+  self: MergeState<Env, Err, Err1, Err2, Elem, Done, Done1, Done2>
+) => self is RightDone<Env, Err, Err1, Err2, Elem, Done, Done1, Done2> = internal.isRightDone
+
+/**
+ * @since 2.0.0
+ * @category folding
+ */
+export const match: {
+  <Env, Err, Err1, Err2, Elem, Done, Done1, Done2, Z>(
+    options: {
+      readonly onBothRunning: (
+        left: Fiber.Fiber<Either.Either<Elem, Done>, Err>,
+        right: Fiber.Fiber<Either.Either<Elem, Done1>, Err1>
+      ) => Z
+      readonly onLeftDone: (f: (exit: Exit.Exit<Done1, Err1>) => Effect.Effect<Done2, Err2, Env>) => Z
+      readonly onRightDone: (f: (exit: Exit.Exit<Done, Err>) => Effect.Effect<Done2, Err2, Env>) => Z
+    }
+  ): (self: MergeState<Env, Err, Err1, Err2, Elem, Done, Done1, Done2>) => Z
+  <Env, Err, Err1, Err2, Elem, Done, Done1, Done2, Z>(
+    self: MergeState<Env, Err, Err1, Err2, Elem, Done, Done1, Done2>,
+    options: {
+      readonly onBothRunning: (
+        left: Fiber.Fiber<Either.Either<Elem, Done>, Err>,
+        right: Fiber.Fiber<Either.Either<Elem, Done1>, Err1>
+      ) => Z
+      readonly onLeftDone: (f: (exit: Exit.Exit<Done1, Err1>) => Effect.Effect<Done2, Err2, Env>) => Z
+      readonly onRightDone: (f: (exit: Exit.Exit<Done, Err>) => Effect.Effect<Done2, Err2, Env>) => Z
+    }
+  ): Z
+} = internal.match

package/src/MergeStrategy.ts

@@ -0,0 +1,107 @@
+/**
+ * @since 2.0.0
+ */
+import * as internal from "./internal/channel/mergeStrategy.js"
+
+/**
+ * @since 2.0.0
+ * @category symbols
+ */
+export const MergeStrategyTypeId: unique symbol = internal.MergeStrategyTypeId
+
+/**
+ * @since 2.0.0
+ * @category symbols
+ */
+export type MergeStrategyTypeId = typeof MergeStrategyTypeId
+
+/**
+ * @since 2.0.0
+ * @category models
+ */
+export type MergeStrategy = BackPressure | BufferSliding
+
+/**
+ * @since 2.0.0
+ */
+export declare namespace MergeStrategy {
+  /**
+   * @since 2.0.0
+   * @category models
+   */
+  export interface Proto {
+    readonly [MergeStrategyTypeId]: MergeStrategyTypeId
+  }
+}
+
+/**
+ * @since 2.0.0
+ * @category models
+ */
+export interface BackPressure extends MergeStrategy.Proto {
+  readonly _tag: "BackPressure"
+}
+
+/**
+ * @since 2.0.0
+ * @category models
+ */
+export interface BufferSliding extends MergeStrategy.Proto {
+  readonly _tag: "BufferSliding"
+}
+
+/**
+ * @since 2.0.0
+ * @category constructors
+ */
+export const BackPressure: (_: void) => MergeStrategy = internal.BackPressure
+
+/**
+ * @since 2.0.0
+ * @category constructors
+ */
+export const BufferSliding: (_: void) => MergeStrategy = internal.BufferSliding
+
+/**
+ * Returns `true` if the specified value is a `MergeStrategy`, `false`
+ * otherwise.
+ *
+ * @since 2.0.0
+ * @category refinements
+ */
+export const isMergeStrategy: (u: unknown) => u is MergeStrategy = internal.isMergeStrategy
+
+/**
+ * Returns `true` if the specified `MergeStrategy` is a `BackPressure`, `false`
+ * otherwise.
+ *
+ * @since 2.0.0
+ * @category refinements
+ */
+export const isBackPressure: (self: MergeStrategy) => self is BackPressure = internal.isBackPressure
+
+/**
+ * Returns `true` if the specified `MergeStrategy` is a `BufferSliding`, `false`
+ * otherwise.
+ *
+ * @since 2.0.0
+ * @category refinements
+ */
+export const isBufferSliding: (self: MergeStrategy) => self is BufferSliding = internal.isBufferSliding
+
+/**
+ * Folds an `MergeStrategy` into a value of type `A`.
+ *
+ * @since 2.0.0
+ * @category folding
+ */
+export const match: {
+  <A>(options: {
+    readonly onBackPressure: () => A
+    readonly onBufferSliding: () => A
+  }): (self: MergeStrategy) => A
+  <A>(self: MergeStrategy, options: {
+    readonly onBackPressure: () => A
+    readonly onBufferSliding: () => A
+  }): A
+} = internal.match