Function symmetry

symmetry<A, B>(
    __namedParameters: {
        a: Arbitrary<A>;
        equals: Equivalence<B>;
        f: (left: A, right: A) => B;
    },
    note?: string,
    name?: string,
): Law<[A, A]>
Test that a binary operation is symmetric.
Type Parameters
- A
- B
Parameters
- __namedParameters: { a: Arbitrary<A>; equals: Equivalence<B>; f: (left: A, right: A) => B }
- note: string = 'f(a, b) = f(b, a)'
- name: string = 'symmetry'
Returns Law<[A, A]>
- Defined in src/laws/algebra.ts:47