Function unfoldMonomorphicGiven

Unfolds the given InvariantGiven options for testing covariant datatypes into the GivenConcerns required for typeclass law tests.

unfoldMonomorphicGiven<F, In1, Out2, Out1>(given): GivenConcerns<F, Mono, Mono, Mono, In1, Out2, Out1>
Type Parameters
- F extends TypeLambda
- In1 = never
- Out2 = unknown
- Out1 = string
Parameters
- given: MonomorphicGiven<F, In1, Out2, Out1>
Returns GivenConcerns<F, Mono, Mono, Mono, In1, Out2, Out1>
- Defined in src/laws/typeclass/monomorphic/invariant.ts:35