Function contravariantLaws

Test typeclass laws for Contravariant and its requirement: Invariant.

contravariantLaws<F, A, B, C, In1, Out2, Out1>(given): {
    laws: Law<any>[];
    name?: string;
    sets: LawSet[];
}
Type Parameters
- F extends TypeLambda
- A
- B = A
- C = A
- In1 = never
- Out2 = unknown
- Out1 = unknown
Parameters
- given: ParameterizedGiven<ContravariantTypeLambda, F, A, B, C, In1, Out2, Out1>
Returns {
    laws: Law<any>[];
    name?: string;
    sets: LawSet[];
}
- laws: Law<any>[]
  Possibly empty list laws that must pass for the law set to pass.
- Optionalname?: string
  Optional name of unit under test. Runner uses this for describe() block name. If missing, no describe() block is wrapped around child laws.
- sets: LawSet[]
- Defined in src/laws/typeclass/parameterized/Contravariant.ts:12