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.

Exact lookup

1. runMultiReaderTNil_ :: Functor m => MultiReaderT ('[] :: [Type]) m a -> m ()

   multistate	Control.Monad.Trans.MultiReader.Lazy

   No documentation available.

2. runMultiReaderTRaw :: MultiReaderT (x :: [Type]) (m :: Type -> Type) a -> StateT (HList x) m a

   multistate	Control.Monad.Trans.MultiReader.Lazy

   No documentation available.

3. runMultiReaderT_ :: forall m (r :: [Type]) a . Functor m => HList r -> MultiReaderT r m a -> m ()

   multistate	Control.Monad.Trans.MultiReader.Lazy

   No documentation available.

4. withMultiReader :: forall (m :: Type -> Type) r (rs :: [Type]) a . Monad m => r -> MultiReaderT (r ': rs) m a -> MultiReaderT rs m a

   multistate	Control.Monad.Trans.MultiReader.Lazy

   No documentation available.

5. withMultiReader_ :: forall (m :: Type -> Type) r (rs :: [Type]) a . (Functor m, Monad m) => r -> MultiReaderT (r ': rs) m a -> MultiReaderT rs m ()

   multistate	Control.Monad.Trans.MultiReader.Lazy

   No documentation available.

6. withMultiReaders :: forall (m :: Type -> Type) (r1 :: [Type]) (r2 :: [Type]) a . Monad m => HList r1 -> MultiReaderT (Append r1 r2) m a -> MultiReaderT r2 m a

   multistate	Control.Monad.Trans.MultiReader.Lazy

   No documentation available.

7. withMultiReaders_ :: forall (m :: Type -> Type) (r1 :: [Type]) (r2 :: [Type]) a . (Functor m, Monad m) => HList r1 -> MultiReaderT (Append r1 r2) m a -> MultiReaderT r2 m ()

   multistate	Control.Monad.Trans.MultiReader.Lazy

   No documentation available.

8. withoutMultiReader :: forall (m :: Type -> Type) (rs :: [Type]) a r . Monad m => MultiReaderT rs m a -> MultiReaderT (r ': rs) m a

   multistate	Control.Monad.Trans.MultiReader.Lazy

   No documentation available.

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

   multistate	Control.Monad.Trans.MultiReader.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.

10. type MultiReader (x :: [Type]) = MultiReaderT x Identity

    multistate	Control.Monad.Trans.MultiReader.Strict

    A reader monad parameterized by the list of types x of the environment / input to carry. Similar to Reader r = ReaderT r Identity

Page 720 of many | Previous | Next