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, universum Universum.Monad.Reexport, 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.
newtype () => StateT s (m :: Type -> Type) a
universum Universum.Monad.Reexport, 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.
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 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.
data () => StateType
gi-gtk-hs Data.GI.Gtk
StateTypeActive :: StateType
gi-gtk-hs Data.GI.Gtk
StateTypeFocused :: StateType
gi-gtk-hs Data.GI.Gtk
StateTypeInconsistent :: StateType
gi-gtk-hs Data.GI.Gtk
StateTypeInsensitive :: StateType
gi-gtk-hs Data.GI.Gtk