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

package/src/Unify.ts

@@ -0,0 +1,113 @@
+/**
+ * @since 2.0.0
+ */
+
+import { identity } from "./Function.js"
+
+/**
+ * @since 2.0.0
+ */
+export declare const unifySymbol: unique symbol
+
+/**
+ * @since 2.0.0
+ */
+export type unifySymbol = typeof unifySymbol
+
+/**
+ * @since 2.0.0
+ */
+export declare const typeSymbol: unique symbol
+
+/**
+ * @since 2.0.0
+ */
+export type typeSymbol = typeof typeSymbol
+
+/**
+ * @since 2.0.0
+ */
+export declare const ignoreSymbol: unique symbol
+
+/**
+ * @since 2.0.0
+ */
+export type ignoreSymbol = typeof ignoreSymbol
+
+type MaybeReturn<F> = F extends () => infer R ? R : NonNullable<F>
+
+type Values<X extends [any, any]> = X extends [infer A, infer Ignore]
+  ? Exclude<keyof A, Ignore> extends infer k ? k extends keyof A ? MaybeReturn<A[k]> : never : never
+  : never
+
+type Ignore<X> = X extends { [ignoreSymbol]?: infer Obj } ? keyof NonNullable<Obj>
+  : never
+
+type ExtractTypes<
+  X
+> = X extends {
+  [typeSymbol]?: infer _Type
+  [unifySymbol]?: infer _Unify
+} ? [NonNullable<_Unify>, Ignore<X>]
+  : never
+
+type FilterIn<A> = A extends any ? typeSymbol extends keyof A ? A : never : never
+
+type FilterOut<A> = A extends any ? typeSymbol extends keyof A ? never : A : never
+
+/**
+ * @since 2.0.0
+ */
+export type Unify<A> = Values<
+  ExtractTypes<
+    (
+      & FilterIn<A>
+      & { [typeSymbol]: A }
+    )
+  >
+> extends infer Z ? Z | Exclude<A, Z> | FilterOut<A> : never
+
+/**
+ * @since 2.0.0
+ */
+export const unify: {
+  <
+    Args extends Array<any>,
+    Args2 extends Array<any>,
+    Args3 extends Array<any>,
+    Args4 extends Array<any>,
+    Args5 extends Array<any>,
+    T
+  >(
+    x: (...args: Args) => (...args: Args2) => (...args: Args3) => (...args: Args4) => (...args: Args5) => T
+  ): (...args: Args) => (...args: Args2) => (...args: Args3) => (...args: Args4) => (...args: Args5) => Unify<T>
+  <
+    Args extends Array<any>,
+    Args2 extends Array<any>,
+    Args3 extends Array<any>,
+    Args4 extends Array<any>,
+    T
+  >(
+    x: (...args: Args) => (...args: Args2) => (...args: Args3) => (...args: Args4) => T
+  ): (...args: Args) => (...args: Args2) => (...args: Args3) => (...args: Args4) => Unify<T>
+  <
+    Args extends Array<any>,
+    Args2 extends Array<any>,
+    Args3 extends Array<any>,
+    T
+  >(
+    x: (...args: Args) => (...args: Args2) => (...args: Args3) => T
+  ): (...args: Args) => (...args: Args2) => (...args: Args3) => Unify<T>
+  <
+    Args extends Array<any>,
+    Args2 extends Array<any>,
+    T
+  >(
+    x: (...args: Args) => (...args: Args2) => T
+  ): (...args: Args) => (...args: Args2) => Unify<T>
+  <
+    Args extends Array<any>,
+    T
+  >(x: (...args: Args) => T): (...args: Args) => Unify<T>
+  <T>(x: T): Unify<T>
+} = identity as any

package/src/UpstreamPullRequest.ts

@@ -0,0 +1,117 @@
+/**
+ * @since 2.0.0
+ */
+import * as internal from "./internal/channel/upstreamPullRequest.js"
+import type * as Types from "./Types.js"
+
+/**
+ * @since 2.0.0
+ * @category symbols
+ */
+export const UpstreamPullRequestTypeId: unique symbol = internal.UpstreamPullRequestTypeId
+
+/**
+ * @since 2.0.0
+ * @category symbols
+ */
+export type UpstreamPullRequestTypeId = typeof UpstreamPullRequestTypeId
+
+/**
+ * @since 2.0.0
+ * @category models
+ */
+export type UpstreamPullRequest<A> = Pulled<A> | NoUpstream
+
+/**
+ * @since 2.0.0
+ */
+export declare namespace UpstreamPullRequest {
+  /**
+   * @since 2.0.0
+   * @category models
+   */
+  export interface Variance<out A> {
+    readonly [UpstreamPullRequestTypeId]: {
+      readonly _A: Types.Covariant<A>
+    }
+  }
+}
+
+/**
+ * @since 2.0.0
+ * @category models
+ */
+export interface Pulled<out A> extends UpstreamPullRequest.Variance<A> {
+  readonly _tag: "Pulled"
+  readonly value: A
+}
+
+/**
+ * @since 2.0.0
+ * @category models
+ */
+export interface NoUpstream extends UpstreamPullRequest.Variance<never> {
+  readonly _tag: "NoUpstream"
+  readonly activeDownstreamCount: number
+}
+
+/**
+ * @since 2.0.0
+ * @category constructors
+ */
+export const Pulled: <A>(value: A) => UpstreamPullRequest<A> = internal.Pulled
+
+/**
+ * @since 2.0.0
+ * @category constructors
+ */
+export const NoUpstream: (activeDownstreamCount: number) => UpstreamPullRequest<never> = internal.NoUpstream
+
+/**
+ * Returns `true` if the specified value is an `UpstreamPullRequest`, `false`
+ * otherwise.
+ *
+ * @since 2.0.0
+ * @category refinements
+ */
+export const isUpstreamPullRequest: (u: unknown) => u is UpstreamPullRequest<unknown> = internal.isUpstreamPullRequest
+
+/**
+ * Returns `true` if the specified `UpstreamPullRequest` is a `Pulled`, `false`
+ * otherwise.
+ *
+ * @since 2.0.0
+ * @category refinements
+ */
+export const isPulled: <A>(self: UpstreamPullRequest<A>) => self is Pulled<A> = internal.isPulled
+
+/**
+ * Returns `true` if the specified `UpstreamPullRequest` is a `NoUpstream`,
+ * `false` otherwise.
+ *
+ * @since 2.0.0
+ * @category refinements
+ */
+export const isNoUpstream: <A>(self: UpstreamPullRequest<A>) => self is NoUpstream = internal.isNoUpstream
+
+/**
+ * Folds an `UpstreamPullRequest<A>` into a value of type `Z`.
+ *
+ * @since 2.0.0
+ * @category folding
+ */
+export const match: {
+  <A, Z>(
+    options: {
+      readonly onPulled: (value: A) => Z
+      readonly onNoUpstream: (activeDownstreamCount: number) => Z
+    }
+  ): (self: UpstreamPullRequest<A>) => Z
+  <A, Z>(
+    self: UpstreamPullRequest<A>,
+    options: {
+      readonly onPulled: (value: A) => Z
+      readonly onNoUpstream: (activeDownstreamCount: number) => Z
+    }
+  ): Z
+} = internal.match

