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. mapMultiReaderT :: forall m a (w :: [Type]) m' a' . (m (a, HList w) -> m' (a', HList w)) -> MultiReaderT w m a -> MultiReaderT w m' a'

    multistate Control.Monad.Trans.MultiReader

    Map both the return value and the environment of a computation using the given function. Note that there is a difference to mtl's ReaderT, where it is not possible to modify the environment.

  2. runMultiReaderT :: forall m (r :: [Type]) a . Monad m => HList r -> MultiReaderT r m a -> m a

    multistate Control.Monad.Trans.MultiReader

    No documentation available.

  3. runMultiReaderTNil :: Monad m => MultiReaderT ('[] :: [Type]) m a -> m a

    multistate Control.Monad.Trans.MultiReader

    No documentation available.

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

    multistate Control.Monad.Trans.MultiReader

    No documentation available.

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

    multistate Control.Monad.Trans.MultiReader

    No documentation available.

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

    multistate Control.Monad.Trans.MultiReader

    No documentation available.

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

    No documentation available.

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

    No documentation available.

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

    No documentation available.

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

    No documentation available.

Page 718 of many | Previous | Next