Function unfoldGiven

unfoldGiven<
    Typeclass extends TypeLambda,
    F extends TypeLambda,
    A,
    B = A,
    C = A,
    R = never,
    O = unknown,
    E = unknown,
>(
    given: ParameterizedGiven<Typeclass, F, A, B, C, R, O, E>,
): UnfoldedGiven<Typeclass, F, A, B, C, R, O, E>
Unfold a ParameterizedGiven into all arguments required by predicates of parameterized typeclass laws.
Type Parameters
- Typeclass extends TypeLambda
- F extends TypeLambda
- A
- B = A
- C = A
- R = never
- O = unknown
- E = unknown
Parameters
- given: ParameterizedGiven<Typeclass, F, A, B, C, R, O, E>
  The options to unfold.
Returns UnfoldedGiven<Typeclass, F, A, B, C, R, O, E>
- Defined in src/laws/typeclass/parameterized/given.ts:157