• Evaluates the state computation and returns the final result.

    Type Parameters

    • M

    Parameters

    • monad: Monad<M>

      The instance of Monad for M.

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

    The evaluation of the computation.

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

        • S

        • A

        Parameters

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

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

            • state: S

            Returns Get1<M, A>

Generated using TypeDoc