@ts-fns/stdlib 0.1.0

package/dist/iterator/index.mjs

@@ -0,0 +1,148 @@
+import { t as purry } from "../purry-BOWmqwDB.mjs";
+import { t as isNotNil } from "../isNotNil-R5f1hC53.mjs";
+//#region src/iterator/_globalAliases.ts
+const { from } = Iterator;
+//#endregion
+//#region src/iterator/drop.ts
+function dropImplementation(iter, limit) {
+	try {
+		return iter.drop(limit);
+	} catch (e) {
+		if (e instanceof RangeError) throw new RangeError(`Iter.drop() :: ${e.message}`);
+		throw e;
+	}
+}
+function drop(...args) {
+	return purry(dropImplementation, args);
+}
+//#endregion
+//#region src/iterator/every.ts
+function everyImplementation(data, predicate) {
+	return data.every(predicate);
+}
+function every(...args) {
+	return purry(everyImplementation, args);
+}
+//#endregion
+//#region src/iterator/filter.ts
+function filterImplementation(data, predicate) {
+	return data.filter(predicate);
+}
+function filter(...args) {
+	return purry(filterImplementation, args);
+}
+//#endregion
+//#region src/guard/orNull.ts
+/**
+* Normalize nullish values to `null`, leaving all other values unchanged.
+* Equivalent to `value ?? null`.
+*
+* @category Guard
+* @param value - A value that may be `null` or `undefined`.
+* @returns `null` when `value` is `null` or `undefined`; otherwise `value` with `null` and `undefined` removed from its type.
+*
+* @example
+* ```ts
+* orNull(0); // 0
+* orNull(undefined); // null
+* orNull(null); // null
+* ```
+*/
+function orNull(value) {
+	return value ?? null;
+}
+//#endregion
+//#region src/iterator/find.ts
+function findImplementation(data, predicate) {
+	return orNull(data.find(predicate));
+}
+function find(...args) {
+	return purry(findImplementation, args);
+}
+//#endregion
+//#region src/iterator/flatMap.ts
+function flatMapImplementation(data, fn) {
+	return data.flatMap(fn);
+}
+function flatMap(...args) {
+	return purry(flatMapImplementation, args);
+}
+//#endregion
+//#region src/iterator/map.ts
+function mapImplementation(data, fn) {
+	return data.map(fn);
+}
+function map(...args) {
+	return purry(mapImplementation, args);
+}
+//#endregion
+//#region src/iterator/range.ts
+function rangeWithOptsImplementation(start, end, option) {
+	if (start === Infinity || start === -Infinity) throw new RangeError(`range() start argument cannot be ${start}`);
+	if (Number.isNaN(start)) throw new RangeError(`range() start argument cannot be NaN`);
+	if (Number.isNaN(end)) throw new RangeError(`range() end argument cannot be NaN`);
+	if (typeof start === "bigint" && isNotNil(option.step) && typeof option.step !== "bigint") throw new RangeError(`range() option.step argument must be of the same type as start`);
+	if (isNotNil(option.step) && option.step <= 0) {
+		if (option.step < 1) throw new RangeError(`Arr.range() :: ${option.step} must be a positive integer`);
+	}
+	const { inclusive = false } = option;
+	const step = option.step ?? (typeof start === "bigint" ? 1n : 1);
+	const isIncreasing = start < end;
+	const changeFunc = start < end ? (value) => value + step : (value) => value - step;
+	const endCondition = (() => {
+		if (isIncreasing && inclusive) return (value) => value <= end;
+		if (isIncreasing && !inclusive) return (value) => value < end;
+		if (!isIncreasing && inclusive) return (value) => value >= end;
+		return (value) => value > end;
+	})();
+	const gen = function* () {
+		let current = start;
+		while (endCondition(current)) {
+			yield current;
+			current = changeFunc(current);
+		}
+	};
+	return gen();
+}
+function rangeImplementation(start, end) {
+	return rangeWithOptsImplementation(start, end, {});
+}
+function range(...args) {
+	return purry(rangeImplementation, args);
+}
+function rangeWithOpts(...args) {
+	return purry(rangeWithOptsImplementation, args);
+}
+//#endregion
+//#region src/iterator/reduce.ts
+function reduceImplementation(data, fn, initialValue) {
+	return data.reduce(fn, initialValue);
+}
+function reduce(...args) {
+	return purry(reduceImplementation, args);
+}
+//#endregion
+//#region src/iterator/some.ts
+function someImplementation(data, predicate) {
+	return data.some(predicate);
+}
+function some(...args) {
+	return purry(someImplementation, args);
+}
+//#endregion
+//#region src/iterator/take.ts
+function takeImplementation(iter, limit) {
+	try {
+		return iter.take(limit);
+	} catch (e) {
+		if (e instanceof RangeError) throw new RangeError(`Iter.take() :: ${e.message}`);
+		throw e;
+	}
+}
+function take(...args) {
+	return purry(takeImplementation, args);
+}
+//#endregion
+export { drop, every, filter, find, flatMap, from, map, range, rangeWithOpts, reduce, some, take };
+
+//# sourceMappingURL=index.mjs.map

