Hoogle Search

Within LTS Haskell 24.3 (ghc-9.10.2)

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

Exact lookup

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

   adjunctions	Control.Monad.Representable.State

   No documentation available.

2. newtype StateT s (m :: Type -> Type) a

   monads-tf	Control.Monad.State.Lazy

   A state transformer monad parameterized by:

   • s - The state.
   • m - The inner monad.
   The return function leaves the state unchanged, while >>= uses the final state of the first computation as the initial state of the second.

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

   monads-tf	Control.Monad.State.Lazy

   No documentation available.

4. newtype StateT s (m :: Type -> Type) a

   monads-tf	Control.Monad.State.Strict

   A state transformer monad parameterized by:

   • s - The state.
   • m - The inner monad.
   The return function leaves the state unchanged, while >>= uses the final state of the first computation as the initial state of the second.

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

   monads-tf	Control.Monad.State.Strict

   No documentation available.

6. module Control.Monad.StateStack

   A state monad which allows the state to be saved and restored on a stack.

   • Computation type: Computations with implicit access to a read/write state, with additional operations for pushing the current state on a stack and later restoring the state from the top of the stack.
   • Binding strategy: Same as for the usual state monad; the state and accompanying stack of saved states are threaded through computations.
   • Useful for: Remembering state while emitting commands for some system which itself has saveable/restorable state, such as OpenGL or Cairo.
   Simple example:

   ghci> let p = get >>= liftIO . print
   ghci> evalStateStackT (put 2 >> p >> save >> put 3 >> p >> restore >> p) 0
   2
   3
   2
   

7. type StateStack s a = StateStackT s Identity a

   statestack	Control.Monad.StateStack

   No documentation available.

8. newtype StateStackT s (m :: Type -> Type) a

   statestack	Control.Monad.StateStack

   A monad transformer which adds a save/restorable state to an existing monad.

9. StateStackT :: StateT (s, [s]) m a -> StateStackT s (m :: Type -> Type) a

   statestack	Control.Monad.StateStack

   No documentation available.

10. type StateHandler s (e :: k -> Type -> Type) (m :: k) (n :: Type -> Type) ans = forall x . () => e m x -> s -> s -> x -> n ans -> n ans

    heftia	Control.Monad.Hefty

    An ad-hoc stateful version of Handler for performance.

Page 6 of many | Previous | Next