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.

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

    basement Basement.Compat.MonadTrans

    No documentation available.

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

    protolude Protolude

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

  3. runState :: Arrow a => StateArrow s a e b -> a (e, s) (b, s)

    arrows Control.Arrow.Transformer.State

    Encapsulation of a state-using computation, exposing the initial and final states. Typical usage in arrow notation: 

    proc p -> do
...
(result, final_state) <- (|runState cmd|) init_state

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

    ghc-lib-parser GHC.Utils.Monad.State.Strict

    No documentation available.

  5. runState :: forall s (es :: [(Type -> Type) -> Type -> Type]) a . HasCallStack => s -> Eff (State s ': es) a -> Eff es (a, s)

    effectful-core Effectful.State.Static.Local

    Run the State effect with the given initial state and return the final value along with the final state.

  6. runState :: forall s (es :: [(Type -> Type) -> Type -> Type]) a . HasCallStack => s -> Eff (State s ': es) a -> Eff es (a, s)

    effectful-core Effectful.State.Static.Shared

    Run the State effect with the given initial state and return the final value along with the final state.

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

    rebase Rebase.Prelude

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

  8. runState :: forall s m a b . (s -> a -> m b) -> s -> StateC s m a -> m b

    fused-effects Control.Carrier.State.Church

    Run a State effect starting from the passed value, applying a continuation to the final state and result. 

    runState k s (pure a) = k s a

    runState k s get = k s s

    runState k s (put t) = k t ()

  9. runState :: MonadIO m => s -> StateC s m a -> m (s, a)

    fused-effects Control.Carrier.State.IORef

    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, ())

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

    fused-effects Control.Carrier.State.Lazy

    Run a lazy State effect, yielding the result value and the final state. More programs terminate with lazy state than strict state, but injudicious use of lazy state may lead to thunk buildup. 

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

    runState s get = pure (s, s)

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

Page 2 of many | Previous | Next