UNPKG
lean4-code-actions
Version:
latest (1.1.32)
1.1.32
Refactorings and snippets for Lean 4
lean4-code-actions
/
libs
/
utils
/
remeda
/
includesBy.ts
4 lines
(2 loc)
•
160 B
text/typescript
View Raw
1
2
3
4
import
{
FilterTwo
}
from
'../Filter'
export
const
includesBy = <T>
(
filter: FilterTwo<T>
) =>
(
array: T[]
) =>
(
value: T
) =>
!!array.
find
(
v
=>
filter
(v, value))