package/dist/iterator/index.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.mjs","names":[],"sources":["../../src/iterator/_globalAliases.ts","../../src/iterator/drop.ts","../../src/iterator/every.ts","../../src/iterator/filter.ts","../../src/guard/orNull.ts","../../src/iterator/find.ts","../../src/iterator/flatMap.ts","../../src/iterator/map.ts","../../src/iterator/range.ts","../../src/iterator/reduce.ts","../../src/iterator/some.ts","../../src/iterator/take.ts"],"sourcesContent":["// TODO: look into this eslint error\n// eslint-disable-next-line @typescript-eslint/unbound-method\nexport const { from } = Iterator;\n","import { purry } from '../function/purry';\n\nfunction dropImplementation<T>(iter: IteratorObject<T, any, any>, limit: number): IteratorObject<T, undefined> {\n  try {\n    return iter.drop(limit);\n  } catch (e) {\n    if (e instanceof RangeError) {\n      throw new RangeError(`Iter.drop() :: ${e.message}`);\n    }\n    throw e;\n  }\n}\n\n/**\n * @throws {RangeError}\n */\nexport function drop<T>(limit: number): (iter: IteratorObject<T, any, any>) => IteratorObject<T, undefined>;\nexport function drop<T>(iter: IteratorObject<T, any, any>, limit: number): IteratorObject<T, undefined>;\nexport function drop(...args: readonly unknown[]): unknown {\n  return purry(dropImplementation, args);\n}\n","import { purry } from '../function/purry';\n\nfunction everyImplementation<T>(\n  data: IteratorObject<T, any, any>,\n  predicate: (value: T, index: number) => unknown,\n): boolean {\n  return data.every(predicate);\n}\n\nexport function every<T>(\n  predicate: (value: T, index: number) => unknown,\n): (data: IteratorObject<T, any, any>) => boolean;\nexport function every<T>(data: IteratorObject<T, any, any>, predicate: (value: T, index: number) => unknown): boolean;\nexport function every(...args: readonly unknown[]): unknown {\n  return purry(everyImplementation, args);\n}\n","import { purry } from '../function/purry';\n\nfunction filterImplementation<T>(\n  data: IteratorObject<T, any, any>,\n  predicate: (value: T, index: number) => boolean,\n): IteratorObject<T, undefined> {\n  return data.filter(predicate);\n}\n\nexport function filter<T, S extends T>(\n  predicate: (value: T, index: number) => value is S,\n): (data: IteratorObject<T, any, any>) => IteratorObject<S, undefined>;\nexport function filter<T>(\n  predicate: (value: T, index: number) => boolean,\n): (data: IteratorObject<T, any, any>) => IteratorObject<T, undefined>;\nexport function filter<T, S extends T>(\n  data: IteratorObject<T, any, any>,\n  predicate: (value: T, index: number) => value is S,\n): IteratorObject<S, undefined>;\nexport function filter<T>(\n  data: IteratorObject<T, any, any>,\n  predicate: (value: T, index: number) => boolean,\n): IteratorObject<T, undefined>;\nexport function filter(...args: readonly unknown[]): unknown {\n  return purry(filterImplementation, args);\n}\n","/**\n * Normalize nullish values to `null`, leaving all other values unchanged.\n * Equivalent to `value ?? null`.\n *\n * @category Guard\n * @param value - A value that may be `null` or `undefined`.\n * @returns `null` when `value` is `null` or `undefined`; otherwise `value` with `null` and `undefined` removed from its type.\n *\n * @example\n * ```ts\n * orNull(0); // 0\n * orNull(undefined); // null\n * orNull(null); // null\n * ```\n */\nexport function orNull<T>(value: T | null | undefined): NonNullable<T> | null {\n  return value ?? null;\n}\n","import { purry } from '../function/purry';\nimport { orNull } from '../guard/orNull';\n\nfunction findImplementation<T>(\n  data: IteratorObject<T, any, any>,\n  predicate: (value: T, index: number) => boolean,\n): T | null {\n  return orNull(data.find(predicate));\n}\n\nexport function find<T, S extends T>(\n  predicate: (value: T, index: number) => value is S,\n): (data: IteratorObject<T, any, any>) => S | null;\nexport function find<T>(\n  predicate: (value: T, index: number) => boolean,\n): (data: IteratorObject<T, any, any>) => T | null;\nexport function find<T, S extends T>(\n  data: IteratorObject<T, any, any>,\n  predicate: (value: T, index: number) => value is S,\n): S | null;\nexport function find<T>(data: IteratorObject<T, any, any>, predicate: (value: T, index: number) => boolean): T | null;\nexport function find(...args: readonly unknown[]): unknown {\n  return purry(findImplementation, args);\n}\n","import { purry } from '../function/purry';\n\nfunction flatMapImplementation<T, U>(\n  data: IteratorObject<T, any, any>,\n  fn: (value: T, index: number) => Iterable<U, unknown, undefined> | Iterator<U, unknown, undefined>,\n): IteratorObject<U, undefined> {\n  return data.flatMap(fn);\n}\n\nexport function flatMap<T, U>(\n  fn: (value: T, index: number) => Iterable<U, unknown, undefined> | Iterator<U, unknown, undefined>,\n): (data: IteratorObject<T, any, any>) => IteratorObject<U, undefined>;\nexport function flatMap<T, U>(\n  data: IteratorObject<T, any, any>,\n  fn: (value: T, index: number) => Iterable<U, unknown, undefined> | Iterator<U, unknown, undefined>,\n): IteratorObject<U, undefined>;\nexport function flatMap(...args: readonly unknown[]): unknown {\n  return purry(flatMapImplementation, args);\n}\n","import { purry } from '../function/purry';\n\nfunction mapImplementation<T, U>(\n  data: IteratorObject<T, any, any>,\n  fn: (value: T, index: number) => U,\n): IteratorObject<U, undefined> {\n  return data.map(fn);\n}\n\nexport function map<T, U>(\n  fn: (value: T, index: number) => U,\n): (data: IteratorObject<T, any, any>) => IteratorObject<U, undefined>;\nexport function map<T, U>(\n  data: IteratorObject<T, any, any>,\n  fn: (value: T, index: number) => U,\n): IteratorObject<U, undefined>;\nexport function map(...args: readonly unknown[]): unknown {\n  return purry(mapImplementation, args);\n}\n","import { purry } from '../function/purry';\nimport { isNotNil } from '../guard/isNotNil';\n\n// Take from https://github.com/tc39/proposal-iterator.range/blob/main/global.d.ts\ntype Infinity = number;\ninterface NumericRangeOptions<T extends bigint | number> {\n  inclusive?: boolean;\n  step?: T;\n}\n\nfunction rangeWithOptsImplementation<T extends bigint | number>(\n  start: T,\n  end: Infinity | T,\n  option: NumericRangeOptions<T>,\n): IteratorObject<T, undefined> {\n  if (start === Infinity || start === -Infinity) {\n    throw new RangeError(`range() start argument cannot be ${start}`);\n  }\n  if (Number.isNaN(start)) {\n    throw new RangeError(`range() start argument cannot be NaN`);\n  }\n  if (Number.isNaN(end)) {\n    throw new RangeError(`range() end argument cannot be NaN`);\n  }\n  if (typeof start === 'bigint' && isNotNil(option.step) && typeof option.step !== 'bigint') {\n    throw new RangeError(`range() option.step argument must be of the same type as start`);\n  }\n  if (isNotNil(option.step) && option.step <= 0) {\n    if (option.step < 1) {\n      throw new RangeError(`Arr.range() :: ${option.step} must be a positive integer`);\n    }\n  }\n\n  const { inclusive = false } = option;\n  // typescript cannot correctly narrow that step will always be `T`\n  const step = option.step ?? ((typeof start === 'bigint' ? 1n : 1) as unknown as T);\n  const isIncreasing = start < end;\n\n  // @ts-expect-error - not sure what's going on with the type issues\n  // eslint-disable-next-line @typescript-eslint/restrict-plus-operands, @typescript-eslint/no-unsafe-return\n  const changeFunc = start < end ? (value: T): T => value + step : (value: T): T => value - step;\n  const endCondition = (() => {\n    if (isIncreasing && inclusive) return (value: T) => value <= end;\n    if (isIncreasing && !inclusive) return (value: T) => value < end;\n    if (!isIncreasing && inclusive) return (value: T) => value >= end;\n    // if (!isIncreasing && !inclusive)\n    return (value: T) => value > end;\n  })();\n\n  const gen = function* () {\n    let current = start;\n    while (endCondition(current)) {\n      yield current;\n      current = changeFunc(current);\n    }\n    return undefined;\n  };\n\n  return gen();\n}\n\nfunction rangeImplementation<T extends bigint | number>(start: T, end: Infinity | T): IteratorObject<T, undefined> {\n  return rangeWithOptsImplementation(start, end, {});\n}\n\n/**\n * @throws {RangeError}\n */\nexport function range(end: Infinity | bigint): {\n  (start: bigint): IteratorObject<bigint, undefined>;\n  (start: number): IteratorObject<number, undefined>;\n};\nexport function range<T extends bigint | number>(start: T, end: Infinity | T): IteratorObject<T, undefined>;\nexport function range(...args: unknown[]): unknown {\n  return purry(rangeImplementation, args);\n}\n\n/**\n * @throws {RangeError}\n */\nexport function rangeWithOpts<T extends bigint | number>(\n  end: Infinity | bigint,\n  option: NumericRangeOptions<T>,\n): (start: T) => IteratorObject<T, undefined>;\nexport function rangeWithOpts<T extends bigint | number>(\n  start: T,\n  end: Infinity | T,\n  option: NumericRangeOptions<T>,\n): IteratorObject<T, undefined>;\nexport function rangeWithOpts(...args: unknown[]): unknown {\n  return purry(rangeWithOptsImplementation, args);\n}\n","import { purry } from '../function/purry';\n\nfunction reduceImplementation<T, U>(\n  data: IteratorObject<T, any, any>,\n  fn: (previousValue: U, currentValue: T, currentIndex: number) => U,\n  initialValue: U,\n): U {\n  return data.reduce(fn, initialValue);\n}\n\nexport function reduce<T, U>(\n  fn: (previousValue: U, currentValue: T, currentIndex: number) => U,\n  initialValue: U,\n): (data: IteratorObject<T, any, any>) => U;\nexport function reduce<T, U>(\n  data: IteratorObject<T, any, any>,\n  fn: (previousValue: U, currentValue: T, currentIndex: number) => U,\n  initialValue: U,\n): U;\nexport function reduce(...args: readonly unknown[]): unknown {\n  return purry(reduceImplementation, args);\n}\n","import { purry } from '../function/purry';\n\nfunction someImplementation<T>(\n  data: IteratorObject<T, any, any>,\n  predicate: (value: T, index: number) => unknown,\n): boolean {\n  return data.some(predicate);\n}\n\nexport function some<T>(\n  predicate: (value: T, index: number) => unknown,\n): (data: IteratorObject<T, any, any>) => boolean;\nexport function some<T>(data: IteratorObject<T, any, any>, predicate: (value: T, index: number) => unknown): boolean;\nexport function some(...args: readonly unknown[]): unknown {\n  return purry(someImplementation, args);\n}\n","import { purry } from '../function/purry';\n\nfunction takeImplementation<T>(iter: IteratorObject<T, any, any>, limit: number): IteratorObject<T, undefined> {\n  try {\n    return iter.take(limit);\n  } catch (e) {\n    if (e instanceof RangeError) {\n      throw new RangeError(`Iter.take() :: ${e.message}`);\n    }\n    throw e;\n  }\n}\n\n/**\n * @throws {RangerError}\n */\nexport function take<T>(limit: number): (data: IteratorObject<T, any, any>) => IteratorObject<T, undefined>;\nexport function take<T>(data: IteratorObject<T, any, any>, limit: number): IteratorObject<T, undefined>;\nexport function take(...args: readonly unknown[]): unknown {\n  return purry(takeImplementation, args);\n}\n"],"mappings":";;;AAEA,MAAa,EAAE,SAAS;;;ACAxB,SAAS,mBAAsB,MAAmC,OAA6C;CAC7G,IAAI;EACF,OAAO,KAAK,KAAK,KAAK;CACxB,SAAS,GAAG;EACV,IAAI,aAAa,YACf,MAAM,IAAI,WAAW,kBAAkB,EAAE,SAAS;EAEpD,MAAM;CACR;AACF;AAOA,SAAgB,KAAK,GAAG,MAAmC;CACzD,OAAO,MAAM,oBAAoB,IAAI;AACvC;;;AClBA,SAAS,oBACP,MACA,WACS;CACT,OAAO,KAAK,MAAM,SAAS;AAC7B;AAMA,SAAgB,MAAM,GAAG,MAAmC;CAC1D,OAAO,MAAM,qBAAqB,IAAI;AACxC;;;ACbA,SAAS,qBACP,MACA,WAC8B;CAC9B,OAAO,KAAK,OAAO,SAAS;AAC9B;AAgBA,SAAgB,OAAO,GAAG,MAAmC;CAC3D,OAAO,MAAM,sBAAsB,IAAI;AACzC;;;;;;;;;;;;;;;;;;ACVA,SAAgB,OAAU,OAAoD;CAC5E,OAAO,SAAS;AAClB;;;ACdA,SAAS,mBACP,MACA,WACU;CACV,OAAO,OAAO,KAAK,KAAK,SAAS,CAAC;AACpC;AAaA,SAAgB,KAAK,GAAG,MAAmC;CACzD,OAAO,MAAM,oBAAoB,IAAI;AACvC;;;ACrBA,SAAS,sBACP,MACA,IAC8B;CAC9B,OAAO,KAAK,QAAQ,EAAE;AACxB;AASA,SAAgB,QAAQ,GAAG,MAAmC;CAC5D,OAAO,MAAM,uBAAuB,IAAI;AAC1C;;;AChBA,SAAS,kBACP,MACA,IAC8B;CAC9B,OAAO,KAAK,IAAI,EAAE;AACpB;AASA,SAAgB,IAAI,GAAG,MAAmC;CACxD,OAAO,MAAM,mBAAmB,IAAI;AACtC;;;ACRA,SAAS,4BACP,OACA,KACA,QAC8B;CAC9B,IAAI,UAAU,YAAY,UAAU,WAClC,MAAM,IAAI,WAAW,oCAAoC,OAAO;CAElE,IAAI,OAAO,MAAM,KAAK,GACpB,MAAM,IAAI,WAAW,sCAAsC;CAE7D,IAAI,OAAO,MAAM,GAAG,GAClB,MAAM,IAAI,WAAW,oCAAoC;CAE3D,IAAI,OAAO,UAAU,YAAY,SAAS,OAAO,IAAI,KAAK,OAAO,OAAO,SAAS,UAC/E,MAAM,IAAI,WAAW,gEAAgE;CAEvF,IAAI,SAAS,OAAO,IAAI,KAAK,OAAO,QAAQ;MACtC,OAAO,OAAO,GAChB,MAAM,IAAI,WAAW,kBAAkB,OAAO,KAAK,4BAA4B;CAAA;CAInF,MAAM,EAAE,YAAY,UAAU;CAE9B,MAAM,OAAO,OAAO,SAAU,OAAO,UAAU,WAAW,KAAK;CAC/D,MAAM,eAAe,QAAQ;CAI7B,MAAM,aAAa,QAAQ,OAAO,UAAgB,QAAQ,QAAQ,UAAgB,QAAQ;CAC1F,MAAM,sBAAsB;EAC1B,IAAI,gBAAgB,WAAW,QAAQ,UAAa,SAAS;EAC7D,IAAI,gBAAgB,CAAC,WAAW,QAAQ,UAAa,QAAQ;EAC7D,IAAI,CAAC,gBAAgB,WAAW,QAAQ,UAAa,SAAS;EAE9D,QAAQ,UAAa,QAAQ;CAC/B,GAAG;CAEH,MAAM,MAAM,aAAa;EACvB,IAAI,UAAU;EACd,OAAO,aAAa,OAAO,GAAG;GAC5B,MAAM;GACN,UAAU,WAAW,OAAO;EAC9B;CAEF;CAEA,OAAO,IAAI;AACb;AAEA,SAAS,oBAA+C,OAAU,KAAiD;CACjH,OAAO,4BAA4B,OAAO,KAAK,CAAC,CAAC;AACnD;AAUA,SAAgB,MAAM,GAAG,MAA0B;CACjD,OAAO,MAAM,qBAAqB,IAAI;AACxC;AAcA,SAAgB,cAAc,GAAG,MAA0B;CACzD,OAAO,MAAM,6BAA6B,IAAI;AAChD;;;ACzFA,SAAS,qBACP,MACA,IACA,cACG;CACH,OAAO,KAAK,OAAO,IAAI,YAAY;AACrC;AAWA,SAAgB,OAAO,GAAG,MAAmC;CAC3D,OAAO,MAAM,sBAAsB,IAAI;AACzC;;;ACnBA,SAAS,mBACP,MACA,WACS;CACT,OAAO,KAAK,KAAK,SAAS;AAC5B;AAMA,SAAgB,KAAK,GAAG,MAAmC;CACzD,OAAO,MAAM,oBAAoB,IAAI;AACvC;;;ACbA,SAAS,mBAAsB,MAAmC,OAA6C;CAC7G,IAAI;EACF,OAAO,KAAK,KAAK,KAAK;CACxB,SAAS,GAAG;EACV,IAAI,aAAa,YACf,MAAM,IAAI,WAAW,kBAAkB,EAAE,SAAS;EAEpD,MAAM;CACR;AACF;AAOA,SAAgB,KAAK,GAAG,MAAmC;CACzD,OAAO,MAAM,oBAAoB,IAAI;AACvC"}

package/dist/lens/index.cjs

