Hoogle Search

Within LTS Haskell 24.52 (ghc-9.10.3)

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

  1. inflateReader :: forall (m :: Type -> Type) r (rs :: [Type]) a (w :: [Type]) (s :: [Type]) . (Monad m, ContainsType r rs) => ReaderT r m a -> MultiRWST rs w s m a

    multistate Control.Monad.Trans.MultiRWS.Lazy

    No documentation available.

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

    multistate Control.Monad.Trans.MultiRWS.Lazy

    No documentation available.

  3. withMultiReader_ :: forall (m :: Type -> Type) r (rs :: [Type]) (w :: [Type]) (s :: [Type]) a . (Functor m, Monad m) => r -> MultiRWST (r ': rs) w s m a -> MultiRWST rs w s m ()

    multistate Control.Monad.Trans.MultiRWS.Lazy

    No documentation available.

  4. withMultiReaders :: forall (m :: Type -> Type) (r1 :: [Type]) (r2 :: [Type]) (w :: [Type]) (s :: [Type]) a . Monad m => HList r1 -> MultiRWST (Append r1 r2) w s m a -> MultiRWST r2 w s m a

    multistate Control.Monad.Trans.MultiRWS.Lazy

    No documentation available.

  5. withMultiReaders_ :: forall (m :: Type -> Type) (r1 :: [Type]) (r2 :: [Type]) (w :: [Type]) (s :: [Type]) a . (Functor m, Monad m) => HList r1 -> MultiRWST (Append r1 r2) w s m a -> MultiRWST r2 w s m ()

    multistate Control.Monad.Trans.MultiRWS.Lazy

    No documentation available.

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

    multistate Control.Monad.Trans.MultiRWS.Lazy

    No documentation available.

  7. class Monad m => MonadMultiReader a (m :: Type -> Type)

    multistate Control.Monad.Trans.MultiRWS.Strict

    All methods must be defined. The idea is: Any monad stack is instance of MonadMultiReader a, iff the stack contains a MultiReaderT x with a element of x.

  8. inflateMultiReader :: forall (m :: Type -> Type) (r :: [Type]) a (w :: [Type]) (s :: [Type]) . Monad m => MultiReaderT r m a -> MultiRWST r w s m a

    multistate Control.Monad.Trans.MultiRWS.Strict

    No documentation available.

  9. inflateReader :: forall (m :: Type -> Type) r (rs :: [Type]) a (w :: [Type]) (s :: [Type]) . (Monad m, ContainsType r rs) => ReaderT r m a -> MultiRWST rs w s m a

    multistate Control.Monad.Trans.MultiRWS.Strict

    No documentation available.

  10. withMultiReader :: forall (m :: Type -> Type) r (rs :: [Type]) (w :: [Type]) (s :: [Type]) a . Monad m => r -> MultiRWST (r ': rs) w s m a -> MultiRWST rs w s m a

    multistate Control.Monad.Trans.MultiRWS.Strict

    No documentation available.

Page 716 of many | Previous | Next