• Maps each item of the structure data to a monadic action, and evaluates them from left to right, then collects the result.

    Type Parameters

    • T

    • M

    • A

    • B

    Parameters

    • traversable: Traversable<T>

      The instance of Traversable for T.

    • monad: Monad<M>

      The instance of Monad for M.

    Returns ((visitor) => ((data) => Get1<M, Get1<T, B>>))

    The collected result of actions.

      • (visitor): ((data) => Get1<M, Get1<T, B>>)
      • Parameters

        • visitor: ((a) => Get1<M, B>)
            • (a): Get1<M, B>
            • Parameters

              • a: A

              Returns Get1<M, B>

        Returns ((data) => Get1<M, Get1<T, B>>)

Generated using TypeDoc