Hoogle Search

Within LTS Haskell 24.4 (ghc-9.10.2)

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

Exact lookup

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

   multistate	Control.Monad.Trans.MultiState.Lazy

   No documentation available.

2. withMultiStates :: 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.Lazy

   No documentation available.

3. 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.Lazy

   No documentation available.

4. 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.Lazy

   No documentation available.

5. 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.Lazy

   No documentation available.

6. 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.Lazy

   No documentation available.

7. 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.Lazy

   No documentation available.

8. 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.Lazy

   No documentation available.

9. class MonadMultiGet a m => MonadMultiState a (m :: Type -> Type)

   multistate	Control.Monad.Trans.MultiState.Strict

   No documentation available.

10. type MultiState (x :: [Type]) = MultiStateT x Identity

    multistate	Control.Monad.Trans.MultiState.Strict

    A state monad parameterized by the list of types x of the state to carry. Similar to State s = StateT s Identity

Page 32 of many | Previous | Next