• Creates an action which passes a function to the state returned from the computation writer.

    Type Parameters

    • M

    Parameters

    • monad: Monad<M>

      The instance of Monad for M.

    Returns (<W, A>(writer) => WriterT<W, M, A>)

    The computation with a passed state.

      • <W, A>(writer): WriterT<W, M, A>
      • Type Parameters

        • W

        • A

        Parameters

        • writer: WriterT<W, M, [A, ((w) => W)]>

        Returns WriterT<W, M, A>

Generated using TypeDoc