Function bicovariantLaws

Test typeclass laws for Bicovariant.

bicovariantLaws<F, A, B, C, In1, Out2, Out1>(given): LawSet
Type Parameters
- F extends TypeLambda
- A
- B = A
- C = A
- In1 = never
- Out2 = unknown
- Out1 = unknown
Parameters
- given: ParameterizedGiven<BicovariantTypeLambda, F, A, B, C, In1, Out2, Out1>
Returns LawSet
- Defined in src/laws/typeclass/parameterized/Bicovariant.ts:13