Function composeT

composeT<M>(monad): (<const D, T>(lower) => (<const E, U>(upper) => EtherT<OmitType<E, T> & D, M, U>))
Composes two EtherTs into a new one. Injects lower into upper.
Type Parameters
- M
Parameters
- monad: Monad<M>
  The monad implementation for M.
Returns (<const D, T>(lower) => (<const E, U>(upper) => EtherT<OmitType<E, T> & D, M, U>))
The injected EtherT, which will be resolved the matching dependencies on upper with lower's handler.
- - <const D, T>(lower): (<const E, U>(upper) => EtherT<OmitType<E, T> & D, M, U>)
  - Type Parameters
    - const D extends Record<string, symbol>
    - T
    Parameters
    - lower: EtherT<D, M, T>
    Returns (<const E, U>(upper) => EtherT<OmitType<E, T> & D, M, U>)
    - - <const E, U>(upper): EtherT<OmitType<E, T> & D, M, U>
      - Type Parameters
        const E extends Record<string, symbol>
        U
        Parameters
        upper: EtherT<E, M, U>
        Returns EtherT<OmitType<E, T> & D, M, U>
- Defined in src/ether.ts:338

Generated using TypeDoc