withState is:exact

withState :: (s -> s) -> State s a -> State s a
mtl Control.Monad.State.Lazy Control.Monad.State.Strict, transformers Control.Monad.Trans.State.Lazy Control.Monad.Trans.State.Strict, protolude Protolude, relude Relude.Monad.Reexport, rio RIO.State, monads-tf Control.Monad.State.Lazy Control.Monad.State.Strict, universum Universum.Monad.Reexport, rebase Rebase.Prelude, mtl-prelude MTLPrelude, dunai Control.Monad.Trans.MSF.State, monadology Control.Monad.Ology.Specific.StateT
withState f m executes action m on a state modified by applying f.
withState :: IO (st, Application) -> SpecWith (st, Application) -> Spec
hspec-wai Test.Hspec.Wai
withState :: MonadState m => (State m -> (a, State m)) -> m a
foundation Foundation.Monad.State
withState :: Monad m => t -> MultiGSTT ('Settable t : tr) m a -> MultiGSTT tr m (a, t)
multistate Control.Monad.Trans.MultiGST Control.Monad.Trans.MultiGST.Lazy Control.Monad.Trans.MultiGST.Strict
withState :: forall s (es :: Effects) a . s -> (forall (e :: Effects) . () => State s e -> Eff (e :& es) (s -> a)) -> Eff es a
bluefin Bluefin.State
>>> runPureEff $ withState 10 $ \st -> do
n <- get st
pure (s -> (2 * n, s))
(20,10)
withState :: s -> (forall e . State s e -> Eff (e :& es) (s -> a)) -> Eff es a
bluefin-internal Bluefin.Internal
>>> runPureEff $ withState 10 $ \st -> do
n <- get st
pure (s -> (2 * n, s))
(20,10)
withState :: (s -> s) -> State s a -> State s a
rev-state Control.Monad.RevState Control.Monad.Trans.RevState