• Executes a Mut with CatT of Mut<S, _>> by a state thread.

    To hide the internal state, the type parameter S is universal quantified.

    Type Parameters

    • A

    Parameters

    • mut: (<S>(cat) => Mut<S, A>)

      To be executed.

        • <S>(cat): Mut<S, A>
        • Type Parameters

          • S

          Parameters

          Returns Mut<S, A>

    Returns A

    The result of computation.

Generated using TypeDoc