Function buildParameterizedTypeclassLaws

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

buildParameterizedTypeclassLaws<F, A, B, C>(): (<Ins, In1, Out2, Out1>(instances: Ins, given: GivenConcerns<F, A, B, C, In1, Out2, Out1>) => LawSet[])
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>) => LawSet[])
- - <Ins, In1, Out2, Out1>(instances, given): LawSet[]
  - 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.
    Returns LawSet[]
- Defined in src/laws/typeclass/parameterized/harness/catalog.ts:113