Hoogle Search
Within LTS Haskell 24.2 (ghc-9.10.2)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
module Rebase.Control.Monad.
State No documentation available.
module Rebase.Control.Monad.Trans.
State No documentation available.
-
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 Identitymonads-tf Control.Monad.State.Lazy 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.
type
State s = StateT s Identitymonads-tf 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.Hefty.Interpret.
State This module provides an ad-hoc specialized version of Control.Monad.Hefty.Interpret to accelerate interpretations that have a single state type s, especially for effects like State or Writer.
module Control.Monad.Par.
State This module provides a notion of (Splittable) State that is compatible with any Par monad. This module provides instances that make StateT-transformed monads into valid Par monads.
module Control.Monad.Trans.MSF.
State MSFs with a State monadic layer. This module contains functions to work with MSFs that include a State monadic layer. This includes functions to create new MSFs that include an additional layer, and functions to flatten that layer out of the MSF's transformer stack. It is based on the _strict_ state monad Strict, so when combining it with other modules such as mtl's, the strict version has to be included, i.e. Strict instead of State or Lazy.
type
State s = StateT s Identitydunai Control.Monad.Trans.MSF.State 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 Grisette.Lib.Control.Monad.Trans.
State No documentation available.