@@ -0,0 +1,199 @@
+Object.defineProperty(exports, Symbol.toStringTag, { value: "Module" });
+const require_purry = require("../purry-B2_0DGLV.cjs");
+const require_errors = require("../errors-O-d_Vemi.cjs");
+const require_function = require("../function-CB82a2GS.cjs");
+const require_array_index = require("../array/index.cjs");
+const require_get = require("../get-yrs1Kqho.cjs");
+//#region src/lens/lens.ts
+function lens(getter, setter) {
+	return (toFunctorFn) => {
+		return (source) => {
+			return toFunctorFn(getter(source)).map((focus) => {
+				return setter(focus, source);
+			});
+		};
+	};
+}
+//#endregion
+//#region src/lens/internal/_idx.ts
+function idxImplementation(index) {
+	const getter = (source) => {
+		return require_array_index.at(source, index);
+	};
+	const setter = (focus, source) => {
+		return require_array_index.insert(source, index, focus);
+	};
+	return lens(getter, setter);
+}
+//#endregion
+//#region src/lens/idx.ts
+function idx(index) {
+	return idxImplementation(index);
+}
+function idxOrImplementation(index, defaultValue) {
+	const getter = (source) => {
+		return require_array_index.at(source, index) ?? defaultValue;
+	};
+	const setter = (focus, source) => {
+		return require_array_index.insert(source, index, focus);
+	};
+	return lens(getter, setter);
+}
+function idxOr(...args) {
+	return require_purry.purry(idxOrImplementation, args);
+}
+idx.or = idxOr;
+//#endregion
+//#region src/lens/iso.ts
+function iso(to, from) {
+	return lens(to, (focus) => from(focus));
+}
+//#endregion
+//#region src/lens/internal/_lens.ts
+/**
+* Function constructor for a Const functor.
+* Const's map func ignores it's given fn, returning itself.
+* In other words, the value contained is constant from initial construction)
+*
+* Typing for this is impossible with Higher-Kinded-Types
+*/
+function Const(value) {
+	return {
+		map(_fn) {
+			return this;
+		},
+		get value() {
+			return value;
+		}
+	};
+}
+/**
+* Function constructor for an Identity Functor
+* This is the most basic functor you can map, simply changing the value contained per the map fn it receives
+*/
+function Identity(value) {
+	return {
+		map(fn) {
+			return Identity(fn(value));
+		},
+		get value() {
+			return value;
+		}
+	};
+}
+function overImplementation(lens) {
+	return function innerOverOntoLens(source, updateFn) {
+		return lens(require_function.piped(updateFn, Identity))(source).value;
+	};
+}
+//#endregion
+//#region src/lens/over.ts
+function over(lens) {
+	return function overOntoLens(...args) {
+		return require_purry.purry(overImplementation(lens), args);
+	};
+}
+//#endregion
+//#region src/lens/internal/_path.ts
+function pathImplementation(obj, keys) {
+	const len = keys.length;
+	if (len === 0) throw new RangeError("Lens.path does not support passing in an empty keys array");
+	if (obj == null) throw new require_errors.NilError("Lens.path does not support passing null or undefined");
+	let result = obj;
+	for (let i = 0; i < len; i += 1) {
+		const key = keys[i];
+		if (typeof key === "number") result = require_array_index.at(result, key);
+		else result = require_get.get(result, key);
+	}
+	return result;
+}
+function pathOrImplementation(obj, pathway, defaultValue) {
+	const result = pathImplementation(obj, pathway);
+	if (result instanceof require_errors.NotFoundError) return defaultValue;
+	return result;
+}
+//#endregion
+//#region src/lens/path.ts
+function path(...args) {
+	return require_purry.purry(pathImplementation, args);
+}
+//#endregion
+//#region src/lens/pathUnsafe.ts
+function pathUnsafe(...args) {
+	return require_purry.purry(pathImplementation, args);
+}
+//#endregion
+//#region src/lens/pathOr.ts
+function pathOr(...args) {
+	return require_purry.purry(pathOrImplementation, args);
+}
+//#endregion
+//#region src/lens/pathOrUnsafe.ts
+function pathOrUnsafe(...args) {
+	return require_purry.purry(pathOrImplementation, args);
+}
+//#endregion
+//#region src/lens/prop.ts
+function prop(key) {
+	const getter = (data) => {
+		return data[key];
+	};
+	const setter = (value, data) => {
+		return {
+			...data,
+			[key]: value
+		};
+	};
+	return lens(getter, setter);
+}
+prop.or = function propOr(key, defaultValue) {
+	const getter = (data) => {
+		return data[key] ?? defaultValue;
+	};
+	const setter = (value, data) => {
+		return {
+			...data,
+			[key]: value
+		};
+	};
+	return lens(getter, setter);
+};
+//#endregion
+//#region src/lens/set.ts
+function setImplementation(lens) {
+	return function innerSetOntoLens(source, value) {
+		return overImplementation(lens)(source, () => value);
+	};
+}
+function set(lens) {
+	return function setOntoLens(...args) {
+		return require_purry.purry(setImplementation(lens), args);
+	};
+}
+//#endregion
+//#region src/lens/tuple.ts
+function tuple(index) {
+	return idxImplementation(index);
+}
+//#endregion
+//#region src/lens/view.ts
+function view(lens) {
+	return function viewOntoLens(source) {
+		return lens(Const)(source).value;
+	};
+}
+//#endregion
+exports.idx = idx;
+exports.iso = iso;
+exports.lens = lens;
+exports.over = over;
+exports.path = path;
+exports.pathOr = pathOr;
+exports.pathOrUnsafe = pathOrUnsafe;
+exports.pathUnsafe = pathUnsafe;
+exports.prop = prop;
+exports.set = set;
+exports.tuple = tuple;
+exports.view = view;
+
+//# sourceMappingURL=index.cjs.map

