map -package:containers -package:imports -package:dlist -package:basement -package:Cabal-syntax -package:psqueues -package:filepath -package:os-string -package:bytestring -package:integration -package:hedgehog -package:text -package:foldl -package:ghc -package:blaze-html -package:unordered-containers -package:insert-ordered-containers -package:monoidal-containers

Map a function over all values in the map.

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

>>> map (+1) [1, 2, 3]
[2,3,4]

Map a function over a NonEmpty stream.

Transform the original string-like value but keep it case insensitive.

Apply a transformation to all values in a stream. Subject to fusion

Apply a transformation to all values in a stream. Subject to fusion Since 0.3.0

Apply function to every element of matrix

Apply a bijection over a list using map.

Apply a function to all values flowing downstream

map id = cat

map (g . f) = map f >-> map g

O(n) Map a function over a vector.

Map a function over a Bundle

Map a function over a Bundle

O(n) Map a function over a vector.

O(n) Map a function over a vector.

O(n) Map a function over a vector.

O(n) Map a function over a vector.

Map a function over a Stream

Type-level fmap for type-level functors. Note: this name clashes with Map from containers. FMap is provided as a synonym to avoid this.

Example

>>> data Example where Ex :: a -> Example  -- Hide the type of examples to avoid brittleness in different GHC versions

>>> data AddMul :: Nat -> Nat -> Exp Nat

>>> type instance Eval (AddMul x y) = (x TL.+ y) TL.* (x TL.+ y)

>>> :kind! Ex (Eval (Map (AddMul 2) '[0, 1, 2, 3, 4]) :: [Nat])
Ex (Eval (Map (AddMul 2) '[0, 1, 2, 3, 4]) :: [Nat]) :: Example
= Ex [4, 9, 16, 25, 36]