Function associativity

associativity<A>(
    __namedParameters: {
        a: Arbitrary<A>;
        equals: Equivalence<A>;
        f: (a: A, b: A) => A;
    },
    note?: string,
    name?: string,
): Law<[A, A, A]>
Test that a binary operation is associative.
Type Parameters
- A
Parameters
- __namedParameters: { a: Arbitrary<A>; equals: Equivalence<A>; f: (a: A, b: A) => A }
- note: string = '(a ⊕ b) ⊕ c = a ⊕ (b ⊕ c)'
- name: string = 'associativity'
Returns Law<[A, A, A]>
- Defined in src/laws/algebra.ts:9