effect 2.0.0-next.8 → 2.0.0

package/dist/dts/TestSized.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"TestSized.d.ts","sourceRoot":"","sources":["../../src/TestSized.ts"],"names":[],"mappings":"AAAA;;GAEG;AACH,OAAO,KAAK,OAAO,MAAM,cAAc,CAAA;AACvC,OAAO,KAAK,KAAK,MAAM,MAAM,aAAa,CAAA;AAC1C,OAAO,KAAK,KAAK,QAAQ,MAAM,eAAe,CAAA;AAG9C;;GAEG;AACH,eAAO,MAAM,eAAe,eAAiC,CAAA;AAE7D;;GAEG;AACH,MAAM,MAAM,eAAe,GAAG,OAAO,eAAe,CAAA;AAEpD;;GAEG;AACH,MAAM,WAAW,SAAS;IACxB,QAAQ,CAAC,CAAC,eAAe,CAAC,EAAE,eAAe,CAAA;IAC3C,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAA;IAC5C,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,KAAK,EAAE,MAAM,CAAC,CAAA;IAClD,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,KAAK,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;CAC5F;AAED;;GAEG;AACH,eAAO,MAAM,SAAS,EAAE,OAAO,CAAC,GAAG,CAAC,SAAS,EAAE,SAAS,CAAgC,CAAA;AAexF;;GAEG;AACH,eAAO,MAAM,IAAI,SAAU,MAAM,KAAG,SAAyD,CAAA;AAE7F;;GAEG;AACH,eAAO,MAAM,YAAY,aAAc,iBAAiB,CAAC,MAAM,CAAC,KAAG,SAAoC,CAAA"}

package/dist/dts/Tracer.d.ts

@@ -0,0 +1,112 @@
+/**
+ * @since 2.0.0
+ */
+import type * as Context from "./Context.js";
+import type * as Effect from "./Effect.js";
+import type * as Exit from "./Exit.js";
+import type * as Fiber from "./Fiber.js";
+import type * as Option from "./Option.js";
+/**
+ * @since 2.0.0
+ */
+export declare const TracerTypeId: unique symbol;
+/**
+ * @since 2.0.0
+ */
+export type TracerTypeId = typeof TracerTypeId;
+/**
+ * @since 2.0.0
+ */
+export interface Tracer {
+    readonly [TracerTypeId]: TracerTypeId;
+    span(name: string, parent: Option.Option<ParentSpan>, context: Context.Context<never>, links: ReadonlyArray<SpanLink>, startTime: bigint): Span;
+    context<X>(f: () => X, fiber: Fiber.RuntimeFiber<any, any>): X;
+}
+/**
+ * @since 2.0.0
+ * @category models
+ */
+export type SpanStatus = {
+    _tag: "Started";
+    startTime: bigint;
+} | {
+    _tag: "Ended";
+    startTime: bigint;
+    endTime: bigint;
+    exit: Exit.Exit<unknown, unknown>;
+};
+/**
+ * @since 2.0.0
+ * @category models
+ */
+export type ParentSpan = Span | ExternalSpan;
+/**
+ * @since 2.0.0
+ * @category tags
+ */
+export declare const ParentSpan: Context.Tag<ParentSpan, ParentSpan>;
+/**
+ * @since 2.0.0
+ * @category models
+ */
+export interface ExternalSpan {
+    readonly _tag: "ExternalSpan";
+    readonly spanId: string;
+    readonly traceId: string;
+    readonly sampled: boolean;
+    readonly context: Context.Context<never>;
+}
+/**
+ * @since 2.0.0
+ * @category models
+ */
+export interface Span {
+    readonly _tag: "Span";
+    readonly name: string;
+    readonly spanId: string;
+    readonly traceId: string;
+    readonly parent: Option.Option<ParentSpan>;
+    readonly context: Context.Context<never>;
+    readonly status: SpanStatus;
+    readonly attributes: ReadonlyMap<string, unknown>;
+    readonly links: ReadonlyArray<SpanLink>;
+    readonly sampled: boolean;
+    end(endTime: bigint, exit: Exit.Exit<unknown, unknown>): void;
+    attribute(key: string, value: unknown): void;
+    event(name: string, startTime: bigint, attributes?: Record<string, unknown>): void;
+}
+/**
+ * @since 2.0.0
+ * @category models
+ */
+export interface SpanLink {
+    readonly _tag: "SpanLink";
+    readonly span: ParentSpan;
+    readonly attributes: Readonly<Record<string, unknown>>;
+}
+/**
+ * @since 2.0.0
+ * @category tags
+ */
+export declare const Tracer: Context.Tag<Tracer, Tracer>;
+/**
+ * @since 2.0.0
+ * @category constructors
+ */
+export declare const make: (options: Omit<Tracer, typeof TracerTypeId>) => Tracer;
+/**
+ * @since 2.0.0
+ * @category constructors
+ */
+export declare const externalSpan: (options: {
+    readonly spanId: string;
+    readonly traceId: string;
+    readonly sampled?: boolean | undefined;
+    readonly context?: Context.Context<never> | undefined;
+}) => ExternalSpan;
+/**
+ * @since 2.0.0
+ * @category constructors
+ */
+export declare const tracerWith: <R, E, A>(f: (tracer: Tracer) => Effect.Effect<R, E, A>) => Effect.Effect<R, E, A>;
+//# sourceMappingURL=Tracer.d.ts.map

