effect 2.0.0-next.8 → 2.0.0

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

@@ -0,0 +1 @@
+{"version":3,"file":"Deferred.d.ts","sourceRoot":"","sources":["../../src/Deferred.ts"],"names":[],"mappings":"AAAA;;GAEG;AACH,OAAO,KAAK,KAAK,KAAK,MAAM,YAAY,CAAA;AACxC,OAAO,KAAK,KAAK,MAAM,MAAM,aAAa,CAAA;AAC1C,OAAO,KAAK,KAAK,IAAI,MAAM,WAAW,CAAA;AACtC,OAAO,KAAK,KAAK,OAAO,MAAM,cAAc,CAAA;AAC5C,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,eAAe,CAAA;AAI5C,OAAO,KAAK,KAAK,MAAM,MAAM,aAAa,CAAA;AAC1C,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAA;AAC7C,OAAO,KAAK,KAAK,KAAK,MAAM,YAAY,CAAA;AAExC;;;GAGG;AACH,eAAO,MAAM,cAAc,EAAE,OAAO,MAAgC,CAAA;AAEpE;;;GAGG;AACH,MAAM,MAAM,cAAc,GAAG,OAAO,cAAc,CAAA;AAElD;;;;;;;;;;;GAWG;AACH,MAAM,WAAW,QAAQ,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,CAAE,SAAQ,QAAQ,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,QAAQ;CAKtF;AAED;;GAEG;AACH,MAAM,CAAC,OAAO,WAAW,QAAQ,CAAC;IAChC;;;OAGG;IACH,UAAiB,QAAQ,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC;QAC1C,QAAQ,CAAC,CAAC,cAAc,CAAC,EAAE;YACzB,QAAQ,CAAC,EAAE,EAAE,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,CAAA;YAC/B,QAAQ,CAAC,EAAE,EAAE,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,CAAA;SAChC,CAAA;KACF;CACF;AAED;;;;;GAKG;AACH,eAAO,MAAM,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,OAAO,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,KAAK,EAAE,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,CAAqB,CAAA;AAE9F;;;;;GAKG;AACH,eAAO,MAAM,MAAM,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,OAAO,KAAK,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,KAAK,EAAE,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,CAC9E,CAAA;AAErB,QAAA,MAAM,MAAM,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC,EAAE,CAAC,CAAsB,CAAA;AAE7F,OAAO;AACL;;;;;;GAMG;AACH,MAAM,IAAI,KAAK,EAChB,CAAA;AAED;;;;;;;;;GASG;AACH,eAAO,MAAM,QAAQ,EAAE;IACrB,CAAC,CAAC,EAAE,CAAC,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,KAAK,EAAE,OAAO,CAAC,CAAA;IAC1G,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,KAAK,EAAE,OAAO,CAAC,CAAA;CAC/E,CAAA;AAEzB;;;;;;GAMG;AACH,eAAO,MAAM,YAAY,EAAE;IACzB,CAAC,CAAC,EAAE,CAAC,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,KAAK,EAAE,OAAO,CAAC,CAAA;IAC1G,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,KAAK,EAAE,OAAO,CAAC,CAAA;CAC3E,CAAA;AAE7B;;;;;;GAMG;AACH,eAAO,MAAM,IAAI,EAAE;IACjB,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,KAAK,EAAE,OAAO,CAAC,CAAA;IAC7F,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,KAAK,EAAE,OAAO,CAAC,CAAA;CACtE,CAAA;AAErB;;;;;;GAMG;AACH,eAAO,MAAM,IAAI,EAAE;IACjB,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,KAAK,EAAE,OAAO,CAAC,CAAA;IAChF,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,KAAK,EAAE,OAAO,CAAC,CAAA;CACzD,CAAA;AAErB;;;;;;GAMG;AACH,eAAO,MAAM,QAAQ,EAAE;IACrB,CAAC,CAAC,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,KAAK,EAAE,OAAO,CAAC,CAAA;IAC5F,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,KAAK,EAAE,OAAO,CAAC,CAAA;CACjE,CAAA;AAEzB;;;;;;GAMG;AACH,eAAO,MAAM,SAAS,EAAE;IACtB,CAAC,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,KAAK,EAAE,OAAO,CAAC,CAAA;IAC7F,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,KAAK,EAAE,OAAO,CAAC,CAAA;CACjE,CAAA;AAE1B;;;;;;GAMG;AACH,eAAO,MAAM,aAAa,EAAE;IAC1B,CAAC,CAAC,EAAE,QAAQ,EAAE,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,KAAK,EAAE,OAAO,CAAC,CAAA;IACzG,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,QAAQ,EAAE,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,KAAK,EAAE,OAAO,CAAC,CAAA;CACzE,CAAA;AAE9B;;;;;;GAMG;AACH,eAAO,MAAM,GAAG,EAAE;IAChB,CAAC,MAAM,EAAE,OAAO,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,KAAK,EAAE,OAAO,CAAC,CAAA;IACvF,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,MAAM,EAAE,OAAO,GAAG,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,KAAK,EAAE,OAAO,CAAC,CAAA;CACjE,CAAA;AAEpB;;;;;;GAMG;AACH,eAAO,MAAM,OAAO,EAAE;IACpB,CAAC,QAAQ,EAAE,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,KAAK,EAAE,OAAO,CAAC,CAAA;IAClG,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,QAAQ,EAAE,OAAO,CAAC,OAAO,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,KAAK,EAAE,OAAO,CAAC,CAAA;CACxE,CAAA;AAExB;;;;;;;GAOG;AACH,eAAO,MAAM,SAAS,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,KAAK,EAAE,OAAO,CAA0B,CAAA;AAErH;;;;;;GAMG;AACH,eAAO,MAAM,aAAa,EAAE;IAC1B,CAAC,OAAO,EAAE,OAAO,CAAC,OAAO,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,KAAK,EAAE,OAAO,CAAC,CAAA;IAChG,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,OAAO,GAAG,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,KAAK,EAAE,OAAO,CAAC,CAAA;CAChE,CAAA;AAE9B;;;;;;GAMG;AACH,eAAO,MAAM,MAAM,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,KAAK,EAAE,OAAO,CAAuB,CAAA;AAE/G;;;;;;GAMG;AACH,eAAO,MAAM,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,EACtB,IAAI,EAAE,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,KACjB,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAqB,CAAA;AAE/F;;;;;GAKG;AACH,eAAO,MAAM,OAAO,EAAE;IACpB,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,KAAK,EAAE,OAAO,CAAC,CAAA;IAChF,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,KAAK,EAAE,OAAO,CAAC,CAAA;CACtD,CAAA;AAExB;;;;;GAKG;AACH,eAAO,MAAM,IAAI,EAAE;IACjB,CAAC,CAAC,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,KAAK,EAAE,OAAO,CAAC,CAAA;IAC5F,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,KAAK,EAAE,OAAO,CAAC,CAAA;CACrE,CAAA;AAErB;;;;;GAKG;AACH,eAAO,MAAM,UAAU,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,OAAO,KAAK,QAAQ,CAAC,CAAC,EAAE,CAAC,CAA2B,CAAA;AAErG;;;;;;GAMG;AACH,eAAO,MAAM,UAAU,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC,KAAK,IACpE,CAAA"}

