Run the given monoid/semigroup instances through their respective typeclass law tests.

  • Type Parameters

    • A

    Parameters

    • a: Arbitrary<A>

      An arbitrary for the underlying type A.

    • equalsA: Equivalence<A>

      Equivalence for the underlying type A.

    • Optionalparameters: ParameterOverrides

      Optional runtime fast-check parameters.

    Returns ((namedInstances: Record<string, Monoid<A>>) => void)

      • (namedInstances): void
      • Named list of Monoid instances to test in the form of an object where the keys are the instances names and the values the instances themselves.

        Parameters

        • namedInstances: Record<string, Monoid<A>>

        Returns void