Hoogle Search
Within LTS Haskell 24.35 (ghc-9.10.3)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
map :: forall s k a b . (a -> b) -> HashMap s k a -> HashMap s k brefined-containers Data.HashMap.Strict.Refined Apply a function to all values in a map. The set of keys remains the same.
-
refined-containers Data.HashSet.Refined Apply the given function to each element of the set and collect the results. Note that the resulting set can be smaller.
map :: forall s a b . (a -> b) -> IntMap s a -> IntMap s brefined-containers Data.IntMap.Refined Apply a function to all values in a map. The set of keys remains the same.
map :: forall s a b . (a -> b) -> IntMap s a -> IntMap s brefined-containers Data.IntMap.Strict.Refined Apply a function to all values in a map. The set of keys remains the same.
map :: KnownIntSet s => (Element s -> Int) -> SomeIntSetWith (MapProof 'Int s Int Int)refined-containers Data.IntSet.Refined Apply the given function to each element of the set and collect the results. Note that the resulting set can be smaller.
map :: forall s k a b . (a -> b) -> Map s k a -> Map s k brefined-containers Data.Map.Refined Apply a function to all values in a map. The set of keys remains the same.
map :: forall s k a b . (a -> b) -> Map s k a -> Map s k brefined-containers Data.Map.Strict.Refined Apply a function to all values in a map. The set of keys remains the same.
-
refined-containers Data.Set.Refined Apply the given function to each element of the set and collect the results. Note that the resulting set can be smaller.
map :: MonadUnliftIO m => (a -> b) -> InputStream a -> m (InputStream b)unliftio-streams UnliftIO.Streams.Combinators No documentation available.
-
xmonad-contrib XMonad.Prelude map f xs is the list obtained by applying f to each element of xs, i.e.,
map f [x1, x2, ..., xn] == [f x1, f x2, ..., f xn] map f [x1, x2, ...] == [f x1, f x2, ...]
this means that map id == idExamples
>>> map (+1) [1, 2, 3] [2,3,4]
>>> map id [1, 2, 3] [1,2,3]
>>> map (\n -> 3 * n + 1) [1, 2, 3] [4,7,10]