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. mrgRunStateT :: (Monad m, TryMerge m, Mergeable s, Mergeable a) => StateT s m a -> s -> m (a, s)

   grisette	Grisette.Lib.Control.Monad.Trans.State.Strict

   runStateT with MergingStrategy knowledge propagation.

2. mrgState :: forall (m :: Type -> Type) s a . (Monad m, TryMerge m, Mergeable s, Mergeable a) => (s -> (a, s)) -> StateT s m a

   grisette	Grisette.Lib.Control.Monad.Trans.State.Strict

   state with MergingStrategy knowledge propagation.

3. mrgWithStateT :: forall (m :: Type -> Type) s a . (TryMerge m, Mergeable s, Mergeable a) => (s -> s) -> StateT s m a -> StateT s m a

   grisette	Grisette.Lib.Control.Monad.Trans.State.Strict

   withStateT with MergingStrategy knowledge propagation.

4. type HasState s (m :: Type -> Type) = Has StateT s m

   has-transformers	Control.Monad.Trans.Has.State

   No documentation available.

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

   has-transformers	Control.Monad.Trans.Has.State

   No documentation available.

6. evalState :: forall s (es :: [Effect]) a . s -> FOEs es => Eff (State s ': es) a -> Eff es a

   heftia-effects	Control.Monad.Hefty.State

   Interpret the State effect. Do not include the final state in the return value.

7. execState :: forall s (es :: [Effect]) a . FOEs es => s -> Eff (State s ': es) a -> Eff es s

   heftia-effects	Control.Monad.Hefty.State

   Interpret the State effect. Do not include the final result in the return value.

8. handleState :: forall s (f :: Type -> Type) g ans x . State s f x -> s -> (s -> x -> g ans) -> g ans

   heftia-effects	Control.Monad.Hefty.State

   A handler function for the State effect.

9. runState :: forall s (es :: [Effect]) a . FOEs es => s -> Eff (State s ': es) a -> Eff es (s, a)

   heftia-effects	Control.Monad.Hefty.State

   Interpret the State effect.

10. runStateNaive :: forall s (es :: [Effect]) a . FOEs es => s -> Eff (State s ': es) a -> Eff es (s, a)

    heftia-effects	Control.Monad.Hefty.State

    A naive but somewhat slower version of runState that does not use ad-hoc optimizations.

Page 38 of many | Previous | Next