Hoogle Search

Within LTS Haskell 24.9 (ghc-9.10.2)

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

Exact lookup

1. dangerousMVarRunStateT :: MVar s -> Unlift MonadIO (StateT s)

   monadology	Control.Monad.Ology.Specific.StateT

   Dangerous, because the MVar won't be released on exception.

2. discardingStateTUnlift :: s -> Unlift MonadIO (StateT s)

   monadology	Control.Monad.Ology.Specific.StateT

   No documentation available.

3. evalState :: State s a -> s -> a

   monadology	Control.Monad.Ology.Specific.StateT

   Evaluate a state computation with the given initial state and return the final value, discarding the final state.

   • evalState m s = fst (runState m
     s)

4. evalStateT :: Monad m => StateT s m a -> s -> m a

   monadology	Control.Monad.Ology.Specific.StateT

   Evaluate a state computation with the given initial state and return the final value, discarding the final state.

   • evalStateT m s = liftM fst
     (runStateT m s)

5. execState :: State s a -> s -> s

   monadology	Control.Monad.Ology.Specific.StateT

   Evaluate a state computation with the given initial state and return the final state, discarding the final value.

   • execState m s = snd (runState m
     s)

6. execStateT :: Monad m => StateT s m a -> s -> m s

   monadology	Control.Monad.Ology.Specific.StateT

   Evaluate a state computation with the given initial state and return the final state, discarding the final value.

   • execStateT m s = liftM snd
     (runStateT m s)

7. liftStateT :: forall f (m :: Type -> Type) s a . (Traversable f, Applicative m) => StateT s m a -> StateT (f s) m (f a)

   monadology	Control.Monad.Ology.Specific.StateT

   No documentation available.

8. liftWithMVarStateT :: MonadIO m => (MVar s -> m a) -> StateT s m a

   monadology	Control.Monad.Ology.Specific.StateT

   No documentation available.

9. mVarRunStateT :: MVar s -> Unlift MonadTunnelIO (StateT s)

   monadology	Control.Monad.Ology.Specific.StateT

   Run the StateT on an MVar, taking the initial state and putting the final state.

10. mapState :: ((a, s) -> (b, s)) -> State s a -> State s b

    monadology	Control.Monad.Ology.Specific.StateT

    Map both the return value and final state of a computation using the given function.

    • runState (mapState f m) = f . runState
      m

Page 42 of many | Previous | Next