package/dist/dts/Tracer.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Tracer.d.ts","sourceRoot":"","sources":["../../src/Tracer.ts"],"names":[],"mappings":"AAAA;;GAEG;AACH,OAAO,KAAK,KAAK,OAAO,MAAM,cAAc,CAAA;AAC5C,OAAO,KAAK,KAAK,MAAM,MAAM,aAAa,CAAA;AAC1C,OAAO,KAAK,KAAK,IAAI,MAAM,WAAW,CAAA;AACtC,OAAO,KAAK,KAAK,KAAK,MAAM,YAAY,CAAA;AAGxC,OAAO,KAAK,KAAK,MAAM,MAAM,aAAa,CAAA;AAE1C;;GAEG;AACH,eAAO,MAAM,YAAY,EAAE,OAAO,MAA8B,CAAA;AAEhE;;GAEG;AACH,MAAM,MAAM,YAAY,GAAG,OAAO,YAAY,CAAA;AAE9C;;GAEG;AACH,MAAM,WAAW,MAAM;IACrB,QAAQ,CAAC,CAAC,YAAY,CAAC,EAAE,YAAY,CAAA;IACrC,IAAI,CACF,IAAI,EAAE,MAAM,EACZ,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,EACjC,OAAO,EAAE,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC,EAC/B,KAAK,EAAE,aAAa,CAAC,QAAQ,CAAC,EAC9B,SAAS,EAAE,MAAM,GAChB,IAAI,CAAA;IACP,OAAO,CAAC,CAAC,EAAE,CAAC,EAAE,MAAM,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,YAAY,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,CAAC,CAAA;CAC/D;AAED;;;GAGG;AACH,MAAM,MAAM,UAAU,GAAG;IACvB,IAAI,EAAE,SAAS,CAAA;IACf,SAAS,EAAE,MAAM,CAAA;CAClB,GAAG;IACF,IAAI,EAAE,OAAO,CAAA;IACb,SAAS,EAAE,MAAM,CAAA;IACjB,OAAO,EAAE,MAAM,CAAA;IACf,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,OAAO,CAAC,CAAA;CAClC,CAAA;AAED;;;GAGG;AACH,MAAM,MAAM,UAAU,GAAG,IAAI,GAAG,YAAY,CAAA;AAE5C;;;GAGG;AACH,eAAO,MAAM,UAAU,EAAE,OAAO,CAAC,GAAG,CAAC,UAAU,EAAE,UAAU,CAAoB,CAAA;AAE/E;;;GAGG;AACH,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,IAAI,EAAE,cAAc,CAAA;IAC7B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;IACvB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;IACxB,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAA;IACzB,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC,CAAA;CACzC;AAED;;;GAGG;AACH,MAAM,WAAW,IAAI;IACnB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;IACvB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;IACxB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,CAAA;IAC1C,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC,CAAA;IACxC,QAAQ,CAAC,MAAM,EAAE,UAAU,CAAA;IAC3B,QAAQ,CAAC,UAAU,EAAE,WAAW,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;IACjD,QAAQ,CAAC,KAAK,EAAE,aAAa,CAAC,QAAQ,CAAC,CAAA;IACvC,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAA;IACzB,GAAG,CAAC,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,OAAO,CAAC,GAAG,IAAI,CAAA;IAC7D,SAAS,CAAC,GAAG,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,GAAG,IAAI,CAAA;IAC5C,KAAK,CAAC,IAAI,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,EAAE,UAAU,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,IAAI,CAAA;CACnF;AAED;;;GAGG;AACH,MAAM,WAAW,QAAQ;IACvB,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAA;IACzB,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAA;IACzB,QAAQ,CAAC,UAAU,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAA;CACvD;AAED;;;GAGG;AACH,eAAO,MAAM,MAAM,EAAE,OAAO,CAAC,GAAG,CAAC,MAAM,EAAE,MAAM,CAAsB,CAAA;AAErE;;;GAGG;AACH,eAAO,MAAM,IAAI,EAAE,CAAC,OAAO,EAAE,IAAI,CAAC,MAAM,EAAE,OAAO,YAAY,CAAC,KAAK,MAAsB,CAAA;AAEzF;;;GAGG;AACH,eAAO,MAAM,YAAY,EAAE,CACzB,OAAO,EAAE;IACP,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;IACvB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;IACxB,QAAQ,CAAC,OAAO,CAAC,EAAE,OAAO,GAAG,SAAS,CAAA;IACtC,QAAQ,CAAC,OAAO,CAAC,EAAE,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC,GAAG,SAAS,CAAA;CACtD,KACE,YAAoC,CAAA;AAEzC;;;GAGG;AACH,eAAO,MAAM,UAAU,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,MAAM,EAAE,MAAM,KAAK,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,KAAK,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAC9E,CAAA"}

package/dist/dts/Tuple.d.ts

