Hoogle Search

Within LTS Haskell 24.4 (ghc-9.10.2)

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

Exact lookup

1. getStateT :: StateT (g :: Type -> Type) (m :: Type -> Type) a -> g (m (a, Rep g))

   adjunctions	Control.Monad.Representable.State

   No documentation available.

2. mapState :: forall (g :: Type -> Type) a b . Functor g => ((a, Rep g) -> (b, Rep g)) -> State g a -> State g b

   adjunctions	Control.Monad.Representable.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 :: forall (g :: Type -> Type) m a n b . Functor g => (m (a, Rep g) -> n (b, Rep g)) -> StateT g m a -> StateT g n b

   adjunctions	Control.Monad.Representable.State

   No documentation available.

4. runState :: forall (g :: Type -> Type) a . Representable g => State g a -> Rep g -> (a, Rep g)

   adjunctions	Control.Monad.Representable.State

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

5. runStateT :: forall (g :: Type -> Type) m a . Representable g => StateT g m a -> Rep g -> m (a, Rep g)

   adjunctions	Control.Monad.Representable.State

   No documentation available.

6. class Monad m => MonadState (m :: Type -> Type)

   monads-tf	Control.Monad.State.Class

   get returns the state from the internals of the monad. put replaces the state inside the monad.

7. class Monad m => MonadState (m :: Type -> Type)

   monads-tf	Control.Monad.State.Lazy

   get returns the state from the internals of the monad. put replaces the state inside the monad.

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

   monads-tf	Control.Monad.State.Lazy

   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)

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

   monads-tf	Control.Monad.State.Lazy

   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)

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

    monads-tf	Control.Monad.State.Lazy

    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)

Page 15 of many | Previous | Next