Hoogle Search

Within LTS Haskell 24.6 (ghc-9.10.2)

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

  1. mrgState :: (MonadState s m, TryMerge m, Mergeable s, Mergeable a) => (s -> (a, s)) -> m a

    grisette Grisette.Lib.Control.Monad.State.Class

    state with MergingStrategy knowledge propagation.

  2. mrgEvalStateT :: (Monad m, TryMerge m, Mergeable a) => StateT s m a -> s -> m a

    grisette Grisette.Lib.Control.Monad.Trans.State.Lazy

    evalStateT with MergingStrategy knowledge propagation.

  3. mrgExecStateT :: (Monad m, TryMerge m, Mergeable s) => StateT s m a -> s -> m s

    grisette Grisette.Lib.Control.Monad.Trans.State.Lazy

    execStateT with MergingStrategy knowledge propagation.

  4. mrgMapStateT :: (TryMerge n, Mergeable b, Mergeable s) => (m (a, s) -> n (b, s)) -> StateT s m a -> StateT s n b

    grisette Grisette.Lib.Control.Monad.Trans.State.Lazy

    mapStateT with MergingStrategy knowledge propagation.

  5. mrgRunStateT :: (Monad m, TryMerge m, Mergeable s, Mergeable a) => StateT s m a -> s -> m (a, s)

    grisette Grisette.Lib.Control.Monad.Trans.State.Lazy

    runStateT with MergingStrategy knowledge propagation.

  6. mrgState :: forall (m :: Type -> Type) s a . (Monad m, TryMerge m, Mergeable s, Mergeable a) => (s -> (a, s)) -> StateT s m a

    grisette Grisette.Lib.Control.Monad.Trans.State.Lazy

    state with MergingStrategy knowledge propagation.

  7. mrgWithStateT :: forall (m :: Type -> Type) s a . (TryMerge m, Mergeable s, Mergeable a) => (s -> s) -> StateT s m a -> StateT s m a

    grisette Grisette.Lib.Control.Monad.Trans.State.Lazy

    withStateT with MergingStrategy knowledge propagation.

  8. mrgEvalStateT :: (Monad m, TryMerge m, Mergeable a) => StateT s m a -> s -> m a

    grisette Grisette.Lib.Control.Monad.Trans.State.Strict

    evalStateT with MergingStrategy knowledge propagation.

  9. mrgExecStateT :: (Monad m, TryMerge m, Mergeable s) => StateT s m a -> s -> m s

    grisette Grisette.Lib.Control.Monad.Trans.State.Strict

    execStateT with MergingStrategy knowledge propagation.

  10. mrgMapStateT :: (TryMerge n, Mergeable b, Mergeable s) => (m (a, s) -> n (b, s)) -> StateT s m a -> StateT s n b

    grisette Grisette.Lib.Control.Monad.Trans.State.Strict

    mapStateT with MergingStrategy knowledge propagation.

Page 37 of many | Previous | Next