• Converts a Free into a function of continuation passing style.

    Type Parameters

    • F

    • T

    • R

    Parameters

    • onBind: (<S>(next) => ((data) => R))

      A function called on Bind value.

        • <S>(next): ((data) => R)
        • Type Parameters

          • S

          Parameters

          • next: ((s) => Free<F, T>)
              • (s): Free<F, T>
              • Parameters

                • s: S

                Returns Free<F, T>

          Returns ((data) => R)

            • (data): R
            • Parameters

              Returns R

    Returns ((onReturn) => ((data) => R))

    The continuation result of given functions.

      • (onReturn): ((data) => R)
      • Parameters

        • onReturn: ((t) => R)
            • (t): R
            • Parameters

              • t: T

              Returns R

        Returns ((data) => R)

          • (data): R
          • Parameters

            Returns R

Generated using TypeDoc