veffect
Version:
powerful TypeScript validation library built on the robust foundation of Effect combining exceptional type safety, high performance, and developer experience. Taking inspiration from Effect's functional principles, VEffect delivers a balanced approach tha
748 lines • 28.6 kB
TypeScript
/**
* This module provides utility functions for working with records in TypeScript.
*
* @since 2.0.0
*/
import type { Either } from "./Either.js";
import type { Equivalence } from "./Equivalence.js";
import type { TypeLambda } from "./HKT.js";
import * as Option from "./Option.js";
import type { NoInfer } from "./Types.js";
/**
* @category models
* @since 2.0.0
*/
export type ReadonlyRecord<in out K extends string | symbol, out A> = {
readonly [P in K]: A;
};
/**
* @since 2.0.0
*/
export declare namespace ReadonlyRecord {
type IsFiniteString<T extends string> = T extends "" ? true : [
T
] extends [`${infer Head}${infer Rest}`] ? string extends Head ? false : `${number}` extends Head ? false : Rest extends "" ? true : IsFiniteString<Rest> : false;
/**
* @since 2.0.0
*/
type NonLiteralKey<K extends string | symbol> = K extends string ? IsFiniteString<K> extends true ? string : K : symbol;
/**
* @since 2.0.0
*/
type IntersectKeys<K1 extends string, K2 extends string> = [string] extends [K1 | K2] ? NonLiteralKey<K1> & NonLiteralKey<K2> : K1 & K2;
}
/**
* @category type lambdas
* @since 2.0.0
*/
export interface ReadonlyRecordTypeLambda<K extends string = string> extends TypeLambda {
readonly type: ReadonlyRecord<K, this["Target"]>;
}
/**
* Creates a new, empty record.
*
* @category constructors
* @since 2.0.0
*/
export declare const empty: <K extends string | symbol = never, V = never>() => Record<ReadonlyRecord.NonLiteralKey<K>, V>;
/**
* Determine if a record is empty.
*
* @param self - record to test for emptiness.
*
* @example
* import { isEmptyRecord } from "effect/ReadonlyRecord"
*
* assert.deepStrictEqual(isEmptyRecord({}), true);
* assert.deepStrictEqual(isEmptyRecord({ a: 3 }), false);
*
* @category guards
* @since 2.0.0
*/
export declare const isEmptyRecord: <K extends string, A>(self: Record<K, A>) => self is Record<K, never>;
/**
* Determine if a record is empty.
*
* @param self - record to test for emptiness.
*
* @example
* import { isEmptyReadonlyRecord } from "effect/ReadonlyRecord"
*
* assert.deepStrictEqual(isEmptyReadonlyRecord({}), true);
* assert.deepStrictEqual(isEmptyReadonlyRecord({ a: 3 }), false);
*
* @category guards
* @since 2.0.0
*/
export declare const isEmptyReadonlyRecord: <K extends string, A>(self: ReadonlyRecord<K, A>) => self is ReadonlyRecord<K, never>;
/**
* Takes an iterable and a projection function and returns a record.
* The projection function maps each value of the iterable to a tuple of a key and a value, which is then added to the resulting record.
*
* @param self - An iterable of values to be mapped to a record.
* @param f - A projection function that maps values of the iterable to a tuple of a key and a value.
*
* @example
* import { fromIterableWith } from "effect/ReadonlyRecord"
*
* const input = [1, 2, 3, 4]
*
* assert.deepStrictEqual(
* fromIterableWith(input, a => [String(a), a * 2]),
* { '1': 2, '2': 4, '3': 6, '4': 8 }
* )
*
* @category constructors
* @since 2.0.0
*/
export declare const fromIterableWith: {
<A, K extends string | symbol, B>(f: (a: A) => readonly [K, B]): (self: Iterable<A>) => Record<ReadonlyRecord.NonLiteralKey<K>, B>;
<A, K extends string | symbol, B>(self: Iterable<A>, f: (a: A) => readonly [K, B]): Record<ReadonlyRecord.NonLiteralKey<K>, B>;
};
/**
* Creates a new record from an iterable, utilizing the provided function to determine the key for each element.
*
* @param items - An iterable containing elements.
* @param f - A function that extracts the key for each element.
*
* @example
* import { fromIterableBy } from "effect/ReadonlyRecord"
*
* const users = [
* { id: "2", name: "name2" },
* { id: "1", name: "name1" }
* ]
*
* assert.deepStrictEqual(
* fromIterableBy(users, user => user.id),
* {
* "2": { id: "2", name: "name2" },
* "1": { id: "1", name: "name1" }
* }
* )
*
* @category constructors
* @since 2.0.0
*/
export declare const fromIterableBy: <A, K extends string | symbol>(items: Iterable<A>, f: (a: A) => K) => Record<ReadonlyRecord.NonLiteralKey<K>, A>;
/**
* Builds a record from an iterable of key-value pairs.
*
* If there are conflicting keys when using `fromEntries`, the last occurrence of the key/value pair will overwrite the
* previous ones. So the resulting record will only have the value of the last occurrence of each key.
*
* @param self - The iterable of key-value pairs.
*
* @example
* import { fromEntries } from "effect/ReadonlyRecord"
*
* const input: Array<[string, number]> = [["a", 1], ["b", 2]]
*
* assert.deepStrictEqual(fromEntries(input), { a: 1, b: 2 })
*
* @since 2.0.0
* @category constructors
*/
export declare const fromEntries: <Entry extends readonly [string | symbol, any]>(entries: Iterable<Entry>) => Record<ReadonlyRecord.NonLiteralKey<Entry[0]>, Entry[1]>;
/**
* Transforms the values of a record into an `Array` with a custom mapping function.
*
* @param self - The record to transform.
* @param f - The custom mapping function to apply to each key/value of the record.
*
* @example
* import { collect } from "effect/ReadonlyRecord"
*
* const x = { a: 1, b: 2, c: 3 }
* assert.deepStrictEqual(collect(x, (key, n) => [key, n]), [["a", 1], ["b", 2], ["c", 3]])
*
* @category conversions
* @since 2.0.0
*/
export declare const collect: {
<K extends string, A, B>(f: (key: K, a: A) => B): (self: ReadonlyRecord<K, A>) => Array<B>;
<K extends string, A, B>(self: ReadonlyRecord<K, A>, f: (key: K, a: A) => B): Array<B>;
};
/**
* Takes a record and returns an array of tuples containing its keys and values.
*
* @param self - The record to transform.
*
* @example
* import { toEntries } from "effect/ReadonlyRecord"
*
* const x = { a: 1, b: 2, c: 3 }
* assert.deepStrictEqual(toEntries(x), [["a", 1], ["b", 2], ["c", 3]])
*
* @category conversions
* @since 2.0.0
*/
export declare const toEntries: <K extends string, A>(self: ReadonlyRecord<K, A>) => Array<[K, A]>;
/**
* Returns the number of key/value pairs in a record.
*
* @param self - A record to calculate the number of key/value pairs in.
*
* @example
* import { size } from "effect/ReadonlyRecord";
*
* assert.deepStrictEqual(size({ a: "a", b: 1, c: true }), 3);
*
* @since 2.0.0
*/
export declare const size: <K extends string, A>(self: ReadonlyRecord<K, A>) => number;
/**
* Check if a given `key` exists in a record.
*
* @param self - the record to look in.
* @param key - the key to look for in the record.
*
* @example
* import { empty, has } from "effect/ReadonlyRecord"
*
* assert.deepStrictEqual(has({ a: 1, b: 2 }, "a"), true);
* assert.deepStrictEqual(has(empty<string>(), "c"), false);
*
* @since 2.0.0
*/
export declare const has: {
<K extends string | symbol>(key: NoInfer<K>): <A>(self: ReadonlyRecord<K, A>) => boolean;
<K extends string | symbol, A>(self: ReadonlyRecord<K, A>, key: NoInfer<K>): boolean;
};
/**
* Retrieve a value at a particular key from a record, returning it wrapped in an `Option`.
*
* @param self - The record to retrieve value from.
* @param key - Key to retrieve from record.
*
* @example
* import { get } from "effect/ReadonlyRecord"
* import { some, none } from "effect/Option"
*
* const person: Record<string, unknown> = { name: "John Doe", age: 35 }
*
* assert.deepStrictEqual(get(person, "name"), some("John Doe"))
* assert.deepStrictEqual(get(person, "email"), none())
*
* @since 2.0.0
*/
export declare const get: {
<K extends string | symbol>(key: NoInfer<K>): <A>(self: ReadonlyRecord<K, A>) => Option.Option<A>;
<K extends string | symbol, A>(self: ReadonlyRecord<K, A>, key: NoInfer<K>): Option.Option<A>;
};
/**
* Apply a function to the element at the specified key, creating a new record.
* If the key does not exist, the record is returned unchanged.
*
* @param self - The record to be updated.
* @param key - The key of the element to modify.
* @param f - The function to apply to the element.
*
* @example
* import { modify } from "effect/ReadonlyRecord"
* import { some, none } from "effect/Option"
*
* const f = (x: number) => x * 2
*
* assert.deepStrictEqual(
* modify({ a: 3 }, 'a', f),
* { a: 6 }
* )
* assert.deepStrictEqual(
* modify({ a: 3 } as Record<string, number>, 'b', f),
* { a: 3 }
* )
*
* @since 2.0.0
*/
export declare const modify: {
<K extends string | symbol, A, B>(key: NoInfer<K>, f: (a: A) => B): (self: ReadonlyRecord<K, A>) => Record<K, A | B>;
<K extends string | symbol, A, B>(self: ReadonlyRecord<K, A>, key: NoInfer<K>, f: (a: A) => B): Record<K, A | B>;
};
/**
* Apply a function to the element at the specified key, creating a new record,
* or return `None` if the key doesn't exist.
*
* @param self - The record to be updated.
* @param key - The key of the element to modify.
* @param f - The function to apply to the element.
*
* @example
* import { modifyOption } from "effect/ReadonlyRecord"
* import { some, none } from "effect/Option"
*
* const f = (x: number) => x * 2
*
* assert.deepStrictEqual(
* modifyOption({ a: 3 }, 'a', f),
* some({ a: 6 })
* )
* assert.deepStrictEqual(
* modifyOption({ a: 3 } as Record<string, number>, 'b', f),
* none()
* )
*
* @since 2.0.0
*/
export declare const modifyOption: {
<K extends string | symbol, A, B>(key: NoInfer<K>, f: (a: A) => B): (self: ReadonlyRecord<K, A>) => Option.Option<Record<K, A | B>>;
<K extends string | symbol, A, B>(self: ReadonlyRecord<K, A>, key: NoInfer<K>, f: (a: A) => B): Option.Option<Record<K, A | B>>;
};
/**
* Replaces a value in the record with the new value passed as parameter.
*
* @param self - The record to be updated.
* @param key - The key to search for in the record.
* @param b - The new value to replace the existing value with.
*
* @example
* import { empty, replaceOption } from "effect/ReadonlyRecord"
* import { some, none } from "effect/Option"
*
* assert.deepStrictEqual(
* replaceOption({ a: 1, b: 2, c: 3 }, 'a', 10),
* some({ a: 10, b: 2, c: 3 })
* )
* assert.deepStrictEqual(replaceOption(empty<string>(), 'a', 10), none())
*
* @since 2.0.0
*/
export declare const replaceOption: {
<K extends string | symbol, B>(key: NoInfer<K>, b: B): <A>(self: ReadonlyRecord<K, A>) => Option.Option<Record<K, A | B>>;
<K extends string | symbol, A, B>(self: ReadonlyRecord<K, A>, key: NoInfer<K>, b: B): Option.Option<Record<K, A | B>>;
};
/**
* If the given key exists in the record, returns a new record with the key removed,
* otherwise returns a copy of the original record.
*
* @param self - the record to remove the key from.
* @param key - the key to remove from the record.
*
* @example
* import { remove } from "effect/ReadonlyRecord"
*
* assert.deepStrictEqual(remove({ a: 1, b: 2 }, "a"), { b: 2 })
*
* @since 2.0.0
*/
export declare const remove: {
<K extends string | symbol, X extends K>(key: X): <A>(self: ReadonlyRecord<K, A>) => Record<Exclude<K, X>, A>;
<K extends string | symbol, A, X extends K>(self: ReadonlyRecord<K, A>, key: X): Record<Exclude<K, X>, A>;
};
/**
* 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 `O.none`.
*
* @param self - The input record.
* @param key - The key of the property to retrieve.
*
* @example
* import { pop } from "effect/ReadonlyRecord"
* import { some, none } from 'effect/Option'
*
* assert.deepStrictEqual(pop({ a: 1, b: 2 }, "a"), some([1, { b: 2 }]))
* assert.deepStrictEqual(pop({ a: 1, b: 2 } as Record<string, number>, "c"), none())
*
* @category record
* @since 2.0.0
*/
export declare const pop: {
<K extends string | symbol, X extends K>(key: X): <A>(self: ReadonlyRecord<K, A>) => Option.Option<[A, Record<Exclude<K, X>, A>]>;
<K extends string | symbol, A, X extends K>(self: ReadonlyRecord<K, A>, key: X): Option.Option<[A, Record<Exclude<K, X>, A>]>;
};
/**
* Maps a record into another record by applying a transformation function to each of its values.
*
* @param self - The record to be mapped.
* @param f - A transformation function that will be applied to each of the values in the record.
*
* @example
* import { map } from "effect/ReadonlyRecord"
*
* const f = (n: number) => `-${n}`
*
* assert.deepStrictEqual(map({ a: 3, b: 5 }, f), { a: "-3", b: "-5" })
*
* const g = (n: number, key: string) => `${key.toUpperCase()}-${n}`
*
* assert.deepStrictEqual(map({ a: 3, b: 5 }, g), { a: "A-3", b: "B-5" })
*
* @category mapping
* @since 2.0.0
*/
export declare const map: {
<K extends string, A, B>(f: (a: A, key: NoInfer<K>) => B): (self: ReadonlyRecord<K, A>) => Record<K, B>;
<K extends string, A, B>(self: ReadonlyRecord<K, A>, f: (a: A, key: NoInfer<K>) => B): Record<K, B>;
};
/**
* Maps the keys of a `ReadonlyRecord` while preserving the corresponding values.
*
* @example
* import { mapKeys } from "effect/ReadonlyRecord"
*
* assert.deepStrictEqual(mapKeys({ a: 3, b: 5 }, (key) => key.toUpperCase()), { A: 3, B: 5 })
*
* @category mapping
* @since 2.0.0
*/
export declare const mapKeys: {
<K extends string, A, K2 extends string>(f: (key: K, a: A) => K2): (self: ReadonlyRecord<K, A>) => Record<K2, A>;
<K extends string, A, K2 extends string>(self: ReadonlyRecord<K, A>, f: (key: K, a: A) => K2): Record<K2, A>;
};
/**
* Maps entries of a `ReadonlyRecord` using the provided function, allowing modification of both keys and corresponding values.
*
* @example
* import { mapEntries } from "effect/ReadonlyRecord"
*
* assert.deepStrictEqual(mapEntries({ a: 3, b: 5 }, (a, key) => [key.toUpperCase(), a + 1]), { A: 4, B: 6 })
*
* @category mapping
* @since 2.0.0
*/
export declare const mapEntries: {
<K extends string, A, K2 extends string, B>(f: (a: A, key: K) => readonly [K2, B]): (self: ReadonlyRecord<K, A>) => Record<K2, B>;
<K extends string, A, K2 extends string, B>(self: ReadonlyRecord<K, A>, f: (a: A, key: K) => [K2, B]): Record<K2, B>;
};
/**
* 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.
*
* @param self - The input record.
* @param f - The transformation function.
*
* @example
* import { filterMap } from "effect/ReadonlyRecord"
* import { some, none } from 'effect/Option'
*
* const x = { a: 1, b: 2, c: 3 }
* const f = (a: number, key: string) => a > 2 ? some(a * 2) : none()
* assert.deepStrictEqual(filterMap(x, f), { c: 6 })
*
* @since 2.0.0
*/
export declare const filterMap: {
<K extends string, A, B>(f: (a: A, key: K) => Option.Option<B>): (self: ReadonlyRecord<K, A>) => Record<ReadonlyRecord.NonLiteralKey<K>, B>;
<K extends string, A, B>(self: ReadonlyRecord<K, A>, f: (a: A, key: K) => Option.Option<B>): Record<ReadonlyRecord.NonLiteralKey<K>, B>;
};
/**
* Selects properties from a record whose values match the given predicate.
*
* @param self - The record to filter.
* @param predicate - A function that returns a `boolean` value to determine if the entry should be included in the new record.
*
* @example
* import { filter } from "effect/ReadonlyRecord"
*
* const x = { a: 1, b: 2, c: 3, d: 4 }
* assert.deepStrictEqual(filter(x, (n) => n > 2), { c: 3, d: 4 })
*
* @category filtering
* @since 2.0.0
*/
export declare const filter: {
<K extends string, A, B extends A>(refinement: (a: NoInfer<A>, key: K) => a is B): (self: ReadonlyRecord<K, A>) => Record<ReadonlyRecord.NonLiteralKey<K>, B>;
<K extends string, A>(predicate: (A: NoInfer<A>, key: K) => boolean): (self: ReadonlyRecord<K, A>) => Record<ReadonlyRecord.NonLiteralKey<K>, A>;
<K extends string, A, B extends A>(self: ReadonlyRecord<K, A>, refinement: (a: A, key: K) => a is B): Record<ReadonlyRecord.NonLiteralKey<K>, B>;
<K extends string, A>(self: ReadonlyRecord<K, A>, predicate: (a: A, key: K) => boolean): Record<ReadonlyRecord.NonLiteralKey<K>, A>;
};
/**
* Given a record with `Option` values, returns a new record containing only the `Some` values, preserving the original keys.
*
* @param self - A record with `Option` values.
*
* @example
* import { getSomes } from "effect/ReadonlyRecord"
* import { some, none } from "effect/Option"
*
* assert.deepStrictEqual(
* getSomes({ a: some(1), b: none(), c: some(2) }),
* { a: 1, c: 2 }
* )
*
* @category filtering
* @since 2.0.0
*/
export declare const getSomes: <K extends string, A>(self: ReadonlyRecord<K, Option.Option<A>>) => Record<ReadonlyRecord.NonLiteralKey<K>, A>;
/**
* Given a record with `Either` values, returns a new record containing only the `Left` values, preserving the original keys.
*
* @example
* import { getLefts } from "effect/ReadonlyRecord"
* import { right, left } from "effect/Either"
*
* assert.deepStrictEqual(
* getLefts({ a: right(1), b: left("err"), c: right(2) }),
* { b: "err" }
* )
*
* @category filtering
* @since 2.0.0
*/
export declare const getLefts: <K extends string, R, L>(self: ReadonlyRecord<K, Either<R, L>>) => Record<ReadonlyRecord.NonLiteralKey<K>, L>;
/**
* Given a record with `Either` values, returns a new record containing only the `Right` values, preserving the original keys.
*
* @example
* import { getRights } from "effect/ReadonlyRecord"
* import { right, left } from "effect/Either"
*
* assert.deepStrictEqual(
* getRights({ a: right(1), b: left("err"), c: right(2) }),
* { a: 1, c: 2 }
* )
*
* @category filtering
* @since 2.0.0
*/
export declare const getRights: <K extends string, R, L>(self: ReadonlyRecord<K, Either<R, L>>) => Record<string, R>;
/**
* Partitions the elements of a record into two groups: those that match a predicate, and those that don't.
*
* @param self - The record to partition.
* @param f - The predicate function to apply to each element.
*
* @example
* import { partitionMap } from "effect/ReadonlyRecord"
* import { left, right } from 'effect/Either'
*
* const x = { a: 1, b: 2, c: 3 }
* const f = (n: number) => (n % 2 === 0 ? right(n) : left(n))
* assert.deepStrictEqual(partitionMap(x, f), [{ a: 1, c: 3 }, { b: 2}])
*
* @category filtering
* @since 2.0.0
*/
export declare const partitionMap: {
<K extends string, A, B, C>(f: (a: A, key: K) => Either<C, B>): (self: ReadonlyRecord<K, A>) => [left: Record<ReadonlyRecord.NonLiteralKey<K>, B>, right: Record<ReadonlyRecord.NonLiteralKey<K>, C>];
<K extends string, A, B, C>(self: ReadonlyRecord<K, A>, f: (a: A, key: K) => Either<C, B>): [left: Record<ReadonlyRecord.NonLiteralKey<K>, B>, right: Record<ReadonlyRecord.NonLiteralKey<K>, C>];
};
/**
* Partitions a record of `Either` values into two separate records,
* one with the `Left` values and one with the `Right` values.
*
* @param self - the record to partition.
*
* @example
* import { separate } from "effect/ReadonlyRecord"
* import { left, right } from 'effect/Either'
*
* assert.deepStrictEqual(
* separate({ a: left("e"), b: right(1) }),
* [{ a: "e" }, { b: 1 }]
* )
*
* @category filtering
* @since 2.0.0
*/
export declare const separate: <K extends string, A, B>(self: ReadonlyRecord<K, Either<B, A>>) => [Record<ReadonlyRecord.NonLiteralKey<K>, A>, Record<ReadonlyRecord.NonLiteralKey<K>, B>];
/**
* Partitions a record into two separate records based on the result of a predicate function.
*
* @param self - The input record to partition.
* @param predicate - The partitioning function to determine the partitioning of each value of the record.
*
* @example
* import { partition } from "effect/ReadonlyRecord"
*
* assert.deepStrictEqual(
* partition({ a: 1, b: 3 }, (n) => n > 2),
* [{ a: 1 }, { b: 3 }]
* )
*
* @category filtering
* @since 2.0.0
*/
export declare const partition: {
<K extends string, A, B extends A>(refinement: (a: NoInfer<A>, key: K) => a is B): (self: ReadonlyRecord<K, A>) => [
excluded: Record<ReadonlyRecord.NonLiteralKey<K>, Exclude<A, B>>,
satisfying: Record<ReadonlyRecord.NonLiteralKey<K>, B>
];
<K extends string, A>(predicate: (a: NoInfer<A>, key: K) => boolean): (self: ReadonlyRecord<K, A>) => [excluded: Record<ReadonlyRecord.NonLiteralKey<K>, A>, satisfying: Record<ReadonlyRecord.NonLiteralKey<K>, A>];
<K extends string, A, B extends A>(self: ReadonlyRecord<K, A>, refinement: (a: A, key: K) => a is B): [
excluded: Record<ReadonlyRecord.NonLiteralKey<K>, Exclude<A, B>>,
satisfying: Record<ReadonlyRecord.NonLiteralKey<K>, B>
];
<K extends string, A>(self: ReadonlyRecord<K, A>, predicate: (a: A, key: K) => boolean): [excluded: Record<ReadonlyRecord.NonLiteralKey<K>, A>, satisfying: Record<ReadonlyRecord.NonLiteralKey<K>, A>];
};
/**
* Retrieve the keys of a given record as an array.
*
* @param self - The object for which you want to get the keys.
*
* @since 2.0.0
*/
export declare const keys: <K extends string, A>(self: ReadonlyRecord<K, A>) => Array<K>;
/**
* Retrieve the values of a given record as an array.
*
* @param self - The object for which you want to get the values.
*
* @since 2.0.0
*/
export declare const values: <K extends string, A>(self: ReadonlyRecord<K, A>) => Array<A>;
/**
* Add a new key-value pair or update an existing key's value in a record.
*
* @param self - The record to which you want to add or update a key-value pair.
* @param key - The key you want to add or update.
* @param values - The value you want to associate with the key.
*
* @example
* import { set } from "effect/ReadonlyRecord"
*
* assert.deepStrictEqual(set("a", 5)({ a: 1, b: 2 }), { a: 5, b: 2 });
* assert.deepStrictEqual(set("c", 5)({ a: 1, b: 2 }), { a: 1, b: 2, c: 5 });
*
* @since 2.0.0
*/
export declare const set: {
<K extends string | symbol, K1 extends K | ((string | symbol) & {}), B>(key: K1, value: B): <A>(self: ReadonlyRecord<K, A>) => Record<K | K1, A | B>;
<K extends string | symbol, A, K1 extends K | ((string | symbol) & {}), B>(self: ReadonlyRecord<K, A>, key: K1, value: B): Record<K | K1, A | B>;
};
/**
* Replace a key's value in a record and return the updated record.
* If the key does not exist in the record, a copy of the original record is returned.
*
* @param self - The original record.
* @param key - The key to replace.
* @param value - The new value to associate with the key.
*
* @example
* import { replace } from "effect/ReadonlyRecord"
* import { some, none } from "effect/Option"
*
* assert.deepStrictEqual(replace("a", 3)({ a: 1, b: 2 }), { a: 3, b: 2 });
* assert.deepStrictEqual(replace("c", 3)({ a: 1, b: 2 }), { a: 1, b: 2 });
*
* @since 2.0.0
*/
export declare const replace: {
<K extends string | symbol, B>(key: NoInfer<K>, value: B): <A>(self: ReadonlyRecord<K, A>) => Record<K, A | B>;
<K extends string | symbol, A, B>(self: ReadonlyRecord<K, A>, key: NoInfer<K>, value: B): Record<K, A | B>;
};
/**
* Check if all the keys and values in one record are also found in another record.
*
* @param self - The first record to check.
* @param that - The second record to compare against.
* @param equivalence - A function to compare values.
*
* @since 2.0.0
*/
export declare const isSubrecordBy: <A>(equivalence: Equivalence<A>) => {
<K extends string>(that: ReadonlyRecord<K, A>): (self: ReadonlyRecord<K, A>) => boolean;
<K_1 extends string>(self: ReadonlyRecord<K_1, A>, that: ReadonlyRecord<K_1, A>): boolean;
};
/**
* Check if one record is a subrecord of another, meaning it contains all the keys and values found in the second record.
* This comparison uses default equality checks (`Equal.equivalence()`).
*
* @param self - The first record to check.
* @param that - The second record to compare against.
*
* @since 2.0.0
*/
export declare const isSubrecord: {
<K extends string, A>(that: ReadonlyRecord<K, A>): (self: ReadonlyRecord<K, A>) => boolean;
<K extends string, A>(self: ReadonlyRecord<K, A>, that: ReadonlyRecord<K, A>): boolean;
};
/**
* Reduce a record to a single value by combining its entries with a specified function.
*
* @param self - The record to reduce.
* @param zero - The initial value of the accumulator.
* @param f - The function to combine entries (accumulator, value, key).
*
* @category folding
* @since 2.0.0
*/
export declare const reduce: {
<Z, V, K extends string>(zero: Z, f: (accumulator: Z, value: V, key: K) => Z): (self: ReadonlyRecord<K, V>) => Z;
<K extends string, V, Z>(self: ReadonlyRecord<K, V>, zero: Z, f: (accumulator: Z, value: V, key: K) => Z): Z;
};
/**
* Check if all entries in a record meet a specific condition.
*
* @param self - The record to check.
* @param predicate - The condition to test entries (value, key).
*
* @since 2.0.0
*/
export declare const every: {
<A, K extends string, B extends A>(refinement: (value: A, key: K) => value is B): (self: ReadonlyRecord<K, A>) => self is ReadonlyRecord<K, B>;
<A, K extends string>(predicate: (value: A, key: K) => boolean): (self: ReadonlyRecord<K, A>) => boolean;
<A, K extends string, B extends A>(self: ReadonlyRecord<K, A>, refinement: (value: A, key: K) => value is B): self is ReadonlyRecord<K, B>;
<K extends string, A>(self: ReadonlyRecord<K, A>, predicate: (value: A, key: K) => boolean): boolean;
};
/**
* Check if any entry in a record meets a specific condition.
*
* @param self - The record to check.
* @param predicate - The condition to test entries (value, key).
*
* @since 2.0.0
*/
export declare const some: {
<A, K extends string>(predicate: (value: A, key: K) => boolean): (self: ReadonlyRecord<K, A>) => boolean;
<K extends string, A>(self: ReadonlyRecord<K, A>, predicate: (value: A, key: K) => boolean): boolean;
};
/**
* Merge two records, preserving entries that exist in either of the records.
*
* @param self - The first record.
* @param that - The second record to combine with the first.
* @param combine - A function to specify how to merge entries with the same key.
*
* @since 2.0.0
*/
export declare const union: {
<K1 extends string, A, B, C>(that: ReadonlyRecord<K1, B>, combine: (selfValue: A, thatValue: B) => C): <K0 extends string>(self: ReadonlyRecord<K0, A>) => Record<K0 | K1, A | B | C>;
<K0 extends string, A, K1 extends string, B, C>(self: ReadonlyRecord<K0, A>, that: ReadonlyRecord<K1, B>, combine: (selfValue: A, thatValue: B) => C): Record<K0 | K1, A | B | C>;
};
/**
* Merge two records, retaining only the entries that exist in both records.
*
* @param self - The first record.
* @param that - The second record to merge with the first.
* @param combine - A function to specify how to merge entries with the same key.
*
* @since 2.0.0
*/
export declare const intersection: {
<K1 extends string, A, B, C>(that: ReadonlyRecord<K1, B>, combine: (selfValue: A, thatValue: B) => C): <K0 extends string>(self: ReadonlyRecord<K0, A>) => Record<ReadonlyRecord.IntersectKeys<K0, K1>, C>;
<K0 extends string, A, K1 extends string, B, C>(self: ReadonlyRecord<K0, A>, that: ReadonlyRecord<K1, B>, combine: (selfValue: A, thatValue: B) => C): Record<ReadonlyRecord.IntersectKeys<K0, K1>, C>;
};
/**
* Merge two records, preserving only the entries that are unique to each record.
*
* @param self - The first record.
* @param that - The second record to compare with the first.
*
* @since 2.0.0
*/
export declare const difference: {
<K1 extends string, B>(that: ReadonlyRecord<K1, B>): <K0 extends string, A>(self: ReadonlyRecord<K0, A>) => Record<K0 | K1, A | B>;
<K0 extends string, A, K1 extends string, B>(self: ReadonlyRecord<K0, A>, that: ReadonlyRecord<K1, B>): Record<K0 | K1, A | B>;
};
/**
* Create an `Equivalence` for records using the provided `Equivalence` for values.
*
* @param equivalence - An `Equivalence` for the values contained in the records.
*
* @category instances
* @since 2.0.0
*/
export declare const getEquivalence: <K extends string, A>(equivalence: Equivalence<A>) => Equivalence<ReadonlyRecord<K, A>>;
/**
* Create a non-empty record from a single element.
*
* @param key - The key for the element.
* @param value - The value associated with the key.
*
* @category constructors
* @since 2.0.0
*/
export declare const singleton: <K extends string | symbol, A>(key: K, value: A) => Record<K, A>;
//# sourceMappingURL=ReadonlyRecord.d.ts.map