Function buildTypeclassLawsFor

buildTypeclassLawsFor<
    F extends TypeLambda,
    Ins extends Partial<Concrete<Kind<F, R, O, E, A>> & Parameterized<F>>,
    A,
    B = A,
    C = A,
    R = never,
    O = unknown,
    E = unknown,
>(
    instances: Ins,
    given: GivenConcerns<F, A, B, C, R, O, E>,
): LawSet[]
Build typeclass laws for the given instances of some datatype. Any instances of typeclasses with laws can be tested, concrete or parameterized.
Type Parameters
- F extends TypeLambda
- Ins extends Partial<Concrete<Kind<F, R, O, E, A>> & Parameterized<F>>
- A
- B = A
- C = A
- R = never
- O = unknown
- E = unknown
Parameters
- instances: Ins
- given: GivenConcerns<F, A, B, C, R, O, E>
Returns LawSet[]
- Defined in src/laws/typeclass/build.ts:47