Hoogle Search

Within LTS Haskell 24.3 (ghc-9.10.2)

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

  1. type StateHandler s (e :: k -> Type -> Type) (m :: k) (n :: Type -> Type) ans = forall x . () => e m x -> s -> s -> x -> n ans -> n ans

    heftia Control.Monad.Hefty.Interpret.State

    An ad-hoc stateful version of Handler for performance.

  2. newtype StateT s (m :: Type -> Type) a

    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.

  3. StateT :: (s -> m (a, s)) -> StateT s (m :: Type -> Type) a

    dunai Control.Monad.Trans.MSF.State

    No documentation available.

  4. newtype StateT s (m :: Type -> Type) a

    has-transformers Control.Monad.Trans.Has.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.

  5. StateT :: (s -> m (a, s)) -> StateT s (m :: Type -> Type) a

    has-transformers Control.Monad.Trans.Has.State

    No documentation available.

  6. module Control.Monad.Trans.Memo.StateCache

    Generic StateCache - wrapper around StateT

  7. data StateCache c (m :: Type -> Type) a

    monad-memo Control.Monad.Trans.Memo.StateCache

    No documentation available.

  8. module Control.Monad.Ology.Specific.StateT

    No documentation available.

  9. newtype StateT s (m :: Type -> Type) a

    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.

  10. StateT :: (s -> m (a, s)) -> StateT s (m :: Type -> Type) a

    monadology Control.Monad.Ology.Specific.StateT

    No documentation available.

Page 7 of many | Previous | Next