Function composeApplicative
- composeApplicative<F, G, In1, Out2, Out1>(F, G): Applicative<ComposeTypeLambda<F, G, In1, Out2, Out1, In1, Out2, Out1>>
Type Parameters
- F extends TypeLambda
- G extends TypeLambda
- In1 = never
- Out2 = unknown
- Out1 = unknown
Parameters
- F: Applicative<F>
- G: Applicative<G>
Compose a pair of applicatives. The composition is an applicative of their nested types. Useful when testing traversable composition laws.