Function liftLocal

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