Hoogle Search

Within LTS Haskell 24.28 (ghc-9.10.3)

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

Exact lookup

1. mappingKnownKeys :: Ord k2 => (Key ph k1 -> k2) -> Map ph k1 v -> (forall ph' . () => (Key ph k1 -> Key ph' k2, Map ph' k2 v) -> t) -> t

   justified-containers	Data.Map.Justified

   O(n*log n). Same as mappingKeys, but the key-mapping function can make use of evidence that the input key belongs to the original map.

2. mappingKnownKeysWith :: Ord k2 => (v -> v -> v) -> (Key ph k1 -> k2) -> Map ph k1 v -> (forall ph' . () => (Key ph k1 -> Key ph' k2, Map ph' k2 v) -> t) -> t

   justified-containers	Data.Map.Justified

   O(n*log n). Same as mappingKnownKeys, except a function is used to combine values when two or more keys from the original map correspond to the same key in the final map.

3. mapListPackedSerial :: Serial (Map ByteString [ByteString])

   lambdabot-core	Lambdabot.Plugin

   No documentation available.

4. mapPackedSerial :: Serial (Map ByteString ByteString)

   lambdabot-core	Lambdabot.Plugin

   No documentation available.

5. mapSerial :: (Ord k, Show k, Show v, Read k, Read v) => Serial (Map k v)

   lambdabot-core	Lambdabot.Plugin

   Serializes a Map type if both the key and the value are instances of Read and Show. The serialization is done by converting the map to and from lists. Results are saved line-wise, for better editing and revision control.

6. mapM :: (Functor m, Monad m) => (a -> m b) -> Stream m a -> Stream m b

   leveldb-haskell	Data.Stream.Monadic

   No documentation available.

7. mapM_ :: (Functor m, Monad m) => (a -> m b) -> Stream m a -> Stream m ()

   leveldb-haskell	Data.Stream.Monadic

   No documentation available.

8. mapLogMessage :: MonadLog message' m => (message -> message') -> LoggingT message m a -> m a

   logging-effect	Control.Monad.Log

   Re-interpret the log messages in one computation. This can be useful to embed a computation with one log type in a larger general computation.

9. mapLogMessageM :: MonadLog message' m => (message -> m message') -> LoggingT message m a -> m a

   logging-effect	Control.Monad.Log

   Monadic version of mapLogMessage. This can be used to annotate a message with something that can only be computed in a monad. See e.g. timestamp.

10. mapLoggingT :: (forall x . () => (Handler m message -> m x) -> Handler n message' -> n x) -> LoggingT message m a -> LoggingT message' n a

    logging-effect	Control.Monad.Log

    LoggingT unfortunately does admit an instance of the MFunctor type class, which provides the hoist method to change the monad underneath a monad transformer. However, it is possible to do this with LoggingT provided that you have a way to re-interpret a log handler in the original monad.

Page 305 of many | Previous | Next