effect-ts-laws
    Preparing search index...

    Function testEndoEquivalence

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

      Type Parameters

      • A

      Parameters

      • a: Arbitrary<A>

        An arbitrary for the function argument type A.

      • equalsA: Equivalence<A>

        Equivalence for the type A.

      • Optionalparameters: Parameters<A>

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

      True if no counterexample found, else false.

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

          • self: (a: A) => A

            First function to sample.

          • that: (a: A) => A

            Second function to sample.

          Returns boolean