Function inverse

inverse<A, B>(
    __namedParameters: {
        a: Arbitrary<A>;
        equals: Equivalence<A>;
        f: (a: A) => B;
        g: (b: B) => A;
    },
    note?: string,
    name?: string,
): Law<[A]>
Test the composition of two operations cancels each other.
Type Parameters
- A
- B
Parameters
- __namedParameters: { a: Arbitrary<A>; equals: Equivalence<A>; f: (a: A) => B; g: (b: B) => A }
- note: string = 'g ⚬ f = id'
- name: string = 'inverse'
Returns Law<[A]>
- Defined in src/laws/algebra.ts:27