effect 2.0.0-next.5 → 2.0.0-next.50

package/dist/declarations/src/Differ.d.ts

@@ -0,0 +1,308 @@
+/**
+ * @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";
+/**
+ * @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<Value, Patch> {
+    readonly [TypeId]: {
+        readonly _V: (_: Value) => Value;
+        readonly _P: (_: Patch) => Patch;
+    };
+    readonly empty: Patch;
+    readonly diff: (oldValue: Value, newValue: Value) => Patch;
+    readonly combine: (first: Patch, second: Patch) => Patch;
+    readonly 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;
+/**
+ * @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<Input, Output> extends Equal {
+            readonly [ContextPatchTypeId]: {
+                readonly _Input: (_: Input) => void;
+                readonly _Output: (_: never) => 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<Value, Patch> extends Equal {
+            readonly [ChunkPatchTypeId]: {
+                readonly _Value: (_: Value) => Value;
+                readonly _Patch: (_: Patch) => 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<Key, Value, Patch> extends Equal {
+            readonly [HashMapPatchTypeId]: {
+                readonly _Key: (_: Key) => Key;
+                readonly _Value: (_: Value) => Value;
+                readonly _Patch: (_: Patch) => 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<Value> extends Equal {
+            readonly [HashSetPatchTypeId]: {
+                readonly _Value: (_: Value) => 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<Value, Value2, Patch, Patch2> extends Equal {
+            readonly [OrPatchTypeId]: {
+                readonly _Value: (_: Value) => Value;
+                readonly _Value2: (_: Value2) => Value2;
+                readonly _Patch: (_: Patch) => Patch;
+                readonly _Patch2: (_: Patch2) => Patch2;
+            };
+        }
+    }
+}
+/**
+ * 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>>;
+};
+/**
+ * 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 [Patch, Patch2]>;
+    <Value, Patch, Value2, Patch2>(self: Differ<Value, Patch>, that: Differ<Value2, Patch2>): Differ<readonly [Value, Value2], readonly [Patch, Patch2]>;
+};
+export {};
+//# sourceMappingURL=Differ.d.ts.map

package/dist/declarations/src/Differ.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Differ.d.ts","sourceRoot":"../../../src","sources":["Differ.ts"],"names":[],"mappings":"AAAA;;GAEG;AACH,OAAO,KAAK,EAAE,KAAK,EAAE,mBAAe;AACpC,OAAO,KAAK,EAAE,OAAO,EAAE,qBAAiB;AACxC,OAAO,KAAK,EAAE,MAAM,EAAE,oBAAgB;AACtC,OAAO,KAAK,EAAE,KAAK,EAAE,mBAAe;AAEpC,OAAO,KAAK,EAAE,OAAO,EAAE,qBAAiB;AACxC,OAAO,KAAK,EAAE,OAAO,EAAE,qBAAiB;AAQxC;;;GAGG;AACH,eAAO,MAAM,MAAM,EAAE,OAAO,MAAiC,CAAA;AAE7D;;;GAGG;AACH,MAAM,MAAM,MAAM,GAAG,OAAO,MAAM,CAAA;AAElC;;;;;;;;;;;;;;;;;;GAkBG;AACH,MAAM,WAAW,MAAM,CAAC,KAAK,EAAE,KAAK;IAClC,QAAQ,CAAC,CAAC,MAAM,CAAC,EAAE;QACjB,QAAQ,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,KAAK,KAAK,KAAK,CAAA;QAChC,QAAQ,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,KAAK,KAAK,KAAK,CAAA;KACjC,CAAA;IACD,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;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;AAE9E;;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,KAAK,EAAE,MAAM,CAAE,SAAQ,KAAK;YACjD,QAAQ,CAAC,CAAC,kBAAkB,CAAC,EAAE;gBAC7B,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC,EAAE,KAAK,KAAK,IAAI,CAAA;gBACnC,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAC,EAAE,KAAK,KAAK,MAAM,CAAA;aACvC,CAAA;SACF;KACF;IAED;;OAEG;IACH,UAAiB,KAAK,CAAC;QACrB;;;WAGG;QACH,KAAY,MAAM,GAAG,OAAO,gBAAgB,CAAA;QAC5C;;;;;WAKG;QACH,UAAiB,KAAK,CAAC,KAAK,EAAE,KAAK,CAAE,SAAQ,KAAK;YAChD,QAAQ,CAAC,CAAC,gBAAgB,CAAC,EAAE;gBAC3B,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC,EAAE,KAAK,KAAK,KAAK,CAAA;gBACpC,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC,EAAE,KAAK,KAAK,KAAK,CAAA;aACrC,CAAA;SACF;KACF;IAED;;OAEG;IACH,UAAiB,OAAO,CAAC;QACvB;;;WAGG;QACH,KAAY,MAAM,GAAG,OAAO,kBAAkB,CAAA;QAC9C;;;;;WAKG;QACH,UAAiB,KAAK,CAAC,GAAG,EAAE,KAAK,EAAE,KAAK,CAAE,SAAQ,KAAK;YACrD,QAAQ,CAAC,CAAC,kBAAkB,CAAC,EAAE;gBAC7B,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC,EAAE,GAAG,KAAK,GAAG,CAAA;gBAC9B,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC,EAAE,KAAK,KAAK,KAAK,CAAA;gBACpC,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC,EAAE,KAAK,KAAK,KAAK,CAAA;aACrC,CAAA;SACF;KACF;IAED;;OAEG;IACH,UAAiB,OAAO,CAAC;QACvB;;;WAGG;QACH,KAAY,MAAM,GAAG,OAAO,kBAAkB,CAAA;QAC9C;;;;;WAKG;QACH,UAAiB,KAAK,CAAC,KAAK,CAAE,SAAQ,KAAK;YACzC,QAAQ,CAAC,CAAC,kBAAkB,CAAC,EAAE;gBAC7B,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC,EAAE,KAAK,KAAK,KAAK,CAAA;aACrC,CAAA;SACF;KACF;IAED;;OAEG;IACH,UAAiB,EAAE,CAAC;QAClB;;;WAGG;QACH,KAAY,MAAM,GAAG,OAAO,aAAa,CAAA;QACzC;;;;;WAKG;QACH,UAAiB,KAAK,CAAC,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,CAAE,SAAQ,KAAK;YAChE,QAAQ,CAAC,CAAC,aAAa,CAAC,EAAE;gBACxB,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC,EAAE,KAAK,KAAK,KAAK,CAAA;gBACpC,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAC,EAAE,MAAM,KAAK,MAAM,CAAA;gBACvC,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC,EAAE,KAAK,KAAK,KAAK,CAAA;gBACpC,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAC,EAAE,MAAM,KAAK,MAAM,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,CAAU,CAAA;AAEnC;;;;;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,CACX,CAAA;AAEjB;;;;;;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,CAAW,CAAA;AAErE;;;;;;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,CAAa,CAAA;AAErF;;;;;GAKG;AACH,eAAO,MAAM,OAAO,EAAE,CAAC,KAAK,OAAO,MAAM,CACvC,OAAO,CAAC,KAAK,CAAC,EACd,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,CAChB,CAAA;AAEb;;;;;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;CACe,CAAA;AAElB;;;;;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;CACX,CAAA;AAEf;;;;;;;GAOG;AACH,eAAO,MAAM,MAAM,EAAE,CAAC,CAAC,OAAO,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAY,CAAA;AAE/D;;;;;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,CAAgB,CAAA;AAE3F;;;;;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,CAAC,SAAS,CAAC,KAAK,EAAE,MAAM,CAAC,EAAE,SAAS,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,CAAA;IAC/D,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,CAAC,SAAS,CAAC,KAAK,EAAE,MAAM,CAAC,EAAE,SAAS,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,CAAA;CACtD,CAAA"}

package/dist/declarations/src/Duration.d.ts

@@ -0,0 +1,265 @@
+/**
+ * @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 | `${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) => readonly [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: {
+    (minimum: DurationInput, maximum: DurationInput): (self: DurationInput) => boolean;
+    (self: DurationInput, 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: {
+    (minimum: DurationInput, maximum: DurationInput): (self: DurationInput) => Duration;
+    (self: DurationInput, 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;
+};
+export {};
+//# sourceMappingURL=Duration.d.ts.map

package/dist/declarations/src/Duration.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Duration.d.ts","sourceRoot":"../../../src","sources":["Duration.ts"],"names":[],"mappings":"AAAA;;GAEG;AACH,OAAO,KAAK,KAAK,mBAAe;AAChC,OAAO,KAAK,KAAK,WAAW,yBAAqB;AAGjD,OAAO,KAAK,EAAE,WAAW,EAAE,yBAAqB;AAEhD,OAAO,KAAK,MAAM,oBAAgB;AAClC,OAAO,KAAK,KAAK,mBAAe;AAChC,OAAO,KAAK,EAAE,QAAQ,EAAE,sBAAkB;AAI1C,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,GAAG,MAAM,IAAI,IAAI,EAAE,CAAA;AAIvB;;GAEG;AACH,eAAO,MAAM,MAAM,UAAW,aAAa,KAAG,QAkC7C,CAAA;AAsDD;;;GAGG;AACH,eAAO,MAAM,UAAU,MAAO,OAAO,kBAAsE,CAAA;AAE3G;;;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,SAAS,CAAC,SAAS,MAAM,EAAE,OAAO,MAAM,CAgBtF,CAAA;AAED;;;GAGG;AACH,eAAO,MAAM,KAAK,EAAE;IAClB,CAAC,CAAC,EAAE,CAAC,EACH,OAAO,EAAE;QAAE,QAAQ,CAAC,QAAQ,EAAE,CAAC,MAAM,EAAE,MAAM,KAAK,CAAC,CAAC;QAAC,QAAQ,CAAC,OAAO,EAAE,CAAC,KAAK,EAAE,MAAM,KAAK,CAAC,CAAA;KAAE,GAC5F,CAAC,IAAI,EAAE,aAAa,KAAK,CAAC,GAAG,CAAC,CAAA;IACjC,CAAC,CAAC,EAAE,CAAC,EACH,IAAI,EAAE,aAAa,EACnB,OAAO,EAAE;QAAE,QAAQ,CAAC,QAAQ,EAAE,CAAC,MAAM,EAAE,MAAM,KAAK,CAAC,CAAC;QAAC,QAAQ,CAAC,OAAO,EAAE,CAAC,KAAK,EAAE,MAAM,KAAK,CAAC,CAAA;KAAE,GAC5F,CAAC,GAAG,CAAC,CAAA;CAcR,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,aAAa,EAAE,OAAO,EAAE,aAAa,GAAG,CAAC,IAAI,EAAE,aAAa,KAAK,OAAO,CAAA;IAClF,CAAC,IAAI,EAAE,aAAa,EAAE,OAAO,EAAE,aAAa,EAAE,OAAO,EAAE,aAAa,GAAG,OAAO,CAAA;CAChC,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,aAAa,EAAE,OAAO,EAAE,aAAa,GAAG,CAAC,IAAI,EAAE,aAAa,KAAK,QAAQ,CAAA;IACnF,CAAC,IAAI,EAAE,aAAa,EAAE,OAAO,EAAE,aAAa,EAAE,OAAO,EAAE,aAAa,GAAG,QAAQ,CAAA;CAKhF,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"}