effect 4.0.0-beta.4 → 4.0.0-beta.41

package/dist/Record.js

@@ -226,7 +226,7 @@ export const has = /*#__PURE__*/dual(2, (self, key) => Object.hasOwn(self, key))
 export const get = /*#__PURE__*/dual(2, (self, key) => has(self, key) ? Option.some(self[key]) : Option.none());
 /**
  * Apply a function to the element at the specified key, creating a new record,
- * or return `undefined` if the key doesn't exist.
+ * or return `Option.none()` if the key doesn't exist.
  *
  * @example
  * ```ts
@@ -236,19 +236,19 @@ export const get = /*#__PURE__*/dual(2, (self, key) => has(self, key) ? Option.s
  *
  * const input: Record<string, number> = { a: 3 }
  *
- * Record.modify(input, "a", f) // { a: 6 }
- * Record.modify(input, "b", f) // undefined
+ * Record.modify(input, "a", f) // Option.some({ a: 6 })
+ * Record.modify(input, "b", f) // Option.none()
  * ```
  *
  * @category utils
  * @since 2.0.0
  */
 export const modify = /*#__PURE__*/dual(3, (self, key, f) => {
-  if (!has(self, key)) return undefined;
-  return {
+  if (!has(self, key)) return Option.none();
+  return Option.some({
     ...self,
     [key]: f(self[key])
-  };
+  });
 });
 /**
  * Replaces a value in the record with the new value passed as parameter.
@@ -257,8 +257,8 @@ export const modify = /*#__PURE__*/dual(3, (self, key, f) => {
  * ```ts
  * import { Record } from "effect"
  *
- * Record.replace({ a: 1, b: 2, c: 3 }, "a", 10) // { a: 10, b: 2, c: 3 }
- * Record.replace(Record.empty<string>(), "a", 10) // undefined
+ * Record.replace({ a: 1, b: 2, c: 3 }, "a", 10) // Option.some({ a: 10, b: 2, c: 3 })
+ * Record.replace(Record.empty<string>(), "a", 10) // Option.none()
  * ```
  *
  * @category utils
@@ -266,8 +266,8 @@ export const modify = /*#__PURE__*/dual(3, (self, key, f) => {
  */
 export const replace = /*#__PURE__*/dual(3, (self, key, b) => modify(self, key, () => b));
 /**
- * If the given key exists in the record, returns a new record with the key removed,
- * otherwise returns `undefined`.
+ * If the given key exists in the record, returns a new record with the key removed.
+ * If the key does not exist, returns a shallow copy of the original record.
  *
  * @example
  * ```ts
@@ -295,7 +295,7 @@ export const remove = /*#__PURE__*/dual(2, (self, key) => {
 /**
  * Retrieves the value of the property with the given `key` from a record and returns an `Option`
  * of a tuple with the value and the record with the removed property.
- * If the key is not present, returns `undefined`.
+ * If the key is not present, returns `Option.none()`.
  *
  * @example
  * ```ts
@@ -303,14 +303,14 @@ export const remove = /*#__PURE__*/dual(2, (self, key) => {
  *
  * const input: Record<string, number> = { a: 1, b: 2 }
  *
- * Record.pop(input, "a") // [1, { b: 2 }]
- * Record.pop(input, "c") // undefined
+ * Record.pop(input, "a") // Option.some([1, { b: 2 }])
+ * Record.pop(input, "c") // Option.none()
  * ```
  *
  * @category utils
  * @since 2.0.0
  */
-export const pop = /*#__PURE__*/dual(2, (self, key) => has(self, key) ? [self[key], remove(self, key)] : undefined);
+export const pop = /*#__PURE__*/dual(2, (self, key) => has(self, key) ? Option.some([self[key], remove(self, key)]) : Option.none());
 /**
  * Maps a record into another record by applying a transformation function to each of its values.
  *
@@ -391,16 +391,16 @@ export const mapEntries = /*#__PURE__*/dual(2, (self, f) => {
   return out;
 });
 /**
- * Transforms a record into a record by applying the function `f` to each key and value in the original record.
- * If the function returns `Some`, the key-value pair is included in the output record.
+ * Transforms a record by applying the function `f` to each key and value in the original record.
+ * If the function succeeds, the key-value pair is included in the output record.
  *
  * @example
  * ```ts
- * import { Option, Record } from "effect"
+ * import { Record, Result } from "effect"
  * import * as assert from "node:assert"
  *
  * const x = { a: 1, b: 2, c: 3 }
- * const f = (a: number, key: string) => a > 2 ? Option.some(a * 2) : Option.none()
+ * const f = (a: number, key: string) => a > 2 ? Result.succeed(a * 2) : Result.failVoid
  * assert.deepStrictEqual(Record.filterMap(x, f), { c: 6 })
  * ```
  *
@@ -410,9 +410,9 @@ export const mapEntries = /*#__PURE__*/dual(2, (self, f) => {
 export const filterMap = /*#__PURE__*/dual(2, (self, f) => {
   const out = empty();
   for (const key of keys(self)) {
-    const o = f(self[key], key);
-    if (Option.isSome(o)) {
-      out[key] = o.value;
+    const result = f(self[key], key);
+    if (R.isSuccess(result)) {
+      out[key] = result.success;
     }
   }
   return out;
@@ -458,7 +458,16 @@ export const filter = /*#__PURE__*/dual(2, (self, predicate) => {
  * @category filtering
  * @since 2.0.0
  */
-export const getSomes = /*#__PURE__*/filterMap(identity);
+export const getSomes = self => {
+  const out = empty();
+  for (const key of keys(self)) {
+    const option = self[key];
+    if (Option.isSome(option)) {
+      out[key] = option.value;
+    }
+  }
+  return out;
+};
 /**
  * Given a record with `Result` values, returns a new record containing only the `Err` values, preserving the original keys.
  *
@@ -522,7 +531,7 @@ export const getSuccesses = self => {
   return out;
 };
 /**
- * Partitions the elements of a record into two groups: those that match a predicate, and those that don't.
+ * Partitions the elements of a record into two groups: those that match a filter, and those that don't.
  *
  * @example
  * ```ts
@@ -531,13 +540,13 @@ export const getSuccesses = self => {
  *
  * const x = { a: 1, b: 2, c: 3 }
  * const f = (n: number) => (n % 2 === 0 ? Result.succeed(n) : Result.fail(n))
- * assert.deepStrictEqual(Record.partitionMap(x, f), [{ a: 1, c: 3 }, { b: 2 }])
+ * assert.deepStrictEqual(Record.partition(x, f), [{ a: 1, c: 3 }, { b: 2 }])
  * ```
  *
  * @category filtering
  * @since 2.0.0
  */
-export const partitionMap = /*#__PURE__*/dual(2, (self, f) => {
+export const partition = /*#__PURE__*/dual(2, (self, f) => {
   const left = empty();
   const right = empty();
   for (const key of keys(self)) {
@@ -568,36 +577,7 @@ export const partitionMap = /*#__PURE__*/dual(2, (self, f) => {
  * @category filtering
  * @since 2.0.0
  */
-export const separate = /*#__PURE__*/partitionMap(identity);
-/**
- * Partitions a record into two separate records based on the result of a predicate function.
- *
- * @example
- * ```ts
- * import { Record } from "effect"
- * import * as assert from "node:assert"
- *
- * assert.deepStrictEqual(
- *   Record.partition({ a: 1, b: 3 }, (n) => n > 2),
- *   [{ a: 1 }, { b: 3 }]
- * )
- * ```
- *
- * @category filtering
- * @since 2.0.0
- */
-export const partition = /*#__PURE__*/dual(2, (self, predicate) => {
-  const left = empty();
-  const right = empty();
-  for (const key of keys(self)) {
-    if (predicate(self[key], key)) {
-      right[key] = self[key];
-    } else {
-      left[key] = self[key];
-    }
-  }
-  return [left, right];
-});
+export const separate = /*#__PURE__*/partition(identity);
 /**
  * Retrieve the keys of a given record as an array.
  *
@@ -973,8 +953,9 @@ export const findFirst = /*#__PURE__*/dual(2, (self, f) => {
   for (let i = 0; i < k.length; i++) {
     const key = k[i];
     if (f(self[key], key)) {
-      return [key, self[key]];
+      return Option.some([key, self[key]]);
     }
   }
+  return Option.none();
 });
 //# sourceMappingURL=Record.js.map

package/dist/Record.js.map

@@ -1 +1 @@
-{"version":3,"file":"Record.js","names":["Equal","dual","identity","Option","Reducer","R","empty","isEmptyRecord","self","Object","keys","length","isEmptyReadonlyRecord","fromIterableWith","f","out","a","k","b","fromIterableBy","items","fromEntries","collect","key","push","toEntries","value","size","has","hasOwn","get","some","none","modify","undefined","replace","remove","pop","map","mapKeys","mapEntries","filterMap","o","isSome","filter","predicate","getSomes","getFailures","isFailure","failure","getSuccesses","isSuccess","success","partitionMap","left","right","e","separate","partition","values","_","set","isSubrecordBy","equivalence","that","isSubrecord","asEquivalence","reduce","zero","every","refinement","union","combine","intersection","difference","makeEquivalence","is","singleton","makeReducerUnion","combiner","make","makeReducerIntersection","findFirst","i"],"sources":["../src/Record.ts"],"sourcesContent":[null],"mappings":"AAAA;;;;;AAOA,OAAO,KAAKA,KAAK,MAAM,YAAY;AAEnC,SAASC,IAAI,EAAEC,QAAQ,QAAQ,eAAe;AAE9C,OAAO,KAAKC,MAAM,MAAM,aAAa;AACrC,OAAO,KAAKC,OAAO,MAAM,cAAc;AAEvC,OAAO,KAAKC,CAAC,MAAM,aAAa;AAqHhC;;;;;;;;;;;;;;;;;;;AAmBA,OAAO,MAAMC,KAAK,GAAGA,CAAA,MAGf,EAAU;AAEhB;;;;;;;;;;;;;;;AAeA,OAAO,MAAMC,aAAa,GAAyBC,IAAkB,IACnEC,MAAM,CAACC,IAAI,CAACF,IAAI,CAAC,CAACG,MAAM,KAAK,CAAC;AAEhC;;;;;;;;;;;;;;;AAeA,OAAO,MAAMC,qBAAqB,GAEML,aAAa;AAErD;;;;;;;;;;;;;;;;;;;;AAoBA,OAAO,MAAMM,gBAAgB,gBA2CzBZ,IAAI,CACN,CAAC,EACD,CACEO,IAAiB,EACjBM,CAA4B,KACkB;EAC9C,MAAMC,GAAG,GAAsBT,KAAK,EAAE;EACtC,KAAK,MAAMU,CAAC,IAAIR,IAAI,EAAE;IACpB,MAAM,CAACS,CAAC,EAAEC,CAAC,CAAC,GAAGJ,CAAC,CAACE,CAAC,CAAC;IACnBD,GAAG,CAACE,CAAC,CAAC,GAAGC,CAAC;EACZ;EACA,OAAOH,GAAG;AACZ,CAAC,CACF;AAED;;;;;;;;;;;;;;;;;;;;;;;;;AAyBA,OAAO,MAAMI,cAAc,GAAGA,CAC5BC,KAAkB,EAClBN,CAAc,KACiCD,gBAAgB,CAACO,KAAK,EAAGJ,CAAC,IAAK,CAACF,CAAC,CAACE,CAAC,CAAC,EAAEA,CAAC,CAAC,CAAC;AAE1F;;;;;;;;;;;;;;;;;;;AAmBA,OAAO,MAAMK,WAAW,GAEwCZ,MAAM,CAACY,WAAW;AAElF;;;;;;;;;;;;;;;;;;AAkBA,OAAO,MAAMC,OAAO,gBAuChBrB,IAAI,CACN,CAAC,EACD,CAAyBO,IAA0B,EAAEM,CAAsB,KAAc;EACvF,MAAMC,GAAG,GAAa,EAAE;EACxB,KAAK,MAAMQ,GAAG,IAAIb,IAAI,CAACF,IAAI,CAAC,EAAE;IAC5BO,GAAG,CAACS,IAAI,CAACV,CAAC,CAACS,GAAG,EAAEf,IAAI,CAACe,GAAG,CAAC,CAAC,CAAC;EAC7B;EACA,OAAOR,GAAG;AACZ,CAAC,CACF;AAED;;;;;;;;;;;;;;;AAeA,OAAO,MAAMU,SAAS,gBAAuEH,OAAO,CAAC,CACnGC,GAAG,EACHG,KAAK,KACF,CAACH,GAAG,EAAEG,KAAK,CAAC,CAAC;AAElB;;;;;;;;;;;;;;AAcA,OAAO,MAAMC,IAAI,GAAyBnB,IAA0B,IAAaE,IAAI,CAACF,IAAI,CAAC,CAACG,MAAM;AAElG;;;;;;;;;;;;;;;AAeA,OAAO,MAAMiB,GAAG,gBAiCZ3B,IAAI,CACN,CAAC,EACD,CACEO,IAA0B,EAC1Be,GAAe,KACHd,MAAM,CAACoB,MAAM,CAACrB,IAAI,EAAEe,GAAG,CAAC,CACvC;AAED;;;;;;;;;;;;;;;;;AAiBA,OAAO,MAAMO,GAAG,gBAqCZ7B,IAAI,CACN,CAAC,EACD,CAA+BO,IAA0B,EAAEe,GAAe,KACxEK,GAAG,CAACpB,IAAI,EAAEe,GAAG,CAAC,GAAGpB,MAAM,CAAC4B,IAAI,CAACvB,IAAI,CAACe,GAAG,CAAC,CAAC,GAAGpB,MAAM,CAAC6B,IAAI,EAAE,CAC1D;AAED;;;;;;;;;;;;;;;;;;;AAmBA,OAAO,MAAMC,MAAM,gBAyCfhC,IAAI,CACN,CAAC,EACD,CACEO,IAA0B,EAC1Be,GAAe,EACfT,CAAc,KACkB;EAChC,IAAI,CAACc,GAAG,CAACpB,IAAI,EAAEe,GAAG,CAAC,EAAE,OAAOW,SAAS;EACrC,OAAO;IAAE,GAAG1B,IAAI;IAAE,CAACe,GAAG,GAAGT,CAAC,CAACN,IAAI,CAACe,GAAG,CAAC;EAAC,CAAE;AACzC,CAAC,CACF;AAED;;;;;;;;;;;;;;AAcA,OAAO,MAAMY,OAAO,gBA+BhBlC,IAAI,CACN,CAAC,EACD,CACEO,IAA0B,EAC1Be,GAAe,EACfL,CAAI,KAC6Be,MAAM,CAACzB,IAAI,EAAEe,GAAG,EAAE,MAAML,CAAC,CAAC,CAC9D;AAED;;;;;;;;;;;;;;;AAeA,OAAO,MAAMkB,MAAM,gBAiCfnC,IAAI,CACN,CAAC,EACD,CAA4CO,IAA0B,EAAEe,GAAM,KAA8B;EAC1G,IAAI,CAACK,GAAG,CAACpB,IAAI,EAAEe,GAAG,CAAC,EAAE;IACnB,OAAO;MAAE,GAAGf;IAAI,CAAE;EACpB;EACA,MAAMO,GAAG,GAAG;IAAE,GAAGP;EAAI,CAAE;EACvB,OAAOO,GAAG,CAACQ,GAAG,CAAC;EACf,OAAOR,GAAG;AACZ,CAAC,CACF;AAED;;;;;;;;;;;;;;;;;;AAkBA,OAAO,MAAMsB,GAAG,gBAuCZpC,IAAI,CAAC,CAAC,EAAE,CACVO,IAA0B,EAC1Be,GAAM,KACwCK,GAAG,CAACpB,IAAI,EAAEe,GAAG,CAAC,GAAG,CAACf,IAAI,CAACe,GAAG,CAAC,EAAEa,MAAM,CAAC5B,IAAI,EAAEe,GAAG,CAAC,CAAC,GAAGW,SAAS,CAAC;AAE5G;;;;;;;;;;;;;;;;;;;;AAoBA,OAAO,MAAMI,GAAG,gBA2CZrC,IAAI,CACN,CAAC,EACD,CAAyBO,IAA0B,EAAEM,CAA+B,KAAkB;EACpG,MAAMC,GAAG,GAAiB;IAAE,GAAGP;EAAI,CAAS;EAC5C,KAAK,MAAMe,GAAG,IAAIb,IAAI,CAACF,IAAI,CAAC,EAAE;IAC5BO,GAAG,CAACQ,GAAG,CAAC,GAAGT,CAAC,CAACN,IAAI,CAACe,GAAG,CAAC,EAAEA,GAAG,CAAC;EAC9B;EACA,OAAOR,GAAG;AACZ,CAAC,CACF;AAED;;;;;;;;;;;;;;;;;AAiBA,OAAO,MAAMwB,OAAO,gBAqChBtC,IAAI,CACN,CAAC,EACD,CACEO,IAA0B,EAC1BM,CAAuB,KACN;EACjB,MAAMC,GAAG,GAAkB,EAAS;EACpC,KAAK,MAAMQ,GAAG,IAAIb,IAAI,CAACF,IAAI,CAAC,EAAE;IAC5B,MAAMQ,CAAC,GAAGR,IAAI,CAACe,GAAG,CAAC;IACnBR,GAAG,CAACD,CAAC,CAACS,GAAG,EAAEP,CAAC,CAAC,CAAC,GAAGA,CAAC;EACpB;EACA,OAAOD,GAAG;AACZ,CAAC,CACF;AAED;;;;;;;;;;;;;;;;;AAiBA,OAAO,MAAMyB,UAAU,gBAqCnBvC,IAAI,CACN,CAAC,EACD,CACEO,IAA0B,EAC1BM,CAA4B,KACX;EACjB,MAAMC,GAAG,GAAG,EAAmB;EAC/B,KAAK,MAAMQ,GAAG,IAAIb,IAAI,CAACF,IAAI,CAAC,EAAE;IAC5B,MAAM,CAACS,CAAC,EAAEC,CAAC,CAAC,GAAGJ,CAAC,CAACN,IAAI,CAACe,GAAG,CAAC,EAAEA,GAAG,CAAC;IAChCR,GAAG,CAACE,CAAC,CAAC,GAAGC,CAAC;EACZ;EACA,OAAOH,GAAG;AACZ,CAAC,CACF;AAED;;;;;;;;;;;;;;;;;AAiBA,OAAO,MAAM0B,SAAS,gBAqClBxC,IAAI,CACN,CAAC,EACD,CACEO,IAA0B,EAC1BM,CAAqC,KACS;EAC9C,MAAMC,GAAG,GAAsBT,KAAK,EAAE;EACtC,KAAK,MAAMiB,GAAG,IAAIb,IAAI,CAACF,IAAI,CAAC,EAAE;IAC5B,MAAMkC,CAAC,GAAG5B,CAAC,CAACN,IAAI,CAACe,GAAG,CAAC,EAAEA,GAAG,CAAC;IAC3B,IAAIpB,MAAM,CAACwC,MAAM,CAACD,CAAC,CAAC,EAAE;MACpB3B,GAAG,CAACQ,GAAG,CAAC,GAAGmB,CAAC,CAAChB,KAAK;IACpB;EACF;EACA,OAAOX,GAAG;AACZ,CAAC,CACF;AAED;;;;;;;;;;;;;;;AAeA,OAAO,MAAM6B,MAAM,gBAiEf3C,IAAI,CACN,CAAC,EACD,CACEO,IAA0B,EAC1BqC,SAAoC,KACU;EAC9C,MAAM9B,GAAG,GAAsBT,KAAK,EAAE;EACtC,KAAK,MAAMiB,GAAG,IAAIb,IAAI,CAACF,IAAI,CAAC,EAAE;IAC5B,IAAIqC,SAAS,CAACrC,IAAI,CAACe,GAAG,CAAC,EAAEA,GAAG,CAAC,EAAE;MAC7BR,GAAG,CAACQ,GAAG,CAAC,GAAGf,IAAI,CAACe,GAAG,CAAC;IACtB;EACF;EACA,OAAOR,GAAG;AACZ,CAAC,CACF;AAED;;;;;;;;;;;;;;;;;AAiBA,OAAO,MAAM+B,QAAQ,gBAE6BL,SAAS,CACzDvC,QAAQ,CACT;AAED;;;;;;;;;;;;;;;;;;;;;AAqBA,OAAO,MAAM6C,WAAW,GACtBvC,IAAqC,IACS;EAC9C,MAAMO,GAAG,GAAsBT,KAAK,EAAE;EACtC,KAAK,MAAMiB,GAAG,IAAIb,IAAI,CAACF,IAAI,CAAC,EAAE;IAC5B,MAAMkB,KAAK,GAAGlB,IAAI,CAACe,GAAG,CAAC;IACvB,IAAIlB,CAAC,CAAC2C,SAAS,CAACtB,KAAK,CAAC,EAAE;MACtBX,GAAG,CAACQ,GAAG,CAAC,GAAGG,KAAK,CAACuB,OAAO;IAC1B;EACF;EAEA,OAAOlC,GAAG;AACZ,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;AAqBA,OAAO,MAAMmC,YAAY,GACvB1C,IAAqC,IAChB;EACrB,MAAMO,GAAG,GAAsBT,KAAK,EAAE;EACtC,KAAK,MAAMiB,GAAG,IAAIb,IAAI,CAACF,IAAI,CAAC,EAAE;IAC5B,MAAMkB,KAAK,GAAGlB,IAAI,CAACe,GAAG,CAAC;IACvB,IAAIlB,CAAC,CAAC8C,SAAS,CAACzB,KAAK,CAAC,EAAE;MACtBX,GAAG,CAACQ,GAAG,CAAC,GAAGG,KAAK,CAAC0B,OAAO;IAC1B;EACF;EAEA,OAAOrC,GAAG;AACZ,CAAC;AAED;;;;;;;;;;;;;;;;AAgBA,OAAO,MAAMsC,YAAY,gBAqCrBpD,IAAI,CACN,CAAC,EACD,CACEO,IAA0B,EAC1BM,CAAiC,KACwE;EACzG,MAAMwC,IAAI,GAAsBhD,KAAK,EAAE;EACvC,MAAMiD,KAAK,GAAsBjD,KAAK,EAAE;EACxC,KAAK,MAAMiB,GAAG,IAAIb,IAAI,CAACF,IAAI,CAAC,EAAE;IAC5B,MAAMgD,CAAC,GAAG1C,CAAC,CAACN,IAAI,CAACe,GAAG,CAAC,EAAEA,GAAG,CAAC;IAC3B,IAAIlB,CAAC,CAAC2C,SAAS,CAACQ,CAAC,CAAC,EAAE;MAClBF,IAAI,CAAC/B,GAAG,CAAC,GAAGiC,CAAC,CAACP,OAAO;IACvB,CAAC,MAAM;MACLM,KAAK,CAAChC,GAAG,CAAC,GAAGiC,CAAC,CAACJ,OAAO;IACxB;EACF;EACA,OAAO,CAACE,IAAI,EAAEC,KAAK,CAAC;AACtB,CAAC,CACF;AAED;;;;;;;;;;;;;;;;;;AAkBA,OAAO,MAAME,QAAQ,gBAE2EJ,YAAY,CAACnD,QAAQ,CAAC;AAEtH;;;;;;;;;;;;;;;;;AAiBA,OAAO,MAAMwD,SAAS,gBAmFlBzD,IAAI,CACN,CAAC,EACD,CACEO,IAA0B,EAC1BqC,SAAoC,KAC8E;EAClH,MAAMS,IAAI,GAAsBhD,KAAK,EAAE;EACvC,MAAMiD,KAAK,GAAsBjD,KAAK,EAAE;EACxC,KAAK,MAAMiB,GAAG,IAAIb,IAAI,CAACF,IAAI,CAAC,EAAE;IAC5B,IAAIqC,SAAS,CAACrC,IAAI,CAACe,GAAG,CAAC,EAAEA,GAAG,CAAC,EAAE;MAC7BgC,KAAK,CAAChC,GAAG,CAAC,GAAGf,IAAI,CAACe,GAAG,CAAC;IACxB,CAAC,MAAM;MACL+B,IAAI,CAAC/B,GAAG,CAAC,GAAGf,IAAI,CAACe,GAAG,CAAC;IACvB;EACF;EACA,OAAO,CAAC+B,IAAI,EAAEC,KAAK,CAAC;AACtB,CAAC,CACF;AAED;;;;;;;;;;;;;;AAcA,OAAO,MAAM7C,IAAI,GAAkCF,IAA0B,IAC3EC,MAAM,CAACC,IAAI,CAACF,IAAI,CAAsB;AAExC;;;;;;;;;;;;;;AAcA,OAAO,MAAMmD,MAAM,GAAyBnD,IAA0B,IAAec,OAAO,CAACd,IAAI,EAAE,CAACoD,CAAC,EAAE5C,CAAC,KAAKA,CAAC,CAAC;AAE/G;;;;;;;;;;;;;;;AAeA,OAAO,MAAM6C,GAAG,gBAiCZ5D,IAAI,CACN,CAAC,EACD,CACEO,IAA0B,EAC1Be,GAAO,EACPG,KAAQ,KACiB;EACzB,OAAO;IAAE,GAAGlB,IAAI;IAAE,CAACe,GAAG,GAAGG;EAAK,CAAS;AACzC,CAAC,CACF;AAED;;;;;;;;;;;;;;;;;;;;;;;;AAwBA,OAAO,MAAMoC,aAAa,GAAOC,WAA2B,IAI1D9D,IAAI,CAAC,CAAC,EAAE,CAAmBO,IAA0B,EAAEwD,IAA0B,KAAa;EAC5F,KAAK,MAAMzC,GAAG,IAAIb,IAAI,CAACF,IAAI,CAAC,EAAE;IAC5B,IAAI,CAACoB,GAAG,CAACoC,IAAI,EAAEzC,GAAG,CAAC,IAAI,CAACwC,WAAW,CAACvD,IAAI,CAACe,GAAG,CAAC,EAAEyC,IAAI,CAACzC,GAAG,CAAC,CAAC,EAAE;MACzD,OAAO,KAAK;IACd;EACF;EACA,OAAO,IAAI;AACb,CAAC,CAAC;AAEJ;;;;;;;;;;;;;;;;;;;;;;AAsBA,OAAO,MAAM0C,WAAW,gBA+CpBH,aAAa,cAAC9D,KAAK,CAACkE,aAAa,EAAE,CAAC;AAExC;;;;;;;;;;;;;;;;;AAiBA,OAAO,MAAMC,MAAM,gBAyCflE,IAAI,CACN,CAAC,EACD,CACEO,IAA0B,EAC1B4D,IAAO,EACPtD,CAA0C,KACrC;EACL,IAAIC,GAAG,GAAMqD,IAAI;EACjB,KAAK,MAAM7C,GAAG,IAAIb,IAAI,CAACF,IAAI,CAAC,EAAE;IAC5BO,GAAG,GAAGD,CAAC,CAACC,GAAG,EAAEP,IAAI,CAACe,GAAG,CAAC,EAAEA,GAAG,CAAC;EAC9B;EACA,OAAOR,GAAG;AACZ,CAAC,CACF;AAED;;;;;;;;;;;;;;;AAeA,OAAO,MAAMsD,KAAK,gBAiEdpE,IAAI,CACN,CAAC,EACD,CACEO,IAA0B,EAC1B8D,UAA4C,KACZ;EAChC,KAAK,MAAM/C,GAAG,IAAIb,IAAI,CAACF,IAAI,CAAC,EAAE;IAC5B,IAAI,CAAC8D,UAAU,CAAC9D,IAAI,CAACe,GAAG,CAAC,EAAEA,GAAG,CAAC,EAAE;MAC/B,OAAO,KAAK;IACd;EACF;EACA,OAAO,IAAI;AACb,CAAC,CACF;AAED;;;;;;;;;;;;;;;AAeA,OAAO,MAAMQ,IAAI,gBAiCb9B,IAAI,CACN,CAAC,EACD,CAAsBO,IAA0B,EAAEqC,SAAwC,KAAa;EACrG,KAAK,MAAMtB,GAAG,IAAIb,IAAI,CAACF,IAAI,CAAC,EAAE;IAC5B,IAAIqC,SAAS,CAACrC,IAAI,CAACe,GAAG,CAAC,EAAEA,GAAG,CAAC,EAAE;MAC7B,OAAO,IAAI;IACb;EACF;EACA,OAAO,KAAK;AACd,CAAC,CACF;AAED;;;;;;;;;;;;;;;;;;AAkBA,OAAO,MAAMgD,KAAK,gBA2CdtE,IAAI,CACN,CAAC,EACD,CACEO,IAA2B,EAC3BwD,IAA2B,EAC3BQ,OAA0C,KACZ;EAC9B,IAAIjE,aAAa,CAACC,IAAI,CAAC,EAAE;IACvB,OAAO;MAAE,GAAGwD;IAAI,CAAS;EAC3B;EACA,IAAIzD,aAAa,CAACyD,IAAI,CAAC,EAAE;IACvB,OAAO;MAAE,GAAGxD;IAAI,CAAS;EAC3B;EACA,MAAMO,GAAG,GAA8BT,KAAK,EAAE;EAC9C,KAAK,MAAMiB,GAAG,IAAIb,IAAI,CAACF,IAAI,CAAC,EAAE;IAC5B,IAAIoB,GAAG,CAACoC,IAAI,EAAEzC,GAAU,CAAC,EAAE;MACzBR,GAAG,CAACQ,GAAG,CAAC,GAAGiD,OAAO,CAAChE,IAAI,CAACe,GAAG,CAAC,EAAEyC,IAAI,CAACzC,GAAoB,CAAC,CAAC;IAC3D,CAAC,MAAM;MACLR,GAAG,CAACQ,GAAG,CAAC,GAAGf,IAAI,CAACe,GAAG,CAAC;IACtB;EACF;EACA,KAAK,MAAMA,GAAG,IAAIb,IAAI,CAACsD,IAAI,CAAC,EAAE;IAC5B,IAAI,CAACpC,GAAG,CAACb,GAAG,EAAEQ,GAAG,CAAC,EAAE;MAClBR,GAAG,CAACQ,GAAG,CAAC,GAAGyC,IAAI,CAACzC,GAAG,CAAC;IACtB;EACF;EACA,OAAOR,GAAG;AACZ,CAAC,CACF;AAED;;;;;;;;;;;;;;;;;;AAkBA,OAAO,MAAM0D,YAAY,gBA2CrBxE,IAAI,CACN,CAAC,EACD,CACEO,IAA2B,EAC3BwD,IAA2B,EAC3BQ,OAA0C,KACS;EACnD,MAAMzD,GAAG,GAAsBT,KAAK,EAAE;EACtC,IAAIC,aAAa,CAACC,IAAI,CAAC,IAAID,aAAa,CAACyD,IAAI,CAAC,EAAE;IAC9C,OAAOjD,GAAG;EACZ;EACA,KAAK,MAAMQ,GAAG,IAAIb,IAAI,CAACF,IAAI,CAAC,EAAE;IAC5B,IAAIoB,GAAG,CAACoC,IAAI,EAAEzC,GAAU,CAAC,EAAE;MACzBR,GAAG,CAACQ,GAAG,CAAC,GAAGiD,OAAO,CAAChE,IAAI,CAACe,GAAG,CAAC,EAAEyC,IAAI,CAACzC,GAAoB,CAAC,CAAC;IAC3D;EACF;EACA,OAAOR,GAAG;AACZ,CAAC,CACF;AAED;;;;;;;;;;;;;;;;;;AAkBA,OAAO,MAAM2D,UAAU,gBAuCnBzE,IAAI,CAAC,CAAC,EAAE,CACVO,IAA2B,EAC3BwD,IAA2B,KACD;EAC1B,IAAIzD,aAAa,CAACC,IAAI,CAAC,EAAE;IACvB,OAAO;MAAE,GAAGwD;IAAI,CAAS;EAC3B;EACA,IAAIzD,aAAa,CAACyD,IAAI,CAAC,EAAE;IACvB,OAAO;MAAE,GAAGxD;IAAI,CAAS;EAC3B;EACA,MAAMO,GAAG,GAAG,EAA4B;EACxC,KAAK,MAAMQ,GAAG,IAAIb,IAAI,CAACF,IAAI,CAAC,EAAE;IAC5B,IAAI,CAACoB,GAAG,CAACoC,IAAI,EAAEzC,GAAU,CAAC,EAAE;MAC1BR,GAAG,CAACQ,GAAG,CAAC,GAAGf,IAAI,CAACe,GAAG,CAAC;IACtB;EACF;EACA,KAAK,MAAMA,GAAG,IAAIb,IAAI,CAACsD,IAAI,CAAC,EAAE;IAC5B,IAAI,CAACpC,GAAG,CAACpB,IAAI,EAAEe,GAAU,CAAC,EAAE;MAC1BR,GAAG,CAACQ,GAAG,CAAC,GAAGyC,IAAI,CAACzC,GAAG,CAAC;IACtB;EACF;EACA,OAAOR,GAAG;AACZ,CAAC,CAAC;AAEF;;;;;;;;;;;;;;;;;;AAkBA,OAAO,MAAM4D,eAAe,GAC1BZ,WAA2B,IACU;EACrC,MAAMa,EAAE,GAAGd,aAAa,CAACC,WAAW,CAAC;EACrC,OAAO,CAACvD,IAAI,EAAEwD,IAAI,KAAKY,EAAE,CAACpE,IAAI,EAAEwD,IAAI,CAAC,IAAIY,EAAE,CAACZ,IAAI,EAAExD,IAAI,CAAC;AACzD,CAAC;AAED;;;;;;;;;;;;;;AAcA,OAAO,MAAMqE,SAAS,GAAGA,CAA+BtD,GAAM,EAAEG,KAAQ,MAAoB;EAC1F,CAACH,GAAG,GAAGG;CACA;AAET;;;;;;;AAOA,OAAM,SAAUoD,gBAAgBA,CAAsBC,QAA8B;EAClF,OAAO3E,OAAO,CAAC4E,IAAI,CACjB,CAACxE,IAAI,EAAEwD,IAAI,KAAKO,KAAK,CAAC/D,IAAI,EAAEwD,IAAI,EAAEe,QAAQ,CAACP,OAAO,CAAC,EACnD,EAAkB,CACnB;AACH;AAEA;;;;;;;AAOA,OAAM,SAAUS,uBAAuBA,CACrCF,QAA8B;EAE9B,OAAO3E,OAAO,CAAC4E,IAAI,CACjB,CAACxE,IAAI,EAAEwD,IAAI,KAAKS,YAAY,CAACjE,IAAI,EAAEwD,IAAI,EAAEe,QAAQ,CAACP,OAAO,CAAQ,EACjE,EAAkB,CACnB;AACH;AAEA;;;;;;;;;;;;;;;;;;;AAmBA,OAAO,MAAMU,SAAS,gBAuFlBjF,IAAI,CACN,CAAC,EACD,CAA+BO,IAA0B,EAAEM,CAAgC,KAAwB;EACjH,MAAMG,CAAC,GAAGP,IAAI,CAACF,IAAI,CAAC;EACpB,KAAK,IAAI2E,CAAC,GAAG,CAAC,EAAEA,CAAC,GAAGlE,CAAC,CAACN,MAAM,EAAEwE,CAAC,EAAE,EAAE;IACjC,MAAM5D,GAAG,GAAGN,CAAC,CAACkE,CAAC,CAAC;IAChB,IAAIrE,CAAC,CAACN,IAAI,CAACe,GAAG,CAAC,EAAEA,GAAG,CAAC,EAAE;MACrB,OAAO,CAACA,GAAG,EAAEf,IAAI,CAACe,GAAG,CAAC,CAAC;IACzB;EACF;AACF,CAAC,CACF","ignoreList":[]}
+{"version":3,"file":"Record.js","names":["Equal","dual","identity","Option","Reducer","R","empty","isEmptyRecord","self","Object","keys","length","isEmptyReadonlyRecord","fromIterableWith","f","out","a","k","b","fromIterableBy","items","fromEntries","collect","key","push","toEntries","value","size","has","hasOwn","get","some","none","modify","replace","remove","pop","map","mapKeys","mapEntries","filterMap","result","isSuccess","success","filter","predicate","getSomes","option","isSome","getFailures","isFailure","failure","getSuccesses","partition","left","right","e","separate","values","_","set","isSubrecordBy","equivalence","that","isSubrecord","asEquivalence","reduce","zero","every","refinement","union","combine","intersection","difference","makeEquivalence","is","singleton","makeReducerUnion","combiner","make","makeReducerIntersection","findFirst","i"],"sources":["../src/Record.ts"],"sourcesContent":[null],"mappings":"AAAA;;;;;AAOA,OAAO,KAAKA,KAAK,MAAM,YAAY;AAEnC,SAASC,IAAI,EAAEC,QAAQ,QAAQ,eAAe;AAE9C,OAAO,KAAKC,MAAM,MAAM,aAAa;AACrC,OAAO,KAAKC,OAAO,MAAM,cAAc;AAEvC,OAAO,KAAKC,CAAC,MAAM,aAAa;AAqHhC;;;;;;;;;;;;;;;;;;;AAmBA,OAAO,MAAMC,KAAK,GAAGA,CAAA,MAGf,EAAU;AAEhB;;;;;;;;;;;;;;;AAeA,OAAO,MAAMC,aAAa,GAAyBC,IAAkB,IACnEC,MAAM,CAACC,IAAI,CAACF,IAAI,CAAC,CAACG,MAAM,KAAK,CAAC;AAEhC;;;;;;;;;;;;;;;AAeA,OAAO,MAAMC,qBAAqB,GAEML,aAAa;AAErD;;;;;;;;;;;;;;;;;;;;AAoBA,OAAO,MAAMM,gBAAgB,gBA2CzBZ,IAAI,CACN,CAAC,EACD,CACEO,IAAiB,EACjBM,CAA4B,KACkB;EAC9C,MAAMC,GAAG,GAAsBT,KAAK,EAAE;EACtC,KAAK,MAAMU,CAAC,IAAIR,IAAI,EAAE;IACpB,MAAM,CAACS,CAAC,EAAEC,CAAC,CAAC,GAAGJ,CAAC,CAACE,CAAC,CAAC;IACnBD,GAAG,CAACE,CAAC,CAAC,GAAGC,CAAC;EACZ;EACA,OAAOH,GAAG;AACZ,CAAC,CACF;AAED;;;;;;;;;;;;;;;;;;;;;;;;;AAyBA,OAAO,MAAMI,cAAc,GAAGA,CAC5BC,KAAkB,EAClBN,CAAc,KACiCD,gBAAgB,CAACO,KAAK,EAAGJ,CAAC,IAAK,CAACF,CAAC,CAACE,CAAC,CAAC,EAAEA,CAAC,CAAC,CAAC;AAE1F;;;;;;;;;;;;;;;;;;;AAmBA,OAAO,MAAMK,WAAW,GAEwCZ,MAAM,CAACY,WAAW;AAElF;;;;;;;;;;;;;;;;;;AAkBA,OAAO,MAAMC,OAAO,gBAuChBrB,IAAI,CACN,CAAC,EACD,CAAyBO,IAA0B,EAAEM,CAAsB,KAAc;EACvF,MAAMC,GAAG,GAAa,EAAE;EACxB,KAAK,MAAMQ,GAAG,IAAIb,IAAI,CAACF,IAAI,CAAC,EAAE;IAC5BO,GAAG,CAACS,IAAI,CAACV,CAAC,CAACS,GAAG,EAAEf,IAAI,CAACe,GAAG,CAAC,CAAC,CAAC;EAC7B;EACA,OAAOR,GAAG;AACZ,CAAC,CACF;AAED;;;;;;;;;;;;;;;AAeA,OAAO,MAAMU,SAAS,gBAAuEH,OAAO,CAAC,CACnGC,GAAG,EACHG,KAAK,KACF,CAACH,GAAG,EAAEG,KAAK,CAAC,CAAC;AAElB;;;;;;;;;;;;;;AAcA,OAAO,MAAMC,IAAI,GAAyBnB,IAA0B,IAAaE,IAAI,CAACF,IAAI,CAAC,CAACG,MAAM;AAElG;;;;;;;;;;;;;;;AAeA,OAAO,MAAMiB,GAAG,gBAiCZ3B,IAAI,CACN,CAAC,EACD,CACEO,IAA0B,EAC1Be,GAAe,KACHd,MAAM,CAACoB,MAAM,CAACrB,IAAI,EAAEe,GAAG,CAAC,CACvC;AAED;;;;;;;;;;;;;;;;;AAiBA,OAAO,MAAMO,GAAG,gBAqCZ7B,IAAI,CACN,CAAC,EACD,CAA+BO,IAA0B,EAAEe,GAAe,KACxEK,GAAG,CAACpB,IAAI,EAAEe,GAAG,CAAC,GAAGpB,MAAM,CAAC4B,IAAI,CAACvB,IAAI,CAACe,GAAG,CAAC,CAAC,GAAGpB,MAAM,CAAC6B,IAAI,EAAE,CAC1D;AAED;;;;;;;;;;;;;;;;;;;AAmBA,OAAO,MAAMC,MAAM,gBAyCfhC,IAAI,CACN,CAAC,EACD,CACEO,IAA0B,EAC1Be,GAAe,EACfT,CAAc,KACqB;EACnC,IAAI,CAACc,GAAG,CAACpB,IAAI,EAAEe,GAAG,CAAC,EAAE,OAAOpB,MAAM,CAAC6B,IAAI,EAAE;EACzC,OAAO7B,MAAM,CAAC4B,IAAI,CAAC;IAAE,GAAGvB,IAAI;IAAE,CAACe,GAAG,GAAGT,CAAC,CAACN,IAAI,CAACe,GAAG,CAAC;EAAC,CAAE,CAAC;AACtD,CAAC,CACF;AAED;;;;;;;;;;;;;;AAcA,OAAO,MAAMW,OAAO,gBA+BhBjC,IAAI,CACN,CAAC,EACD,CACEO,IAA0B,EAC1Be,GAAe,EACfL,CAAI,KACgCe,MAAM,CAACzB,IAAI,EAAEe,GAAG,EAAE,MAAML,CAAC,CAAC,CACjE;AAED;;;;;;;;;;;;;;;AAeA,OAAO,MAAMiB,MAAM,gBAiCflC,IAAI,CACN,CAAC,EACD,CAA4CO,IAA0B,EAAEe,GAAM,KAA8B;EAC1G,IAAI,CAACK,GAAG,CAACpB,IAAI,EAAEe,GAAG,CAAC,EAAE;IACnB,OAAO;MAAE,GAAGf;IAAI,CAAE;EACpB;EACA,MAAMO,GAAG,GAAG;IAAE,GAAGP;EAAI,CAAE;EACvB,OAAOO,GAAG,CAACQ,GAAG,CAAC;EACf,OAAOR,GAAG;AACZ,CAAC,CACF;AAED;;;;;;;;;;;;;;;;;;AAkBA,OAAO,MAAMqB,GAAG,gBAuCZnC,IAAI,CAAC,CAAC,EAAE,CACVO,IAA0B,EAC1Be,GAAM,KAENK,GAAG,CAACpB,IAAI,EAAEe,GAAG,CAAC,GAAGpB,MAAM,CAAC4B,IAAI,CAAC,CAACvB,IAAI,CAACe,GAAG,CAAC,EAAEY,MAAM,CAAC3B,IAAI,EAAEe,GAAG,CAAC,CAAC,CAAC,GAAGpB,MAAM,CAAC6B,IAAI,EAAE,CAAC;AAE/E;;;;;;;;;;;;;;;;;;;;AAoBA,OAAO,MAAMK,GAAG,gBA2CZpC,IAAI,CACN,CAAC,EACD,CAAyBO,IAA0B,EAAEM,CAA+B,KAAkB;EACpG,MAAMC,GAAG,GAAiB;IAAE,GAAGP;EAAI,CAAS;EAC5C,KAAK,MAAMe,GAAG,IAAIb,IAAI,CAACF,IAAI,CAAC,EAAE;IAC5BO,GAAG,CAACQ,GAAG,CAAC,GAAGT,CAAC,CAACN,IAAI,CAACe,GAAG,CAAC,EAAEA,GAAG,CAAC;EAC9B;EACA,OAAOR,GAAG;AACZ,CAAC,CACF;AAED;;;;;;;;;;;;;;;;;AAiBA,OAAO,MAAMuB,OAAO,gBAqChBrC,IAAI,CACN,CAAC,EACD,CACEO,IAA0B,EAC1BM,CAAuB,KACN;EACjB,MAAMC,GAAG,GAAkB,EAAS;EACpC,KAAK,MAAMQ,GAAG,IAAIb,IAAI,CAACF,IAAI,CAAC,EAAE;IAC5B,MAAMQ,CAAC,GAAGR,IAAI,CAACe,GAAG,CAAC;IACnBR,GAAG,CAACD,CAAC,CAACS,GAAG,EAAEP,CAAC,CAAC,CAAC,GAAGA,CAAC;EACpB;EACA,OAAOD,GAAG;AACZ,CAAC,CACF;AAED;;;;;;;;;;;;;;;;;AAiBA,OAAO,MAAMwB,UAAU,gBAqCnBtC,IAAI,CACN,CAAC,EACD,CACEO,IAA0B,EAC1BM,CAA4B,KACX;EACjB,MAAMC,GAAG,GAAG,EAAmB;EAC/B,KAAK,MAAMQ,GAAG,IAAIb,IAAI,CAACF,IAAI,CAAC,EAAE;IAC5B,MAAM,CAACS,CAAC,EAAEC,CAAC,CAAC,GAAGJ,CAAC,CAACN,IAAI,CAACe,GAAG,CAAC,EAAEA,GAAG,CAAC;IAChCR,GAAG,CAACE,CAAC,CAAC,GAAGC,CAAC;EACZ;EACA,OAAOH,GAAG;AACZ,CAAC,CACF;AAED;;;;;;;;;;;;;;;;;AAiBA,OAAO,MAAMyB,SAAS,gBAqClBvC,IAAI,CACN,CAAC,EACD,CACEO,IAA0B,EAC1BM,CAAqC,KACS;EAC9C,MAAMC,GAAG,GAAsBT,KAAK,EAAE;EACtC,KAAK,MAAMiB,GAAG,IAAIb,IAAI,CAACF,IAAI,CAAC,EAAE;IAC5B,MAAMiC,MAAM,GAAG3B,CAAC,CAACN,IAAI,CAACe,GAAG,CAAC,EAAEA,GAAG,CAAC;IAChC,IAAIlB,CAAC,CAACqC,SAAS,CAACD,MAAM,CAAC,EAAE;MACvB1B,GAAG,CAACQ,GAAG,CAAC,GAAGkB,MAAM,CAACE,OAAO;IAC3B;EACF;EACA,OAAO5B,GAAG;AACZ,CAAC,CACF;AAED;;;;;;;;;;;;;;;AAeA,OAAO,MAAM6B,MAAM,gBAiEf3C,IAAI,CACN,CAAC,EACD,CACEO,IAA0B,EAC1BqC,SAAoC,KACU;EAC9C,MAAM9B,GAAG,GAAsBT,KAAK,EAAE;EACtC,KAAK,MAAMiB,GAAG,IAAIb,IAAI,CAACF,IAAI,CAAC,EAAE;IAC5B,IAAIqC,SAAS,CAACrC,IAAI,CAACe,GAAG,CAAC,EAAEA,GAAG,CAAC,EAAE;MAC7BR,GAAG,CAACQ,GAAG,CAAC,GAAGf,IAAI,CAACe,GAAG,CAAC;IACtB;EACF;EACA,OAAOR,GAAG;AACZ,CAAC,CACF;AAED;;;;;;;;;;;;;;;;;AAiBA,OAAO,MAAM+B,QAAQ,GAGnBtC,IAAyC,IACK;EAC9C,MAAMO,GAAG,GAAsBT,KAAK,EAAE;EACtC,KAAK,MAAMiB,GAAG,IAAIb,IAAI,CAACF,IAAI,CAAC,EAAE;IAC5B,MAAMuC,MAAM,GAAGvC,IAAI,CAACe,GAAG,CAAC;IACxB,IAAIpB,MAAM,CAAC6C,MAAM,CAACD,MAAM,CAAC,EAAE;MACzBhC,GAAG,CAACQ,GAAG,CAAC,GAAGwB,MAAM,CAACrB,KAAK;IACzB;EACF;EACA,OAAOX,GAAG;AACZ,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;AAqBA,OAAO,MAAMkC,WAAW,GACtBzC,IAAqC,IACS;EAC9C,MAAMO,GAAG,GAAsBT,KAAK,EAAE;EACtC,KAAK,MAAMiB,GAAG,IAAIb,IAAI,CAACF,IAAI,CAAC,EAAE;IAC5B,MAAMkB,KAAK,GAAGlB,IAAI,CAACe,GAAG,CAAC;IACvB,IAAIlB,CAAC,CAAC6C,SAAS,CAACxB,KAAK,CAAC,EAAE;MACtBX,GAAG,CAACQ,GAAG,CAAC,GAAGG,KAAK,CAACyB,OAAO;IAC1B;EACF;EAEA,OAAOpC,GAAG;AACZ,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;AAqBA,OAAO,MAAMqC,YAAY,GACvB5C,IAAqC,IAChB;EACrB,MAAMO,GAAG,GAAsBT,KAAK,EAAE;EACtC,KAAK,MAAMiB,GAAG,IAAIb,IAAI,CAACF,IAAI,CAAC,EAAE;IAC5B,MAAMkB,KAAK,GAAGlB,IAAI,CAACe,GAAG,CAAC;IACvB,IAAIlB,CAAC,CAACqC,SAAS,CAAChB,KAAK,CAAC,EAAE;MACtBX,GAAG,CAACQ,GAAG,CAAC,GAAGG,KAAK,CAACiB,OAAO;IAC1B;EACF;EAEA,OAAO5B,GAAG;AACZ,CAAC;AAED;;;;;;;;;;;;;;;;AAgBA,OAAO,MAAMsC,SAAS,gBAqClBpD,IAAI,CACN,CAAC,EACD,CACEO,IAA0B,EAC1BM,CAAqC,KACoE;EACzG,MAAMwC,IAAI,GAAsBhD,KAAK,EAAE;EACvC,MAAMiD,KAAK,GAAsBjD,KAAK,EAAE;EACxC,KAAK,MAAMiB,GAAG,IAAIb,IAAI,CAACF,IAAI,CAAC,EAAE;IAC5B,MAAMgD,CAAC,GAAG1C,CAAC,CAACN,IAAI,CAACe,GAAG,CAAC,EAAEA,GAAG,CAAC;IAC3B,IAAIlB,CAAC,CAAC6C,SAAS,CAACM,CAAC,CAAC,EAAE;MAClBF,IAAI,CAAC/B,GAAG,CAAC,GAAGiC,CAAC,CAACL,OAAO;IACvB,CAAC,MAAM;MACLI,KAAK,CAAChC,GAAG,CAAC,GAAGiC,CAAC,CAACb,OAAO;IACxB;EACF;EACA,OAAO,CAACW,IAAI,EAAEC,KAAK,CAAC;AACtB,CAAC,CACF;AAED;;;;;;;;;;;;;;;;;;AAkBA,OAAO,MAAME,QAAQ,gBAE2EJ,SAAS,CAACnD,QAAQ,CAAC;AAEnH;;;;;;;;;;;;;;AAcA,OAAO,MAAMQ,IAAI,GAAkCF,IAA0B,IAC3EC,MAAM,CAACC,IAAI,CAACF,IAAI,CAAsB;AAExC;;;;;;;;;;;;;;AAcA,OAAO,MAAMkD,MAAM,GAAyBlD,IAA0B,IAAec,OAAO,CAACd,IAAI,EAAE,CAACmD,CAAC,EAAE3C,CAAC,KAAKA,CAAC,CAAC;AAE/G;;;;;;;;;;;;;;;AAeA,OAAO,MAAM4C,GAAG,gBAiCZ3D,IAAI,CACN,CAAC,EACD,CACEO,IAA0B,EAC1Be,GAAO,EACPG,KAAQ,KACiB;EACzB,OAAO;IAAE,GAAGlB,IAAI;IAAE,CAACe,GAAG,GAAGG;EAAK,CAAS;AACzC,CAAC,CACF;AAED;;;;;;;;;;;;;;;;;;;;;;;;AAwBA,OAAO,MAAMmC,aAAa,GAAOC,WAA2B,IAI1D7D,IAAI,CAAC,CAAC,EAAE,CAAmBO,IAA0B,EAAEuD,IAA0B,KAAa;EAC5F,KAAK,MAAMxC,GAAG,IAAIb,IAAI,CAACF,IAAI,CAAC,EAAE;IAC5B,IAAI,CAACoB,GAAG,CAACmC,IAAI,EAAExC,GAAG,CAAC,IAAI,CAACuC,WAAW,CAACtD,IAAI,CAACe,GAAG,CAAC,EAAEwC,IAAI,CAACxC,GAAG,CAAC,CAAC,EAAE;MACzD,OAAO,KAAK;IACd;EACF;EACA,OAAO,IAAI;AACb,CAAC,CAAC;AAEJ;;;;;;;;;;;;;;;;;;;;;;AAsBA,OAAO,MAAMyC,WAAW,gBA+CpBH,aAAa,cAAC7D,KAAK,CAACiE,aAAa,EAAE,CAAC;AAExC;;;;;;;;;;;;;;;;;AAiBA,OAAO,MAAMC,MAAM,gBAyCfjE,IAAI,CACN,CAAC,EACD,CACEO,IAA0B,EAC1B2D,IAAO,EACPrD,CAA0C,KACrC;EACL,IAAIC,GAAG,GAAMoD,IAAI;EACjB,KAAK,MAAM5C,GAAG,IAAIb,IAAI,CAACF,IAAI,CAAC,EAAE;IAC5BO,GAAG,GAAGD,CAAC,CAACC,GAAG,EAAEP,IAAI,CAACe,GAAG,CAAC,EAAEA,GAAG,CAAC;EAC9B;EACA,OAAOR,GAAG;AACZ,CAAC,CACF;AAED;;;;;;;;;;;;;;;AAeA,OAAO,MAAMqD,KAAK,gBAiEdnE,IAAI,CACN,CAAC,EACD,CACEO,IAA0B,EAC1B6D,UAA4C,KACZ;EAChC,KAAK,MAAM9C,GAAG,IAAIb,IAAI,CAACF,IAAI,CAAC,EAAE;IAC5B,IAAI,CAAC6D,UAAU,CAAC7D,IAAI,CAACe,GAAG,CAAC,EAAEA,GAAG,CAAC,EAAE;MAC/B,OAAO,KAAK;IACd;EACF;EACA,OAAO,IAAI;AACb,CAAC,CACF;AAED;;;;;;;;;;;;;;;AAeA,OAAO,MAAMQ,IAAI,gBAiCb9B,IAAI,CACN,CAAC,EACD,CAAsBO,IAA0B,EAAEqC,SAAwC,KAAa;EACrG,KAAK,MAAMtB,GAAG,IAAIb,IAAI,CAACF,IAAI,CAAC,EAAE;IAC5B,IAAIqC,SAAS,CAACrC,IAAI,CAACe,GAAG,CAAC,EAAEA,GAAG,CAAC,EAAE;MAC7B,OAAO,IAAI;IACb;EACF;EACA,OAAO,KAAK;AACd,CAAC,CACF;AAED;;;;;;;;;;;;;;;;;;AAkBA,OAAO,MAAM+C,KAAK,gBA2CdrE,IAAI,CACN,CAAC,EACD,CACEO,IAA2B,EAC3BuD,IAA2B,EAC3BQ,OAA0C,KACZ;EAC9B,IAAIhE,aAAa,CAACC,IAAI,CAAC,EAAE;IACvB,OAAO;MAAE,GAAGuD;IAAI,CAAS;EAC3B;EACA,IAAIxD,aAAa,CAACwD,IAAI,CAAC,EAAE;IACvB,OAAO;MAAE,GAAGvD;IAAI,CAAS;EAC3B;EACA,MAAMO,GAAG,GAA8BT,KAAK,EAAE;EAC9C,KAAK,MAAMiB,GAAG,IAAIb,IAAI,CAACF,IAAI,CAAC,EAAE;IAC5B,IAAIoB,GAAG,CAACmC,IAAI,EAAExC,GAAU,CAAC,EAAE;MACzBR,GAAG,CAACQ,GAAG,CAAC,GAAGgD,OAAO,CAAC/D,IAAI,CAACe,GAAG,CAAC,EAAEwC,IAAI,CAACxC,GAAoB,CAAC,CAAC;IAC3D,CAAC,MAAM;MACLR,GAAG,CAACQ,GAAG,CAAC,GAAGf,IAAI,CAACe,GAAG,CAAC;IACtB;EACF;EACA,KAAK,MAAMA,GAAG,IAAIb,IAAI,CAACqD,IAAI,CAAC,EAAE;IAC5B,IAAI,CAACnC,GAAG,CAACb,GAAG,EAAEQ,GAAG,CAAC,EAAE;MAClBR,GAAG,CAACQ,GAAG,CAAC,GAAGwC,IAAI,CAACxC,GAAG,CAAC;IACtB;EACF;EACA,OAAOR,GAAG;AACZ,CAAC,CACF;AAED;;;;;;;;;;;;;;;;;;AAkBA,OAAO,MAAMyD,YAAY,gBA2CrBvE,IAAI,CACN,CAAC,EACD,CACEO,IAA2B,EAC3BuD,IAA2B,EAC3BQ,OAA0C,KACS;EACnD,MAAMxD,GAAG,GAAsBT,KAAK,EAAE;EACtC,IAAIC,aAAa,CAACC,IAAI,CAAC,IAAID,aAAa,CAACwD,IAAI,CAAC,EAAE;IAC9C,OAAOhD,GAAG;EACZ;EACA,KAAK,MAAMQ,GAAG,IAAIb,IAAI,CAACF,IAAI,CAAC,EAAE;IAC5B,IAAIoB,GAAG,CAACmC,IAAI,EAAExC,GAAU,CAAC,EAAE;MACzBR,GAAG,CAACQ,GAAG,CAAC,GAAGgD,OAAO,CAAC/D,IAAI,CAACe,GAAG,CAAC,EAAEwC,IAAI,CAACxC,GAAoB,CAAC,CAAC;IAC3D;EACF;EACA,OAAOR,GAAG;AACZ,CAAC,CACF;AAED;;;;;;;;;;;;;;;;;;AAkBA,OAAO,MAAM0D,UAAU,gBAuCnBxE,IAAI,CAAC,CAAC,EAAE,CACVO,IAA2B,EAC3BuD,IAA2B,KACD;EAC1B,IAAIxD,aAAa,CAACC,IAAI,CAAC,EAAE;IACvB,OAAO;MAAE,GAAGuD;IAAI,CAAS;EAC3B;EACA,IAAIxD,aAAa,CAACwD,IAAI,CAAC,EAAE;IACvB,OAAO;MAAE,GAAGvD;IAAI,CAAS;EAC3B;EACA,MAAMO,GAAG,GAAG,EAA4B;EACxC,KAAK,MAAMQ,GAAG,IAAIb,IAAI,CAACF,IAAI,CAAC,EAAE;IAC5B,IAAI,CAACoB,GAAG,CAACmC,IAAI,EAAExC,GAAU,CAAC,EAAE;MAC1BR,GAAG,CAACQ,GAAG,CAAC,GAAGf,IAAI,CAACe,GAAG,CAAC;IACtB;EACF;EACA,KAAK,MAAMA,GAAG,IAAIb,IAAI,CAACqD,IAAI,CAAC,EAAE;IAC5B,IAAI,CAACnC,GAAG,CAACpB,IAAI,EAAEe,GAAU,CAAC,EAAE;MAC1BR,GAAG,CAACQ,GAAG,CAAC,GAAGwC,IAAI,CAACxC,GAAG,CAAC;IACtB;EACF;EACA,OAAOR,GAAG;AACZ,CAAC,CAAC;AAEF;;;;;;;;;;;;;;;;;;AAkBA,OAAO,MAAM2D,eAAe,GAC1BZ,WAA2B,IACU;EACrC,MAAMa,EAAE,GAAGd,aAAa,CAACC,WAAW,CAAC;EACrC,OAAO,CAACtD,IAAI,EAAEuD,IAAI,KAAKY,EAAE,CAACnE,IAAI,EAAEuD,IAAI,CAAC,IAAIY,EAAE,CAACZ,IAAI,EAAEvD,IAAI,CAAC;AACzD,CAAC;AAED;;;;;;;;;;;;;;AAcA,OAAO,MAAMoE,SAAS,GAAGA,CAA+BrD,GAAM,EAAEG,KAAQ,MAAoB;EAC1F,CAACH,GAAG,GAAGG;CACA;AAET;;;;;;;AAOA,OAAM,SAAUmD,gBAAgBA,CAAsBC,QAA8B;EAClF,OAAO1E,OAAO,CAAC2E,IAAI,CACjB,CAACvE,IAAI,EAAEuD,IAAI,KAAKO,KAAK,CAAC9D,IAAI,EAAEuD,IAAI,EAAEe,QAAQ,CAACP,OAAO,CAAC,EACnD,EAAkB,CACnB;AACH;AAEA;;;;;;;AAOA,OAAM,SAAUS,uBAAuBA,CACrCF,QAA8B;EAE9B,OAAO1E,OAAO,CAAC2E,IAAI,CACjB,CAACvE,IAAI,EAAEuD,IAAI,KAAKS,YAAY,CAAChE,IAAI,EAAEuD,IAAI,EAAEe,QAAQ,CAACP,OAAO,CAAQ,EACjE,EAAkB,CACnB;AACH;AAEA;;;;;;;;;;;;;;;;;;;AAmBA,OAAO,MAAMU,SAAS,gBAuFlBhF,IAAI,CACN,CAAC,EACD,CACEO,IAA0B,EAC1BM,CAAgC,KACP;EACzB,MAAMG,CAAC,GAAGP,IAAI,CAACF,IAAI,CAAC;EACpB,KAAK,IAAI0E,CAAC,GAAG,CAAC,EAAEA,CAAC,GAAGjE,CAAC,CAACN,MAAM,EAAEuE,CAAC,EAAE,EAAE;IACjC,MAAM3D,GAAG,GAAGN,CAAC,CAACiE,CAAC,CAAC;IAChB,IAAIpE,CAAC,CAACN,IAAI,CAACe,GAAG,CAAC,EAAEA,GAAG,CAAC,EAAE;MACrB,OAAOpB,MAAM,CAAC4B,IAAI,CAAC,CAACR,GAAG,EAAEf,IAAI,CAACe,GAAG,CAAC,CAAC,CAAC;IACtC;EACF;EACA,OAAOpB,MAAM,CAAC6B,IAAI,EAAE;AACtB,CAAC,CACF","ignoreList":[]}

package/dist/Reducer.d.ts

@@ -1,15 +1,105 @@
 /**
+ * A module for reducing collections of values into a single result.
+ *
+ * A `Reducer<A>` extends {@link Combiner.Combiner} by adding an
+ * `initialValue` (identity element) and a `combineAll` method that folds an
+ * entire collection. Think `Array.prototype.reduce`, but packaged as a
+ * reusable, composable value.
+ *
+ * ## Mental model
+ *
+ * - **Reducer** – a {@link Combiner.Combiner} plus an `initialValue` and a
+ *   `combineAll` method.
+ * - **initialValue** – the neutral/identity element. Combining any value with
+ *   `initialValue` should return the original value unchanged (e.g. `0` for
+ *   addition, `""` for string concatenation).
+ * - **combineAll** – folds an `Iterable<A>` starting from `initialValue`.
+ *   When omitted from {@link make}, a default left-to-right fold is used.
+ * - **Purity** – all reducers produced by this module are pure; they never
+ *   mutate their arguments.
+ * - **Composability** – reducers can be lifted into `Option`, `Struct`,
+ *   `Tuple`, `Record`, and other container types via helpers in those modules.
+ * - **Subtype of Combiner** – every `Reducer` is also a valid
+ *   `Combiner`, so you can pass a `Reducer` anywhere a `Combiner` is
+ *   expected.
+ *
+ * ## Common tasks
+ *
+ * - Create a reducer from a combine function and initial value → {@link make}
+ * - Swap argument order → {@link flip}
+ * - Combine two values without an initial value → use {@link Combiner.Combiner}
+ *   instead
+ *
+ * ## Gotchas
+ *
+ * - `combineAll` on an empty iterable returns `initialValue`, not an error.
+ * - The default `combineAll` folds left-to-right. If your `combine` is not
+ *   associative, order matters. Pass a custom `combineAll` to {@link make} if
+ *   you need different traversal or short-circuiting.
+ * - A `Reducer` is also a valid `Combiner` — but a `Combiner` is *not* a
+ *   `Reducer` (it lacks `initialValue`).
+ *
+ * ## Quickstart
+ *
+ * **Example** (summing a list of numbers)
+ *
+ * ```ts
+ * import { Reducer } from "effect"
+ *
+ * const Sum = Reducer.make<number>((a, b) => a + b, 0)
+ *
+ * console.log(Sum.combine(3, 4))
+ * // Output: 7
+ *
+ * console.log(Sum.combineAll([1, 2, 3, 4]))
+ * // Output: 10
+ *
+ * console.log(Sum.combineAll([]))
+ * // Output: 0
+ * ```
+ *
+ * ## See also
+ *
+ * - {@link make} – the primary constructor
+ * - {@link Reducer} – the core interface
+ * - {@link Combiner.Combiner} – the parent interface (no `initialValue`)
+ *
  * @since 4.0.0
  */
 import type * as Combiner from "./Combiner.ts";
 /**
- * A `Reducer` is a `Combiner` with an `initialValue` and a way to
- * combine a whole collection. Think `Array.prototype.reduce`, but reusable.
+ * Represents a strategy for reducing a collection of values of type `A` into
+ * a single result.
+ *
+ * Extends {@link Combiner.Combiner} with:
+ * - `initialValue` – the identity/neutral element for `combine`.
+ * - `combineAll` – folds an entire `Iterable<A>` from `initialValue`.
+ *
+ * When to use:
+ * - You need to fold/reduce a collection into a single value.
+ * - You want a reusable reducing strategy that can be passed to library
+ *   functions like `Struct.makeReducer`, `Option.makeReducer`, or
+ *   `Record.makeReducerUnion`.
+ * - You need both the combining logic *and* a known starting value.
+ *
+ * Many modules ship pre-built reducers:
+ * - `Number.ReducerSum`, `Number.ReducerMultiply`
+ * - `String.ReducerConcat`
+ * - `Boolean.ReducerAnd`, `Boolean.ReducerOr`
  *
- * Common initial values:
- * - numbers with addition: `0`
- * - strings with concatenation: `""`
- * - arrays with concatenation: `[]`
+ * **Example** (string concatenation reducer)
+ *
+ * ```ts
+ * import { Reducer } from "effect"
+ *
+ * const Concat = Reducer.make<string>((a, b) => a + b, "")
+ *
+ * console.log(Concat.combineAll(["hello", " ", "world"]))
+ * // Output: "hello world"
+ * ```
+ *
+ * @see {@link make} – create a `Reducer` from a function and initial value
+ * @see {@link Combiner.Combiner} – parent interface without `initialValue`
  *
  * @category model
  * @since 4.0.0
@@ -23,12 +113,81 @@ export interface Reducer<A> extends Combiner.Combiner<A> {
 /**
  * Creates a `Reducer` from a `combine` function and an `initialValue`.
  *
- * If `combineAll` is omitted, a default implementation reduces left-to-right.
+ * When to use:
+ * - You have a custom reducing operation not covered by a pre-built reducer.
+ * - You want to provide an optimized `combineAll` (e.g. short-circuiting on
+ *   a known absorbing element like `0` for multiplication).
+ *
+ * Behavior:
+ * - If `combineAll` is omitted, a default left-to-right fold starting from
+ *   `initialValue` is used.
+ * - If `combineAll` is provided, it completely replaces the default fold.
+ * - Pure – the returned reducer does not mutate its arguments.
+ *
+ * **Example** (multiplication with short-circuit)
+ *
+ * ```ts
+ * import { Reducer } from "effect"
+ *
+ * const Product = Reducer.make<number>(
+ *   (a, b) => a * b,
+ *   1,
+ *   (collection) => {
+ *     let acc = 1
+ *     for (const n of collection) {
+ *       if (n === 0) return 0
+ *       acc *= n
+ *     }
+ *     return acc
+ *   }
+ * )
+ *
+ * console.log(Product.combineAll([2, 3, 4]))
+ * // Output: 24
+ *
+ * console.log(Product.combineAll([2, 0, 4]))
+ * // Output: 0
+ * ```
+ *
+ * @see {@link Reducer} – the interface this creates
+ * @see {@link flip} – reverse the argument order
  *
  * @since 4.0.0
  */
 export declare function make<A>(combine: (self: A, that: A) => A, initialValue: A, combineAll?: (collection: Iterable<A>) => A): Reducer<A>;
 /**
+ * Reverses the argument order of a reducer's `combine` method.
+ *
+ * When to use:
+ * - You need the "right" value to act as the accumulator side.
+ * - You want to reverse the natural direction of a non-commutative reducer
+ *   (e.g. string concatenation becomes prepend).
+ *
+ * Behavior:
+ * - Returns a new `Reducer` where `combine(self, that)` calls the original
+ *   reducer as `combine(that, self)`.
+ * - The `initialValue` is preserved from the original reducer.
+ * - The `combineAll` is re-derived from the flipped `combine` (using the
+ *   default left-to-right fold), not carried over from the original.
+ * - Does not mutate the input reducer.
+ *
+ * **Example** (reversing string concatenation)
+ *
+ * ```ts
+ * import { Reducer, String } from "effect"
+ *
+ * const Prepend = Reducer.flip(String.ReducerConcat)
+ *
+ * console.log(Prepend.combine("a", "b"))
+ * // Output: "ba"
+ *
+ * console.log(Prepend.combineAll(["a", "b", "c"]))
+ * // Output: "cba"
+ * ```
+ *
+ * @see {@link make}
+ * @see {@link Combiner.flip} – the same operation on a plain `Combiner`
+ *
  * @since 4.0.0
  */
 export declare function flip<A>(reducer: Reducer<A>): Reducer<A>;

package/dist/Reducer.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"Reducer.d.ts","sourceRoot":"","sources":["../src/Reducer.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,KAAK,QAAQ,MAAM,eAAe,CAAA;AAE9C;;;;;;;;;;;GAWG;AACH,MAAM,WAAW,OAAO,CAAC,CAAC,CAAE,SAAQ,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC;IACtD,oEAAoE;IACpE,QAAQ,CAAC,YAAY,EAAE,CAAC,CAAA;IAExB,2EAA2E;IAC3E,QAAQ,CAAC,UAAU,EAAE,CAAC,UAAU,EAAE,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,CAAA;CACpD;AAED;;;;;;GAMG;AACH,wBAAgB,IAAI,CAAC,CAAC,EACpB,OAAO,EAAE,CAAC,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,KAAK,CAAC,EAChC,YAAY,EAAE,CAAC,EACf,UAAU,CAAC,EAAE,CAAC,UAAU,EAAE,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,GAC1C,OAAO,CAAC,CAAC,CAAC,CAaZ;AAED;;GAEG;AACH,wBAAgB,IAAI,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC,CAEvD"}
+{"version":3,"file":"Reducer.d.ts","sourceRoot":"","sources":["../src/Reducer.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAmEG;AAEH,OAAO,KAAK,KAAK,QAAQ,MAAM,eAAe,CAAA;AAE9C;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAoCG;AACH,MAAM,WAAW,OAAO,CAAC,CAAC,CAAE,SAAQ,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC;IACtD,oEAAoE;IACpE,QAAQ,CAAC,YAAY,EAAE,CAAC,CAAA;IAExB,2EAA2E;IAC3E,QAAQ,CAAC,UAAU,EAAE,CAAC,UAAU,EAAE,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,CAAA;CACpD;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2CG;AACH,wBAAgB,IAAI,CAAC,CAAC,EACpB,OAAO,EAAE,CAAC,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,KAAK,CAAC,EAChC,YAAY,EAAE,CAAC,EACf,UAAU,CAAC,EAAE,CAAC,UAAU,EAAE,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,GAC1C,OAAO,CAAC,CAAC,CAAC,CAaZ;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAkCG;AACH,wBAAgB,IAAI,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC,CAEvD"}

package/dist/Reducer.js

@@ -1,10 +1,112 @@
 /**
+ * A module for reducing collections of values into a single result.
+ *
+ * A `Reducer<A>` extends {@link Combiner.Combiner} by adding an
+ * `initialValue` (identity element) and a `combineAll` method that folds an
+ * entire collection. Think `Array.prototype.reduce`, but packaged as a
+ * reusable, composable value.
+ *
+ * ## Mental model
+ *
+ * - **Reducer** – a {@link Combiner.Combiner} plus an `initialValue` and a
+ *   `combineAll` method.
+ * - **initialValue** – the neutral/identity element. Combining any value with
+ *   `initialValue` should return the original value unchanged (e.g. `0` for
+ *   addition, `""` for string concatenation).
+ * - **combineAll** – folds an `Iterable<A>` starting from `initialValue`.
+ *   When omitted from {@link make}, a default left-to-right fold is used.
+ * - **Purity** – all reducers produced by this module are pure; they never
+ *   mutate their arguments.
+ * - **Composability** – reducers can be lifted into `Option`, `Struct`,
+ *   `Tuple`, `Record`, and other container types via helpers in those modules.
+ * - **Subtype of Combiner** – every `Reducer` is also a valid
+ *   `Combiner`, so you can pass a `Reducer` anywhere a `Combiner` is
+ *   expected.
+ *
+ * ## Common tasks
+ *
+ * - Create a reducer from a combine function and initial value → {@link make}
+ * - Swap argument order → {@link flip}
+ * - Combine two values without an initial value → use {@link Combiner.Combiner}
+ *   instead
+ *
+ * ## Gotchas
+ *
+ * - `combineAll` on an empty iterable returns `initialValue`, not an error.
+ * - The default `combineAll` folds left-to-right. If your `combine` is not
+ *   associative, order matters. Pass a custom `combineAll` to {@link make} if
+ *   you need different traversal or short-circuiting.
+ * - A `Reducer` is also a valid `Combiner` — but a `Combiner` is *not* a
+ *   `Reducer` (it lacks `initialValue`).
+ *
+ * ## Quickstart
+ *
+ * **Example** (summing a list of numbers)
+ *
+ * ```ts
+ * import { Reducer } from "effect"
+ *
+ * const Sum = Reducer.make<number>((a, b) => a + b, 0)
+ *
+ * console.log(Sum.combine(3, 4))
+ * // Output: 7
+ *
+ * console.log(Sum.combineAll([1, 2, 3, 4]))
+ * // Output: 10
+ *
+ * console.log(Sum.combineAll([]))
+ * // Output: 0
+ * ```
+ *
+ * ## See also
+ *
+ * - {@link make} – the primary constructor
+ * - {@link Reducer} – the core interface
+ * - {@link Combiner.Combiner} – the parent interface (no `initialValue`)
+ *
  * @since 4.0.0
  */
 /**
  * Creates a `Reducer` from a `combine` function and an `initialValue`.
  *
- * If `combineAll` is omitted, a default implementation reduces left-to-right.
+ * When to use:
+ * - You have a custom reducing operation not covered by a pre-built reducer.
+ * - You want to provide an optimized `combineAll` (e.g. short-circuiting on
+ *   a known absorbing element like `0` for multiplication).
+ *
+ * Behavior:
+ * - If `combineAll` is omitted, a default left-to-right fold starting from
+ *   `initialValue` is used.
+ * - If `combineAll` is provided, it completely replaces the default fold.
+ * - Pure – the returned reducer does not mutate its arguments.
+ *
+ * **Example** (multiplication with short-circuit)
+ *
+ * ```ts
+ * import { Reducer } from "effect"
+ *
+ * const Product = Reducer.make<number>(
+ *   (a, b) => a * b,
+ *   1,
+ *   (collection) => {
+ *     let acc = 1
+ *     for (const n of collection) {
+ *       if (n === 0) return 0
+ *       acc *= n
+ *     }
+ *     return acc
+ *   }
+ * )
+ *
+ * console.log(Product.combineAll([2, 3, 4]))
+ * // Output: 24
+ *
+ * console.log(Product.combineAll([2, 0, 4]))
+ * // Output: 0
+ * ```
+ *
+ * @see {@link Reducer} – the interface this creates
+ * @see {@link flip} – reverse the argument order
  *
  * @since 4.0.0
  */
@@ -22,6 +124,38 @@ export function make(combine, initialValue, combineAll) {
   };
 }
 /**
+ * Reverses the argument order of a reducer's `combine` method.
+ *
+ * When to use:
+ * - You need the "right" value to act as the accumulator side.
+ * - You want to reverse the natural direction of a non-commutative reducer
+ *   (e.g. string concatenation becomes prepend).
+ *
+ * Behavior:
+ * - Returns a new `Reducer` where `combine(self, that)` calls the original
+ *   reducer as `combine(that, self)`.
+ * - The `initialValue` is preserved from the original reducer.
+ * - The `combineAll` is re-derived from the flipped `combine` (using the
+ *   default left-to-right fold), not carried over from the original.
+ * - Does not mutate the input reducer.
+ *
+ * **Example** (reversing string concatenation)
+ *
+ * ```ts
+ * import { Reducer, String } from "effect"
+ *
+ * const Prepend = Reducer.flip(String.ReducerConcat)
+ *
+ * console.log(Prepend.combine("a", "b"))
+ * // Output: "ba"
+ *
+ * console.log(Prepend.combineAll(["a", "b", "c"]))
+ * // Output: "cba"
+ * ```
+ *
+ * @see {@link make}
+ * @see {@link Combiner.flip} – the same operation on a plain `Combiner`
+ *
  * @since 4.0.0
  */
 export function flip(reducer) {

package/dist/Reducer.js.map

@@ -1 +1 @@
-{"version":3,"file":"Reducer.js","names":["make","combine","initialValue","combineAll","collection","out","value","flip","reducer","self","that"],"sources":["../src/Reducer.ts"],"sourcesContent":[null],"mappings":"AAAA;;;AA0BA;;;;;;;AAOA,OAAM,SAAUA,IAAIA,CAClBC,OAAgC,EAChCC,YAAe,EACfC,UAA2C;EAE3C,OAAO;IACLF,OAAO;IACPC,YAAY;IACZC,UAAU,EAAEA,UAAU,KAClBC,UAAU,IAAI;MACd,IAAIC,GAAG,GAAGH,YAAY;MACtB,KAAK,MAAMI,KAAK,IAAIF,UAAU,EAAE;QAC9BC,GAAG,GAAGJ,OAAO,CAACI,GAAG,EAAEC,KAAK,CAAC;MAC3B;MACA,OAAOD,GAAG;IACZ,CAAC;GACJ;AACH;AAEA;;;AAGA,OAAM,SAAUE,IAAIA,CAAIC,OAAmB;EACzC,OAAOR,IAAI,CAAC,CAACS,IAAI,EAAEC,IAAI,KAAKF,OAAO,CAACP,OAAO,CAACS,IAAI,EAAED,IAAI,CAAC,EAAED,OAAO,CAACN,YAAY,CAAC;AAChF","ignoreList":[]}
+{"version":3,"file":"Reducer.js","names":["make","combine","initialValue","combineAll","collection","out","value","flip","reducer","self","that"],"sources":["../src/Reducer.ts"],"sourcesContent":[null],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAoHA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AA4CA,OAAM,SAAUA,IAAIA,CAClBC,OAAgC,EAChCC,YAAe,EACfC,UAA2C;EAE3C,OAAO;IACLF,OAAO;IACPC,YAAY;IACZC,UAAU,EAAEA,UAAU,KAClBC,UAAU,IAAI;MACd,IAAIC,GAAG,GAAGH,YAAY;MACtB,KAAK,MAAMI,KAAK,IAAIF,UAAU,EAAE;QAC9BC,GAAG,GAAGJ,OAAO,CAACI,GAAG,EAAEC,KAAK,CAAC;MAC3B;MACA,OAAOD,GAAG;IACZ,CAAC;GACJ;AACH;AAEA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAmCA,OAAM,SAAUE,IAAIA,CAAIC,OAAmB;EACzC,OAAOR,IAAI,CAAC,CAACS,IAAI,EAAEC,IAAI,KAAKF,OAAO,CAACP,OAAO,CAACS,IAAI,EAAED,IAAI,CAAC,EAAED,OAAO,CAACN,YAAY,CAAC;AAChF","ignoreList":[]}