@@ -0,0 +1,173 @@
+/**
+ * This module provides utility functions for working with tuples in TypeScript.
+ *
+ * @since 2.0.0
+ */
+import * as Equivalence from "./Equivalence.js";
+import type { TypeLambda } from "./HKT.js";
+import * as order from "./Order.js";
+/**
+ * @category type lambdas
+ * @since 2.0.0
+ */
+export interface TupleTypeLambda extends TypeLambda {
+    readonly type: [this["Out1"], this["Target"]];
+}
+/**
+ * Constructs a new tuple from the provided values.
+ *
+ * @param elements - The list of elements to create the tuple from.
+ *
+ * @example
+ * import { make } from "effect/Tuple"
+ *
+ * assert.deepStrictEqual(make(1, 'hello', true), [1, 'hello', true])
+ *
+ * @category constructors
+ * @since 2.0.0
+ */
+export declare const make: <A extends readonly any[]>(...elements: A) => A;
+/**
+ * Return the first element of a tuple.
+ *
+ * @param self - A tuple of length `2`.
+ *
+ * @example
+ * import { getFirst } from "effect/Tuple"
+ *
+ * assert.deepStrictEqual(getFirst(["hello", 42]), "hello")
+ *
+ * @category getters
+ * @since 2.0.0
+ */
+export declare const getFirst: <L, R>(self: readonly [L, R]) => L;
+/**
+ * Return the second element of a tuple.
+ *
+ * @param self - A tuple of length `2`.
+ *
+ * @example
+ * import { getSecond } from "effect/Tuple"
+ *
+ * assert.deepStrictEqual(getSecond(["hello", 42]), 42)
+ *
+ * @category getters
+ * @since 2.0.0
+ */
+export declare const getSecond: <L, R>(self: readonly [L, R]) => R;
+/**
+ * Transforms both elements of a tuple using the given functions.
+ *
+ * @param self - A tuple of length `2`.
+ * @param f - The function to transform the first element of the tuple.
+ * @param g - The function to transform the second element of the tuple.
+ *
+ * @example
+ * import { mapBoth } from "effect/Tuple"
+ *
+ * assert.deepStrictEqual(
+ *   mapBoth(["hello", 42], { onFirst: s => s.toUpperCase(), onSecond: n => n.toString() }),
+ *   ["HELLO", "42"]
+ * )
+ *
+ * @category mapping
+ * @since 2.0.0
+ */
+export declare const mapBoth: {
+    <L1, L2, R1, R2>(options: {
+        readonly onFirst: (e: L1) => L2;
+        readonly onSecond: (a: R1) => R2;
+    }): (self: readonly [L1, R1]) => [L2, R2];
+    <L1, R1, L2, R2>(self: readonly [L1, R1], options: {
+        readonly onFirst: (e: L1) => L2;
+        readonly onSecond: (a: R1) => R2;
+    }): [L2, R2];
+};
+/**
+ * Transforms the first component of a tuple using a given function.
+ *
+ * @param self - A tuple of length `2`.
+ * @param f - The function to transform the first element of the tuple.
+ *
+ * @example
+ * import { mapFirst } from "effect/Tuple"
+ *
+ * assert.deepStrictEqual(
+ *   mapFirst(["hello", 42], s => s.toUpperCase()),
+ *   ["HELLO", 42]
+ * )
+ *
+ * @category mapping
+ * @since 2.0.0
+ */
+export declare const mapFirst: {
+    <L1, L2>(f: (left: L1) => L2): <R>(self: readonly [L1, R]) => [L2, R];
+    <L1, R, L2>(self: readonly [L1, R], f: (left: L1) => L2): [L2, R];
+};
+/**
+ * Transforms the second component of a tuple using a given function.
+ *
+ * @param self - A tuple of length `2`.
+ * @param f - The function to transform the second element of the tuple.
+ *
+ * @example
+ * import { mapSecond } from "effect/Tuple"
+ *
+ * assert.deepStrictEqual(
+ *   mapSecond(["hello", 42], n => n.toString()),
+ *   ["hello", "42"]
+ * )
+ *
+ * @category mapping
+ * @since 2.0.0
+ */
+export declare const mapSecond: {
+    <R1, R2>(f: (right: R1) => R2): <L>(self: readonly [L, R1]) => [L, R2];
+    <L, R1, R2>(self: readonly [L, R1], f: (right: R1) => R2): [L, R2];
+};
+/**
+ * Swaps the two elements of a tuple.
+ *
+ * @param self - A tuple of length `2`.
+ *
+ * @example
+ * import { swap } from "effect/Tuple"
+ *
+ * assert.deepStrictEqual(swap(["hello", 42]), [42, "hello"])
+ *
+ * @since 2.0.0
+ */
+export declare const swap: <L, R>(self: readonly [L, R]) => [R, L];
+/**
+ * Given a tuple of `Equivalence`s returns a new `Equivalence` that compares values of a tuple
+ * by applying each `Equivalence` to the corresponding element of the tuple.
+ *
+ * @category combinators
+ * @since 2.0.0
+ */
+export declare const getEquivalence: <T extends ReadonlyArray<Equivalence.Equivalence<any>>>(...isEquivalents: T) => Equivalence.Equivalence<Readonly<{
+    [I in keyof T]: [T[I]] extends [Equivalence.Equivalence<infer A>] ? A : never;
+}>>;
+/**
+ * This function creates and returns a new `Order` for a tuple of values based on the given `Order`s for each element in the tuple.
+ * The returned `Order` compares two tuples of the same type by applying the corresponding `Order` to each element in the tuple.
+ * It is useful when you need to compare two tuples of the same type and you have a specific way of comparing each element
+ * of the tuple.
+ *
+ * @category combinators
+ * @since 2.0.0
+ */
+export declare const getOrder: <T extends ReadonlyArray<order.Order<any>>>(...elements: T) => order.Order<{
+    [I in keyof T]: [T[I]] extends [order.Order<infer A>] ? A : never;
+}>;
+/**
+ * Appends an element to the end of a tuple.
+ *
+ * @category concatenating
+ * @since 2.0.0
+ */
+export declare const appendElement: {
+    <B>(that: B): <A extends ReadonlyArray<unknown>>(self: A) => [...A, B];
+    <A extends ReadonlyArray<unknown>, B>(self: A, that: B): [...A, B];
+};
+//# sourceMappingURL=Tuple.d.ts.map

