Function unfoldContravariantGiven

Unfolds the given ContravariantGiven options for testing contravariant datatypes into the GivenConcerns required for typeclass law tests.

unfoldContravariantGiven<F>(__namedParameters): GivenConcerns<F, Mono, Mono, Mono, never, unknown, string>
Type Parameters
- F extends TypeLambda
Parameters
- __namedParameters: ContravariantGiven<F>
Returns GivenConcerns<F, Mono, Mono, Mono, never, unknown, string>
- Defined in src/laws/typeclass/monomorphic/contravariant.ts:34