Hoogle Search

Within LTS Haskell 24.40 (ghc-9.10.3)

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

  1. mappingKeys :: Ord k2 => (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). mappingKeys evaluates a continuation with the map obtained by applying f to each key of s. The size of the resulting map may be smaller if f maps two or more distinct keys to the same new key. In this case the value at the greatest of the original keys is retained. The continuation is passed two things:

    1. A function that converts evidence that a key belongs to the original map into evidence that a key belongs to the new map.
    2. The new, possibly-smaller map.

  2. mappingKeysWith :: Ord k2 => (v -> v -> v) -> (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, 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. 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.

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

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

    lambdabot-core Lambdabot.Plugin

    No documentation available.

  6. mapPackedSerial :: Serial (Map ByteString ByteString)

    lambdabot-core Lambdabot.Plugin

    No documentation available.

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

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

    leveldb-haskell Data.Stream.Monadic

    No documentation available.

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

    leveldb-haskell Data.Stream.Monadic

    No documentation available.

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

Page 346 of many | Previous | Next