Function testParameterizedTypeclassLaws

Test parameterized type typeclass laws for the given instances of some datatype.

testParameterizedTypeclassLaws<F, A, B, C>(): (<Ins, In1, Out2, Out1>(instances: Ins, given: GivenConcerns<F, A, B, C, In1, Out2, Out1>, parameters?: ParameterOverrides) => void)
Type Parameters
- F extends TypeLambda
  Type lambda of the datatype under test.
- A
  Type lambda of first underlying type.
- B = A
  Type lambda of second underlying type.
- C = A
  Type lambda of third underlying type.
Returns (<Ins, In1, Out2, Out1>(instances: Ins, given: GivenConcerns<F, A, B, C, In1, Out2, Out1>, parameters?: ParameterOverrides) => void)
- - <Ins, In1, Out2, Out1>(instances, given, parameters?): void
  - Type Parameters
    - Ins extends Partial<Parameterized<F>>
    - 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>
      Parameterized typeclass test options.
    - Optionalparameters: ParameterOverrides
      Optional runtime fast-check parameters.
    Returns void
- Defined in src/vitest/parameterized.ts:21