lean4-code-actions/libs/utils/remeda/every.ts

Refactorings and snippets for Lean 4

import { Filter } from '../Filter'
import { all } from './all'

export const every = <T>(filter: Filter<T>) => (array: T[]) => array.every(filter)

export const everyTrue = all