Hoogle Search

Within LTS Haskell 24.33 (ghc-9.10.3)

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

Exact lookup

1. mapMaybeWithKey :: (k -> a -> Maybe b) -> NEMap k a -> Map k b

   nonempty-containers	Data.Map.NonEmpty

   O(n). Map keys/values and collect the Just results. Returns a potentially empty map (Map), because the function could potentially return Nothing on all items in the NEMap.

   let f k _ = if k < 5 then Just ("key : " ++ (show k)) else Nothing
   mapMaybeWithKey f (fromList ((5,"a") :| [(3,"b")])) == Data.Map.singleton 3 "key : 3"
   

2. mapWithKey :: (k -> a -> b) -> NEMap k a -> NEMap k b

   nonempty-containers	Data.Map.NonEmpty

   O(n). Map a function over all values in the map.

   let f key x = (show key) ++ ":" ++ x
   mapWithKey f (fromList ((5,"a") :| [(3,"b")])) == fromList ((3, "3:b") :| [(5, "5:a")])
   

3. mapWithIndex :: (Int -> a -> b) -> NESeq a -> NESeq b

   nonempty-containers	Data.Sequence.NonEmpty

   A generalization of fmap, mapWithIndex takes a mapping function that also depends on the element's index, and applies it to every element in the sequence.

4. mapMonotonic :: (a -> b) -> NESet a -> NESet b

   nonempty-containers	Data.Set.NonEmpty

   O(n). mapMonotonic f s == map f s, but works only when f is strictly increasing. The precondition is not checked. Semi-formally, we have:

   and [x < y ==> f x < f y | x <- ls, y <- ls]
   ==> mapMonotonic f s == map f s
   where ls = Data.Foldable.toList s
   

5. mappingNamer :: (String -> [String]) -> FieldNamer

   optics-th	Optics.TH

   Create a FieldNamer from a mapping function. If the function returns [], it creates no lens for the field.

6. mapToDMap :: Map k v -> DMap (Const2 k v) Identity

   patch	Data.Functor.Misc

   Convert a regular Map to a DMap

7. mapIntMapPatchWithKey :: (Int -> a -> b) -> PatchIntMap a -> PatchIntMap b

   patch	Data.Patch

   Map a function Int -> a -> b over all as in the given PatchIntMap a (that is, all inserts/updates), producing a PatchIntMap b.

8. mapIntMapPatchWithKey :: (Int -> a -> b) -> PatchIntMap a -> PatchIntMap b

   patch	Data.Patch.IntMap

   Map a function Int -> a -> b over all as in the given PatchIntMap a (that is, all inserts/updates), producing a PatchIntMap b.

9. mapAccumL :: (acc -> x -> (acc, y)) -> acc -> [x] -> (acc, [y])

   prelude-compat	Data.List2010

   No documentation available.

10. mapAccumR :: (acc -> x -> (acc, y)) -> acc -> [x] -> (acc, [y])

    prelude-compat	Data.List2010

    No documentation available.

Page 204 of many | Previous | Next