Hoogle Search

Within LTS Haskell 24.15 (ghc-9.10.3)

Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.

Exact lookup

1. runState :: s -> StateC s m a -> m (s, a)

   fused-effects	Control.Carrier.State.Strict

   Run a State effect starting from the passed value.

   runState s (pure a) = pure (s, a)
   

   runState s get = pure (s, s)
   

   runState s (put t) = pure (t, ())
   

2. runState :: State s a -> s -> (a, s)

   monads-tf	Control.Monad.State.Lazy

   Unwrap a state monad computation as a function. (The inverse of state.)

3. runState :: State s a -> s -> (a, s)

   monads-tf	Control.Monad.State.Strict

   Unwrap a state monad computation as a function. (The inverse of state.)

4. runState :: (C q, C q, C u, C v) => Sequence s u v T q -> T s u q (R s v q q)

   synthesizer-dimensional	Synthesizer.Dimensional.RateAmplitude.Piece

   No documentation available.

5. runState :: forall s (es :: Effects) a . s -> (forall (e :: Effects) . () => State s e -> Eff (e :& es) a) -> Eff es (a, s)

   bluefin-internal	Bluefin.Internal

   >>> runPureEff $ runState 10 $ \st -> do
   n <- get st
   pure (2 * n)
   (20,10)
   

6. runState :: State s a -> s -> (a, s)

   dunai	Control.Monad.Trans.MSF.State

   Unwrap a state monad computation as a function. (The inverse of state.)

7. runState :: forall s (es :: [Effect]) a . FOEs es => s -> Eff (State s ': es) a -> Eff es (s, a)

   heftia-effects	Control.Monad.Hefty.State

   Interpret the State effect.

8. runState :: State s a -> s -> (a, s)

   monadology	Control.Monad.Ology.Specific.StateT

   Unwrap a state monad computation as a function. (The inverse of state.)

9. runState :: State s a -> s -> (a, s)

   mtl-prelude	MTLPrelude

   Unwrap a state monad computation as a function. (The inverse of state.)

10. runState :: State s a -> s -> (a, s)

    rev-state	Control.Monad.RevState

    No documentation available.

Page 3 of many | Previous | Next