package/dist/dts/Tuple.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Tuple.d.ts","sourceRoot":"","sources":["../../src/Tuple.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AACH,OAAO,KAAK,WAAW,MAAM,kBAAkB,CAAA;AAE/C,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,UAAU,CAAA;AAC1C,OAAO,KAAK,KAAK,MAAM,YAAY,CAAA;AAEnC;;;GAGG;AACH,MAAM,WAAW,eAAgB,SAAQ,UAAU;IACjD,QAAQ,CAAC,IAAI,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAA;CAC9C;AAED;;;;;;;;;;;;GAYG;AACH,eAAO,MAAM,IAAI,iDAAgE,CAAA;AAEjF;;;;;;;;;;;;GAYG;AACH,eAAO,MAAM,QAAQ,oCAA8C,CAAA;AAEnE;;;;;;;;;;;;GAYG;AACH,eAAO,MAAM,SAAS,oCAA8C,CAAA;AAEpE;;;;;;;;;;;;;;;;;GAiBG;AACH,eAAO,MAAM,OAAO,EAAE;IACpB,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,OAAO,EAAE;QACxB,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAC,EAAE,EAAE,KAAK,EAAE,CAAA;QAC/B,QAAQ,CAAC,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,KAAK,EAAE,CAAA;KACjC,GAAG,CAAC,IAAI,EAAE,SAAS,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,EAAE,EAAE,CAAC,CAAA;IACzC,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,IAAI,EAAE,SAAS,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,OAAO,EAAE;QACjD,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAC,EAAE,EAAE,KAAK,EAAE,CAAA;QAC/B,QAAQ,CAAC,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,KAAK,EAAE,CAAA;KACjC,GAAG,CAAC,EAAE,EAAE,EAAE,CAAC,CAAA;CAUb,CAAA;AAED;;;;;;;;;;;;;;;;GAgBG;AACH,eAAO,MAAM,QAAQ,EAAE;IACrB,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,IAAI,EAAE,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC,CAAA;IACrE,CAAC,EAAE,EAAE,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,SAAS,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,EAAE,EAAE,KAAK,EAAE,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC,CAAA;CACoC,CAAA;AAEvG;;;;;;;;;;;;;;;;GAgBG;AACH,eAAO,MAAM,SAAS,EAAE;IACtB,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,KAAK,EAAE,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAA;IACtE,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,IAAI,EAAE,SAAS,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,EAAE,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC,EAAE,EAAE,CAAC,CAAA;CACoC,CAAA;AAExG;;;;;;;;;;;GAWG;AACH,eAAO,MAAM,IAAI,yCAA8D,CAAA;AAE/E;;;;;;GAMG;AACH,eAAO,MAAM,cAAc,EAAE,CAAC,CAAC,SAAS,aAAa,CAAC,WAAW,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,EACjF,GAAG,aAAa,EAAE,CAAC,KAChB,WAAW,CAAC,WAAW,CAC1B,QAAQ,CAAC;KAAG,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,WAAW,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,KAAK;CAAE,CAAC,CACxE,CAAA;AAErB;;;;;;;;GAQG;AACH,eAAO,MAAM,QAAQ,EAAE,CAAC,CAAC,SAAS,aAAa,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,EAC/D,GAAG,QAAQ,EAAE,CAAC,KACX,KAAK,CAAC,KAAK,CAAC;KAAG,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,KAAK;CAAE,CAAe,CAAA;AAErG;;;;;GAKG;AACH,eAAO,MAAM,aAAa,EAAE;IAC1B,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,SAAS,aAAa,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAA;IACtE,CAAC,CAAC,SAAS,aAAa,CAAC,OAAO,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAA;CAC8B,CAAA"}

package/dist/dts/Types.d.ts

