Function tailRecM2

tailRecM2<M>(m): (<A, B, X>(stepper) => ((a) => ((b) => Get1<M, X>)))
Type Parameters
- M
Parameters
- m: MonadRec<M>
Returns (<A, B, X>(stepper) => ((a) => ((b) => Get1<M, X>)))
- - <A, B, X>(stepper): ((a) => ((b) => Get1<M, X>))
  - Type Parameters
    - A
    - B
    - X
    Parameters
    - stepper: ((a) => ((b) => Get1<M, ControlFlow<X, readonly [A, B]>>))
      (a): ((b) => Get1<M, ControlFlow<X, readonly [A, B]>>)
      Parameters
      a: A
      Returns ((b) => Get1<M, ControlFlow<X, readonly [A, B]>>)
      (b): Get1<M, ControlFlow<X, readonly [A, B]>>
      Parameters
      b: B
      Returns Get1<M, ControlFlow<X, readonly [A, B]>>
    Returns ((a) => ((b) => Get1<M, X>))
    - - (a): ((b) => Get1<M, X>)
      - Parameters
        a: A
        Returns ((b) => Get1<M, X>)
        (b): Get1<M, X>
        Parameters
        b: B
        Returns Get1<M, X>
- Defined in src/type-class/monad-rec.ts:30

Generated using TypeDoc