Function buildTypeclassLawsFor

Build typeclass laws for the given instances of some datatype.

buildTypeclassLawsFor<F, Ins, A, B, C, In1, Out2, Out1>(instances, given): LawSet[]
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
- given: GivenConcerns<F, A, B, C, In1, Out2, Out1>
Returns LawSet[]
- Defined in src/laws/typeclass/build.ts:42