package/dist/lens/index.cjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.cjs","names":["purry","piped","purry","NilError","at","get","NotFoundError","purry","purry","purry","purry","purry"],"sources":["../../src/lens/lens.ts","../../src/lens/internal/_idx.ts","../../src/lens/idx.ts","../../src/lens/iso.ts","../../src/lens/internal/_lens.ts","../../src/lens/over.ts","../../src/lens/internal/_path.ts","../../src/lens/path.ts","../../src/lens/pathUnsafe.ts","../../src/lens/pathOr.ts","../../src/lens/pathOrUnsafe.ts","../../src/lens/prop.ts","../../src/lens/set.ts","../../src/lens/tuple.ts","../../src/lens/view.ts"],"sourcesContent":["import type { Functor, Lens } from './internal/_lens';\n\nexport function lens<Source, Focus>(\n  getter: (source: Source) => Focus,\n  setter: (focus: Focus, source: Source) => Source,\n): Lens<Source, Focus> {\n  return (toFunctorFn: (focus: Focus) => Functor<Focus>): ((source: Source) => Functor<Source>) => {\n    return (source: Source): Functor<Source> => {\n      const got = getter(source);\n      return toFunctorFn(got).map(focus => {\n        return setter(focus, source);\n      });\n    };\n  };\n}\n","import * as Arr from '../../array';\nimport { lens } from '../lens';\n\nimport type { Lens } from './_lens';\n\nexport function idxImplementation<T>(index: number): Lens<T[], T> {\n  const getter = (source: T[]): T => {\n    const value = Arr.at(source, index);\n    return value as T;\n  };\n\n  const setter = (focus: T, source: T[]): T[] => {\n    const updatedSource = Arr.insert(source, index, focus);\n    return updatedSource;\n  };\n\n  return lens(getter, setter);\n}\n","import * as Arr from '../array';\nimport { purry } from '../function';\nimport type { Accessed } from '../types';\n\nimport { idxImplementation } from './internal/_idx';\nimport type { Lens } from './internal/_lens';\nimport { lens } from './lens';\n\nexport function idx<T>(index: number): Lens<T[], Accessed<T>> {\n  return idxImplementation(index) as Lens<T[], Accessed<T>>;\n}\n\nfunction idxOrImplementation<T>(index: number, defaultValue: T): Lens<T[], T> {\n  const getter = (source: T[]): T => {\n    const value = Arr.at(source, index);\n    return (value as T) ?? defaultValue;\n  };\n\n  const setter = (focus: T, source: T[]): T[] => {\n    const updatedSource = Arr.insert(source, index, focus);\n    return updatedSource;\n  };\n\n  return lens(getter, setter);\n}\n\nfunction idxOr<T>(index: number, defaultValue: T): Lens<T[], T>;\nfunction idxOr(...args: readonly unknown[]): unknown {\n  return purry(idxOrImplementation, args);\n}\n\nidx.or = idxOr;\n","import type { Lens } from './internal/_lens';\nimport { lens } from './lens';\n\nexport function iso<A, B>(to: (a: A) => B, from: (b: B) => A): Lens<A, B> {\n  // by ignoring `source` in the setter, we are effectively transforming on _self_\n  return lens(to, focus => from(focus));\n}\n","import { piped } from '../../function/piped';\n\nexport interface Functor<A> {\n  map<B>(fn: (a: A) => B): Functor<B>;\n  get value(): A;\n}\n\nexport type Lens<Source, Focus> = (\n  functorFactory: (focus: Focus) => Functor<Focus>,\n) => (source: Source) => Functor<Source>;\n\n/**\n * Function constructor for a Const functor.\n * Const's map func ignores it's given fn, returning itself.\n * In other words, the value contained is constant from initial construction)\n *\n * Typing for this is impossible with Higher-Kinded-Types\n */\nexport function Const(value: unknown): Functor<unknown> {\n  const functor: Functor<unknown> = {\n    map(this: Functor<unknown>, _fn: (value: unknown) => unknown): Functor<any> {\n      return this;\n    },\n    get value() {\n      return value;\n    },\n  };\n  return functor;\n}\n\n/**\n * Function constructor for an Identity Functor\n * This is the most basic functor you can map, simply changing the value contained per the map fn it receives\n */\nexport function Identity<A>(value: A): Functor<A> {\n  return {\n    map<B>(fn: (value: A) => B): Functor<B> {\n      return Identity(fn(value));\n    },\n    get value() {\n      return value;\n    },\n  };\n}\n\nexport function overImplementation<Source, Focus>(\n  lens: Lens<Source, Focus>,\n): (source: Source, updateFn: (value: Focus) => Focus) => Source {\n  return function innerOverOntoLens(source, updateFn) {\n    const temp = piped(updateFn, Identity);\n    // @ts-expect-error - types will never be correct here because of how Identity works\n    return lens(temp)(source).value;\n  };\n}\n","import { purry } from '../function';\n\nimport type { Lens } from './internal/_lens';\nimport { overImplementation } from './internal/_lens';\n\nexport function over<Source, Focus>(\n  lens: Lens<Source, Focus>,\n): {\n  (updateFn: (value: Focus) => Focus): (source: Source) => Source;\n  (source: Source, updateFn: (value: Focus) => Focus): Source;\n};\nexport function over<Source, Focus>(lens: Lens<Source, Focus>): unknown {\n  return function overOntoLens(...args: unknown[]): unknown {\n    return purry(overImplementation(lens), args);\n  };\n}\n","import { at } from '../../array/at';\nimport { NilError, NotFoundError } from '../../errors';\nimport { get } from '../../object/get';\n\nexport type ValueAtPath<Obj, Tuple extends readonly PropertyKey[]> = Tuple extends readonly [infer Key, ...unknown[]]\n  ? Tuple extends readonly [unknown, ...infer Rest]\n    ? Key extends keyof Obj\n      ? Rest extends []\n        ? NonNullable<Obj[Key]>\n        : Rest extends readonly PropertyKey[]\n          ? ValueAtPath<NonNullable<Required<Obj>[Key]>, Rest>\n          : never\n      : never\n    : never\n  : never;\n\nexport function pathImplementation(obj: object | null | undefined, keys: (number | string)[]): unknown {\n  const len = keys.length;\n  if (len === 0) {\n    throw new RangeError('Lens.path does not support passing in an empty keys array');\n  }\n\n  if (obj == null) {\n    throw new NilError('Lens.path does not support passing null or undefined');\n  }\n\n  let result: unknown = obj;\n\n  for (let i = 0; i < len; i += 1) {\n    const key = keys[i]!;\n\n    if (typeof key === 'number') {\n      result = at(result as any[], key);\n    } else {\n      result = get(result as Record<string, unknown>, key);\n    }\n  }\n\n  return result;\n}\n\nexport function pathOrImplementation(obj: object, pathway: (number | string)[], defaultValue: unknown): unknown {\n  const result = pathImplementation(obj, pathway);\n  if (result instanceof NotFoundError) {\n    return defaultValue;\n  }\n  return result;\n}\n","import { purry } from '../function/purry';\n\nimport type { ValueAtPath } from './internal/_path';\nimport { pathImplementation } from './internal/_path';\n\n/**\n *\n * @throws RangeError\n */\nexport function path(path: readonly []): never;\nexport function path<Obj extends object, K1 extends keyof Required<Obj>>(\n  path: readonly [K1],\n): (data: Obj) => ValueAtPath<Obj, [K1]> | null;\nexport function path<Obj, K1 extends keyof Required<Obj>, K2 extends keyof NonNullable<ValueAtPath<Obj, [K1]>>>(\n  path: readonly [K1, K2],\n): (obj: Obj) => ValueAtPath<Obj, [K1, K2]> | null;\nexport function path<\n  Obj,\n  K1 extends keyof Required<Obj>,\n  K2 extends keyof NonNullable<ValueAtPath<Obj, [K1]>>,\n  K3 extends keyof NonNullable<ValueAtPath<Obj, [K1, K2]>>,\n>(path: readonly [K1, K2, K3]): (obj: Obj) => ValueAtPath<Obj, [K1, K2, K3]> | null;\nexport function path<\n  Obj,\n  K1 extends keyof Required<Obj>,\n  K2 extends keyof NonNullable<ValueAtPath<Obj, [K1]>>,\n  K3 extends keyof NonNullable<ValueAtPath<Obj, [K1, K2]>>,\n  K4 extends keyof NonNullable<ValueAtPath<Obj, [K1, K2, K3]>>,\n>(path: readonly [K1, K2, K3, K4]): (obj: Obj) => ValueAtPath<Obj, [K1, K2, K3, K4]> | null;\nexport function path<\n  Obj,\n  K1 extends keyof Required<Obj>,\n  K2 extends keyof NonNullable<ValueAtPath<Obj, [K1]>>,\n  K3 extends keyof NonNullable<ValueAtPath<Obj, [K1, K2]>>,\n  K4 extends keyof NonNullable<ValueAtPath<Obj, [K1, K2, K3]>>,\n  K5 extends keyof NonNullable<ValueAtPath<Obj, [K1, K2, K3, K4]>>,\n>(path: readonly [K1, K2, K3, K4, K5]): (obj: Obj) => ValueAtPath<Obj, [K1, K2, K3, K4, K5]> | null;\nexport function path<\n  Obj,\n  K1 extends keyof Required<Obj>,\n  K2 extends keyof NonNullable<ValueAtPath<Obj, [K1]>>,\n  K3 extends keyof NonNullable<ValueAtPath<Obj, [K1, K2]>>,\n  K4 extends keyof NonNullable<ValueAtPath<Obj, [K1, K2, K3]>>,\n  K5 extends keyof NonNullable<ValueAtPath<Obj, [K1, K2, K3, K4]>>,\n  K6 extends keyof NonNullable<ValueAtPath<Obj, [K1, K2, K3, K4, K5]>>,\n>(path: readonly [K1, K2, K3, K4, K5, K6]): (obj: Obj) => ValueAtPath<Obj, [K1, K2, K3, K4, K5, K6]> | null;\nexport function path<\n  Obj,\n  K1 extends keyof Required<Obj>,\n  K2 extends keyof NonNullable<ValueAtPath<Obj, [K1]>>,\n  K3 extends keyof NonNullable<ValueAtPath<Obj, [K1, K2]>>,\n  K4 extends keyof NonNullable<ValueAtPath<Obj, [K1, K2, K3]>>,\n  K5 extends keyof NonNullable<ValueAtPath<Obj, [K1, K2, K3, K4]>>,\n  K6 extends keyof NonNullable<ValueAtPath<Obj, [K1, K2, K3, K4, K5]>>,\n  K7 extends keyof NonNullable<ValueAtPath<Obj, [K1, K2, K3, K4, K5, K6]>>,\n>(path: readonly [K1, K2, K3, K4, K5, K6, K7]): (obj: Obj) => ValueAtPath<Obj, [K1, K2, K3, K4, K5, K6, K7]> | null;\nexport function path<\n  Obj,\n  K1 extends keyof Required<Obj>,\n  K2 extends keyof NonNullable<ValueAtPath<Obj, [K1]>>,\n  K3 extends keyof NonNullable<ValueAtPath<Obj, [K1, K2]>>,\n  K4 extends keyof NonNullable<ValueAtPath<Obj, [K1, K2, K3]>>,\n  K5 extends keyof NonNullable<ValueAtPath<Obj, [K1, K2, K3, K4]>>,\n  K6 extends keyof NonNullable<ValueAtPath<Obj, [K1, K2, K3, K4, K5]>>,\n  K7 extends keyof NonNullable<ValueAtPath<Obj, [K1, K2, K3, K4, K5, K6]>>,\n  K8 extends keyof NonNullable<ValueAtPath<Obj, [K1, K2, K3, K4, K5, K6, K7]>>,\n>(\n  path: readonly [K1, K2, K3, K4, K5, K6, K7, K8],\n): (obj: Obj) => ValueAtPath<Obj, [K1, K2, K3, K4, K5, K6, K7, K8]> | null;\nexport function path<\n  Obj,\n  K1 extends keyof Required<Obj>,\n  K2 extends keyof NonNullable<ValueAtPath<Obj, [K1]>>,\n  K3 extends keyof NonNullable<ValueAtPath<Obj, [K1, K2]>>,\n  K4 extends keyof NonNullable<ValueAtPath<Obj, [K1, K2, K3]>>,\n  K5 extends keyof NonNullable<ValueAtPath<Obj, [K1, K2, K3, K4]>>,\n  K6 extends keyof NonNullable<ValueAtPath<Obj, [K1, K2, K3, K4, K5]>>,\n  K7 extends keyof NonNullable<ValueAtPath<Obj, [K1, K2, K3, K4, K5, K6]>>,\n  K8 extends keyof NonNullable<ValueAtPath<Obj, [K1, K2, K3, K4, K5, K6, K7]>>,\n  K9 extends keyof NonNullable<ValueAtPath<Obj, [K1, K2, K3, K4, K5, K6, K7, K8]>>,\n>(\n  path: readonly [K1, K2, K3, K4, K5, K6, K7, K8, K9],\n): (obj: Obj) => ValueAtPath<Obj, [K1, K2, K3, K4, K5, K6, K7, K8, K9]> | null;\nexport function path<const P extends readonly PropertyKey[]>(\n  path: P,\n): <S extends object>(data: S) => never extends ValueAtPath<S, P> ? ValueAtPath<S, P> | null : never;\n\nexport function path(obj: unknown, path: readonly []): never;\nexport function path<Obj, K1 extends keyof Required<Obj>>(obj: Obj, path: readonly [K1]): ValueAtPath<Obj, [K1]> | null;\nexport function path<Obj, K1 extends keyof Required<Obj>, K2 extends keyof NonNullable<ValueAtPath<Obj, [K1]>>>(\n  obj: Obj,\n  path: readonly [K1, K2],\n): ValueAtPath<Obj, [K1, K2]> | null;\nexport function path<\n  Obj,\n  K1 extends keyof Required<Obj>,\n  K2 extends keyof NonNullable<ValueAtPath<Obj, [K1]>>,\n  K3 extends keyof NonNullable<ValueAtPath<Obj, [K1, K2]>>,\n>(obj: Obj, path: readonly [K1, K2, K3]): ValueAtPath<Obj, [K1, K2, K3]> | null;\nexport function path<\n  Obj,\n  K1 extends keyof Required<Obj>,\n  K2 extends keyof NonNullable<ValueAtPath<Obj, [K1]>>,\n  K3 extends keyof NonNullable<ValueAtPath<Obj, [K1, K2]>>,\n  K4 extends keyof NonNullable<ValueAtPath<Obj, [K1, K2, K3]>>,\n>(obj: Obj, path: readonly [K1, K2, K3, K4]): ValueAtPath<Obj, [K1, K2, K3, K4]> | null;\nexport function path<\n  Obj,\n  K1 extends keyof Required<Obj>,\n  K2 extends keyof NonNullable<ValueAtPath<Obj, [K1]>>,\n  K3 extends keyof NonNullable<ValueAtPath<Obj, [K1, K2]>>,\n  K4 extends keyof NonNullable<ValueAtPath<Obj, [K1, K2, K3]>>,\n  K5 extends keyof NonNullable<ValueAtPath<Obj, [K1, K2, K3, K4]>>,\n>(obj: Obj, path: readonly [K1, K2, K3, K4, K5]): ValueAtPath<Obj, [K1, K2, K3, K4, K5]> | null;\nexport function path<\n  Obj,\n  K1 extends keyof Required<Obj>,\n  K2 extends keyof NonNullable<ValueAtPath<Obj, [K1]>>,\n  K3 extends keyof NonNullable<ValueAtPath<Obj, [K1, K2]>>,\n  K4 extends keyof NonNullable<ValueAtPath<Obj, [K1, K2, K3]>>,\n  K5 extends keyof NonNullable<ValueAtPath<Obj, [K1, K2, K3, K4]>>,\n  K6 extends keyof NonNullable<ValueAtPath<Obj, [K1, K2, K3, K4, K5]>>,\n>(obj: Obj, path: readonly [K1, K2, K3, K4, K5, K6]): ValueAtPath<Obj, [K1, K2, K3, K4, K5, K6]> | null;\nexport function path<\n  Obj,\n  K1 extends keyof Required<Obj>,\n  K2 extends keyof NonNullable<ValueAtPath<Obj, [K1]>>,\n  K3 extends keyof NonNullable<ValueAtPath<Obj, [K1, K2]>>,\n  K4 extends keyof NonNullable<ValueAtPath<Obj, [K1, K2, K3]>>,\n  K5 extends keyof NonNullable<ValueAtPath<Obj, [K1, K2, K3, K4]>>,\n  K6 extends keyof NonNullable<ValueAtPath<Obj, [K1, K2, K3, K4, K5]>>,\n  K7 extends keyof NonNullable<ValueAtPath<Obj, [K1, K2, K3, K4, K5, K6]>>,\n>(obj: Obj, path: readonly [K1, K2, K3, K4, K5, K6, K7]): ValueAtPath<Obj, [K1, K2, K3, K4, K5, K6, K7]> | null;\nexport function path<\n  Obj,\n  K1 extends keyof Required<Obj>,\n  K2 extends keyof NonNullable<ValueAtPath<Obj, [K1]>>,\n  K3 extends keyof NonNullable<ValueAtPath<Obj, [K1, K2]>>,\n  K4 extends keyof NonNullable<ValueAtPath<Obj, [K1, K2, K3]>>,\n  K5 extends keyof NonNullable<ValueAtPath<Obj, [K1, K2, K3, K4]>>,\n  K6 extends keyof NonNullable<ValueAtPath<Obj, [K1, K2, K3, K4, K5]>>,\n  K7 extends keyof NonNullable<ValueAtPath<Obj, [K1, K2, K3, K4, K5, K6]>>,\n  K8 extends keyof NonNullable<ValueAtPath<Obj, [K1, K2, K3, K4, K5, K6, K7]>>,\n>(obj: Obj, path: readonly [K1, K2, K3, K4, K5, K6, K7, K8]): ValueAtPath<Obj, [K1, K2, K3, K4, K5, K6, K7, K8]> | null;\nexport function path<\n  Obj,\n  K1 extends keyof Required<Obj>,\n  K2 extends keyof NonNullable<ValueAtPath<Obj, [K1]>>,\n  K3 extends keyof NonNullable<ValueAtPath<Obj, [K1, K2]>>,\n  K4 extends keyof NonNullable<ValueAtPath<Obj, [K1, K2, K3]>>,\n  K5 extends keyof NonNullable<ValueAtPath<Obj, [K1, K2, K3, K4]>>,\n  K6 extends keyof NonNullable<ValueAtPath<Obj, [K1, K2, K3, K4, K5]>>,\n  K7 extends keyof NonNullable<ValueAtPath<Obj, [K1, K2, K3, K4, K5, K6]>>,\n  K8 extends keyof NonNullable<ValueAtPath<Obj, [K1, K2, K3, K4, K5, K6, K7]>>,\n  K9 extends keyof NonNullable<ValueAtPath<Obj, [K1, K2, K3, K4, K5, K6, K7, K8]>>,\n>(\n  obj: Obj,\n  path: readonly [K1, K2, K3, K4, K5, K6, K7, K8, K9],\n): ValueAtPath<Obj, [K1, K2, K3, K4, K5, K6, K7, K8, K9]> | null;\nexport function path(...args: unknown[]): unknown {\n  return purry(pathImplementation, args);\n}\n","import { purry } from '../function/purry';\n\nimport { pathImplementation } from './internal/_path';\n\nexport function pathUnsafe<T = unknown>(path: readonly PropertyKey[]): (data: object) => T | null;\nexport function pathUnsafe<T = unknown>(data: object, path: readonly PropertyKey[]): T | null;\nexport function pathUnsafe(...args: unknown[]): unknown {\n  return purry(pathImplementation, args);\n}\n","import { purry } from '../function/purry';\n\nimport type { ValueAtPath } from './internal/_path';\nimport { pathOrImplementation } from './internal/_path';\n\nexport function pathOr(path: readonly [], defaultValue: unknown): never;\nexport function pathOr<Obj extends object, K1 extends keyof Required<Obj>>(\n  path: readonly [K1],\n  defaultValue: ValueAtPath<Obj, [K1]>,\n): (data: Obj) => ValueAtPath<Obj, [K1]>;\nexport function pathOr<Obj, K1 extends keyof Required<Obj>, K2 extends keyof NonNullable<ValueAtPath<Obj, [K1]>>>(\n  path: readonly [K1, K2],\n  defaultValue: ValueAtPath<Obj, [K1, K2]>,\n): (obj: Obj) => ValueAtPath<Obj, [K1, K2]>;\nexport function pathOr<\n  Obj,\n  K1 extends keyof Required<Obj>,\n  K2 extends keyof NonNullable<ValueAtPath<Obj, [K1]>>,\n  K3 extends keyof NonNullable<ValueAtPath<Obj, [K1, K2]>>,\n>(\n  path: readonly [K1, K2, K3],\n  defaultValue: ValueAtPath<Obj, [K1, K2, K3]>,\n): (obj: Obj) => ValueAtPath<Obj, [K1, K2, K3]>;\nexport function pathOr<\n  Obj,\n  K1 extends keyof Required<Obj>,\n  K2 extends keyof NonNullable<ValueAtPath<Obj, [K1]>>,\n  K3 extends keyof NonNullable<ValueAtPath<Obj, [K1, K2]>>,\n  K4 extends keyof NonNullable<ValueAtPath<Obj, [K1, K2, K3]>>,\n>(\n  path: readonly [K1, K2, K3, K4],\n  defaultValue: ValueAtPath<Obj, [K1, K2, K3, K4]>,\n): (obj: Obj) => ValueAtPath<Obj, [K1, K2, K3, K4]>;\nexport function pathOr<\n  Obj,\n  K1 extends keyof Required<Obj>,\n  K2 extends keyof NonNullable<ValueAtPath<Obj, [K1]>>,\n  K3 extends keyof NonNullable<ValueAtPath<Obj, [K1, K2]>>,\n  K4 extends keyof NonNullable<ValueAtPath<Obj, [K1, K2, K3]>>,\n  K5 extends keyof NonNullable<ValueAtPath<Obj, [K1, K2, K3, K4]>>,\n>(\n  path: readonly [K1, K2, K3, K4, K5],\n  defaultValue: ValueAtPath<Obj, [K1, K2, K3, K4, K5]>,\n): (obj: Obj) => ValueAtPath<Obj, [K1, K2, K3, K4, K5]>;\nexport function pathOr<\n  Obj,\n  K1 extends keyof Required<Obj>,\n  K2 extends keyof NonNullable<ValueAtPath<Obj, [K1]>>,\n  K3 extends keyof NonNullable<ValueAtPath<Obj, [K1, K2]>>,\n  K4 extends keyof NonNullable<ValueAtPath<Obj, [K1, K2, K3]>>,\n  K5 extends keyof NonNullable<ValueAtPath<Obj, [K1, K2, K3, K4]>>,\n  K6 extends keyof NonNullable<ValueAtPath<Obj, [K1, K2, K3, K4, K5]>>,\n>(\n  path: readonly [K1, K2, K3, K4, K5, K6],\n  defaultValue: ValueAtPath<Obj, [K1, K2, K3, K4, K5, K6]>,\n): (obj: Obj) => ValueAtPath<Obj, [K1, K2, K3, K4, K5, K6]>;\nexport function pathOr<\n  Obj,\n  K1 extends keyof Required<Obj>,\n  K2 extends keyof NonNullable<ValueAtPath<Obj, [K1]>>,\n  K3 extends keyof NonNullable<ValueAtPath<Obj, [K1, K2]>>,\n  K4 extends keyof NonNullable<ValueAtPath<Obj, [K1, K2, K3]>>,\n  K5 extends keyof NonNullable<ValueAtPath<Obj, [K1, K2, K3, K4]>>,\n  K6 extends keyof NonNullable<ValueAtPath<Obj, [K1, K2, K3, K4, K5]>>,\n  K7 extends keyof NonNullable<ValueAtPath<Obj, [K1, K2, K3, K4, K5, K6]>>,\n>(\n  path: readonly [K1, K2, K3, K4, K5, K6, K7],\n  defaultValue: ValueAtPath<Obj, [K1, K2, K3, K4, K5, K6, K7]>,\n): (obj: Obj) => ValueAtPath<Obj, [K1, K2, K3, K4, K5, K6, K7]>;\nexport function pathOr<\n  Obj,\n  K1 extends keyof Required<Obj>,\n  K2 extends keyof NonNullable<ValueAtPath<Obj, [K1]>>,\n  K3 extends keyof NonNullable<ValueAtPath<Obj, [K1, K2]>>,\n  K4 extends keyof NonNullable<ValueAtPath<Obj, [K1, K2, K3]>>,\n  K5 extends keyof NonNullable<ValueAtPath<Obj, [K1, K2, K3, K4]>>,\n  K6 extends keyof NonNullable<ValueAtPath<Obj, [K1, K2, K3, K4, K5]>>,\n  K7 extends keyof NonNullable<ValueAtPath<Obj, [K1, K2, K3, K4, K5, K6]>>,\n  K8 extends keyof NonNullable<ValueAtPath<Obj, [K1, K2, K3, K4, K5, K6, K7]>>,\n>(\n  path: readonly [K1, K2, K3, K4, K5, K6, K7, K8],\n  defaultValue: ValueAtPath<Obj, [K1, K2, K3, K4, K5, K6, K7, K8]>,\n): (obj: Obj) => ValueAtPath<Obj, [K1, K2, K3, K4, K5, K6, K7, K8]>;\nexport function pathOr<\n  Obj,\n  K1 extends keyof Required<Obj>,\n  K2 extends keyof NonNullable<ValueAtPath<Obj, [K1]>>,\n  K3 extends keyof NonNullable<ValueAtPath<Obj, [K1, K2]>>,\n  K4 extends keyof NonNullable<ValueAtPath<Obj, [K1, K2, K3]>>,\n  K5 extends keyof NonNullable<ValueAtPath<Obj, [K1, K2, K3, K4]>>,\n  K6 extends keyof NonNullable<ValueAtPath<Obj, [K1, K2, K3, K4, K5]>>,\n  K7 extends keyof NonNullable<ValueAtPath<Obj, [K1, K2, K3, K4, K5, K6]>>,\n  K8 extends keyof NonNullable<ValueAtPath<Obj, [K1, K2, K3, K4, K5, K6, K7]>>,\n  K9 extends keyof NonNullable<ValueAtPath<Obj, [K1, K2, K3, K4, K5, K6, K7, K8]>>,\n>(\n  path: readonly [K1, K2, K3, K4, K5, K6, K7, K8, K9],\n  defaultValue: ValueAtPath<Obj, [K1, K2, K3, K4, K5, K6, K7, K8, K9]>,\n): (obj: Obj) => ValueAtPath<Obj, [K1, K2, K3, K4, K5, K6, K7, K8, K9]>;\nexport function pathOr<const Path extends readonly PropertyKey[], Value>(\n  pathway: Path,\n  defaultValue: Value,\n): <Obj extends object>(obj: Value extends ValueAtPath<Obj, Path> ? Obj : never) => ValueAtPath<Obj, Path>;\n\nexport function pathOr(obj: unknown, path: readonly [], defaultValue: unknown): never;\nexport function pathOr<Obj, K1 extends keyof Required<Obj>>(\n  obj: Obj,\n  path: readonly [K1],\n  defaultValue: ValueAtPath<Obj, [K1]>,\n): ValueAtPath<Obj, [K1]>;\nexport function pathOr<Obj, K1 extends keyof Required<Obj>, K2 extends keyof NonNullable<ValueAtPath<Obj, [K1]>>>(\n  obj: Obj,\n  path: readonly [K1, K2],\n  defaultValue: ValueAtPath<Obj, [K1, K2]>,\n): ValueAtPath<Obj, [K1, K2]>;\nexport function pathOr<\n  Obj,\n  K1 extends keyof Required<Obj>,\n  K2 extends keyof NonNullable<ValueAtPath<Obj, [K1]>>,\n  K3 extends keyof NonNullable<ValueAtPath<Obj, [K1, K2]>>,\n>(obj: Obj, path: readonly [K1, K2, K3], defaultValue: ValueAtPath<Obj, [K1, K2, K3]>): ValueAtPath<Obj, [K1, K2, K3]>;\nexport function pathOr<\n  Obj,\n  K1 extends keyof Required<Obj>,\n  K2 extends keyof NonNullable<ValueAtPath<Obj, [K1]>>,\n  K3 extends keyof NonNullable<ValueAtPath<Obj, [K1, K2]>>,\n  K4 extends keyof NonNullable<ValueAtPath<Obj, [K1, K2, K3]>>,\n>(\n  obj: Obj,\n  path: readonly [K1, K2, K3, K4],\n  defaultValue: ValueAtPath<Obj, [K1, K2, K3, K4]>,\n): ValueAtPath<Obj, [K1, K2, K3, K4]>;\nexport function pathOr<\n  Obj,\n  K1 extends keyof Required<Obj>,\n  K2 extends keyof NonNullable<ValueAtPath<Obj, [K1]>>,\n  K3 extends keyof NonNullable<ValueAtPath<Obj, [K1, K2]>>,\n  K4 extends keyof NonNullable<ValueAtPath<Obj, [K1, K2, K3]>>,\n  K5 extends keyof NonNullable<ValueAtPath<Obj, [K1, K2, K3, K4]>>,\n>(\n  obj: Obj,\n  path: readonly [K1, K2, K3, K4, K5],\n  defaultValue: ValueAtPath<Obj, [K1, K2, K3, K4, K5]>,\n): ValueAtPath<Obj, [K1, K2, K3, K4, K5]>;\nexport function pathOr<\n  Obj,\n  K1 extends keyof Required<Obj>,\n  K2 extends keyof NonNullable<ValueAtPath<Obj, [K1]>>,\n  K3 extends keyof NonNullable<ValueAtPath<Obj, [K1, K2]>>,\n  K4 extends keyof NonNullable<ValueAtPath<Obj, [K1, K2, K3]>>,\n  K5 extends keyof NonNullable<ValueAtPath<Obj, [K1, K2, K3, K4]>>,\n  K6 extends keyof NonNullable<ValueAtPath<Obj, [K1, K2, K3, K4, K5]>>,\n>(\n  obj: Obj,\n  path: readonly [K1, K2, K3, K4, K5, K6],\n  defaultValue: ValueAtPath<Obj, [K1, K2, K3, K4, K5, K6]>,\n): ValueAtPath<Obj, [K1, K2, K3, K4, K5, K6]>;\nexport function pathOr<\n  Obj,\n  K1 extends keyof Required<Obj>,\n  K2 extends keyof NonNullable<ValueAtPath<Obj, [K1]>>,\n  K3 extends keyof NonNullable<ValueAtPath<Obj, [K1, K2]>>,\n  K4 extends keyof NonNullable<ValueAtPath<Obj, [K1, K2, K3]>>,\n  K5 extends keyof NonNullable<ValueAtPath<Obj, [K1, K2, K3, K4]>>,\n  K6 extends keyof NonNullable<ValueAtPath<Obj, [K1, K2, K3, K4, K5]>>,\n  K7 extends keyof NonNullable<ValueAtPath<Obj, [K1, K2, K3, K4, K5, K6]>>,\n>(\n  obj: Obj,\n  path: readonly [K1, K2, K3, K4, K5, K6, K7],\n  defaultValue: ValueAtPath<Obj, [K1, K2, K3, K4, K5, K6, K7]>,\n): ValueAtPath<Obj, [K1, K2, K3, K4, K5, K6, K7]>;\nexport function pathOr<\n  Obj,\n  K1 extends keyof Required<Obj>,\n  K2 extends keyof NonNullable<ValueAtPath<Obj, [K1]>>,\n  K3 extends keyof NonNullable<ValueAtPath<Obj, [K1, K2]>>,\n  K4 extends keyof NonNullable<ValueAtPath<Obj, [K1, K2, K3]>>,\n  K5 extends keyof NonNullable<ValueAtPath<Obj, [K1, K2, K3, K4]>>,\n  K6 extends keyof NonNullable<ValueAtPath<Obj, [K1, K2, K3, K4, K5]>>,\n  K7 extends keyof NonNullable<ValueAtPath<Obj, [K1, K2, K3, K4, K5, K6]>>,\n  K8 extends keyof NonNullable<ValueAtPath<Obj, [K1, K2, K3, K4, K5, K6, K7]>>,\n>(\n  obj: Obj,\n  path: readonly [K1, K2, K3, K4, K5, K6, K7, K8],\n  defaultValue: ValueAtPath<Obj, [K1, K2, K3, K4, K5, K6, K7, K8]>,\n): ValueAtPath<Obj, [K1, K2, K3, K4, K5, K6, K7, K8]>;\nexport function pathOr<\n  Obj,\n  K1 extends keyof Required<Obj>,\n  K2 extends keyof NonNullable<ValueAtPath<Obj, [K1]>>,\n  K3 extends keyof NonNullable<ValueAtPath<Obj, [K1, K2]>>,\n  K4 extends keyof NonNullable<ValueAtPath<Obj, [K1, K2, K3]>>,\n  K5 extends keyof NonNullable<ValueAtPath<Obj, [K1, K2, K3, K4]>>,\n  K6 extends keyof NonNullable<ValueAtPath<Obj, [K1, K2, K3, K4, K5]>>,\n  K7 extends keyof NonNullable<ValueAtPath<Obj, [K1, K2, K3, K4, K5, K6]>>,\n  K8 extends keyof NonNullable<ValueAtPath<Obj, [K1, K2, K3, K4, K5, K6, K7]>>,\n  K9 extends keyof NonNullable<ValueAtPath<Obj, [K1, K2, K3, K4, K5, K6, K7, K8]>>,\n>(\n  obj: Obj,\n  path: readonly [K1, K2, K3, K4, K5, K6, K7, K8, K9],\n  defaultValue: ValueAtPath<Obj, [K1, K2, K3, K4, K5, K6, K7, K8, K9]>,\n): ValueAtPath<Obj, [K1, K2, K3, K4, K5, K6, K7, K8, K9]>;\nexport function pathOr(...args: unknown[]): unknown {\n  return purry(pathOrImplementation, args);\n}\n","import { purry } from '../function/purry';\n\nimport { pathOrImplementation } from './internal/_path';\n\nexport function pathOrUnsafe<T = unknown>(path: readonly PropertyKey[], defaultValue: T): (data: object) => T;\nexport function pathOrUnsafe<T = unknown>(data: object, path: readonly PropertyKey[], defaultValue: T): T;\nexport function pathOrUnsafe(...args: unknown[]): unknown {\n  return purry(pathOrImplementation, args);\n}\n","import type { Lens } from './internal/_lens';\nimport { lens } from './lens';\n\nexport function prop<Obj extends Record<string, unknown>, Key extends keyof Obj>(\n  key: string extends keyof Obj ? never : Key,\n): Lens<Obj, Obj[Key]>;\nexport function prop<Obj extends Record<string, unknown>>(key: string): Lens<Obj, Obj[string] | undefined>;\nexport function prop<Obj extends Record<string, unknown>>(key: string): Lens<Obj, Obj[string] | undefined> {\n  const getter = (data: Obj): Obj[string] | undefined => {\n    return data[key] as Obj[string] | undefined;\n  };\n\n  const setter = (value: Obj[string] | undefined, data: Obj): Obj => {\n    return { ...data, [key]: value };\n  };\n\n  const theLens = lens(getter, setter);\n  return theLens;\n}\n\nprop.or = function propOr<Obj extends object, Key extends keyof Obj>(key: Key, defaultValue: NonNullable<Obj[Key]>) {\n  const getter = (data: Obj): NonNullable<Obj[Key]> => {\n    return data[key] ?? defaultValue;\n  };\n  const setter = (value: Obj[Key], data: Obj): Obj => {\n    return { ...data, [key]: value };\n  };\n\n  return lens(getter, setter);\n};\n","import { purry } from '../function/purry';\n\nimport type { Lens } from './internal/_lens';\nimport { overImplementation } from './internal/_lens';\n\nfunction setImplementation<Source, Focus>(lens: Lens<Source, Focus>): (source: Source, value: Focus) => Source {\n  return function innerSetOntoLens(source, value) {\n    return overImplementation(lens)(source, () => value);\n  };\n}\n\nexport function set<Source, Focus>(lens: Lens<Source, Focus>): (source: Source, value: Focus) => Source;\nexport function set<Source, Focus>(lens: Lens<Source, Focus>, source: Source, value: Focus): Source;\nexport function set<Source, Focus>(lens: Lens<Source, Focus>): unknown {\n  return function setOntoLens(...args: unknown[]): unknown {\n    return purry(setImplementation(lens), args);\n  };\n}\n","import { idxImplementation } from './internal/_idx';\nimport type { Lens } from './internal/_lens';\n\nexport function tuple<A, B>(index: 0): Lens<[A, B], A>;\nexport function tuple<A, B>(index: 1): Lens<[A, B], B>;\nexport function tuple(index: number): unknown {\n  return idxImplementation(index);\n}\n","import type { Lens } from './internal/_lens';\nimport { Const } from './internal/_lens';\n\nexport function view<Source, Focus>(lens: Lens<Source, Focus>): (source: Source) => Focus {\n  return function viewOntoLens(source: Source): Focus {\n    // @ts-expect-error - types will never be correct here because of how Const works\n    return lens(Const)(source).value;\n  };\n}\n"],"mappings":";;;;;;;AAEA,SAAgB,KACd,QACA,QACqB;CACrB,QAAQ,gBAAyF;EAC/F,QAAQ,WAAoC;GAE1C,OAAO,YADK,OAAO,MACE,CAAC,EAAE,KAAI,UAAS;IACnC,OAAO,OAAO,OAAO,MAAM;GAC7B,CAAC;EACH;CACF;AACF;;;ACTA,SAAgB,kBAAqB,OAA6B;CAChE,MAAM,UAAU,WAAmB;EAEjC,OAAA,oBAAA,GADqB,QAAQ,KAClB;CACb;CAEA,MAAM,UAAU,OAAU,WAAqB;EAE7C,OAAA,oBAAA,OADiC,QAAQ,OAAO,KAC7B;CACrB;CAEA,OAAO,KAAK,QAAQ,MAAM;AAC5B;;;ACTA,SAAgB,IAAO,OAAuC;CAC5D,OAAO,kBAAkB,KAAK;AAChC;AAEA,SAAS,oBAAuB,OAAe,cAA+B;CAC5E,MAAM,UAAU,WAAmB;EAEjC,OAAA,oBAAA,GADqB,QAAQ,KACjB,KAAW;CACzB;CAEA,MAAM,UAAU,OAAU,WAAqB;EAE7C,OAAA,oBAAA,OADiC,QAAQ,OAAO,KAC7B;CACrB;CAEA,OAAO,KAAK,QAAQ,MAAM;AAC5B;AAGA,SAAS,MAAM,GAAG,MAAmC;CACnD,OAAOA,cAAAA,MAAM,qBAAqB,IAAI;AACxC;AAEA,IAAI,KAAK;;;AC5BT,SAAgB,IAAU,IAAiB,MAA+B;CAExE,OAAO,KAAK,KAAI,UAAS,KAAK,KAAK,CAAC;AACtC;;;;;;;;;;ACYA,SAAgB,MAAM,OAAkC;CAStD,OAAO;EAPL,IAA4B,KAAgD;GAC1E,OAAO;EACT;EACA,IAAI,QAAQ;GACV,OAAO;EACT;CAEW;AACf;;;;;AAMA,SAAgB,SAAY,OAAsB;CAChD,OAAO;EACL,IAAO,IAAiC;GACtC,OAAO,SAAS,GAAG,KAAK,CAAC;EAC3B;EACA,IAAI,QAAQ;GACV,OAAO;EACT;CACF;AACF;AAEA,SAAgB,mBACd,MAC+D;CAC/D,OAAO,SAAS,kBAAkB,QAAQ,UAAU;EAGlD,OAAO,KAFMC,iBAAAA,MAAM,UAAU,QAEd,CAAC,EAAE,MAAM,EAAE;CAC5B;AACF;;;AC1CA,SAAgB,KAAoB,MAAoC;CACtE,OAAO,SAAS,aAAa,GAAG,MAA0B;EACxD,OAAOC,cAAAA,MAAM,mBAAmB,IAAI,GAAG,IAAI;CAC7C;AACF;;;ACCA,SAAgB,mBAAmB,KAAgC,MAAoC;CACrG,MAAM,MAAM,KAAK;CACjB,IAAI,QAAQ,GACV,MAAM,IAAI,WAAW,2DAA2D;CAGlF,IAAI,OAAO,MACT,MAAM,IAAIC,eAAAA,SAAS,sDAAsD;CAG3E,IAAI,SAAkB;CAEtB,KAAK,IAAI,IAAI,GAAG,IAAI,KAAK,KAAK,GAAG;EAC/B,MAAM,MAAM,KAAK;EAEjB,IAAI,OAAO,QAAQ,UACjB,SAASC,oBAAAA,GAAG,QAAiB,GAAG;OAEhC,SAASC,YAAAA,IAAI,QAAmC,GAAG;CAEvD;CAEA,OAAO;AACT;AAEA,SAAgB,qBAAqB,KAAa,SAA8B,cAAgC;CAC9G,MAAM,SAAS,mBAAmB,KAAK,OAAO;CAC9C,IAAI,kBAAkBC,eAAAA,eACpB,OAAO;CAET,OAAO;AACT;;;ACgHA,SAAgB,KAAK,GAAG,MAA0B;CAChD,OAAOC,cAAAA,MAAM,oBAAoB,IAAI;AACvC;;;AC3JA,SAAgB,WAAW,GAAG,MAA0B;CACtD,OAAOC,cAAAA,MAAM,oBAAoB,IAAI;AACvC;;;ACiMA,SAAgB,OAAO,GAAG,MAA0B;CAClD,OAAOC,cAAAA,MAAM,sBAAsB,IAAI;AACzC;;;ACrMA,SAAgB,aAAa,GAAG,MAA0B;CACxD,OAAOC,cAAAA,MAAM,sBAAsB,IAAI;AACzC;;;ACDA,SAAgB,KAA0C,KAAiD;CACzG,MAAM,UAAU,SAAuC;EACrD,OAAO,KAAK;CACd;CAEA,MAAM,UAAU,OAAgC,SAAmB;EACjE,OAAO;GAAE,GAAG;IAAO,MAAM;EAAM;CACjC;CAGA,OADgB,KAAK,QAAQ,MAChB;AACf;AAEA,KAAK,KAAK,SAAS,OAAkD,KAAU,cAAqC;CAClH,MAAM,UAAU,SAAqC;EACnD,OAAO,KAAK,QAAQ;CACtB;CACA,MAAM,UAAU,OAAiB,SAAmB;EAClD,OAAO;GAAE,GAAG;IAAO,MAAM;EAAM;CACjC;CAEA,OAAO,KAAK,QAAQ,MAAM;AAC5B;;;ACxBA,SAAS,kBAAiC,MAAqE;CAC7G,OAAO,SAAS,iBAAiB,QAAQ,OAAO;EAC9C,OAAO,mBAAmB,IAAI,EAAE,cAAc,KAAK;CACrD;AACF;AAIA,SAAgB,IAAmB,MAAoC;CACrE,OAAO,SAAS,YAAY,GAAG,MAA0B;EACvD,OAAOC,cAAAA,MAAM,kBAAkB,IAAI,GAAG,IAAI;CAC5C;AACF;;;ACZA,SAAgB,MAAM,OAAwB;CAC5C,OAAO,kBAAkB,KAAK;AAChC;;;ACJA,SAAgB,KAAoB,MAAsD;CACxF,OAAO,SAAS,aAAa,QAAuB;EAElD,OAAO,KAAK,KAAK,EAAE,MAAM,EAAE;CAC7B;AACF"}

package/dist/lens/index.d.cts

@@ -0,0 +1,109 @@
+import { t as Accessed } from "../types-D8f67ZCe.cjs";
+
+//#region src/lens/internal/_lens.d.ts
+interface Functor<A> {
+  map<B>(fn: (a: A) => B): Functor<B>;
+  get value(): A;
+}
+type Lens<Source, Focus> = (functorFactory: (focus: Focus) => Functor<Focus>) => (source: Source) => Functor<Source>;
+//#endregion
+//#region src/lens/idx.d.ts
+declare function idx<T>(index: number): Lens<T[], Accessed<T>>;
+declare namespace idx {
+  var or: typeof idxOr;
+}
+declare function idxOr<T>(index: number, defaultValue: T): Lens<T[], T>;
+//#endregion
+//#region src/lens/iso.d.ts
+declare function iso<A, B>(to: (a: A) => B, from: (b: B) => A): Lens<A, B>;
+//#endregion
+//#region src/lens/lens.d.ts
+declare function lens<Source, Focus>(getter: (source: Source) => Focus, setter: (focus: Focus, source: Source) => Source): Lens<Source, Focus>;
+//#endregion
+//#region src/lens/over.d.ts
+declare function over<Source, Focus>(lens: Lens<Source, Focus>): {
+  (updateFn: (value: Focus) => Focus): (source: Source) => Source;
+  (source: Source, updateFn: (value: Focus) => Focus): Source;
+};
+//#endregion
+//#region src/lens/internal/_path.d.ts
+type ValueAtPath<Obj, Tuple extends readonly PropertyKey[]> = Tuple extends readonly [infer Key, ...unknown[]] ? Tuple extends readonly [unknown, ...infer Rest] ? Key extends keyof Obj ? Rest extends [] ? NonNullable<Obj[Key]> : Rest extends readonly PropertyKey[] ? ValueAtPath<NonNullable<Required<Obj>[Key]>, Rest> : never : never : never : never;
+//#endregion
+//#region src/lens/path.d.ts
+/**
+ *
+ * @throws RangeError
+ */
+declare function path(path: readonly []): never;
+declare function path<Obj extends object, K1 extends keyof Required<Obj>>(path: readonly [K1]): (data: Obj) => ValueAtPath<Obj, [K1]> | null;
+declare function path<Obj, K1 extends keyof Required<Obj>, K2 extends keyof NonNullable<ValueAtPath<Obj, [K1]>>>(path: readonly [K1, K2]): (obj: Obj) => ValueAtPath<Obj, [K1, K2]> | null;
+declare function path<Obj, K1 extends keyof Required<Obj>, K2 extends keyof NonNullable<ValueAtPath<Obj, [K1]>>, K3 extends keyof NonNullable<ValueAtPath<Obj, [K1, K2]>>>(path: readonly [K1, K2, K3]): (obj: Obj) => ValueAtPath<Obj, [K1, K2, K3]> | null;
+declare function path<Obj, K1 extends keyof Required<Obj>, K2 extends keyof NonNullable<ValueAtPath<Obj, [K1]>>, K3 extends keyof NonNullable<ValueAtPath<Obj, [K1, K2]>>, K4 extends keyof NonNullable<ValueAtPath<Obj, [K1, K2, K3]>>>(path: readonly [K1, K2, K3, K4]): (obj: Obj) => ValueAtPath<Obj, [K1, K2, K3, K4]> | null;
+declare function path<Obj, K1 extends keyof Required<Obj>, K2 extends keyof NonNullable<ValueAtPath<Obj, [K1]>>, K3 extends keyof NonNullable<ValueAtPath<Obj, [K1, K2]>>, K4 extends keyof NonNullable<ValueAtPath<Obj, [K1, K2, K3]>>, K5 extends keyof NonNullable<ValueAtPath<Obj, [K1, K2, K3, K4]>>>(path: readonly [K1, K2, K3, K4, K5]): (obj: Obj) => ValueAtPath<Obj, [K1, K2, K3, K4, K5]> | null;
+declare function path<Obj, K1 extends keyof Required<Obj>, K2 extends keyof NonNullable<ValueAtPath<Obj, [K1]>>, K3 extends keyof NonNullable<ValueAtPath<Obj, [K1, K2]>>, K4 extends keyof NonNullable<ValueAtPath<Obj, [K1, K2, K3]>>, K5 extends keyof NonNullable<ValueAtPath<Obj, [K1, K2, K3, K4]>>, K6 extends keyof NonNullable<ValueAtPath<Obj, [K1, K2, K3, K4, K5]>>>(path: readonly [K1, K2, K3, K4, K5, K6]): (obj: Obj) => ValueAtPath<Obj, [K1, K2, K3, K4, K5, K6]> | null;
+declare function path<Obj, K1 extends keyof Required<Obj>, K2 extends keyof NonNullable<ValueAtPath<Obj, [K1]>>, K3 extends keyof NonNullable<ValueAtPath<Obj, [K1, K2]>>, K4 extends keyof NonNullable<ValueAtPath<Obj, [K1, K2, K3]>>, K5 extends keyof NonNullable<ValueAtPath<Obj, [K1, K2, K3, K4]>>, K6 extends keyof NonNullable<ValueAtPath<Obj, [K1, K2, K3, K4, K5]>>, K7 extends keyof NonNullable<ValueAtPath<Obj, [K1, K2, K3, K4, K5, K6]>>>(path: readonly [K1, K2, K3, K4, K5, K6, K7]): (obj: Obj) => ValueAtPath<Obj, [K1, K2, K3, K4, K5, K6, K7]> | null;
+declare function path<Obj, K1 extends keyof Required<Obj>, K2 extends keyof NonNullable<ValueAtPath<Obj, [K1]>>, K3 extends keyof NonNullable<ValueAtPath<Obj, [K1, K2]>>, K4 extends keyof NonNullable<ValueAtPath<Obj, [K1, K2, K3]>>, K5 extends keyof NonNullable<ValueAtPath<Obj, [K1, K2, K3, K4]>>, K6 extends keyof NonNullable<ValueAtPath<Obj, [K1, K2, K3, K4, K5]>>, K7 extends keyof NonNullable<ValueAtPath<Obj, [K1, K2, K3, K4, K5, K6]>>, K8 extends keyof NonNullable<ValueAtPath<Obj, [K1, K2, K3, K4, K5, K6, K7]>>>(path: readonly [K1, K2, K3, K4, K5, K6, K7, K8]): (obj: Obj) => ValueAtPath<Obj, [K1, K2, K3, K4, K5, K6, K7, K8]> | null;
+declare function path<Obj, K1 extends keyof Required<Obj>, K2 extends keyof NonNullable<ValueAtPath<Obj, [K1]>>, K3 extends keyof NonNullable<ValueAtPath<Obj, [K1, K2]>>, K4 extends keyof NonNullable<ValueAtPath<Obj, [K1, K2, K3]>>, K5 extends keyof NonNullable<ValueAtPath<Obj, [K1, K2, K3, K4]>>, K6 extends keyof NonNullable<ValueAtPath<Obj, [K1, K2, K3, K4, K5]>>, K7 extends keyof NonNullable<ValueAtPath<Obj, [K1, K2, K3, K4, K5, K6]>>, K8 extends keyof NonNullable<ValueAtPath<Obj, [K1, K2, K3, K4, K5, K6, K7]>>, K9 extends keyof NonNullable<ValueAtPath<Obj, [K1, K2, K3, K4, K5, K6, K7, K8]>>>(path: readonly [K1, K2, K3, K4, K5, K6, K7, K8, K9]): (obj: Obj) => ValueAtPath<Obj, [K1, K2, K3, K4, K5, K6, K7, K8, K9]> | null;
+declare function path<const P extends readonly PropertyKey[]>(path: P): <S extends object>(data: S) => never extends ValueAtPath<S, P> ? ValueAtPath<S, P> | null : never;
+declare function path(obj: unknown, path: readonly []): never;
+declare function path<Obj, K1 extends keyof Required<Obj>>(obj: Obj, path: readonly [K1]): ValueAtPath<Obj, [K1]> | null;
+declare function path<Obj, K1 extends keyof Required<Obj>, K2 extends keyof NonNullable<ValueAtPath<Obj, [K1]>>>(obj: Obj, path: readonly [K1, K2]): ValueAtPath<Obj, [K1, K2]> | null;
+declare function path<Obj, K1 extends keyof Required<Obj>, K2 extends keyof NonNullable<ValueAtPath<Obj, [K1]>>, K3 extends keyof NonNullable<ValueAtPath<Obj, [K1, K2]>>>(obj: Obj, path: readonly [K1, K2, K3]): ValueAtPath<Obj, [K1, K2, K3]> | null;
+declare function path<Obj, K1 extends keyof Required<Obj>, K2 extends keyof NonNullable<ValueAtPath<Obj, [K1]>>, K3 extends keyof NonNullable<ValueAtPath<Obj, [K1, K2]>>, K4 extends keyof NonNullable<ValueAtPath<Obj, [K1, K2, K3]>>>(obj: Obj, path: readonly [K1, K2, K3, K4]): ValueAtPath<Obj, [K1, K2, K3, K4]> | null;
+declare function path<Obj, K1 extends keyof Required<Obj>, K2 extends keyof NonNullable<ValueAtPath<Obj, [K1]>>, K3 extends keyof NonNullable<ValueAtPath<Obj, [K1, K2]>>, K4 extends keyof NonNullable<ValueAtPath<Obj, [K1, K2, K3]>>, K5 extends keyof NonNullable<ValueAtPath<Obj, [K1, K2, K3, K4]>>>(obj: Obj, path: readonly [K1, K2, K3, K4, K5]): ValueAtPath<Obj, [K1, K2, K3, K4, K5]> | null;
+declare function path<Obj, K1 extends keyof Required<Obj>, K2 extends keyof NonNullable<ValueAtPath<Obj, [K1]>>, K3 extends keyof NonNullable<ValueAtPath<Obj, [K1, K2]>>, K4 extends keyof NonNullable<ValueAtPath<Obj, [K1, K2, K3]>>, K5 extends keyof NonNullable<ValueAtPath<Obj, [K1, K2, K3, K4]>>, K6 extends keyof NonNullable<ValueAtPath<Obj, [K1, K2, K3, K4, K5]>>>(obj: Obj, path: readonly [K1, K2, K3, K4, K5, K6]): ValueAtPath<Obj, [K1, K2, K3, K4, K5, K6]> | null;
+declare function path<Obj, K1 extends keyof Required<Obj>, K2 extends keyof NonNullable<ValueAtPath<Obj, [K1]>>, K3 extends keyof NonNullable<ValueAtPath<Obj, [K1, K2]>>, K4 extends keyof NonNullable<ValueAtPath<Obj, [K1, K2, K3]>>, K5 extends keyof NonNullable<ValueAtPath<Obj, [K1, K2, K3, K4]>>, K6 extends keyof NonNullable<ValueAtPath<Obj, [K1, K2, K3, K4, K5]>>, K7 extends keyof NonNullable<ValueAtPath<Obj, [K1, K2, K3, K4, K5, K6]>>>(obj: Obj, path: readonly [K1, K2, K3, K4, K5, K6, K7]): ValueAtPath<Obj, [K1, K2, K3, K4, K5, K6, K7]> | null;
+declare function path<Obj, K1 extends keyof Required<Obj>, K2 extends keyof NonNullable<ValueAtPath<Obj, [K1]>>, K3 extends keyof NonNullable<ValueAtPath<Obj, [K1, K2]>>, K4 extends keyof NonNullable<ValueAtPath<Obj, [K1, K2, K3]>>, K5 extends keyof NonNullable<ValueAtPath<Obj, [K1, K2, K3, K4]>>, K6 extends keyof NonNullable<ValueAtPath<Obj, [K1, K2, K3, K4, K5]>>, K7 extends keyof NonNullable<ValueAtPath<Obj, [K1, K2, K3, K4, K5, K6]>>, K8 extends keyof NonNullable<ValueAtPath<Obj, [K1, K2, K3, K4, K5, K6, K7]>>>(obj: Obj, path: readonly [K1, K2, K3, K4, K5, K6, K7, K8]): ValueAtPath<Obj, [K1, K2, K3, K4, K5, K6, K7, K8]> | null;
+declare function path<Obj, K1 extends keyof Required<Obj>, K2 extends keyof NonNullable<ValueAtPath<Obj, [K1]>>, K3 extends keyof NonNullable<ValueAtPath<Obj, [K1, K2]>>, K4 extends keyof NonNullable<ValueAtPath<Obj, [K1, K2, K3]>>, K5 extends keyof NonNullable<ValueAtPath<Obj, [K1, K2, K3, K4]>>, K6 extends keyof NonNullable<ValueAtPath<Obj, [K1, K2, K3, K4, K5]>>, K7 extends keyof NonNullable<ValueAtPath<Obj, [K1, K2, K3, K4, K5, K6]>>, K8 extends keyof NonNullable<ValueAtPath<Obj, [K1, K2, K3, K4, K5, K6, K7]>>, K9 extends keyof NonNullable<ValueAtPath<Obj, [K1, K2, K3, K4, K5, K6, K7, K8]>>>(obj: Obj, path: readonly [K1, K2, K3, K4, K5, K6, K7, K8, K9]): ValueAtPath<Obj, [K1, K2, K3, K4, K5, K6, K7, K8, K9]> | null;
+//#endregion
+//#region src/lens/pathUnsafe.d.ts
+declare function pathUnsafe<T = unknown>(path: readonly PropertyKey[]): (data: object) => T | null;
+declare function pathUnsafe<T = unknown>(data: object, path: readonly PropertyKey[]): T | null;
+//#endregion
+//#region src/lens/pathOr.d.ts
+declare function pathOr(path: readonly [], defaultValue: unknown): never;
+declare function pathOr<Obj extends object, K1 extends keyof Required<Obj>>(path: readonly [K1], defaultValue: ValueAtPath<Obj, [K1]>): (data: Obj) => ValueAtPath<Obj, [K1]>;
+declare function pathOr<Obj, K1 extends keyof Required<Obj>, K2 extends keyof NonNullable<ValueAtPath<Obj, [K1]>>>(path: readonly [K1, K2], defaultValue: ValueAtPath<Obj, [K1, K2]>): (obj: Obj) => ValueAtPath<Obj, [K1, K2]>;
+declare function pathOr<Obj, K1 extends keyof Required<Obj>, K2 extends keyof NonNullable<ValueAtPath<Obj, [K1]>>, K3 extends keyof NonNullable<ValueAtPath<Obj, [K1, K2]>>>(path: readonly [K1, K2, K3], defaultValue: ValueAtPath<Obj, [K1, K2, K3]>): (obj: Obj) => ValueAtPath<Obj, [K1, K2, K3]>;
+declare function pathOr<Obj, K1 extends keyof Required<Obj>, K2 extends keyof NonNullable<ValueAtPath<Obj, [K1]>>, K3 extends keyof NonNullable<ValueAtPath<Obj, [K1, K2]>>, K4 extends keyof NonNullable<ValueAtPath<Obj, [K1, K2, K3]>>>(path: readonly [K1, K2, K3, K4], defaultValue: ValueAtPath<Obj, [K1, K2, K3, K4]>): (obj: Obj) => ValueAtPath<Obj, [K1, K2, K3, K4]>;
+declare function pathOr<Obj, K1 extends keyof Required<Obj>, K2 extends keyof NonNullable<ValueAtPath<Obj, [K1]>>, K3 extends keyof NonNullable<ValueAtPath<Obj, [K1, K2]>>, K4 extends keyof NonNullable<ValueAtPath<Obj, [K1, K2, K3]>>, K5 extends keyof NonNullable<ValueAtPath<Obj, [K1, K2, K3, K4]>>>(path: readonly [K1, K2, K3, K4, K5], defaultValue: ValueAtPath<Obj, [K1, K2, K3, K4, K5]>): (obj: Obj) => ValueAtPath<Obj, [K1, K2, K3, K4, K5]>;
+declare function pathOr<Obj, K1 extends keyof Required<Obj>, K2 extends keyof NonNullable<ValueAtPath<Obj, [K1]>>, K3 extends keyof NonNullable<ValueAtPath<Obj, [K1, K2]>>, K4 extends keyof NonNullable<ValueAtPath<Obj, [K1, K2, K3]>>, K5 extends keyof NonNullable<ValueAtPath<Obj, [K1, K2, K3, K4]>>, K6 extends keyof NonNullable<ValueAtPath<Obj, [K1, K2, K3, K4, K5]>>>(path: readonly [K1, K2, K3, K4, K5, K6], defaultValue: ValueAtPath<Obj, [K1, K2, K3, K4, K5, K6]>): (obj: Obj) => ValueAtPath<Obj, [K1, K2, K3, K4, K5, K6]>;
+declare function pathOr<Obj, K1 extends keyof Required<Obj>, K2 extends keyof NonNullable<ValueAtPath<Obj, [K1]>>, K3 extends keyof NonNullable<ValueAtPath<Obj, [K1, K2]>>, K4 extends keyof NonNullable<ValueAtPath<Obj, [K1, K2, K3]>>, K5 extends keyof NonNullable<ValueAtPath<Obj, [K1, K2, K3, K4]>>, K6 extends keyof NonNullable<ValueAtPath<Obj, [K1, K2, K3, K4, K5]>>, K7 extends keyof NonNullable<ValueAtPath<Obj, [K1, K2, K3, K4, K5, K6]>>>(path: readonly [K1, K2, K3, K4, K5, K6, K7], defaultValue: ValueAtPath<Obj, [K1, K2, K3, K4, K5, K6, K7]>): (obj: Obj) => ValueAtPath<Obj, [K1, K2, K3, K4, K5, K6, K7]>;
+declare function pathOr<Obj, K1 extends keyof Required<Obj>, K2 extends keyof NonNullable<ValueAtPath<Obj, [K1]>>, K3 extends keyof NonNullable<ValueAtPath<Obj, [K1, K2]>>, K4 extends keyof NonNullable<ValueAtPath<Obj, [K1, K2, K3]>>, K5 extends keyof NonNullable<ValueAtPath<Obj, [K1, K2, K3, K4]>>, K6 extends keyof NonNullable<ValueAtPath<Obj, [K1, K2, K3, K4, K5]>>, K7 extends keyof NonNullable<ValueAtPath<Obj, [K1, K2, K3, K4, K5, K6]>>, K8 extends keyof NonNullable<ValueAtPath<Obj, [K1, K2, K3, K4, K5, K6, K7]>>>(path: readonly [K1, K2, K3, K4, K5, K6, K7, K8], defaultValue: ValueAtPath<Obj, [K1, K2, K3, K4, K5, K6, K7, K8]>): (obj: Obj) => ValueAtPath<Obj, [K1, K2, K3, K4, K5, K6, K7, K8]>;
+declare function pathOr<Obj, K1 extends keyof Required<Obj>, K2 extends keyof NonNullable<ValueAtPath<Obj, [K1]>>, K3 extends keyof NonNullable<ValueAtPath<Obj, [K1, K2]>>, K4 extends keyof NonNullable<ValueAtPath<Obj, [K1, K2, K3]>>, K5 extends keyof NonNullable<ValueAtPath<Obj, [K1, K2, K3, K4]>>, K6 extends keyof NonNullable<ValueAtPath<Obj, [K1, K2, K3, K4, K5]>>, K7 extends keyof NonNullable<ValueAtPath<Obj, [K1, K2, K3, K4, K5, K6]>>, K8 extends keyof NonNullable<ValueAtPath<Obj, [K1, K2, K3, K4, K5, K6, K7]>>, K9 extends keyof NonNullable<ValueAtPath<Obj, [K1, K2, K3, K4, K5, K6, K7, K8]>>>(path: readonly [K1, K2, K3, K4, K5, K6, K7, K8, K9], defaultValue: ValueAtPath<Obj, [K1, K2, K3, K4, K5, K6, K7, K8, K9]>): (obj: Obj) => ValueAtPath<Obj, [K1, K2, K3, K4, K5, K6, K7, K8, K9]>;
+declare function pathOr<const Path extends readonly PropertyKey[], Value>(pathway: Path, defaultValue: Value): <Obj extends object>(obj: Value extends ValueAtPath<Obj, Path> ? Obj : never) => ValueAtPath<Obj, Path>;
+declare function pathOr(obj: unknown, path: readonly [], defaultValue: unknown): never;
+declare function pathOr<Obj, K1 extends keyof Required<Obj>>(obj: Obj, path: readonly [K1], defaultValue: ValueAtPath<Obj, [K1]>): ValueAtPath<Obj, [K1]>;
+declare function pathOr<Obj, K1 extends keyof Required<Obj>, K2 extends keyof NonNullable<ValueAtPath<Obj, [K1]>>>(obj: Obj, path: readonly [K1, K2], defaultValue: ValueAtPath<Obj, [K1, K2]>): ValueAtPath<Obj, [K1, K2]>;
+declare function pathOr<Obj, K1 extends keyof Required<Obj>, K2 extends keyof NonNullable<ValueAtPath<Obj, [K1]>>, K3 extends keyof NonNullable<ValueAtPath<Obj, [K1, K2]>>>(obj: Obj, path: readonly [K1, K2, K3], defaultValue: ValueAtPath<Obj, [K1, K2, K3]>): ValueAtPath<Obj, [K1, K2, K3]>;
+declare function pathOr<Obj, K1 extends keyof Required<Obj>, K2 extends keyof NonNullable<ValueAtPath<Obj, [K1]>>, K3 extends keyof NonNullable<ValueAtPath<Obj, [K1, K2]>>, K4 extends keyof NonNullable<ValueAtPath<Obj, [K1, K2, K3]>>>(obj: Obj, path: readonly [K1, K2, K3, K4], defaultValue: ValueAtPath<Obj, [K1, K2, K3, K4]>): ValueAtPath<Obj, [K1, K2, K3, K4]>;
+declare function pathOr<Obj, K1 extends keyof Required<Obj>, K2 extends keyof NonNullable<ValueAtPath<Obj, [K1]>>, K3 extends keyof NonNullable<ValueAtPath<Obj, [K1, K2]>>, K4 extends keyof NonNullable<ValueAtPath<Obj, [K1, K2, K3]>>, K5 extends keyof NonNullable<ValueAtPath<Obj, [K1, K2, K3, K4]>>>(obj: Obj, path: readonly [K1, K2, K3, K4, K5], defaultValue: ValueAtPath<Obj, [K1, K2, K3, K4, K5]>): ValueAtPath<Obj, [K1, K2, K3, K4, K5]>;
+declare function pathOr<Obj, K1 extends keyof Required<Obj>, K2 extends keyof NonNullable<ValueAtPath<Obj, [K1]>>, K3 extends keyof NonNullable<ValueAtPath<Obj, [K1, K2]>>, K4 extends keyof NonNullable<ValueAtPath<Obj, [K1, K2, K3]>>, K5 extends keyof NonNullable<ValueAtPath<Obj, [K1, K2, K3, K4]>>, K6 extends keyof NonNullable<ValueAtPath<Obj, [K1, K2, K3, K4, K5]>>>(obj: Obj, path: readonly [K1, K2, K3, K4, K5, K6], defaultValue: ValueAtPath<Obj, [K1, K2, K3, K4, K5, K6]>): ValueAtPath<Obj, [K1, K2, K3, K4, K5, K6]>;
+declare function pathOr<Obj, K1 extends keyof Required<Obj>, K2 extends keyof NonNullable<ValueAtPath<Obj, [K1]>>, K3 extends keyof NonNullable<ValueAtPath<Obj, [K1, K2]>>, K4 extends keyof NonNullable<ValueAtPath<Obj, [K1, K2, K3]>>, K5 extends keyof NonNullable<ValueAtPath<Obj, [K1, K2, K3, K4]>>, K6 extends keyof NonNullable<ValueAtPath<Obj, [K1, K2, K3, K4, K5]>>, K7 extends keyof NonNullable<ValueAtPath<Obj, [K1, K2, K3, K4, K5, K6]>>>(obj: Obj, path: readonly [K1, K2, K3, K4, K5, K6, K7], defaultValue: ValueAtPath<Obj, [K1, K2, K3, K4, K5, K6, K7]>): ValueAtPath<Obj, [K1, K2, K3, K4, K5, K6, K7]>;
+declare function pathOr<Obj, K1 extends keyof Required<Obj>, K2 extends keyof NonNullable<ValueAtPath<Obj, [K1]>>, K3 extends keyof NonNullable<ValueAtPath<Obj, [K1, K2]>>, K4 extends keyof NonNullable<ValueAtPath<Obj, [K1, K2, K3]>>, K5 extends keyof NonNullable<ValueAtPath<Obj, [K1, K2, K3, K4]>>, K6 extends keyof NonNullable<ValueAtPath<Obj, [K1, K2, K3, K4, K5]>>, K7 extends keyof NonNullable<ValueAtPath<Obj, [K1, K2, K3, K4, K5, K6]>>, K8 extends keyof NonNullable<ValueAtPath<Obj, [K1, K2, K3, K4, K5, K6, K7]>>>(obj: Obj, path: readonly [K1, K2, K3, K4, K5, K6, K7, K8], defaultValue: ValueAtPath<Obj, [K1, K2, K3, K4, K5, K6, K7, K8]>): ValueAtPath<Obj, [K1, K2, K3, K4, K5, K6, K7, K8]>;
+declare function pathOr<Obj, K1 extends keyof Required<Obj>, K2 extends keyof NonNullable<ValueAtPath<Obj, [K1]>>, K3 extends keyof NonNullable<ValueAtPath<Obj, [K1, K2]>>, K4 extends keyof NonNullable<ValueAtPath<Obj, [K1, K2, K3]>>, K5 extends keyof NonNullable<ValueAtPath<Obj, [K1, K2, K3, K4]>>, K6 extends keyof NonNullable<ValueAtPath<Obj, [K1, K2, K3, K4, K5]>>, K7 extends keyof NonNullable<ValueAtPath<Obj, [K1, K2, K3, K4, K5, K6]>>, K8 extends keyof NonNullable<ValueAtPath<Obj, [K1, K2, K3, K4, K5, K6, K7]>>, K9 extends keyof NonNullable<ValueAtPath<Obj, [K1, K2, K3, K4, K5, K6, K7, K8]>>>(obj: Obj, path: readonly [K1, K2, K3, K4, K5, K6, K7, K8, K9], defaultValue: ValueAtPath<Obj, [K1, K2, K3, K4, K5, K6, K7, K8, K9]>): ValueAtPath<Obj, [K1, K2, K3, K4, K5, K6, K7, K8, K9]>;
+//#endregion
+//#region src/lens/pathOrUnsafe.d.ts
+declare function pathOrUnsafe<T = unknown>(path: readonly PropertyKey[], defaultValue: T): (data: object) => T;
+declare function pathOrUnsafe<T = unknown>(data: object, path: readonly PropertyKey[], defaultValue: T): T;
+//#endregion
+//#region src/lens/prop.d.ts
+declare function prop<Obj extends Record<string, unknown>, Key extends keyof Obj>(key: string extends keyof Obj ? never : Key): Lens<Obj, Obj[Key]>;
+declare function prop<Obj extends Record<string, unknown>>(key: string): Lens<Obj, Obj[string] | undefined>;
+declare namespace prop {
+  var or: <Obj extends object, Key extends keyof Obj>(key: Key, defaultValue: NonNullable<Obj[Key]>) => Lens<Obj, NonNullable<Obj[Key]>>;
+}
+//#endregion
+//#region src/lens/set.d.ts
+declare function set<Source, Focus>(lens: Lens<Source, Focus>): (source: Source, value: Focus) => Source;
+declare function set<Source, Focus>(lens: Lens<Source, Focus>, source: Source, value: Focus): Source;
+//#endregion
+//#region src/lens/tuple.d.ts
+declare function tuple<A, B>(index: 0): Lens<[A, B], A>;
+declare function tuple<A, B>(index: 1): Lens<[A, B], B>;
+//#endregion
+//#region src/lens/view.d.ts
+declare function view<Source, Focus>(lens: Lens<Source, Focus>): (source: Source) => Focus;
+//#endregion
+export { idx, iso, lens, over, path, pathOr, pathOrUnsafe, pathUnsafe, prop, set, tuple, view };
+//# sourceMappingURL=index.d.cts.map