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. withStateSA :: forall (m :: Type -> Type) t (tr :: [CanReadWrite Type]) a . Monad m => t -> MultiGSTT ('Settable t ': tr) m a -> MultiGSTT tr m (t, a)

   multistate	Control.Monad.Trans.MultiGST.Strict

   No documentation available.

2. withState_ :: forall (m :: Type -> Type) t (tr :: [CanReadWrite Type]) a . Monad m => t -> MultiGSTT ('Settable t ': tr) m a -> MultiGSTT tr m ()

   multistate	Control.Monad.Trans.MultiGST.Strict

   No documentation available.

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

   multistate	Control.Monad.Trans.MultiRWS

   No documentation available.

4. inflateMultiState :: forall (m :: Type -> Type) (s :: [Type]) a (r :: [Type]) (w :: [Type]) . (Functor m, Monad m) => MultiStateT s m a -> MultiRWST r w s m a

   multistate	Control.Monad.Trans.MultiRWS

   No documentation available.

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

   No documentation available.

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

   No documentation available.

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

   No documentation available.

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

   No documentation available.

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

   No documentation available.

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

    No documentation available.

Page 22 of many | Previous | Next