Function composeCovariant
- composeCovariant<F, G, In1, Out2, Out1>(F, G): Covariant<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: Covariant<F>
- G: Covariant<G>
Compose a
Covariant
instance by nesting a pair ofCovariant
s, the first on the outside and the second on the inside.