Function tailRecM3

Returns (<A, B, C, X>(stepper) => ((a) => ((b) => ((c) => Get1<M, X>))))

• • <A, B, C, X>(stepper): ((a) => ((b) => ((c) => Get1<M, X>)))

  • Type Parameters

    • A

    • B

    • C

    • X

    Parameters

    • stepper: ((a) => ((b) => ((c) => Get1<M, ControlFlow<X, readonly [A, B, C]>>)))

      • • (a): ((b) => ((c) => Get1<M, ControlFlow<X, readonly [A, B, C]>>))

        • Parameters

          • a: A

          Returns ((b) => ((c) => Get1<M, ControlFlow<X, readonly [A, B, C]>>))

          • • (b): ((c) => Get1<M, ControlFlow<X, readonly [A, B, C]>>)

            • Parameters

              • b: B

              Returns ((c) => Get1<M, ControlFlow<X, readonly [A, B, C]>>)

              • • (c): Get1<M, ControlFlow<X, readonly [A, B, C]>>

                • Parameters

                  • c: C

                  Returns Get1<M, ControlFlow<X, readonly [A, B, C]>>

    Returns ((a) => ((b) => ((c) => Get1<M, X>)))

    • • (a): ((b) => ((c) => Get1<M, X>))

      • Parameters

        • a: A

        Returns ((b) => ((c) => Get1<M, X>))

        • • (b): ((c) => Get1<M, X>)

          • Parameters

            • b: B

            Returns ((c) => Get1<M, X>)

            • • (c): Get1<M, X>

              • Parameters

                • c: C

                Returns Get1<M, X>