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. closeInternalState :: MonadIO m => InternalState -> m ()

   resourcet	Control.Monad.Trans.Resource

   Close an internal state created by createInternalState. Since 0.4.9

2. createInternalState :: MonadIO m => m InternalState

   resourcet	Control.Monad.Trans.Resource

   Create a new internal state. This state must be closed with closeInternalState. It is your responsibility to ensure exception safety. Caveat emptor! Since 0.4.9

3. getInternalState :: forall (m :: Type -> Type) . Monad m => ResourceT m InternalState

   resourcet	Control.Monad.Trans.Resource

   Get the internal state of the current ResourceT. Since 0.4.6

4. runInternalState :: ResourceT m a -> InternalState -> m a

   resourcet	Control.Monad.Trans.Resource

   Unwrap a ResourceT using the given InternalState. Since 0.4.6

5. withInternalState :: (InternalState -> m a) -> ResourceT m a

   resourcet	Control.Monad.Trans.Resource

   Run an action in the underlying monad, providing it the InternalState. Since 0.4.6

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

   adjunctions	Control.Monad.Representable.State

   Minimal definition is either both of get and put or just state

7. evalState :: forall (g :: Type -> Type) a . Representable g => State g a -> Rep g -> a

   adjunctions	Control.Monad.Representable.State

   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)

8. evalStateT :: forall (g :: Type -> Type) m a . (Representable g, Monad m) => StateT g m a -> Rep g -> m a

   adjunctions	Control.Monad.Representable.State

   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)

9. execState :: forall (g :: Type -> Type) a . Representable g => State g a -> Rep g -> Rep g

   adjunctions	Control.Monad.Representable.State

   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)

10. execStateT :: forall (g :: Type -> Type) m a . (Representable g, Monad m) => StateT g m a -> Rep g -> m (Rep g)

    adjunctions	Control.Monad.Representable.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)

Page 14 of many | Previous | Next