• Captures the continuation up to the nearest enclosing resetT, and passes it to computation.

    Type Parameters

    • M

    Parameters

    • monad: Monad<M>

      The instance of Monad for M.

    Returns (<R, A>(computation) => ContT<R, M, A>)

    The limited continuation.

      • <R, A>(computation): ContT<R, M, A>
      • Type Parameters

        • R

        • A

        Parameters

        • computation: ((exit) => ContT<R, M, R>)
            • (exit): ContT<R, M, R>
            • Parameters

              • exit: ((a) => Get1<M, R>)
                  • (a): Get1<M, R>
                  • Parameters

                    • a: A

                    Returns Get1<M, R>

              Returns ContT<R, M, R>

        Returns ContT<R, M, A>

Generated using TypeDoc