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. inflateState :: forall (m :: Type -> Type) s t a . (Monad m, MonadMultiState s (t m), MonadTrans t) => StateT s m a -> t m a

   multistate	Control.Monad.Trans.MultiRWS.Lazy

   No documentation available.

2. withMultiState :: forall (m :: Type -> Type) s (r :: [Type]) (w :: [Type]) (ss :: [Type]) a . Monad m => s -> MultiRWST r w (s ': ss) m a -> MultiRWST r w ss m (a, s)

   multistate	Control.Monad.Trans.MultiRWS.Lazy

   No documentation available.

3. withMultiStateA :: forall (m :: Type -> Type) s (r :: [Type]) (w :: [Type]) (ss :: [Type]) a . Monad m => s -> MultiRWST r w (s ': ss) m a -> MultiRWST r w ss m a

   multistate	Control.Monad.Trans.MultiRWS.Lazy

   No documentation available.

4. withMultiStateAS :: forall (m :: Type -> Type) s (r :: [Type]) (w :: [Type]) (ss :: [Type]) a . Monad m => s -> MultiRWST r w (s ': ss) m a -> MultiRWST r w ss m (a, s)

   multistate	Control.Monad.Trans.MultiRWS.Lazy

   No documentation available.

5. withMultiStateS :: forall (m :: Type -> Type) s (r :: [Type]) (w :: [Type]) (ss :: [Type]) a . Monad m => s -> MultiRWST r w (s ': ss) m a -> MultiRWST r w ss m s

   multistate	Control.Monad.Trans.MultiRWS.Lazy

   No documentation available.

6. withMultiStateSA :: forall (m :: Type -> Type) s (r :: [Type]) (w :: [Type]) (ss :: [Type]) a . Monad m => s -> MultiRWST r w (s ': ss) m a -> MultiRWST r w ss m (s, a)

   multistate	Control.Monad.Trans.MultiRWS.Lazy

   No documentation available.

7. withMultiState_ :: forall (m :: Type -> Type) s (r :: [Type]) (w :: [Type]) (ss :: [Type]) a . (Functor m, Monad m) => s -> MultiRWST r w (s ': ss) m a -> MultiRWST r w ss m ()

   multistate	Control.Monad.Trans.MultiRWS.Lazy

   No documentation available.

8. withMultiStates :: forall (m :: Type -> Type) (s1 :: [Type]) (r :: [Type]) (w :: [Type]) (s2 :: [Type]) a . Monad m => HList s1 -> MultiRWST r w (Append s1 s2) m a -> MultiRWST r w s2 m (a, HList s1)

   multistate	Control.Monad.Trans.MultiRWS.Lazy

   No documentation available.

9. withMultiStatesA :: forall (m :: Type -> Type) (s1 :: [Type]) (r :: [Type]) (w :: [Type]) (s2 :: [Type]) a . Monad m => HList s1 -> MultiRWST r w (Append s1 s2) m a -> MultiRWST r w s2 m a

   multistate	Control.Monad.Trans.MultiRWS.Lazy

   No documentation available.

10. withMultiStatesAS :: forall (m :: Type -> Type) (s1 :: [Type]) (r :: [Type]) (w :: [Type]) (s2 :: [Type]) a . Monad m => HList s1 -> MultiRWST r w (Append s1 s2) m a -> MultiRWST r w s2 m (a, HList s1)

    multistate	Control.Monad.Trans.MultiRWS.Lazy

    No documentation available.

Page 24 of many | Previous | Next