@@ -0,0 +1,161 @@
+/**
+ * A collection of types that are commonly used types.
+ *
+ * @since 2.0.0
+ */
+/**
+ * Returns the tags in a type.
+ * @example
+ * import * as Types from "effect/Types"
+ *
+ * type Res = Types.Tags<string | { _tag: "a" } | { _tag: "b" } > // "a" | "b"
+ *
+ * @category types
+ * @since 2.0.0
+ */
+export type Tags<E> = E extends {
+    _tag: string;
+} ? E["_tag"] : never;
+/**
+ * Excludes the tagged object from the type.
+ * @example
+ * import * as Types from "effect/Types"
+ *
+ * type Res = Types.ExcludeTag<string | { _tag: "a" } | { _tag: "b" }, "a"> // string | { _tag: "b" }
+ *
+ * @category types
+ * @since 2.0.0
+ */
+export type ExcludeTag<E, K extends Tags<E>> = Exclude<E, {
+    _tag: K;
+}>;
+/**
+ * Extracts the type of the given tag.
+ *
+ * @example
+ * import * as Types from "effect/Types"
+ *
+ * type Res = Types.ExtractTag<{ _tag: "a", a: number } | { _tag: "b", b: number }, "b"> // { _tag: "b", b: number }
+ *
+ * @category types
+ * @since 2.0.0
+ */
+export type ExtractTag<E, K extends Tags<E>> = Extract<E, {
+    _tag: K;
+}>;
+/**
+ * A utility type that transforms a union type `T` into an intersection type.
+ *
+ * @since 2.0.0
+ * @category types
+ */
+export type UnionToIntersection<T> = (T extends any ? (x: T) => any : never) extends (x: infer R) => any ? R : never;
+/**
+ * Simplifies the type signature of a type.
+ *
+ * @example
+ * import * as Types from "effect/Types"
+ *
+ * type Res = Types.Simplify<{ a: number } & { b: number }> // { a: number; b: number; }
+ *
+ * @since 2.0.0
+ * @category types
+ */
+export type Simplify<A> = {
+    [K in keyof A]: A[K];
+} extends infer B ? B : never;
+/**
+ * Determines if two types are equal.
+ *
+ * @example
+ * import * as Types from "effect/Types"
+ *
+ * type Res1 = Types.Equals<{ a: number }, { a: number }> // true
+ * type Res2 = Types.Equals<{ a: number }, { b: number }> // false
+ *
+ * @since 2.0.0
+ * @category models
+ */
+export type Equals<X, Y> = (<T>() => T extends X ? 1 : 2) extends <T>() => T extends Y ? 1 : 2 ? true : false;
+/**
+ * Merges two object where the keys of the left object take precedence in the case of a conflict.
+ *
+ * @example
+ * import * as Types from "effect/Types"
+ * type MergeLeft = Types.MergeLeft<{ a: number, b: number; }, { a: string }> // { a: number; b: number; }
+ *
+ * @since 2.0.0
+ * @category models
+ */
+export type MergeLeft<K, H> = Simplify<{
+    [k in keyof K | keyof H]: k extends keyof K ? K[k] : k extends keyof H ? H[k] : never;
+}>;
+/**
+ * Merges two object where the keys of the right object take precedence in the case of a conflict.
+ *
+ * @example
+ * import * as Types from "effect/Types"
+ * type MergeRight = Types.MergeRight<{ a: number, b: number; }, { a: string }> // { a: string; b: number; }
+ *
+ * @since 2.0.0
+ * @category models
+ */
+export type MergeRight<K, H> = Simplify<{
+    [k in keyof K | keyof H]: k extends keyof H ? H[k] : k extends keyof K ? K[k] : never;
+}>;
+/**
+ * Describes the concurrency to use when executing multiple Effect's.
+ *
+ * @since 2.0.0
+ * @category models
+ */
+export type Concurrency = number | "unbounded" | "inherit";
+/**
+ * Make all properties in `T` mutable. Supports arrays, tuples, and records as well.
+ *
+ * @example
+ * import type * as Types from "effect/Types"
+ *
+ * type MutableStruct = Types.Mutable<{ readonly a: string; readonly b: number }> // { a: string; b: number; }
+ *
+ * type MutableArray = Types.Mutable<ReadonlyArray<string>> // string[]
+ *
+ * type MutableTuple = Types.Mutable<readonly [string, number]> // [string, number]
+ *
+ * type MutableRecord = Types.Mutable<{ readonly [_: string]: number }> // { [x: string]: number; }
+ *
+ * @since 2.0.0
+ * @category types
+ */
+export type Mutable<T> = {
+    -readonly [P in keyof T]: T[P];
+};
+/**
+ * Avoid inference on a specific parameter
+ *
+ * @since 2.0.0
+ * @category models
+ */
+export type NoInfer<A> = [A][A extends any ? 0 : never];
+/**
+ * Invariant helper.
+ *
+ * @since 2.0.0
+ * @category models
+ */
+export type Invariant<A> = (_: A) => A;
+/**
+ * Covariant helper.
+ *
+ * @since 2.0.0
+ * @category models
+ */
+export type Covariant<A> = (_: never) => A;
+/**
+ * Contravariant helper.
+ *
+ * @since 2.0.0
+ * @category models
+ */
+export type Contravariant<A> = (_: A) => void;
+//# sourceMappingURL=Types.d.ts.map