package/dist/dts/Differ.d.ts

@@ -0,0 +1,341 @@
+/**
+ * @since 2.0.0
+ */
+import type { Chunk } from "./Chunk.js";
+import type { Context } from "./Context.js";
+import type { Either } from "./Either.js";
+import type { Equal } from "./Equal.js";
+import type { HashMap } from "./HashMap.js";
+import type { HashSet } from "./HashSet.js";
+import type * as Types from "./Types.js";
+/**
+ * @since 2.0.0
+ * @category symbol
+ */
+export declare const TypeId: unique symbol;
+/**
+ * @since 2.0.0
+ * @category symbol
+ */
+export type TypeId = typeof TypeId;
+/**
+ * A `Differ<Value, Patch>` knows how to compare an old value and new value of
+ * type `Value` to produce a patch of type `Patch` that describes the
+ * differences between those values. A `Differ` also knows how to apply a patch
+ * to an old value to produce a new value that represents the old value updated
+ * with the changes described by the patch.
+ *
+ * A `Differ` can be used to construct a `FiberRef` supporting compositional
+ * updates using the `FiberRef.makePatch` constructor.
+ *
+ * The `Differ` companion object contains constructors for `Differ` values for
+ * common data types such as `Chunk`, `HashMap`, and `HashSet``. In addition,
+ * `Differ`values can be transformed using the `transform` operator and combined
+ * using the `orElseEither` and `zip` operators. This allows creating `Differ`
+ * values for arbitrarily complex data types compositionally.
+ *
+ * @since 2.0.0
+ * @category models
+ */
+export interface Differ<in out Value, in out Patch> {
+    readonly [TypeId]: {
+        readonly _V: Types.Invariant<Value>;
+        readonly _P: Types.Invariant<Patch>;
+    };
+    readonly empty: Patch;
+    diff(oldValue: Value, newValue: Value): Patch;
+    combine(first: Patch, second: Patch): Patch;
+    patch(patch: Patch, oldValue: Value): Value;
+}
+declare const ChunkPatchTypeId: unique symbol;
+declare const ContextPatchTypeId: unique symbol;
+declare const HashMapPatchTypeId: unique symbol;
+declare const HashSetPatchTypeId: unique symbol;
+declare const OrPatchTypeId: unique symbol;
+declare const ReadonlyArrayPatchTypeId: unique symbol;
+/**
+ * @since 2.0.0
+ */
+export declare namespace Differ {
+    /**
+     * @since 2.0.0
+     */
+    namespace Context {
+        /**
+         * @since 2.0.0
+         * @category symbol
+         */
+        type TypeId = typeof ContextPatchTypeId;
+        /**
+         * A `Patch<Input, Output>` describes an update that transforms a `Env<Input>`
+         * to a `Env<Output>` as a data structure. This allows combining updates to
+         * different services in the environment in a compositional way.
+         *
+         * @since 2.0.0
+         * @category models
+         */
+        interface Patch<in Input, out Output> extends Equal {
+            readonly [ContextPatchTypeId]: {
+                readonly _Input: Types.Contravariant<Input>;
+                readonly _Output: Types.Covariant<Output>;
+            };
+        }
+    }
+    /**
+     * @since 2.0.0
+     */
+    namespace Chunk {
+        /**
+         * @since 2.0.0
+         * @category symbol
+         */
+        type TypeId = typeof ChunkPatchTypeId;
+        /**
+         * A patch which describes updates to a chunk of values.
+         *
+         * @since 2.0.0
+         * @category models
+         */
+        interface Patch<in out Value, in out Patch> extends Equal {
+            readonly [ChunkPatchTypeId]: {
+                readonly _Value: Types.Invariant<Value>;
+                readonly _Patch: Types.Invariant<Patch>;
+            };
+        }
+    }
+    /**
+     * @since 2.0.0
+     */
+    namespace HashMap {
+        /**
+         * @since 2.0.0
+         * @category symbol
+         */
+        type TypeId = typeof HashMapPatchTypeId;
+        /**
+         * A patch which describes updates to a map of keys and values.
+         *
+         * @since 2.0.0
+         * @category models
+         */
+        interface Patch<in out Key, in out Value, in out Patch> extends Equal {
+            readonly [HashMapPatchTypeId]: {
+                readonly _Key: Types.Invariant<Key>;
+                readonly _Value: Types.Invariant<Value>;
+                readonly _Patch: Types.Invariant<Patch>;
+            };
+        }
+    }
+    /**
+     * @since 2.0.0
+     */
+    namespace HashSet {
+        /**
+         * @since 2.0.0
+         * @category symbol
+         */
+        type TypeId = typeof HashSetPatchTypeId;
+        /**
+         * A patch which describes updates to a set of values.
+         *
+         * @since 2.0.0
+         * @category models
+         */
+        interface Patch<in out Value> extends Equal {
+            readonly [HashSetPatchTypeId]: {
+                readonly _Value: Types.Invariant<Value>;
+            };
+        }
+    }
+    /**
+     * @since 2.0.0
+     */
+    namespace Or {
+        /**
+         * @since 2.0.0
+         * @category symbol
+         */
+        type TypeId = typeof OrPatchTypeId;
+        /**
+         * A patch which describes updates to either one value or another.
+         *
+         * @since 2.0.0
+         * @category models
+         */
+        interface Patch<in out Value, in out Value2, in out Patch, in out Patch2> extends Equal {
+            readonly [OrPatchTypeId]: {
+                readonly _Value: Types.Invariant<Value>;
+                readonly _Value2: Types.Invariant<Value2>;
+                readonly _Patch: Types.Invariant<Patch>;
+                readonly _Patch2: Types.Invariant<Patch2>;
+            };
+        }
+    }
+    /**
+     * @since 2.0.0
+     */
+    namespace ReadonlyArray {
+        /**
+         * @since 2.0.0
+         * @category symbol
+         */
+        type TypeId = typeof ReadonlyArrayPatchTypeId;
+        /**
+         * A patch which describes updates to a ReadonlyArray of values.
+         *
+         * @since 2.0.0
+         * @category models
+         */
+        interface Patch<in out Value, in out Patch> extends Equal {
+            readonly [ReadonlyArrayPatchTypeId]: {
+                readonly _Value: Types.Invariant<Value>;
+                readonly _Patch: Types.Invariant<Patch>;
+            };
+        }
+    }
+}
+/**
+ * An empty patch that describes no changes.
+ *
+ * @since 2.0.0
+ * @category patch
+ */
+export declare const empty: <Value, Patch>(self: Differ<Value, Patch>) => Patch;
+/**
+ * @since 2.0.0
+ * @category patch
+ */
+export declare const diff: {
+    <Value>(oldValue: Value, newValue: Value): <Patch>(self: Differ<Value, Patch>) => Patch;
+    <Value, Patch>(self: Differ<Value, Patch>, oldValue: Value, newValue: Value): Patch;
+};
+/**
+ * Combines two patches to produce a new patch that describes the updates of
+ * the first patch and then the updates of the second patch. The combine
+ * operation should be associative. In addition, if the combine operation is
+ * commutative then joining multiple fibers concurrently will result in
+ * deterministic `FiberRef` values.
+ *
+ * @since 2.0.0
+ * @category patch
+ */
+export declare const combine: {
+    <Patch>(first: Patch, second: Patch): <Value>(self: Differ<Value, Patch>) => Patch;
+    <Value, Patch>(self: Differ<Value, Patch>, first: Patch, second: Patch): Patch;
+};
+/**
+ * Applies a patch to an old value to produce a new value that is equal to the
+ * old value with the updates described by the patch.
+ *
+ * @since 2.0.0
+ * @category patch
+ */
+export declare const patch: {
+    <Patch, Value>(patch: Patch, oldValue: Value): (self: Differ<Value, Patch>) => Value;
+    <Patch, Value>(self: Differ<Value, Patch>, patch: Patch, oldValue: Value): Value;
+};
+/**
+ * Constructs a new `Differ`.
+ *
+ * @since 2.0.0
+ * @category constructors
+ */
+export declare const make: <Value, Patch>(params: {
+    readonly empty: Patch;
+    readonly diff: (oldValue: Value, newValue: Value) => Patch;
+    readonly combine: (first: Patch, second: Patch) => Patch;
+    readonly patch: (patch: Patch, oldValue: Value) => Value;
+}) => Differ<Value, Patch>;
+/**
+ * Constructs a differ that knows how to diff `Env` values.
+ *
+ * @since 2.0.0
+ * @category constructors
+ */
+export declare const environment: <A>() => Differ<Context<A>, Differ.Context.Patch<A, A>>;
+/**
+ * Constructs a differ that knows how to diff a `Chunk` of values given a
+ * differ that knows how to diff the values.
+ *
+ * @since 2.0.0
+ * @category constructors
+ */
+export declare const chunk: <Value, Patch>(differ: Differ<Value, Patch>) => Differ<Chunk<Value>, Differ.Chunk.Patch<Value, Patch>>;
+/**
+ * Constructs a differ that knows how to diff a `HashMap` of keys and values given
+ * a differ that knows how to diff the values.
+ *
+ * @since 2.0.0
+ * @category constructors
+ */
+export declare const hashMap: <Key, Value, Patch>(differ: Differ<Value, Patch>) => Differ<HashMap<Key, Value>, Differ.HashMap.Patch<Key, Value, Patch>>;
+/**
+ * Constructs a differ that knows how to diff a `HashSet` of values.
+ *
+ * @since 2.0.0
+ * @category constructors
+ */
+export declare const hashSet: <Value>() => Differ<HashSet<Value>, Differ.HashSet.Patch<Value>>;
+/**
+ * Combines this differ and the specified differ to produce a differ that
+ * knows how to diff the sum of their values.
+ *
+ * @since 2.0.0
+ */
+export declare const orElseEither: {
+    <Value2, Patch2>(that: Differ<Value2, Patch2>): <Value, Patch>(self: Differ<Value, Patch>) => Differ<Either<Value, Value2>, Differ.Or.Patch<Value, Value2, Patch, Patch2>>;
+    <Value, Patch, Value2, Patch2>(self: Differ<Value, Patch>, that: Differ<Value2, Patch2>): Differ<Either<Value, Value2>, Differ.Or.Patch<Value, Value2, Patch, Patch2>>;
+};
+/**
+ * Constructs a differ that knows how to diff a `ReadonlyArray` of values.
+ *
+ * @since 2.0.0
+ * @category constructors
+ */
+export declare const readonlyArray: <Value, Patch>(differ: Differ<Value, Patch>) => Differ<ReadonlyArray<Value>, Differ.ReadonlyArray.Patch<Value, Patch>>;
+/**
+ * Transforms the type of values that this differ knows how to differ using
+ * the specified functions that map the new and old value types to each other.
+ *
+ * @since 2.0.0
+ */
+export declare const transform: {
+    <Value, Value2>(options: {
+        readonly toNew: (value: Value) => Value2;
+        readonly toOld: (value: Value2) => Value;
+    }): <Patch>(self: Differ<Value, Patch>) => Differ<Value2, Patch>;
+    <Value, Patch, Value2>(self: Differ<Value, Patch>, options: {
+        readonly toNew: (value: Value) => Value2;
+        readonly toOld: (value: Value2) => Value;
+    }): Differ<Value2, Patch>;
+};
+/**
+ * Constructs a differ that just diffs two values by returning a function that
+ * sets the value to the new value. This differ does not support combining
+ * multiple updates to the value compositionally and should only be used when
+ * there is no compositional way to update them.
+ *
+ * @since 2.0.0
+ */
+export declare const update: <A>() => Differ<A, (a: A) => A>;
+/**
+ * A variant of `update` that allows specifying the function that will be used
+ * to combine old values with new values.
+ *
+ * @since 2.0.0
+ */
+export declare const updateWith: <A>(f: (x: A, y: A) => A) => Differ<A, (a: A) => A>;
+/**
+ * Combines this differ and the specified differ to produce a new differ that
+ * knows how to diff the product of their values.
+ *
+ * @since 2.0.0
+ */
+export declare const zip: {
+    <Value2, Patch2>(that: Differ<Value2, Patch2>): <Value, Patch>(self: Differ<Value, Patch>) => Differ<readonly [Value, Value2], // readonly because invariant
+    readonly [Patch, Patch2]>;
+    <Value, Patch, Value2, Patch2>(self: Differ<Value, Patch>, that: Differ<Value2, Patch2>): Differ<readonly [Value, Value2], // readonly because invariant
+    readonly [Patch, Patch2]>;
+};
+export {};
+//# sourceMappingURL=Differ.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"Differ.d.ts","sourceRoot":"","sources":["../../src/Differ.ts"],"names":[],"mappings":"AAAA;;GAEG;AACH,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,YAAY,CAAA;AACvC,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,cAAc,CAAA;AAC3C,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,aAAa,CAAA;AACzC,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,YAAY,CAAA;AAEvC,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,cAAc,CAAA;AAC3C,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,cAAc,CAAA;AAQ3C,OAAO,KAAK,KAAK,KAAK,MAAM,YAAY,CAAA;AAExC;;;GAGG;AACH,eAAO,MAAM,MAAM,EAAE,OAAO,MAAwC,CAAA;AAEpE;;;GAGG;AACH,MAAM,MAAM,MAAM,GAAG,OAAO,MAAM,CAAA;AAElC;;;;;;;;;;;;;;;;;;GAkBG;AACH,MAAM,WAAW,MAAM,CAAC,EAAE,CAAC,GAAG,CAAC,KAAK,EAAE,EAAE,CAAC,GAAG,CAAC,KAAK;IAChD,QAAQ,CAAC,CAAC,MAAM,CAAC,EAAE;QACjB,QAAQ,CAAC,EAAE,EAAE,KAAK,CAAC,SAAS,CAAC,KAAK,CAAC,CAAA;QACnC,QAAQ,CAAC,EAAE,EAAE,KAAK,CAAC,SAAS,CAAC,KAAK,CAAC,CAAA;KACpC,CAAA;IACD,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAA;IACrB,IAAI,CAAC,QAAQ,EAAE,KAAK,EAAE,QAAQ,EAAE,KAAK,GAAG,KAAK,CAAA;IAC7C,OAAO,CAAC,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,GAAG,KAAK,CAAA;IAC3C,KAAK,CAAC,KAAK,EAAE,KAAK,EAAE,QAAQ,EAAE,KAAK,GAAG,KAAK,CAAA;CAC5C;AAED,QAAA,MAAM,gBAAgB,EAAE,OAAO,MAA2D,CAAA;AAC1F,QAAA,MAAM,kBAAkB,EAAE,OAAO,MAAiE,CAAA;AAClG,QAAA,MAAM,kBAAkB,EAAE,OAAO,MAAiE,CAAA;AAClG,QAAA,MAAM,kBAAkB,EAAE,OAAO,MAAiE,CAAA;AAClG,QAAA,MAAM,aAAa,EAAE,OAAO,MAAkD,CAAA;AAC9E,QAAA,MAAM,wBAAwB,EAAE,OAAO,MACmB,CAAA;AAE1D;;GAEG;AACH,MAAM,CAAC,OAAO,WAAW,MAAM,CAAC;IAC9B;;OAEG;IACH,UAAiB,OAAO,CAAC;QACvB;;;WAGG;QACH,KAAY,MAAM,GAAG,OAAO,kBAAkB,CAAA;QAC9C;;;;;;;WAOG;QACH,UAAiB,KAAK,CAAC,EAAE,CAAC,KAAK,EAAE,GAAG,CAAC,MAAM,CAAE,SAAQ,KAAK;YACxD,QAAQ,CAAC,CAAC,kBAAkB,CAAC,EAAE;gBAC7B,QAAQ,CAAC,MAAM,EAAE,KAAK,CAAC,aAAa,CAAC,KAAK,CAAC,CAAA;gBAC3C,QAAQ,CAAC,OAAO,EAAE,KAAK,CAAC,SAAS,CAAC,MAAM,CAAC,CAAA;aAC1C,CAAA;SACF;KACF;IAED;;OAEG;IACH,UAAiB,KAAK,CAAC;QACrB;;;WAGG;QACH,KAAY,MAAM,GAAG,OAAO,gBAAgB,CAAA;QAC5C;;;;;WAKG;QACH,UAAiB,KAAK,CAAC,EAAE,CAAC,GAAG,CAAC,KAAK,EAAE,EAAE,CAAC,GAAG,CAAC,KAAK,CAAE,SAAQ,KAAK;YAC9D,QAAQ,CAAC,CAAC,gBAAgB,CAAC,EAAE;gBAC3B,QAAQ,CAAC,MAAM,EAAE,KAAK,CAAC,SAAS,CAAC,KAAK,CAAC,CAAA;gBACvC,QAAQ,CAAC,MAAM,EAAE,KAAK,CAAC,SAAS,CAAC,KAAK,CAAC,CAAA;aACxC,CAAA;SACF;KACF;IAED;;OAEG;IACH,UAAiB,OAAO,CAAC;QACvB;;;WAGG;QACH,KAAY,MAAM,GAAG,OAAO,kBAAkB,CAAA;QAC9C;;;;;WAKG;QACH,UAAiB,KAAK,CAAC,EAAE,CAAC,GAAG,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,KAAK,EAAE,EAAE,CAAC,GAAG,CAAC,KAAK,CAAE,SAAQ,KAAK;YAC1E,QAAQ,CAAC,CAAC,kBAAkB,CAAC,EAAE;gBAC7B,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC,SAAS,CAAC,GAAG,CAAC,CAAA;gBACnC,QAAQ,CAAC,MAAM,EAAE,KAAK,CAAC,SAAS,CAAC,KAAK,CAAC,CAAA;gBACvC,QAAQ,CAAC,MAAM,EAAE,KAAK,CAAC,SAAS,CAAC,KAAK,CAAC,CAAA;aACxC,CAAA;SACF;KACF;IAED;;OAEG;IACH,UAAiB,OAAO,CAAC;QACvB;;;WAGG;QACH,KAAY,MAAM,GAAG,OAAO,kBAAkB,CAAA;QAC9C;;;;;WAKG;QACH,UAAiB,KAAK,CAAC,EAAE,CAAC,GAAG,CAAC,KAAK,CAAE,SAAQ,KAAK;YAChD,QAAQ,CAAC,CAAC,kBAAkB,CAAC,EAAE;gBAC7B,QAAQ,CAAC,MAAM,EAAE,KAAK,CAAC,SAAS,CAAC,KAAK,CAAC,CAAA;aACxC,CAAA;SACF;KACF;IAED;;OAEG;IACH,UAAiB,EAAE,CAAC;QAClB;;;WAGG;QACH,KAAY,MAAM,GAAG,OAAO,aAAa,CAAA;QACzC;;;;;WAKG;QACH,UAAiB,KAAK,CAAC,EAAE,CAAC,GAAG,CAAC,KAAK,EAAE,EAAE,CAAC,GAAG,CAAC,MAAM,EAAE,EAAE,CAAC,GAAG,CAAC,KAAK,EAAE,EAAE,CAAC,GAAG,CAAC,MAAM,CAAE,SAAQ,KAAK;YAC5F,QAAQ,CAAC,CAAC,aAAa,CAAC,EAAE;gBACxB,QAAQ,CAAC,MAAM,EAAE,KAAK,CAAC,SAAS,CAAC,KAAK,CAAC,CAAA;gBACvC,QAAQ,CAAC,OAAO,EAAE,KAAK,CAAC,SAAS,CAAC,MAAM,CAAC,CAAA;gBACzC,QAAQ,CAAC,MAAM,EAAE,KAAK,CAAC,SAAS,CAAC,KAAK,CAAC,CAAA;gBACvC,QAAQ,CAAC,OAAO,EAAE,KAAK,CAAC,SAAS,CAAC,MAAM,CAAC,CAAA;aAC1C,CAAA;SACF;KACF;IAED;;OAEG;IACH,UAAiB,aAAa,CAAC;QAC7B;;;WAGG;QACH,KAAY,MAAM,GAAG,OAAO,wBAAwB,CAAA;QACpD;;;;;WAKG;QACH,UAAiB,KAAK,CAAC,EAAE,CAAC,GAAG,CAAC,KAAK,EAAE,EAAE,CAAC,GAAG,CAAC,KAAK,CAAE,SAAQ,KAAK;YAC9D,QAAQ,CAAC,CAAC,wBAAwB,CAAC,EAAE;gBACnC,QAAQ,CAAC,MAAM,EAAE,KAAK,CAAC,SAAS,CAAC,KAAK,CAAC,CAAA;gBACvC,QAAQ,CAAC,MAAM,EAAE,KAAK,CAAC,SAAS,CAAC,KAAK,CAAC,CAAA;aACxC,CAAA;SACF;KACF;CACF;AAED;;;;;GAKG;AACH,eAAO,MAAM,KAAK,EAAE,CAAC,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,KAAK,KAEnD,CAAA;AAEf;;;GAGG;AACH,eAAO,MAAM,IAAI,EAAE;IACjB,CAAC,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,QAAQ,EAAE,KAAK,GAAG,CAAC,KAAK,EAC/C,IAAI,EAAE,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,KACvB,KAAK,CAAA;IACV,CAAC,KAAK,EAAE,KAAK,EACX,IAAI,EAAE,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,EAC1B,QAAQ,EAAE,KAAK,EACf,QAAQ,EAAE,KAAK,GACd,KAAK,CAAA;CAQT,CAAA;AAED;;;;;;;;;GASG;AACH,eAAO,MAAM,OAAO,EAAE;IACpB,CAAC,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,GAAG,CAAC,KAAK,EAC1C,IAAI,EAAE,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,KACvB,KAAK,CAAA;IACV,CAAC,KAAK,EAAE,KAAK,EACX,IAAI,EAAE,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,EAC1B,KAAK,EAAE,KAAK,EACZ,MAAM,EAAE,KAAK,GACZ,KAAK,CAAA;CAQT,CAAA;AAED;;;;;;GAMG;AACH,eAAO,MAAM,KAAK,EAAE;IAClB,CAAC,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,QAAQ,EAAE,KAAK,GAAG,CAC7C,IAAI,EAAE,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,KACvB,KAAK,CAAA;IACV,CAAC,KAAK,EAAE,KAAK,EACX,IAAI,EAAE,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,EAC1B,KAAK,EAAE,KAAK,EACZ,QAAQ,EAAE,KAAK,GACd,KAAK,CAAA;CAQT,CAAA;AAED;;;;;GAKG;AACH,eAAO,MAAM,IAAI,EAAE,CAAC,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE;IACxC,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAA;IACrB,QAAQ,CAAC,IAAI,EAAE,CAAC,QAAQ,EAAE,KAAK,EAAE,QAAQ,EAAE,KAAK,KAAK,KAAK,CAAA;IAC1D,QAAQ,CAAC,OAAO,EAAE,CAAC,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,KAAK,KAAK,CAAA;IACxD,QAAQ,CAAC,KAAK,EAAE,CAAC,KAAK,EAAE,KAAK,EAAE,QAAQ,EAAE,KAAK,KAAK,KAAK,CAAA;CACzD,KAAK,MAAM,CAAC,KAAK,EAAE,KAAK,CAAiB,CAAA;AAE1C;;;;;GAKG;AACH,eAAO,MAAM,WAAW,EAAE,CAAC,CAAC,OAAO,MAAM,CACvC,OAAO,CAAC,CAAC,CAAC,EACV,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CACJ,CAAA;AAExB;;;;;;GAMG;AACH,eAAO,MAAM,KAAK,EAAE,CAAC,KAAK,EAAE,KAAK,EAC/B,MAAM,EAAE,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,KACzB,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,CAAkB,CAAA;AAE5E;;;;;;GAMG;AACH,eAAO,MAAM,OAAO,EAAE,CAAC,GAAG,EAAE,KAAK,EAAE,KAAK,EACtC,MAAM,EAAE,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,KACzB,MAAM,CAAC,OAAO,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,GAAG,EAAE,KAAK,EAAE,KAAK,CAAC,CAAoB,CAAA;AAE5F;;;;;GAKG;AACH,eAAO,MAAM,OAAO,EAAE,CAAC,KAAK,OAAO,MAAM,CACvC,OAAO,CAAC,KAAK,CAAC,EACd,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,CACT,CAAA;AAEpB;;;;;GAKG;AACH,eAAO,MAAM,YAAY,EAAE;IACzB,CAAC,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,GAAG,CAAC,KAAK,EAAE,KAAK,EAC3D,IAAI,EAAE,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,KACvB,MAAM,CACT,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,EACrB,MAAM,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,CAAC,CAC9C,CAAA;IACD,CAAC,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,EAC3B,IAAI,EAAE,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,EAC1B,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,GAC3B,MAAM,CACP,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,EACrB,MAAM,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,CAAC,CAC9C,CAAA;CACsB,CAAA;AAEzB;;;;;GAKG;AACH,eAAO,MAAM,aAAa,EAAE,CAAC,KAAK,EAAE,KAAK,EACvC,MAAM,EAAE,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,KACzB,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,CAA0B,CAAA;AAEpG;;;;;GAKG;AACH,eAAO,MAAM,SAAS,EAAE;IACtB,CAAC,KAAK,EAAE,MAAM,EAAE,OAAO,EAAE;QACvB,QAAQ,CAAC,KAAK,EAAE,CAAC,KAAK,EAAE,KAAK,KAAK,MAAM,CAAA;QACxC,QAAQ,CAAC,KAAK,EAAE,CAAC,KAAK,EAAE,MAAM,KAAK,KAAK,CAAA;KACzC,GAAG,CAAC,KAAK,EAAE,IAAI,EAAE,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,KAAK,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,CAAA;IAChE,CAAC,KAAK,EAAE,KAAK,EAAE,MAAM,EACnB,IAAI,EAAE,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,EAC1B,OAAO,EAAE;QACP,QAAQ,CAAC,KAAK,EAAE,CAAC,KAAK,EAAE,KAAK,KAAK,MAAM,CAAA;QACxC,QAAQ,CAAC,KAAK,EAAE,CAAC,KAAK,EAAE,MAAM,KAAK,KAAK,CAAA;KACzC,GACA,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,CAAA;CACJ,CAAA;AAEtB;;;;;;;GAOG;AACH,eAAO,MAAM,MAAM,EAAE,CAAC,CAAC,OAAO,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAmB,CAAA;AAEtE;;;;;GAKG;AACH,eAAO,MAAM,UAAU,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAuB,CAAA;AAElG;;;;;GAKG;AACH,eAAO,MAAM,GAAG,EAAE;IAChB,CAAC,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,GAAG,CAAC,KAAK,EAAE,KAAK,EAC3D,IAAI,EAAE,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,KACvB,MAAM,CACT,SAAS,CAAC,KAAK,EAAE,MAAM,CAAC,EAAE,6BAA6B;IACvD,SAAS,CAAC,KAAK,EAAE,MAAM,CAAC,CACzB,CAAA;IACD,CAAC,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,EAC3B,IAAI,EAAE,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,EAC1B,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,GAC3B,MAAM,CACP,SAAS,CAAC,KAAK,EAAE,MAAM,CAAC,EAAE,6BAA6B;IACvD,SAAS,CAAC,KAAK,EAAE,MAAM,CAAC,CACzB,CAAA;CACa,CAAA"}

