Function composeApplicative

composeApplicative<
    F extends TypeLambda,
    G extends TypeLambda,
    R = never,
    O = unknown,
    E = unknown,
>(
    F: Applicative<F>,
    G: Applicative<G>,
): Applicative<ComposeTypeLambda<F, G, R, O, E, R, O, E>>
Compose a pair of applicatives. Their composition is an applicative of their nested types. Useful when testing traversable composition laws.
Type Parameters
- F extends TypeLambda
- G extends TypeLambda
- R = never
- O = unknown
- E = unknown
Parameters
- F: Applicative<F>
- G: Applicative<G>
Returns Applicative<ComposeTypeLambda<F, G, R, O, E, R, O, E>>
- Defined in src/compose.ts:80