• Maps both the return value and final state of the computation by fn.

    Type Parameters

    • M

    • N

    • S

    • A

    • B

    Parameters

    • fn: ((m) => Get1<N, [B, S]>)

      The mapper of computation from A to B on M with state S.

        • (m): Get1<N, [B, S]>
        • Parameters

          Returns Get1<N, [B, S]>

    Returns ((s) => StateT<S, N, B>)

    The mapped computation.

Generated using TypeDoc