package/dist/dts/Duration.d.ts

@@ -0,0 +1,288 @@
+/**
+ * @since 2.0.0
+ */
+import * as Equal from "./Equal.js";
+import type * as equivalence from "./Equivalence.js";
+import type { Inspectable } from "./Inspectable.js";
+import * as Option from "./Option.js";
+import * as order from "./Order.js";
+import type { Pipeable } from "./Pipeable.js";
+declare const TypeId: unique symbol;
+/**
+ * @since 2.0.0
+ * @category symbol
+ */
+export type TypeId = typeof TypeId;
+/**
+ * @since 2.0.0
+ * @category models
+ */
+export interface Duration extends Equal.Equal, Pipeable, Inspectable {
+    readonly [TypeId]: TypeId;
+    readonly value: DurationValue;
+}
+/**
+ * @since 2.0.0
+ * @category models
+ */
+export type DurationValue = {
+    _tag: "Millis";
+    millis: number;
+} | {
+    _tag: "Nanos";
+    nanos: bigint;
+} | {
+    _tag: "Infinity";
+};
+/**
+ * @since 2.0.0
+ * @category models
+ */
+export type Unit = "nanos" | "micros" | "millis" | "seconds" | "minutes" | "hours" | "days" | "weeks";
+/**
+ * @since 2.0.0
+ * @category models
+ */
+export type DurationInput = Duration | number | bigint | [seconds: number, nanos: number] | `${number} ${Unit}`;
+/**
+ * @since 2.0.0
+ */
+export declare const decode: (input: DurationInput) => Duration;
+/**
+ * @since 2.0.0
+ * @category guards
+ */
+export declare const isDuration: (u: unknown) => u is Duration;
+/**
+ * @since 2.0.0
+ * @category constructors
+ */
+export declare const zero: Duration;
+/**
+ * @since 2.0.0
+ * @category constructors
+ */
+export declare const infinity: Duration;
+/**
+ * @since 2.0.0
+ * @category constructors
+ */
+export declare const nanos: (nanos: bigint) => Duration;
+/**
+ * @since 2.0.0
+ * @category constructors
+ */
+export declare const micros: (micros: bigint) => Duration;
+/**
+ * @since 2.0.0
+ * @category constructors
+ */
+export declare const millis: (millis: number) => Duration;
+/**
+ * @since 2.0.0
+ * @category constructors
+ */
+export declare const seconds: (seconds: number) => Duration;
+/**
+ * @since 2.0.0
+ * @category constructors
+ */
+export declare const minutes: (minutes: number) => Duration;
+/**
+ * @since 2.0.0
+ * @category constructors
+ */
+export declare const hours: (hours: number) => Duration;
+/**
+ * @since 2.0.0
+ * @category constructors
+ */
+export declare const days: (days: number) => Duration;
+/**
+ * @since 2.0.0
+ * @category constructors
+ */
+export declare const weeks: (weeks: number) => Duration;
+/**
+ * @since 2.0.0
+ * @category getters
+ */
+export declare const toMillis: (self: DurationInput) => number;
+/**
+ * @since 2.0.0
+ * @category getters
+ */
+export declare const toSeconds: (self: DurationInput) => number;
+/**
+ * Get the duration in nanoseconds as a bigint.
+ *
+ * If the duration is infinite, returns `Option.none()`
+ *
+ * @since 2.0.0
+ * @category getters
+ */
+export declare const toNanos: (self: DurationInput) => Option.Option<bigint>;
+/**
+ * Get the duration in nanoseconds as a bigint.
+ *
+ * If the duration is infinite, it throws an error.
+ *
+ * @since 2.0.0
+ * @category getters
+ */
+export declare const unsafeToNanos: (self: DurationInput) => bigint;
+/**
+ * @since 2.0.0
+ * @category getters
+ */
+export declare const toHrTime: (self: DurationInput) => [seconds: number, nanos: number];
+/**
+ * @since 2.0.0
+ * @category pattern matching
+ */
+export declare const match: {
+    <A, B>(options: {
+        readonly onMillis: (millis: number) => A;
+        readonly onNanos: (nanos: bigint) => B;
+    }): (self: DurationInput) => A | B;
+    <A, B>(self: DurationInput, options: {
+        readonly onMillis: (millis: number) => A;
+        readonly onNanos: (nanos: bigint) => B;
+    }): A | B;
+};
+/**
+ * @since 2.0.0
+ * @category pattern matching
+ */
+export declare const matchWith: {
+    <A, B>(that: DurationInput, options: {
+        readonly onMillis: (self: number, that: number) => A;
+        readonly onNanos: (self: bigint, that: bigint) => B;
+    }): (self: DurationInput) => A | B;
+    <A, B>(self: DurationInput, that: DurationInput, options: {
+        readonly onMillis: (self: number, that: number) => A;
+        readonly onNanos: (self: bigint, that: bigint) => B;
+    }): A | B;
+};
+/**
+ * @category instances
+ * @since 2.0.0
+ */
+export declare const Order: order.Order<Duration>;
+/**
+ * Checks if a `Duration` is between a `minimum` and `maximum` value.
+ *
+ * @category predicates
+ * @since 2.0.0
+ */
+export declare const between: {
+    (options: {
+        minimum: DurationInput;
+        maximum: DurationInput;
+    }): (self: DurationInput) => boolean;
+    (self: DurationInput, options: {
+        minimum: DurationInput;
+        maximum: DurationInput;
+    }): boolean;
+};
+/**
+ * @category instances
+ * @since 2.0.0
+ */
+export declare const Equivalence: equivalence.Equivalence<Duration>;
+/**
+ * @since 2.0.0
+ */
+export declare const min: {
+    (that: DurationInput): (self: DurationInput) => Duration;
+    (self: DurationInput, that: DurationInput): Duration;
+};
+/**
+ * @since 2.0.0
+ */
+export declare const max: {
+    (that: DurationInput): (self: DurationInput) => Duration;
+    (self: DurationInput, that: DurationInput): Duration;
+};
+/**
+ * @since 2.0.0
+ */
+export declare const clamp: {
+    (options: {
+        minimum: DurationInput;
+        maximum: DurationInput;
+    }): (self: DurationInput) => Duration;
+    (self: DurationInput, options: {
+        minimum: DurationInput;
+        maximum: DurationInput;
+    }): Duration;
+};
+/**
+ * @since 2.0.0
+ * @category math
+ */
+export declare const times: {
+    (times: number): (self: DurationInput) => Duration;
+    (self: DurationInput, times: number): Duration;
+};
+/**
+ * @since 2.0.0
+ * @category math
+ */
+export declare const sum: {
+    (that: DurationInput): (self: DurationInput) => Duration;
+    (self: DurationInput, that: DurationInput): Duration;
+};
+/**
+ * @since 2.0.0
+ * @category predicates
+ */
+export declare const lessThan: {
+    (that: DurationInput): (self: DurationInput) => boolean;
+    (self: DurationInput, that: DurationInput): boolean;
+};
+/**
+ * @since 2.0.0
+ * @category predicates
+ */
+export declare const lessThanOrEqualTo: {
+    (that: DurationInput): (self: DurationInput) => boolean;
+    (self: DurationInput, that: DurationInput): boolean;
+};
+/**
+ * @since 2.0.0
+ * @category predicates
+ */
+export declare const greaterThan: {
+    (that: DurationInput): (self: DurationInput) => boolean;
+    (self: DurationInput, that: DurationInput): boolean;
+};
+/**
+ * @since 2.0.0
+ * @category predicates
+ */
+export declare const greaterThanOrEqualTo: {
+    (that: DurationInput): (self: DurationInput) => boolean;
+    (self: DurationInput, that: DurationInput): boolean;
+};
+/**
+ * @since 2.0.0
+ * @category predicates
+ */
+export declare const equals: {
+    (that: DurationInput): (self: DurationInput) => boolean;
+    (self: DurationInput, that: DurationInput): boolean;
+};
+/**
+ * Converts a `Duration` to a human readable string.
+ * @since 2.0.0
+ *
+ * @example
+ * import * as Duration from "effect/Duration"
+ *
+ * Duration.format(Duration.millis(1000)) // "1s"
+ * Duration.format(Duration.millis(1001)) // "1s 1ms"
+ */
+export declare const format: (self: DurationInput) => string;
+export {};
+//# sourceMappingURL=Duration.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"Duration.d.ts","sourceRoot":"","sources":["../../src/Duration.ts"],"names":[],"mappings":"AAAA;;GAEG;AACH,OAAO,KAAK,KAAK,MAAM,YAAY,CAAA;AACnC,OAAO,KAAK,KAAK,WAAW,MAAM,kBAAkB,CAAA;AAGpD,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAA;AAEnD,OAAO,KAAK,MAAM,MAAM,aAAa,CAAA;AACrC,OAAO,KAAK,KAAK,MAAM,YAAY,CAAA;AACnC,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAA;AAI7C,QAAA,MAAM,MAAM,EAAE,OAAO,MAAsC,CAAA;AAK3D;;;GAGG;AACH,MAAM,MAAM,MAAM,GAAG,OAAO,MAAM,CAAA;AAElC;;;GAGG;AACH,MAAM,WAAW,QAAS,SAAQ,KAAK,CAAC,KAAK,EAAE,QAAQ,EAAE,WAAW;IAClE,QAAQ,CAAC,CAAC,MAAM,CAAC,EAAE,MAAM,CAAA;IACzB,QAAQ,CAAC,KAAK,EAAE,aAAa,CAAA;CAC9B;AACD;;;GAGG;AACH,MAAM,MAAM,aAAa,GACrB;IAAE,IAAI,EAAE,QAAQ,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE,GAClC;IAAE,IAAI,EAAE,OAAO,CAAC;IAAC,KAAK,EAAE,MAAM,CAAA;CAAE,GAChC;IAAE,IAAI,EAAE,UAAU,CAAA;CAAE,CAAA;AAExB;;;GAGG;AACH,MAAM,MAAM,IAAI,GACZ,OAAO,GACP,QAAQ,GACR,QAAQ,GACR,SAAS,GACT,SAAS,GACT,OAAO,GACP,MAAM,GACN,OAAO,CAAA;AAEX;;;GAGG;AACH,MAAM,MAAM,aAAa,GACrB,QAAQ,GACR,MAAM,GACN,MAAM,GACN,CAAC,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,CAAC,GAChC,GAAG,MAAM,IAAI,IAAI,EAAE,CAAA;AAIvB;;GAEG;AACH,eAAO,MAAM,MAAM,UAAW,aAAa,KAAG,QAsC7C,CAAA;AAsDD;;;GAGG;AACH,eAAO,MAAM,UAAU,MAAO,OAAO,kBAA0C,CAAA;AAE/E;;;GAGG;AACH,eAAO,MAAM,IAAI,EAAE,QAAkB,CAAA;AAErC;;;GAGG;AACH,eAAO,MAAM,QAAQ,EAAE,QAAyB,CAAA;AAEhD;;;GAGG;AACH,eAAO,MAAM,KAAK,UAAW,MAAM,KAAG,QAAuB,CAAA;AAE7D;;;GAGG;AACH,eAAO,MAAM,MAAM,WAAY,MAAM,KAAG,QAAoC,CAAA;AAE5E;;;GAGG;AACH,eAAO,MAAM,MAAM,WAAY,MAAM,KAAG,QAAwB,CAAA;AAEhE;;;GAGG;AACH,eAAO,MAAM,OAAO,YAAa,MAAM,KAAG,QAAgC,CAAA;AAE1E;;;GAGG;AACH,eAAO,MAAM,OAAO,YAAa,MAAM,KAAG,QAAkC,CAAA;AAE5E;;;GAGG;AACH,eAAO,MAAM,KAAK,UAAW,MAAM,KAAG,QAAmC,CAAA;AAEzE;;;GAGG;AACH,eAAO,MAAM,IAAI,SAAU,MAAM,KAAG,QAAmC,CAAA;AAEvE;;;GAGG;AACH,eAAO,MAAM,KAAK,UAAW,MAAM,KAAG,QAAqC,CAAA;AAE3E;;;GAGG;AACH,eAAO,MAAM,QAAQ,SAAU,aAAa,KAAG,MAU9C,CAAA;AAED;;;GAGG;AACH,eAAO,MAAM,SAAS,SAAU,aAAa,KAAG,MAAgC,CAAA;AAEhF;;;;;;;GAOG;AACH,eAAO,MAAM,OAAO,SAAU,aAAa,KAAG,aAAa,CAAC,MAAM,CAUjE,CAAA;AAED;;;;;;;GAOG;AACH,eAAO,MAAM,aAAa,SAAU,aAAa,KAAG,MAUnD,CAAA;AAED;;;GAGG;AACH,eAAO,MAAM,QAAQ,SAAU,aAAa,KAAG,CAAC,SAAS,MAAM,EAAE,OAAO,MAAM,CAgB7E,CAAA;AAED;;;GAGG;AACH,eAAO,MAAM,KAAK,EAAE;IAClB,CAAC,CAAC,EAAE,CAAC,EACH,OAAO,EAAE;QACP,QAAQ,CAAC,QAAQ,EAAE,CAAC,MAAM,EAAE,MAAM,KAAK,CAAC,CAAA;QACxC,QAAQ,CAAC,OAAO,EAAE,CAAC,KAAK,EAAE,MAAM,KAAK,CAAC,CAAA;KACvC,GACA,CAAC,IAAI,EAAE,aAAa,KAAK,CAAC,GAAG,CAAC,CAAA;IACjC,CAAC,CAAC,EAAE,CAAC,EACH,IAAI,EAAE,aAAa,EACnB,OAAO,EAAE;QACP,QAAQ,CAAC,QAAQ,EAAE,CAAC,MAAM,EAAE,MAAM,KAAK,CAAC,CAAA;QACxC,QAAQ,CAAC,OAAO,EAAE,CAAC,KAAK,EAAE,MAAM,KAAK,CAAC,CAAA;KACvC,GACA,CAAC,GAAG,CAAC,CAAA;CAiBR,CAAA;AAEF;;;GAGG;AACH,eAAO,MAAM,SAAS,EAAE;IACtB,CAAC,CAAC,EAAE,CAAC,EACH,IAAI,EAAE,aAAa,EACnB,OAAO,EAAE;QACP,QAAQ,CAAC,QAAQ,EAAE,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,KAAK,CAAC,CAAA;QACpD,QAAQ,CAAC,OAAO,EAAE,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,KAAK,CAAC,CAAA;KACpD,GACA,CAAC,IAAI,EAAE,aAAa,KAAK,CAAC,GAAG,CAAC,CAAA;IACjC,CAAC,CAAC,EAAE,CAAC,EACH,IAAI,EAAE,aAAa,EACnB,IAAI,EAAE,aAAa,EACnB,OAAO,EAAE;QACP,QAAQ,CAAC,QAAQ,EAAE,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,KAAK,CAAC,CAAA;QACpD,QAAQ,CAAC,OAAO,EAAE,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,KAAK,CAAC,CAAA;KACpD,GACA,CAAC,GAAG,CAAC,CAAA;CA8BR,CAAA;AAEF;;;GAGG;AACH,eAAO,MAAM,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,QAAQ,CAKvC,CAAA;AAED;;;;;GAKG;AACH,eAAO,MAAM,OAAO,EAAE;IACpB,CAAC,OAAO,EAAE;QACR,OAAO,EAAE,aAAa,CAAA;QACtB,OAAO,EAAE,aAAa,CAAA;KACvB,GAAG,CAAC,IAAI,EAAE,aAAa,KAAK,OAAO,CAAA;IACpC,CAAC,IAAI,EAAE,aAAa,EAAE,OAAO,EAAE;QAC7B,OAAO,EAAE,aAAa,CAAA;QACtB,OAAO,EAAE,aAAa,CAAA;KACvB,GAAG,OAAO,CAAA;CACmC,CAAA;AAEhD;;;GAGG;AACH,eAAO,MAAM,WAAW,EAAE,WAAW,CAAC,WAAW,CAAC,QAAQ,CAItD,CAAA;AAIJ;;GAEG;AACH,eAAO,MAAM,GAAG,EAAE;IAChB,CAAC,IAAI,EAAE,aAAa,GAAG,CAAC,IAAI,EAAE,aAAa,KAAK,QAAQ,CAAA;IACxD,CAAC,IAAI,EAAE,aAAa,EAAE,IAAI,EAAE,aAAa,GAAG,QAAQ,CAAA;CAC+C,CAAA;AAIrG;;GAEG;AACH,eAAO,MAAM,GAAG,EAAE;IAChB,CAAC,IAAI,EAAE,aAAa,GAAG,CAAC,IAAI,EAAE,aAAa,KAAK,QAAQ,CAAA;IACxD,CAAC,IAAI,EAAE,aAAa,EAAE,IAAI,EAAE,aAAa,GAAG,QAAQ,CAAA;CAC+C,CAAA;AAIrG;;GAEG;AACH,eAAO,MAAM,KAAK,EAAE;IAClB,CAAC,OAAO,EAAE;QACR,OAAO,EAAE,aAAa,CAAA;QACtB,OAAO,EAAE,aAAa,CAAA;KACvB,GAAG,CAAC,IAAI,EAAE,aAAa,KAAK,QAAQ,CAAA;IACrC,CAAC,IAAI,EAAE,aAAa,EAAE,OAAO,EAAE;QAC7B,OAAO,EAAE,aAAa,CAAA;QACtB,OAAO,EAAE,aAAa,CAAA;KACvB,GAAG,QAAQ,CAAA;CAWb,CAAA;AAED;;;GAGG;AACH,eAAO,MAAM,KAAK,EAAE;IAClB,CAAC,KAAK,EAAE,MAAM,GAAG,CAAC,IAAI,EAAE,aAAa,KAAK,QAAQ,CAAA;IAClD,CAAC,IAAI,EAAE,aAAa,EAAE,KAAK,EAAE,MAAM,GAAG,QAAQ,CAAA;CAQ/C,CAAA;AAED;;;GAGG;AACH,eAAO,MAAM,GAAG,EAAE;IAChB,CAAC,IAAI,EAAE,aAAa,GAAG,CAAC,IAAI,EAAE,aAAa,KAAK,QAAQ,CAAA;IACxD,CAAC,IAAI,EAAE,aAAa,EAAE,IAAI,EAAE,aAAa,GAAG,QAAQ,CAAA;CAQrD,CAAA;AAED;;;GAGG;AACH,eAAO,MAAM,QAAQ,EAAE;IACrB,CAAC,IAAI,EAAE,aAAa,GAAG,CAAC,IAAI,EAAE,aAAa,KAAK,OAAO,CAAA;IACvD,CAAC,IAAI,EAAE,aAAa,EAAE,IAAI,EAAE,aAAa,GAAG,OAAO,CAAA;CAQpD,CAAA;AAED;;;GAGG;AACH,eAAO,MAAM,iBAAiB,EAAE;IAC9B,CAAC,IAAI,EAAE,aAAa,GAAG,CAAC,IAAI,EAAE,aAAa,KAAK,OAAO,CAAA;IACvD,CAAC,IAAI,EAAE,aAAa,EAAE,IAAI,EAAE,aAAa,GAAG,OAAO,CAAA;CAQpD,CAAA;AAED;;;GAGG;AACH,eAAO,MAAM,WAAW,EAAE;IACxB,CAAC,IAAI,EAAE,aAAa,GAAG,CAAC,IAAI,EAAE,aAAa,KAAK,OAAO,CAAA;IACvD,CAAC,IAAI,EAAE,aAAa,EAAE,IAAI,EAAE,aAAa,GAAG,OAAO,CAAA;CAQpD,CAAA;AAED;;;GAGG;AACH,eAAO,MAAM,oBAAoB,EAAE;IACjC,CAAC,IAAI,EAAE,aAAa,GAAG,CAAC,IAAI,EAAE,aAAa,KAAK,OAAO,CAAA;IACvD,CAAC,IAAI,EAAE,aAAa,EAAE,IAAI,EAAE,aAAa,GAAG,OAAO,CAAA;CAQpD,CAAA;AAED;;;GAGG;AACH,eAAO,MAAM,MAAM,EAAE;IACnB,CAAC,IAAI,EAAE,aAAa,GAAG,CAAC,IAAI,EAAE,aAAa,KAAK,OAAO,CAAA;IACvD,CAAC,IAAI,EAAE,aAAa,EAAE,IAAI,EAAE,aAAa,GAAG,OAAO,CAAA;CACsD,CAAA;AAE3G;;;;;;;;;GASG;AACH,eAAO,MAAM,MAAM,SAAU,aAAa,KAAG,MAwC5C,CAAA"}