:: (a -> b) -> [a] -> [b] package:EdisonAPI

Return the result of applying a function to every element of a sequence. Identical to fmap from Functor.
map f <x0,...,xn-1> = <f x0,...,f xn-1>
Axioms:
  • map f empty = empty
  • map f (lcons x xs) = lcons (f x) (map f xs)
This function is always unambiguous. Default running time: O( t * n ) where t is the running time of f
Apply a function to the elements of every binding in the associative collection. Identical to fmap from Functor. This function is always unambiguous.