effect-ts-laws
    Preparing search index...

    Function testPredicateEquivalence

    • Same as testUnaryEquivalence but for functions of type Predicate<A>.

      Type Parameters

      • A

      Parameters

      • a: Arbitrary<A>

        An arbitrary for the function argument type A.

      • Optionalparameters: Parameters<A>

      Returns (self: (a: A) => boolean, that: (a: A) => boolean) => boolean

      True if no counterexample found, else false.

        • (self: (a: A) => boolean, that: (a: A) => boolean): boolean
        • Parameters

          • self: (a: A) => boolean

            First function to sample.

          • that: (a: A) => boolean

            Second function to sample.

          Returns boolean