package/src/UpstreamPullStrategy.ts

@@ -0,0 +1,121 @@
+/**
+ * @since 2.0.0
+ */
+import * as internal from "./internal/channel/upstreamPullStrategy.js"
+import type * as Option from "./Option.js"
+import type * as Types from "./Types.js"
+
+/**
+ * @since 2.0.0
+ * @category symbols
+ */
+export const UpstreamPullStrategyTypeId: unique symbol = internal.UpstreamPullStrategyTypeId
+
+/**
+ * @since 2.0.0
+ * @category symbols
+ */
+export type UpstreamPullStrategyTypeId = typeof UpstreamPullStrategyTypeId
+
+/**
+ * @since 2.0.0
+ * @category models
+ */
+export type UpstreamPullStrategy<A> = PullAfterNext<A> | PullAfterAllEnqueued<A>
+
+/**
+ * @since 2.0.0
+ */
+export declare namespace UpstreamPullStrategy {
+  /**
+   * @since 2.0.0
+   * @category models
+   */
+  export interface Variance<out A> {
+    readonly [UpstreamPullStrategyTypeId]: {
+      readonly _A: Types.Covariant<A>
+    }
+  }
+}
+
+/**
+ * @since 2.0.0
+ * @category models
+ */
+export interface PullAfterNext<out A> extends UpstreamPullStrategy.Variance<A> {
+  readonly _tag: "PullAfterNext"
+  readonly emitSeparator: Option.Option<A>
+}
+
+/**
+ * @since 2.0.0
+ * @category models
+ */
+export interface PullAfterAllEnqueued<out A> extends UpstreamPullStrategy.Variance<A> {
+  readonly _tag: "PullAfterAllEnqueued"
+  readonly emitSeparator: Option.Option<A>
+}
+
+/**
+ * @since 2.0.0
+ * @category constructors
+ */
+export const PullAfterNext: <A>(emitSeparator: Option.Option<A>) => UpstreamPullStrategy<A> = internal.PullAfterNext
+
+/**
+ * @since 2.0.0
+ * @category constructors
+ */
+export const PullAfterAllEnqueued: <A>(emitSeparator: Option.Option<A>) => UpstreamPullStrategy<A> =
+  internal.PullAfterAllEnqueued
+
+/**
+ * Returns `true` if the specified value is an `UpstreamPullStrategy`, `false`
+ * otherwise.
+ *
+ * @since 2.0.0
+ * @category refinements
+ */
+export const isUpstreamPullStrategy: (u: unknown) => u is UpstreamPullStrategy<unknown> =
+  internal.isUpstreamPullStrategy
+
+/**
+ * Returns `true` if the specified `UpstreamPullStrategy` is a `PullAfterNext`,
+ * `false` otherwise.
+ *
+ * @since 2.0.0
+ * @category refinements
+ */
+export const isPullAfterNext: <A>(self: UpstreamPullStrategy<A>) => self is PullAfterNext<A> = internal.isPullAfterNext
+
+/**
+ * Returns `true` if the specified `UpstreamPullStrategy` is a
+ * `PullAfterAllEnqueued`, `false` otherwise.
+ *
+ * @since 2.0.0
+ * @category refinements
+ */
+export const isPullAfterAllEnqueued: <A>(self: UpstreamPullStrategy<A>) => self is PullAfterAllEnqueued<A> =
+  internal.isPullAfterAllEnqueued
+
+/**
+ * Folds an `UpstreamPullStrategy<A>` into a value of type `Z`.
+ *
+ * @since 2.0.0
+ * @category folding
+ */
+export const match: {
+  <A, Z>(
+    options: {
+      readonly onNext: (emitSeparator: Option.Option<A>) => Z
+      readonly onAllEnqueued: (emitSeparator: Option.Option<A>) => Z
+    }
+  ): (self: UpstreamPullStrategy<A>) => Z
+  <A, Z>(
+    self: UpstreamPullStrategy<A>,
+    options: {
+      readonly onNext: (emitSeparator: Option.Option<A>) => Z
+      readonly onAllEnqueued: (emitSeparator: Option.Option<A>) => Z
+    }
+  ): Z
+} = internal.match