• Applies the function returned by the computation to another computation.

    Type Parameters

    • W

    Parameters

    • semi: SemiGroup<W>

      The instance of SemiGroup for W.

    Returns (<T, U>(fn) => ((t) => Writer<W, U>))

    The applied computation.

Generated using TypeDoc