Function testTypeclassLawsFor

testTypeclassLawsFor<
    F extends TypeLambda,
    A,
    R = never,
    O = unknown,
    E = unknown,
>(
    given: MonomorphicGivenOf<F, A, R, O, E>,
): <Ins extends Partial<Concrete<Kind<F, R, O, E, A>> & Parameterized<F>>>(
    instances: Ins,
    parameters?: ParameterOverrides,
) => void
Test typeclass laws on the given instances of some datatype F. All laws are monomorphic on an underlying type A.
Type Parameters
- F extends TypeLambda
- A
- R = never
- O = unknown
- E = unknown
Parameters
- given: MonomorphicGivenOf<F, A, R, O, E>
  Test options for the datatype under test.
Returns <Ins extends Partial<Concrete<Kind<F, R, O, E, A>> & Parameterized<F>>>(
instances: Ins,
parameters?: ParameterOverrides,
) => void
- - <Ins extends Partial<Concrete<Kind<F, R, O, E, A>> & Parameterized<F>>>(
    instances: Ins,
    parameters?: ParameterOverrides,
    ): void
  - Type Parameters
    
    Ins extends Partial<Concrete<Kind<F, R, O, E, A>> & Parameterized<F>>
    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.
    
    Optionalparameters: ParameterOverrides
    Optional runtime fast-check parameters.
    Returns void
- Defined in src/vitest/monomorphic.ts:31