package/dist/dts/Types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Types.d.ts","sourceRoot":"","sources":["../../src/Types.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH;;;;;;;;;GASG;AACH,MAAM,MAAM,IAAI,CAAC,CAAC,IAAI,CAAC,SAAS;IAAE,IAAI,EAAE,MAAM,CAAA;CAAE,GAAG,CAAC,CAAC,MAAM,CAAC,GAAG,KAAK,CAAA;AAEpE;;;;;;;;;GASG;AACH,MAAM,MAAM,UAAU,CAAC,CAAC,EAAE,CAAC,SAAS,IAAI,CAAC,CAAC,CAAC,IAAI,OAAO,CAAC,CAAC,EAAE;IAAE,IAAI,EAAE,CAAC,CAAA;CAAE,CAAC,CAAA;AAEtE;;;;;;;;;;GAUG;AACH,MAAM,MAAM,UAAU,CAAC,CAAC,EAAE,CAAC,SAAS,IAAI,CAAC,CAAC,CAAC,IAAI,OAAO,CAAC,CAAC,EAAE;IAAE,IAAI,EAAE,CAAC,CAAA;CAAE,CAAC,CAAA;AAEtE;;;;;GAKG;AACH,MAAM,MAAM,mBAAmB,CAAC,CAAC,IAAI,CAAC,CAAC,SAAS,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,KAAK,GAAG,GAAG,KAAK,CAAC,SAAS,CAAC,CAAC,EAAE,MAAM,CAAC,KAAK,GAAG,GAAG,CAAC,GACxG,KAAK,CAAA;AAET;;;;;;;;;;GAUG;AACH,MAAM,MAAM,QAAQ,CAAC,CAAC,IAAI;KACvB,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;CACrB,SAAS,MAAM,CAAC,GAAG,CAAC,GAAG,KAAK,CAAA;AAE7B;;;;;;;;;;;GAWG;AACH,MAAM,MAAM,MAAM,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,SAAS,CAChE,CAAC,OACI,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,IAAI,GAC7B,KAAK,CAAA;AAET;;;;;;;;;GASG;AACH,MAAM,MAAM,SAAS,CAAC,CAAC,EAAE,CAAC,IAAI,QAAQ,CACpC;KACG,CAAC,IAAI,MAAM,CAAC,GAAG,MAAM,CAAC,GAAG,CAAC,SAAS,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,SAAS,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,KAAK;CACtF,CACF,CAAA;AAED;;;;;;;;;GASG;AACH,MAAM,MAAM,UAAU,CAAC,CAAC,EAAE,CAAC,IAAI,QAAQ,CACrC;KACG,CAAC,IAAI,MAAM,CAAC,GAAG,MAAM,CAAC,GAAG,CAAC,SAAS,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,SAAS,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,KAAK;CACtF,CACF,CAAA;AAED;;;;;GAKG;AACH,MAAM,MAAM,WAAW,GAAG,MAAM,GAAG,WAAW,GAAG,SAAS,CAAA;AAE1D;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,MAAM,OAAO,CAAC,CAAC,IAAI;IACvB,CAAC,UAAU,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;CAC/B,CAAA;AAED;;;;;GAKG;AACH,MAAM,MAAM,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,GAAG,GAAG,CAAC,GAAG,KAAK,CAAC,CAAA;AAEvD;;;;;GAKG;AACH,MAAM,MAAM,SAAS,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAA;AAEtC;;;;;GAKG;AACH,MAAM,MAAM,SAAS,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,KAAK,KAAK,CAAC,CAAA;AAE1C;;;;;GAKG;AACH,MAAM,MAAM,aAAa,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,IAAI,CAAA"}

package/dist/dts/Unify.d.ts

