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.

Exact lookup

1. withMultiStatesA :: forall (m :: Type -> Type) (s1 :: [Type]) (s2 :: [Type]) a . Monad m => HList s1 -> MultiStateT (Append s1 s2) m a -> MultiStateT s2 m a

   multistate	Control.Monad.Trans.MultiState.Strict

   No documentation available.

2. withMultiStatesAS :: forall (m :: Type -> Type) (s1 :: [Type]) (s2 :: [Type]) a . Monad m => HList s1 -> MultiStateT (Append s1 s2) m a -> MultiStateT s2 m (a, HList s1)

   multistate	Control.Monad.Trans.MultiState.Strict

   No documentation available.

3. withMultiStatesS :: forall (m :: Type -> Type) (s1 :: [Type]) (s2 :: [Type]) a . Monad m => HList s1 -> MultiStateT (Append s1 s2) m a -> MultiStateT s2 m (HList s1)

   multistate	Control.Monad.Trans.MultiState.Strict

   No documentation available.

4. withMultiStatesSA :: forall (m :: Type -> Type) (s1 :: [Type]) (s2 :: [Type]) a . Monad m => HList s1 -> MultiStateT (Append s1 s2) m a -> MultiStateT s2 m (HList s1, a)

   multistate	Control.Monad.Trans.MultiState.Strict

   No documentation available.

5. withMultiStates_ :: forall (m :: Type -> Type) (s1 :: [Type]) (s2 :: [Type]) a . (Functor m, Monad m) => HList s1 -> MultiStateT (Append s1 s2) m a -> MultiStateT s2 m ()

   multistate	Control.Monad.Trans.MultiState.Strict

   No documentation available.

6. withoutMultiState :: forall (m :: Type -> Type) (ss :: [Type]) a s . (Functor m, Monad m) => MultiStateT ss m a -> MultiStateT (s ': ss) m a

   multistate	Control.Monad.Trans.MultiState.Strict

   No documentation available.

7. tellState :: (Monoid s, MonadState s m) => s -> m ()

   nondeterminism	Control.Monad.Amb

   A helper to inject state into the backtracking stack

8. evalState :: State s a -> s -> a

   dunai	Control.Monad.Trans.MSF.State

   Evaluate a state computation with the given initial state and return the final value, discarding the final state.

   • evalState m s = fst (runState m
     s)

9. evalStateT :: Monad m => StateT s m a -> s -> m a

   dunai	Control.Monad.Trans.MSF.State

   Evaluate a state computation with the given initial state and return the final value, discarding the final state.

   • evalStateT m s = liftM fst
     (runStateT m s)

10. execState :: State s a -> s -> s

    dunai	Control.Monad.Trans.MSF.State

    Evaluate a state computation with the given initial state and return the final state, discarding the final value.

    • execState m s = snd (runState m
      s)

Page 35 of many | Previous | Next