Function productMany

packages/effect/src/Predicate.ts:978–984

(
  self: Predicate<A>,
  collection: Iterable<Predicate<A>>
)

 * @since 2.0.0
 */
export const productMany = <A>(
  self: Predicate<A>,
  collection: Iterable<Predicate<A>>
): Predicate<readonly [A, ...Array<A>]> /* readonly because contravariant */ => {
  const rest = all(collection)
  return ([head, ...tail]) => self(head) === false ? false : rest(tail)
}

/**
 * Combines an array of predicates into a single predicate that tests an array of values.