State -package:ghc

module Control.Monad.State
mtl
State monads. This module is inspired by the paper Functional Programming with Overloading and Higher-Order Polymorphism, Mark P Jones (http://web.cecs.pdx.edu/~mpj/) Advanced School of Functional Programming, 1995.
type State s = StateT s Identity
mtl Control.Monad.State.Lazy Control.Monad.State.Strict, transformers Control.Monad.Trans.State.Lazy Control.Monad.Trans.State.Strict, protolude Protolude, relude Relude.Monad.Reexport, rio RIO.State, monads-tf Control.Monad.State.Lazy Control.Monad.State.Strict
A state monad parameterized by the type s of the state to carry. The return function leaves the state unchanged, while >>= uses the final state of the first computation as the initial state of the second.
module Control.Monad.Trans.State
transformers
State monads, passing an updatable state through a computation. Some computations may not require the full power of state transformers: This version is lazy; for a strict version, see Control.Monad.Trans.State.Strict, which has the same interface.
data State
HUnit Test.HUnit.Base
Keeps track of the remaining tests and the results of the performed tests. As each test is performed, the path is removed and the counts are updated as appropriate.
State :: Path -> Counts -> State
HUnit Test.HUnit.Base
data State s u
parsec Text.Parsec Text.Parsec.Prim Text.ParserCombinators.Parsec.Prim
State :: s -> SourcePos -> u -> State s u
parsec Text.Parsec Text.Parsec.Prim Text.ParserCombinators.Parsec.Prim
type family State i
attoparsec Data.Attoparsec.Internal.Types
module Hedgehog.Internal.State
hedgehog
data State s e
megaparsec Text.Megaparsec Text.Megaparsec.State
This is the Megaparsec's state parametrized over stream type s and custom error component type e.
State :: s -> Int -> PosState s -> [ParseError s e] -> State s e
megaparsec Text.Megaparsec Text.Megaparsec.State
module Text.Megaparsec.State
megaparsec
Definition of Megaparsec's State.
data State
cryptonite Crypto.Cipher.ChaCha, crypton Crypto.Cipher.ChaCha
ChaCha context
data State
cryptonite Crypto.Cipher.ChaChaPoly1305, crypton Crypto.Cipher.ChaChaPoly1305
A ChaChaPoly1305 State. The state is immutable, and only new state can be created
data State
cryptonite Crypto.Cipher.RC4, crypton Crypto.Cipher.RC4
The encryption state for RC4 This type is an instance of ByteArrayAccess for debugging purpose. Internal layout is architecture dependent, may contain uninitialized data fragments, and change in future versions. The bytearray should not be used as input to cryptographic algorithms.
newtype State
cryptonite Crypto.Cipher.Salsa, crypton Crypto.Cipher.Salsa
Salsa context
State :: ScrubbedBytes -> State
cryptonite Crypto.Cipher.Salsa, crypton Crypto.Cipher.Salsa
data State
cryptonite Crypto.Cipher.XSalsa, crypton Crypto.Cipher.XSalsa
Salsa context
data State
cryptonite Crypto.MAC.Poly1305, crypton Crypto.MAC.Poly1305
Poly1305 State This type is an instance of ByteArrayAccess for debugging purpose. Internal layout is architecture dependent, may contain uninitialized data fragments, and change in future versions. The bytearray should not be used as input to cryptographic algorithms.
module Polysemy.State
polysemy
data State s m a
polysemy Polysemy.State
An effect for providing statefulness. Note that unlike mtl's StateT, there is no restriction that the State effect corresponds necessarily to local state. It could could just as well be interrpeted in terms of HTTP requests or database access. Interpreters which require statefulness can reinterpret themselves in terms of State, and subsequently call runState.
module RIO.State
rio
Provides reexports of MonadState and related helpers.
module Control.Monad.State
monads-tf
State monads. This module is inspired by the paper /Functional Programming with Overloading and Higher-Order Polymorphism/, Mark P Jones (http://web.cecs.pdx.edu/~mpj/) Advanced School of Functional Programming, 1995.
module Graphics.UI.GLUT.State
GLUT
GLUT maintains a considerable amount of programmer visible state. Some (but not all) of this state may be directly retrieved.
module Control.Monad.Representable.State
adjunctions
A generalized State monad, parameterized by a Representable functor. The representation of that functor serves as the state.