StateT -package:gi-atk

newtype StateT s (m :: Type -> Type) a
mtl Control.Monad.State.Lazy Control.Monad.State.Strict, protolude Protolude, relude Relude.Monad.Reexport, rio RIO.State, monads-tf Control.Monad.State.Lazy Control.Monad.State.Strict, pipes-parse Pipes.Parse, mtl-prelude MTLPrelude, has-transformers Control.Monad.Trans.Has.State, mempack Data.MemPack, monadology Control.Monad.Ology.Specific.StateT
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.
StateT :: (s -> m (a, s)) -> StateT s (m :: Type -> Type) a
mtl Control.Monad.State.Lazy Control.Monad.State.Strict, protolude Protolude, relude Relude.Monad.Reexport, rio RIO.State, monads-tf Control.Monad.State.Lazy Control.Monad.State.Strict, pipes-parse Pipes.Parse, rebase Rebase.Prelude, mtl-prelude MTLPrelude, dunai Control.Monad.Trans.MSF.State, has-transformers Control.Monad.Trans.Has.State, mempack Data.MemPack, monadology Control.Monad.Ology.Specific.StateT
newtype StateT s m a
transformers Control.Monad.Trans.State.Lazy Control.Monad.Trans.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.
StateT :: (s -> m (a, s)) -> StateT s m a
transformers Control.Monad.Trans.State.Lazy Control.Monad.Trans.State.Strict, rev-state Control.Monad.RevState Control.Monad.Trans.RevState
newtype StateT g m a
adjunctions Control.Monad.Representable.State
A state transformer monad parameterized by:
  • g - A representable functor used to memoize results for a state Rep g
  • 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.
StateT :: g (m (a, Rep g)) -> StateT g m a
adjunctions Control.Monad.Representable.State
data () => StateT s (m :: Type -> Type) a
lens-family Lens.Family2.State.Lazy Lens.Family2.State.Strict, lens-family-core Lens.Family.State.Lazy Lens.Family.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.
data StateT s m a
foundation Foundation.Monad.State
State Transformer
newtype StateT s (m :: Type -> Type) a
ghc-internal GHC.Internal.Data.Functor.Utils
A state transformer monad parameterized by the state and inner monad. The implementation is copied from the transformers package with the return tuple swapped.
StateT :: (s -> m (s, a)) -> StateT s (m :: Type -> Type) a
ghc-internal GHC.Internal.Data.Functor.Utils
newtype () => StateT s (m :: Type -> Type) a
rebase Rebase.Prelude, dunai Control.Monad.Trans.MSF.State
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.
newtype StateT s m a
rev-state Control.Monad.RevState Control.Monad.Trans.RevState
module Control.Monad.Ology.Specific.StateT
monadology
stateT :: Representable g => (Rep g -> m (a, Rep g)) -> StateT g m a
adjunctions Control.Monad.Representable.State
stateT :: State stateT stateInternal -> stateT
essence-of-live-coding LiveCoding LiveCoding.Cell.Monad.Trans
data StateType
gtk Graphics.UI.Gtk.Abstract.Widget Graphics.UI.Gtk.General.Enums Graphics.UI.Gtk.General.IconFactory
Widget states
data StateType
gtk3 Graphics.UI.Gtk.Abstract.Widget Graphics.UI.Gtk.General.Enums Graphics.UI.Gtk.General.IconFactory
module Text.ParserCombinators.Poly.StateText
polyparse
type StateTransition m a b s = a -> m (b, s)
essence-of-live-coding LiveCoding LiveCoding.Coalgebra
data StateTransition
nvim-hs Neovim.Context.Internal
The state that the plugin provider wants to transition to.
stateTVar :: TVar s -> (s -> (a, s)) -> STM a
stm Control.Concurrent.STM.TVar, unliftio UnliftIO.STM
Like modifyTVar' but the function is a simple state transition that can return a side value which is passed on as the result of the STM.
stateToIO :: forall s r a . Member (Embed IO) r => s -> Sem (State s ': r) a -> Sem r (s, a)
polysemy Polysemy.State
Run an State effect in terms of operations in IO. Internally, this simply creates a new IORef, passes it to runStateIORef, and then returns the result and the final value of the 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 atomicStateToIO instead. Beware: As this uses an IORef internally, all other effects will have local state semantics in regards to State effects interpreted this way. For example, throw and catch will never revert puts, even if runError is used after stateToIO.
stateToST :: forall s st r a . Member (Embed (ST st)) r => s -> Sem (State s ': r) a -> Sem r (s, a)
polysemy Polysemy.State
Run an State effect in terms of operations in ST. Internally, this simply creates a new STRef, passes it to runStateSTRef, and then returns the result and the final value of the STRef. Beware: As this uses an STRef internally, all other effects will have local state semantics in regards to State effects interpreted this way. For example, throw and catch will never revert puts, even if runError is used after stateToST. When not using the plugin, one must introduce the existential st type to stateToST, so that the resulting type after runM can be resolved into forall st. ST st (s, a) for use with runST. Doing so requires -XScopedTypeVariables. 
stResult :: forall s a. (s, a)
stResult = runST ( (runM $ stateToST @_ @st undefined $ pure undefined) :: forall st. ST st (s, a) )
stateType :: TypeAnalysis -> Type
acid-state Data.Acid.TemplateHaskell
stateTCLens :: (MonadTCState m, ReadTCState m) => Lens' TCState a -> (a -> (r, a)) -> m r
Agda Agda.TypeChecking.Monad.Base
Modify the part of the TCState focused on by the lens, and return some result.