Function testTypeclassLawsFor

Test typeclass laws for the given instances of some datatype.

testTypeclassLawsFor<F, Ins, A, B, C, In1, Out2, Out1>(instances, given, parameters?): void
Type Parameters
- F extends TypeLambda
- Ins extends Partial<Concrete<Kind<F, In1, Out2, Out1, A>> & Parameterized<F>>
- A
- B = A
- C = A
- In1 = never
- Out2 = unknown
- Out1 = unknown
Parameters
- instances: Ins
  Instances to test. Key is typeclass name and value is the instance under test. For example, { Monad: Option.Monad } will run the monad typeclass laws on Option.
- given: GivenConcerns<F, A, B, C, In1, Out2, Out1>
  The union of all options required for testing the instances given in the instances argument. The specific options depend on the list of instances being tested, but they are all either equalities, arbitraries, or functions on the underlying types, that are required for testing the laws.
- Optionalparameters: ParameterOverrides
  Optional runtime fast-check parameters.
Returns void
- Defined in src/vitest/typeclass.ts:20