• Makes two computations into a product about the result type.

    Type Parameters

    • M

    Parameters

    • monad: Monad<M>

      A Monad instance for M.

    Returns (<S, A>(a) => (<B>(b) => StateT<S, M, Tuple<A, B>>))

    The computation which the result type is a product of them.

Generated using TypeDoc