lean4-code-actions

Version:

Refactorings and snippets for Lean 4

2 lines (1 loc) • 151 B

text/typescript

export const replaceBy = <T>(isEqual: (a: T, b: T) => boolean) => (item: T) => (items: T[]) => items.map($item => isEqual(item, $item) ? item : $item)