Function composeInvariant
- composeInvariant<F, G, In1, Out2, Out1>(F, G): Invariant<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: Invariant<F>
- G: Invariant<G>
Compose an
Invariantinstance by nesting a pair ofInvariantss, the first on the outside and the second on the inside.