Function getSemigroupEvery

packages/typeclass/src/data/Predicate.ts:159–173

()

 * @since 0.24.0
 */
export const getSemigroupEvery = <A>(): Semigroup<Predicate.Predicate<A>> =>
  semigroup.make<Predicate.Predicate<A>>(
    Predicate.and,
    (self, collection) => (a) => {
      if (!self(a)) {
        return false
      }
      for (const p of collection) {
        if (!p(a)) {
          return false
        }
      }
      return true
    }
  )

/**
 * @category instances