Searching for map

Preludemap :: (a -> b) -> [a] -> [b]
base
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, ...]
Data.Listmap :: (a -> b) -> [a] -> [b]
base
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, ...]
Data.ListmapAccumL :: (acc -> x -> (acc, y)) -> acc -> [x] -> (acc, [y])
base
The mapAccumL function behaves like a combination of map and foldl; it applies a function to each element of a list, passing an accumulating parameter from left to right, and returning a final value of this accumulator together with the new list.
Data.TraversablemapAccumL :: Traversable t => (a -> b -> (a, c)) -> a -> t b -> (a, t c)
base
The mapAccumL function behaves like a combination of fmap and foldl; it applies a function to each element of a structure, passing an accumulating parameter from left to right, and returning a final value of this accumulator together with the new structure.
Data.ListmapAccumR :: (acc -> x -> (acc, y)) -> acc -> [x] -> (acc, [y])
base
The mapAccumR function behaves like a combination of map and foldr; it applies a function to each element of a list, passing an accumulating parameter from right to left, and returning a final value of this accumulator together with the new list.
Data.TraversablemapAccumR :: Traversable t => (a -> b -> (a, c)) -> a -> t b -> (a, t c)
base
The mapAccumR function behaves like a combination of fmap and foldr; it applies a function to each element of a structure, passing an accumulating parameter from right to left, and returning a final value of this accumulator together with the new structure.
Control.MonadmapAndUnzipM :: Monad m => (a -> m (b, c)) -> [a] -> m ([b], [c])
base
The mapAndUnzipM function maps its first argument over a list, returning the result as a pair of lists. This function is mainly used with complicated data structures or a state-transforming monad.
Data.Array.MArraymapArray :: (MArray a e' m, MArray a e m, Ix i) => (e' -> e) -> a i e' -> m (a i e)
array
Constructs a new array derived from the original array by applying a function to each of the elements.
Control.Monad.ContmapCont :: (r -> r) -> Cont r a -> Cont r a
mtl
Control.Monad.ContmapContT :: (m r -> m r) -> ContT r m a -> ContT r m a
mtl
Control.Monad.ErrormapErrorT :: (m (Either e a) -> n (Either e' b)) -> ErrorT e m a -> ErrorT e' n b
mtl
Control.ExceptionmapException :: (Exception e1, Exception e2) => (e1 -> e2) -> a -> a
base
This function maps one exception into another as proposed in the paper "A semantics for imprecise exceptions".
Control.OldExceptionmapException :: (Exception -> Exception) -> a -> a
base
This function maps one exception into another as proposed in the paper "A semantics for imprecise exceptions".
Control.Exception.BasemapException :: (Exception e1, Exception e2) => (e1 -> e2) -> a -> a
base
This function maps one exception into another as proposed in the paper "A semantics for imprecise exceptions".
Data.Graph.Inductive.Query.MonadmapFst :: (a -> b) -> (a, c) -> (b, c)
fgl
Data.Array.MArraymapIndices :: (MArray a e m, Ix i, Ix j) => (i, i) -> (i -> j) -> a j e -> m (a i e)
array
Constructs a new array derived from the original array by applying a function to each of the indices.
Control.Monad.ListmapListT :: (m [a] -> n [b]) -> ListT m a -> ListT n b
mtl
PreludemapM :: Monad m => (a -> m b) -> [a] -> m [b]
base
mapM f is equivalent to sequence . map f.
Control.MonadmapM :: Monad m => (a -> m b) -> [a] -> m [b]
base
mapM f is equivalent to sequence . map f.
Data.TraversablemapM :: (Traversable t, Monad m) => (a -> m b) -> t a -> m (t b)
base
Show more results