Hoogle Search

Within LTS Haskell 24.15 (ghc-9.10.3)

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

Exact lookup

1. runStateLC :: forall (m :: Type -> Type) s i o r . Monad m => s -> ConduitT i o (StateT s m) r -> ConduitT i o m (r, s)

   classy-prelude-yesod	ClassyPrelude.Yesod

   Run StateT in the base monad Since 1.0.11

2. runStateIORef :: forall s (r :: EffectRow) a . Member (Embed IO) r => IORef s -> Sem ((State s :: (Type -> Type) -> Type -> Type) ': r) a -> Sem r a

   incipit-core	IncipitCore

   Run a State effect by transforming it into operations over an IORef. Note: This is not safe in a concurrent setting, as modify isn't atomic. If you need operations over the state to be atomic, use runAtomicStateIORef or runAtomicStateTVar instead.

3. runStateSTRef :: forall s st (r :: EffectRow) a . Member (Embed (ST st)) r => STRef st s -> Sem ((State s :: (Type -> Type) -> Type -> Type) ': r) a -> Sem r a

   incipit-core	IncipitCore

   Run a State effect by transforming it into operations over an STRef.

4. runStateIx :: StateIx i j (m :: Type -> Type) x -> i -> m (x, j)

   indexed-transformers	Control.Monad.Trans.Indexed.State

   No documentation available.

5. runStateQuery :: StateQuery s a -> Window -> X a

   xmonad-contrib	XMonad.Util.WindowState

   Apply StateQuery to Window.

6. type RunStateless (t :: Type -> Type -> Type -> Type) = forall (n :: Type -> Type) b . Monad n => t n b -> n b

   reflex-dom-core	Reflex.Dom.Builder.Class

   No documentation available.

7. hoistRunState :: forall (m :: Type -> Type) h t p . Monad m => (h -> t) -> (t -> h) -> RunState p m h -> RunState p m t

   ginger	Text.Ginger.Run

   Hoist a RunState onto a different output type. You don't normally need to use this directly; see hoistRun and/or hoistContext.

8. hoistRunState :: forall (m :: Type -> Type) h t p . Monad m => (h -> t) -> (t -> h) -> RunState p m h -> RunState p m t

   ginger	Text.Ginger.Run.Type

   Hoist a RunState onto a different output type. You don't normally need to use this directly; see hoistRun and/or hoistContext.

9. mrgRunStateT :: (Monad m, TryMerge m, Mergeable s, Mergeable a) => StateT s m a -> s -> m (a, s)

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

   runStateT with MergingStrategy knowledge propagation.

10. 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.

Page 12 of many | Previous | Next