• Executes the state computation and returns the final state.

    Type Parameters

    • M

    Parameters

    • monad: Monad<M>

      The instance of Monad for M.

    Returns (<S, A>(s) => ((state) => Get1<M, S>))

    The execution of the computation.

      • <S, A>(s): ((state) => Get1<M, S>)
      • Type Parameters

        • S

        • A

        Parameters

        Returns ((state) => Get1<M, S>)

          • (state): Get1<M, S>
          • Parameters

            • state: S

            Returns Get1<M, S>

Generated using TypeDoc