Function composeInvariant

composeInvariant<
    F extends TypeLambda,
    G extends TypeLambda,
    R = never,
    O = unknown,
    E = unknown,
>(
    F: Invariant<F>,
    G: Invariant<G>,
): Invariant<ComposeTypeLambda<F, G, R, O, E, R, O, E>>
Compose an Invariant instance by nesting a pair of Invariantss, the first on the outside and the second on the inside.
Type Parameters
- F extends TypeLambda
- G extends TypeLambda
- R = never
- O = unknown
- E = unknown
Parameters
- F: Invariant<F>
- G: Invariant<G>
Returns Invariant<ComposeTypeLambda<F, G, R, O, E, R, O, E>>
- Defined in src/compose.ts:43