map -package:containers -package:basement -package:psqueues -package:Cabal-syntax -package:conduit -package:aeson -is:exact -package:case-insensitive -package:ghc -is:exact -package:bytestring -package:charset -package:amazonka-core -package:os-string -package:unordered-containers -package:vector -package:text -package:monoidal-containers -package:foldl -package:invertible -package:bloodhound -package:hedgehog -package:imports -package:integration -is:exact

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.

Combinator for the <map> element. Example:

map $ span $ toHtml "foo"

Result:

<map><span>foo</span></map>

Apply function to every element of matrix

map f xs is the DList obtained by applying f to each element of xs. <math>(length (toList xs)). map obeys the law:

toList (map f xs) = map f (toList xs)

map f xs is the DNonEmpty obtained by applying f to each element of xs. <math>(length (toNonEmpty xs)). map obeys the law:

toNonEmpty (map f xs) = map f (toNonEmpty xs)

O(n) map f xs is the ShortByteString obtained by applying f to each element of xs.

O(n) map f xs is the ShortByteString obtained by applying f to each element of xs.

Apply a function to all values flowing downstream

map id = cat

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

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]

Hash-table, based on STM-specialized Hash Array Mapped Trie.

Invariant preserving version of Map from the containers packages, suitable for use with Uniplate. Use toMap to construct values, and fromMap to deconstruct values.

Monadic variant of mapAccumL.

Map both the return value and final generator of a computation using the given function.

• runRand (mapRand f m) = f . runRand
  m