Function unfoldMonomorphicGiven

unfoldMonomorphicGiven<
    F extends TypeLambda,
    A,
    R = never,
    O = unknown,
    E = unknown,
>(
    __namedParameters: MonomorphicGivenOf<F, A, R, O, E>,
): GivenConcerns<F, A, A, A, R, O, E>
Build the options for monomorphic typeclass law tests on the underlying type A.
Type Parameters
- F extends TypeLambda
- A
- R = never
- O = unknown
- E = unknown
Parameters
- __namedParameters: MonomorphicGivenOf<F, A, R, O, E>
Returns GivenConcerns<F, A, A, A, R, O, E>
- Defined in src/laws/typeclass/monomorphic/given.ts:57