Hoogle Search

Within LTS Haskell 24.6 (ghc-9.10.2)

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

Exact lookup

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

   dunai	Control.Monad.Trans.MSF.State

   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)

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

   dunai	Control.Monad.Trans.MSF.State

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

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

3. mapStateT :: (m (a, s) -> n (b, s)) -> StateT s m a -> StateT s n b

   dunai	Control.Monad.Trans.MSF.State

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

   • runStateT (mapStateT f m) = f .
     runStateT m

4. 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.)

5. runStateS :: forall (m :: Type -> Type) s a b . (Functor m, Monad m) => MSF (StateT s m) a b -> MSF m (s, a) (s, b)

   dunai	Control.Monad.Trans.MSF.State

   Build an MSF that takes a state as an extra input from one on the State monad. This is the opposite of stateS.

6. runStateS_ :: forall (m :: Type -> Type) s a b . (Functor m, Monad m) => MSF (StateT s m) a b -> s -> MSF m a (s, b)

   dunai	Control.Monad.Trans.MSF.State

   Build an MSF function that takes a fixed state as additional input, from an MSF in the State monad, and outputs the new state with every transformation step.

7. runStateS__ :: forall (m :: Type -> Type) s a b . (Functor m, Monad m) => MSF (StateT s m) a b -> s -> MSF m a b

   dunai	Control.Monad.Trans.MSF.State

   Build an MSF function that takes a fixed state as additional input, from an MSF in the State monad.

8. runStateT :: StateT s (m :: Type -> Type) a -> s -> m (a, s)

   dunai	Control.Monad.Trans.MSF.State

   No documentation available.

9. withState :: (s -> s) -> State s a -> State s a

   dunai	Control.Monad.Trans.MSF.State

   withState f m executes action m on a state modified by applying f.

   • withState f m = modify f >> m

10. withStateT :: forall s (m :: Type -> Type) a . (s -> s) -> StateT s m a -> StateT s m a

    dunai	Control.Monad.Trans.MSF.State

    withStateT f m executes action m on a state modified by applying f.

    • withStateT f m = modify f >> m

Page 36 of many | Previous | Next