Hoogle Search

Within LTS Haskell 24.2 (ghc-9.10.2)

Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.

  1. map :: (a -> b) -> [a] -> [b]

    LambdaHack Game.LambdaHack.Core.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 == id

    Examples

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

  2. map :: (a -> b) -> [a] -> [b]

    LambdaHack Game.LambdaHack.Core.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 == id

    Examples

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

  3. map :: (a -> b) -> [a] -> [b]

    cabal-install-solver Distribution.Solver.Compat.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 == id

    Examples

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

  4. map :: forall a b (n :: Nat) . (a -> b) -> Vec n a -> Vec n b

    clash-prelude Clash.Explicit.Prelude

    "map f xs" is the vector obtained by applying f to each element of xs, i.e.,

    map f (x1 :> x2 :>  ... :> xn :> Nil) == (f x1 :> f x2 :> ... :> f xn :> Nil)
    
    and corresponds to the following circuit layout:

  5. map :: forall a b (n :: Nat) . (a -> b) -> Vec n a -> Vec n b

    clash-prelude Clash.Explicit.Prelude.Safe

    "map f xs" is the vector obtained by applying f to each element of xs, i.e.,

    map f (x1 :> x2 :>  ... :> xn :> Nil) == (f x1 :> f x2 :> ... :> f xn :> Nil)
    
    and corresponds to the following circuit layout:

  6. map :: forall a b (n :: Nat) . (a -> b) -> Vec n a -> Vec n b

    clash-prelude Clash.Prelude

    "map f xs" is the vector obtained by applying f to each element of xs, i.e.,

    map f (x1 :> x2 :>  ... :> xn :> Nil) == (f x1 :> f x2 :> ... :> f xn :> Nil)
    
    and corresponds to the following circuit layout:

  7. map :: forall a b (n :: Nat) . (a -> b) -> Vec n a -> Vec n b

    clash-prelude Clash.Prelude.Safe

    "map f xs" is the vector obtained by applying f to each element of xs, i.e.,

    map f (x1 :> x2 :>  ... :> xn :> Nil) == (f x1 :> f x2 :> ... :> f xn :> Nil)
    
    and corresponds to the following circuit layout:

  8. map :: (a -> b) -> [a] -> [b]

    dimensional Numeric.Units.Dimensional.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 == id

    Examples

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

  9. map :: (a -> b) -> [a] -> [b]

    distribution-opensuse OpenSuse.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 == id

    Examples

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

  10. map :: (a -> b) -> [a] -> [b]

    faktory Faktory.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 == id

    Examples

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

Page 2 of many | Previous | Next