@@ -0,0 +1,62 @@
+/**
+ * @since 2.0.0
+ */
+/**
+ * @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 () => any ? ReturnType<F> : F;
+type Values<X extends [any, any]> = X extends any ? {
+    [k in keyof X[0]]-?: k extends X[1] ? never : MaybeReturn<X[0][k]>;
+}[keyof X[0]] : never;
+type Ignore<X> = X extends {
+    [ignoreSymbol]?: any;
+} ? keyof NonNullable<X[ignoreSymbol]> : never;
+type ExtractTypes<X extends {
+    [typeSymbol]?: any;
+    [unifySymbol]?: any;
+}> = X extends any ? [
+    NonNullable<X[unifySymbol]>,
+    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 declare 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>;
+};
+export {};
+//# sourceMappingURL=Unify.d.ts.map

package/dist/dts/Unify.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Unify.d.ts","sourceRoot":"","sources":["../../src/Unify.ts"],"names":[],"mappings":"AAAA;;GAEG;AAIH;;GAEG;AACH,MAAM,CAAC,OAAO,CAAC,MAAM,WAAW,EAAE,OAAO,MAAM,CAAA;AAE/C;;GAEG;AACH,MAAM,MAAM,WAAW,GAAG,OAAO,WAAW,CAAA;AAE5C;;GAEG;AACH,MAAM,CAAC,OAAO,CAAC,MAAM,UAAU,EAAE,OAAO,MAAM,CAAA;AAE9C;;GAEG;AACH,MAAM,MAAM,UAAU,GAAG,OAAO,UAAU,CAAA;AAE1C;;GAEG;AACH,MAAM,CAAC,OAAO,CAAC,MAAM,YAAY,EAAE,OAAO,MAAM,CAAA;AAEhD;;GAEG;AACH,MAAM,MAAM,YAAY,GAAG,OAAO,YAAY,CAAA;AAE9C,KAAK,WAAW,CAAC,CAAC,IAAI,CAAC,SAAS,MAAM,GAAG,GAAG,UAAU,CAAC,CAAC,CAAC,GAAG,CAAC,CAAA;AAE7D,KAAK,MAAM,CAAC,CAAC,SAAS,CAAC,GAAG,EAAE,GAAG,CAAC,IAAI,CAAC,SAAS,GAAG,GAC7C;KAAG,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,GAAG,KAAK,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;CAAE,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,GAClF,KAAK,CAAA;AAET,KAAK,MAAM,CAAC,CAAC,IAAI,CAAC,SAAS;IACzB,CAAC,YAAY,CAAC,CAAC,EAAE,GAAG,CAAA;CACrB,GAAG,MAAM,WAAW,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,GAClC,KAAK,CAAA;AAET,KAAK,YAAY,CACf,CAAC,SAAS;IACR,CAAC,UAAU,CAAC,CAAC,EAAE,GAAG,CAAA;IAClB,CAAC,WAAW,CAAC,CAAC,EAAE,GAAG,CAAA;CACpB,IACC,CAAC,SAAS,GAAG,GAAG;IAChB,WAAW,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC;IAC3B,MAAM,CAAC,CAAC,CAAC;CACV,GACC,KAAK,CAAA;AAET,KAAK,QAAQ,CAAC,CAAC,IAAI,CAAC,SAAS,GAAG,GAAG,UAAU,SAAS,MAAM,CAAC,GAAG,CAAC,GAAG,KAAK,GAAG,KAAK,CAAA;AAEjF,KAAK,SAAS,CAAC,CAAC,IAAI,CAAC,SAAS,GAAG,GAAG,UAAU,SAAS,MAAM,CAAC,GAAG,KAAK,GAAG,CAAC,GAAG,KAAK,CAAA;AAElF;;GAEG;AACH,MAAM,MAAM,KAAK,CAAC,CAAC,IAAI,MAAM,CAC3B,YAAY,CACV,CACI,QAAQ,CAAC,CAAC,CAAC,GACX;IAAE,CAAC,UAAU,CAAC,EAAE,CAAC,CAAA;CAAE,CACtB,CACF,CACF,SAAS,MAAM,CAAC,GAAG,CAAC,GAAG,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,SAAS,CAAC,CAAC,CAAC,GAAG,KAAK,CAAA;AAE5D;;GAEG;AACH,eAAO,MAAM,KAAK,EAAE;IAClB,CACE,IAAI,SAAS,KAAK,CAAC,GAAG,CAAC,EACvB,KAAK,SAAS,KAAK,CAAC,GAAG,CAAC,EACxB,KAAK,SAAS,KAAK,CAAC,GAAG,CAAC,EACxB,KAAK,SAAS,KAAK,CAAC,GAAG,CAAC,EACxB,KAAK,SAAS,KAAK,CAAC,GAAG,CAAC,EACxB,CAAC,EAED,CAAC,EAAE,CAAC,GAAG,IAAI,EAAE,IAAI,KAAK,CAAC,GAAG,IAAI,EAAE,KAAK,KAAK,CAAC,GAAG,IAAI,EAAE,KAAK,KAAK,CAAC,GAAG,IAAI,EAAE,KAAK,KAAK,CAAC,GAAG,IAAI,EAAE,KAAK,KAAK,CAAC,GACtG,CAAC,GAAG,IAAI,EAAE,IAAI,KAAK,CAAC,GAAG,IAAI,EAAE,KAAK,KAAK,CAAC,GAAG,IAAI,EAAE,KAAK,KAAK,CAAC,GAAG,IAAI,EAAE,KAAK,KAAK,CAAC,GAAG,IAAI,EAAE,KAAK,KAAK,KAAK,CAAC,CAAC,CAAC,CAAA;IAC9G,CACE,IAAI,SAAS,KAAK,CAAC,GAAG,CAAC,EACvB,KAAK,SAAS,KAAK,CAAC,GAAG,CAAC,EACxB,KAAK,SAAS,KAAK,CAAC,GAAG,CAAC,EACxB,KAAK,SAAS,KAAK,CAAC,GAAG,CAAC,EACxB,CAAC,EAED,CAAC,EAAE,CAAC,GAAG,IAAI,EAAE,IAAI,KAAK,CAAC,GAAG,IAAI,EAAE,KAAK,KAAK,CAAC,GAAG,IAAI,EAAE,KAAK,KAAK,CAAC,GAAG,IAAI,EAAE,KAAK,KAAK,CAAC,GAClF,CAAC,GAAG,IAAI,EAAE,IAAI,KAAK,CAAC,GAAG,IAAI,EAAE,KAAK,KAAK,CAAC,GAAG,IAAI,EAAE,KAAK,KAAK,CAAC,GAAG,IAAI,EAAE,KAAK,KAAK,KAAK,CAAC,CAAC,CAAC,CAAA;IAC1F,CACE,IAAI,SAAS,KAAK,CAAC,GAAG,CAAC,EACvB,KAAK,SAAS,KAAK,CAAC,GAAG,CAAC,EACxB,KAAK,SAAS,KAAK,CAAC,GAAG,CAAC,EACxB,CAAC,EAED,CAAC,EAAE,CAAC,GAAG,IAAI,EAAE,IAAI,KAAK,CAAC,GAAG,IAAI,EAAE,KAAK,KAAK,CAAC,GAAG,IAAI,EAAE,KAAK,KAAK,CAAC,GAC9D,CAAC,GAAG,IAAI,EAAE,IAAI,KAAK,CAAC,GAAG,IAAI,EAAE,KAAK,KAAK,CAAC,GAAG,IAAI,EAAE,KAAK,KAAK,KAAK,CAAC,CAAC,CAAC,CAAA;IACtE,CACE,IAAI,SAAS,KAAK,CAAC,GAAG,CAAC,EACvB,KAAK,SAAS,KAAK,CAAC,GAAG,CAAC,EACxB,CAAC,EAED,CAAC,EAAE,CAAC,GAAG,IAAI,EAAE,IAAI,KAAK,CAAC,GAAG,IAAI,EAAE,KAAK,KAAK,CAAC,GAC1C,CAAC,GAAG,IAAI,EAAE,IAAI,KAAK,CAAC,GAAG,IAAI,EAAE,KAAK,KAAK,KAAK,CAAC,CAAC,CAAC,CAAA;IAClD,CACE,IAAI,SAAS,KAAK,CAAC,GAAG,CAAC,EACvB,CAAC,EACD,CAAC,EAAE,CAAC,GAAG,IAAI,EAAE,IAAI,KAAK,CAAC,GAAG,CAAC,GAAG,IAAI,EAAE,IAAI,KAAK,KAAK,CAAC,CAAC,CAAC,CAAA;IACvD,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,CAAA;CACF,CAAA"}

package/dist/dts/UpstreamPullRequest.d.ts

@@ -0,0 +1,97 @@
+import type * as Types from "./Types.js";
+/**
+ * @since 2.0.0
+ * @category symbols
+ */
+export declare const UpstreamPullRequestTypeId: unique symbol;
+/**
+ * @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
+     */
+    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 declare const Pulled: <A>(value: A) => UpstreamPullRequest<A>;
+/**
+ * @since 2.0.0
+ * @category constructors
+ */
+export declare const NoUpstream: (activeDownstreamCount: number) => UpstreamPullRequest<never>;
+/**
+ * Returns `true` if the specified value is an `UpstreamPullRequest`, `false`
+ * otherwise.
+ *
+ * @since 2.0.0
+ * @category refinements
+ */
+export declare const isUpstreamPullRequest: (u: unknown) => u is UpstreamPullRequest<unknown>;
+/**
+ * Returns `true` if the specified `UpstreamPullRequest` is a `Pulled`, `false`
+ * otherwise.
+ *
+ * @since 2.0.0
+ * @category refinements
+ */
+export declare const isPulled: <A>(self: UpstreamPullRequest<A>) => self is Pulled<A>;
+/**
+ * Returns `true` if the specified `UpstreamPullRequest` is a `NoUpstream`,
+ * `false` otherwise.
+ *
+ * @since 2.0.0
+ * @category refinements
+ */
+export declare const isNoUpstream: <A>(self: UpstreamPullRequest<A>) => self is NoUpstream;
+/**
+ * Folds an `UpstreamPullRequest<A>` into a value of type `Z`.
+ *
+ * @since 2.0.0
+ * @category folding
+ */
+export declare 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;
+};
+//# sourceMappingURL=UpstreamPullRequest.d.ts.map

