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. weaveReadWriteRequests :: forall (m :: Type -> Type) x r1 r2 . (Monad m, Monoid x) => WeaveStepper (ReadRequest x) (Request x x) Identity m r1 r2 (r1, r2)

   monad-coroutine	Control.Monad.Coroutine.SuspensionFunctors

   The consumer coroutine requests input through ReadRequest and gets ReadingResult in response. The producer coroutine receives the unconsumed portion of its last requested chunk as response.

2. evalReaderCache :: ReaderCache r m a -> r -> m a

   monad-memo	Control.Monad.Trans.Memo.ReaderCache

   No documentation available.

3. stateToReaderContT :: forall (m :: Type -> Type) s a r . Monad m => StateT s m a -> ContT r (ReaderT s m) a

   monadology	Control.Monad.Ology.Specific.ContT

   No documentation available.

4. evalReaderStateT :: forall m (f :: Type -> Type) a . Monad m => ReaderStateT f m a -> (f --> m) -> m a

   monadology	Control.Monad.Ology.Specific.ReaderStateT

   No documentation available.

5. mapReader :: (a -> b) -> Reader r a -> Reader r b

   monadology	Control.Monad.Ology.Specific.ReaderT

   Transform the value returned by a Reader.

   • runReader (mapReader f m) = f .
     runReader m

6. mapReaderT :: (m a -> n b) -> ReaderT r m a -> ReaderT r n b

   monadology	Control.Monad.Ology.Specific.ReaderT

   Transform the computation inside a ReaderT.

   • runReaderT (mapReaderT f m) = f .
     runReaderT m

7. runReader :: Reader r a -> r -> a

   monadology	Control.Monad.Ology.Specific.ReaderT

   Runs a Reader and extracts the final value from it. (The inverse of reader.)

8. runReaderT :: ReaderT r (m :: Type -> Type) a -> r -> m a

   monadology	Control.Monad.Ology.Specific.ReaderT

   No documentation available.

9. tToReaderTUnlift :: forall (m :: Type -> Type) (t :: (Type -> Type) -> Type -> Type) . MonadTunnelIO m => t m --> ReaderT (WUnlift Monad t) m

   monadology	Control.Monad.Ology.Specific.ReaderT

   No documentation available.

10. withReader :: (r' -> r) -> Reader r a -> Reader r' a

    monadology	Control.Monad.Ology.Specific.ReaderT

    Execute a computation in a modified environment (a specialization of withReaderT).

    • runReader (withReader f m) = runReader m
      . f

Page 783 of many | Previous | Next