Hoogle Search

Within LTS Haskell 24.15 (ghc-9.10.3)

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

  1. map :: forall (m :: Type -> Type) a b . Monad m => (a -> b) -> Stream m a -> Stream m b

    vector-stream Data.Stream.Monadic

    Map a function over a Stream

  2. map :: Nat -> (Nat -> LocalId -> Exp) -> Exp -> Exp

    Agda Agda.Compiler.JS.Substitution

    No documentation available.

  3. map :: Ord b => (a -> b) -> Bag a -> Bag b

    Agda Agda.Utils.Bag

    O(n).

  4. map :: (a -> b) -> NonEmpty a -> NonEmpty b

    Agda Agda.Utils.List1

    Map a function over a NonEmpty stream.

  5. map :: (AsEnumSet a, AsEnumSet b) => (a -> b) -> EnumSet a -> EnumSet b

    bitwise-enum Data.Enum.Set

    O(n). map f s is the set obtained by applying f to each element of s. It's worth noting that the size of the result may be smaller if, for some (x,y), x /= y && f x == f y

  6. map :: (FiniteBits w, Num w, Enum a, Enum b) => (a -> b) -> EnumSet w a -> EnumSet w b

    bitwise-enum Data.Enum.Set.Base

    O(n). map f s is the set obtained by applying f to each element of s. It's worth noting that the size of the result may be smaller if, for some (x,y), x /= y && f x == f y.

  7. 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:

  8. 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:

  9. 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:

  10. 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:

Page 25 of many | Previous | Next