Function liftLocal

liftLocal<M>(monad): (<S>(ask) => (<R>(cleanup) => ((local) => (<A>(src) => ContT<R, M, A>))))
Yields the function local for Cont<R, M, _>.
Type Parameters
- M
Parameters
- monad: Monad<M>
  The instance of Monad for M.
Returns (<S>(ask) => (<R>(cleanup) => ((local) => (<A>(src) => ContT<R, M, A>))))
The lifted computation.
- - <S>(ask): (<R>(cleanup) => ((local) => (<A>(src) => ContT<R, M, A>)))
  - Type Parameters
    - S
    Parameters
    - ask: Get1<M, S>
    Returns (<R>(cleanup) => ((local) => (<A>(src) => ContT<R, M, A>)))
    - - <R>(cleanup): ((local) => (<A>(src) => ContT<R, M, A>))
      - Type Parameters
        R
        Parameters
        cleanup: ((callback) => ((mr) => Get1<M, R>))
        (callback): ((mr) => Get1<M, R>)
        Parameters
        callback: ((s) => S)
        (s): S
        Parameters
        s: S
        Returns S
        Returns ((mr) => Get1<M, R>)
        (mr): Get1<M, R>
        Parameters
        mr: Get1<M, R>
        Returns Get1<M, R>
        Returns ((local) => (<A>(src) => ContT<R, M, A>))
        (local): (<A>(src) => ContT<R, M, A>)
        Parameters
        local: ((s) => S)
        (s): S
        Parameters
        s: S
        Returns S
        Returns (<A>(src) => ContT<R, M, A>)
        <A>(src): ContT<R, M, A>
        Type Parameters
        A
        Parameters
        src: ContT<R, M, A>
        Returns ContT<R, M, A>
- Defined in src/cont.ts:133

Generated using TypeDoc