package/dist/dts/UpstreamPullRequest.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"UpstreamPullRequest.d.ts","sourceRoot":"","sources":["../../src/UpstreamPullRequest.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,KAAK,KAAK,MAAM,YAAY,CAAA;AAExC;;;GAGG;AACH,eAAO,MAAM,yBAAyB,EAAE,OAAO,MAA2C,CAAA;AAE1F;;;GAGG;AACH,MAAM,MAAM,yBAAyB,GAAG,OAAO,yBAAyB,CAAA;AAExE;;;GAGG;AACH,MAAM,MAAM,mBAAmB,CAAC,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC,GAAG,UAAU,CAAA;AAE3D;;GAEG;AACH,MAAM,CAAC,OAAO,WAAW,mBAAmB,CAAC;IAC3C;;;OAGG;IACH,UAAiB,QAAQ,CAAC,GAAG,CAAC,CAAC;QAC7B,QAAQ,CAAC,CAAC,yBAAyB,CAAC,EAAE;YACpC,QAAQ,CAAC,EAAE,EAAE,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,CAAA;SAChC,CAAA;KACF;CACF;AAED;;;GAGG;AACH,MAAM,WAAW,MAAM,CAAC,GAAG,CAAC,CAAC,CAAE,SAAQ,mBAAmB,CAAC,QAAQ,CAAC,CAAC,CAAC;IACpE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAA;IACvB,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAA;CAClB;AAED;;;GAGG;AACH,MAAM,WAAW,UAAW,SAAQ,mBAAmB,CAAC,QAAQ,CAAC,KAAK,CAAC;IACrE,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAA;IAC3B,QAAQ,CAAC,qBAAqB,EAAE,MAAM,CAAA;CACvC;AAED;;;GAGG;AACH,eAAO,MAAM,MAAM,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,KAAK,mBAAmB,CAAC,CAAC,CAAmB,CAAA;AAE9E;;;GAGG;AACH,eAAO,MAAM,UAAU,EAAE,CAAC,qBAAqB,EAAE,MAAM,KAAK,mBAAmB,CAAC,KAAK,CAAuB,CAAA;AAE5G;;;;;;GAMG;AACH,eAAO,MAAM,qBAAqB,EAAE,CAAC,CAAC,EAAE,OAAO,KAAK,CAAC,IAAI,mBAAmB,CAAC,OAAO,CAAkC,CAAA;AAEtH;;;;;;GAMG;AACH,eAAO,MAAM,QAAQ,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,mBAAmB,CAAC,CAAC,CAAC,KAAK,IAAI,IAAI,MAAM,CAAC,CAAC,CAAqB,CAAA;AAEjG;;;;;;GAMG;AACH,eAAO,MAAM,YAAY,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,mBAAmB,CAAC,CAAC,CAAC,KAAK,IAAI,IAAI,UAAkC,CAAA;AAE1G;;;;;GAKG;AACH,eAAO,MAAM,KAAK,EAAE;IAClB,CAAC,CAAC,EAAE,CAAC,EACH,OAAO,EAAE;QACP,QAAQ,CAAC,QAAQ,EAAE,CAAC,KAAK,EAAE,CAAC,KAAK,CAAC,CAAA;QAClC,QAAQ,CAAC,YAAY,EAAE,CAAC,qBAAqB,EAAE,MAAM,KAAK,CAAC,CAAA;KAC5D,GACA,CAAC,IAAI,EAAE,mBAAmB,CAAC,CAAC,CAAC,KAAK,CAAC,CAAA;IACtC,CAAC,CAAC,EAAE,CAAC,EACH,IAAI,EAAE,mBAAmB,CAAC,CAAC,CAAC,EAC5B,OAAO,EAAE;QACP,QAAQ,CAAC,QAAQ,EAAE,CAAC,KAAK,EAAE,CAAC,KAAK,CAAC,CAAA;QAClC,QAAQ,CAAC,YAAY,EAAE,CAAC,qBAAqB,EAAE,MAAM,KAAK,CAAC,CAAA;KAC5D,GACA,CAAC,CAAA;CACY,CAAA"}