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. mapReader :: (a -> b) -> Reader r a -> Reader r b

   dunai	Control.Monad.Trans.MSF.Reader

   Transform the value returned by a Reader.

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

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

   dunai	Control.Monad.Trans.MSF.Reader

   Transform the computation inside a ReaderT.

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

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

   dunai	Control.Monad.Trans.MSF.Reader

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

4. runReaderS :: forall (m :: Type -> Type) r a b . Monad m => MSF (ReaderT r m) a b -> MSF m (r, a) b

   dunai	Control.Monad.Trans.MSF.Reader

   Build an MSF that takes an environment as an extra input from one on the Reader monad. This is the opposite of readerS.

5. runReaderS_ :: forall (m :: Type -> Type) s a b . Monad m => MSF (ReaderT s m) a b -> s -> MSF m a b

   dunai	Control.Monad.Trans.MSF.Reader

   Build an MSF function that takes a fixed environment as additional input, from an MSF in the Reader monad.

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

   dunai	Control.Monad.Trans.MSF.Reader

   No documentation available.

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

   dunai	Control.Monad.Trans.MSF.Reader

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

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

8. withReaderT :: forall r' r (m :: Type -> Type) a . (r' -> r) -> ReaderT r m a -> ReaderT r' m a

   dunai	Control.Monad.Trans.MSF.Reader

   Execute a computation in a modified environment (a more general version of local).

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

9. type ECMReadState (a :: Type -> Type) (b :: Type -> Type) s (m :: Type -> Type -> Type) k v = b CacheState s m k v -> a CacheState s m k v

   expiring-cache-map	Caching.ExpiringCacheMap.Internal.Types

   No documentation available.

10. type ECMReadState (a :: Type -> Type) (b :: Type -> Type) s (m :: Type -> Type -> Type) k v = b CacheState s m k v -> a CacheState s m k v

    expiring-cache-map	Caching.ExpiringCacheMap.Types

    No documentation available.

Page 757 of many | Previous | Next