Hoogle Search

Within LTS Haskell 24.28 (ghc-9.10.3)

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

Exact lookup

1. (<$>) :: Functor f => (a -> b) -> f a -> f b

   xmonad-contrib	XMonad.Config.Prime

   An infix synonym for fmap. The name of this operator is an allusion to $. Note the similarities between their types:

   ($)  ::              (a -> b) ->   a ->   b
   (<$>) :: Functor f => (a -> b) -> f a -> f b
   

   Whereas $ is function application, <$> is function application lifted over a Functor.

   Examples

   Convert from a Maybe Int to a Maybe String using show:

   >>> show <$> Nothing
   Nothing
   

   >>> show <$> Just 3
   Just "3"
   

   Convert from an Either Int Int to an Either Int String using show:

   >>> show <$> Left 17
   Left 17
   

   >>> show <$> Right 17
   Right "17"
   

   Double each element of a list:

   >>> (*2) <$> [1,2,3]
   [2,4,6]
   

   Apply even to the second element of a pair:

   >>> even <$> (2,2)
   (2,True)
   

2. data (a6989586621679541715 :: a ~> b) <$>@#@$$ (b1 :: TyFun f a f b)

   singletons-base	Control.Applicative.Singletons

   No documentation available.

3. type family (a6989586621679541715 :: a ~> b) <$>@#@$$$ (a6989586621679541716 :: f a) :: f b

   singletons-base	Control.Applicative.Singletons

   No documentation available.

4. data (a6989586621679541715 :: a ~> b) <$>@#@$$ (b1 :: TyFun f a f b)

   singletons-base	Data.Functor.Singletons

   No documentation available.

5. type family (a6989586621679541715 :: a ~> b) <$>@#@$$$ (a6989586621679541716 :: f a) :: f b

   singletons-base	Data.Functor.Singletons

   No documentation available.

6. data (a6989586621679541715 :: a ~> b) <$>@#@$$ (b1 :: TyFun f a f b)

   singletons-base	Prelude.Singletons

   No documentation available.

7. type family (a6989586621679541715 :: a ~> b) <$>@#@$$$ (a6989586621679541716 :: f a) :: f b

   singletons-base	Prelude.Singletons

   No documentation available.

8. data (c :: a ~> b) <$>$ (d :: TyFun m a m b)

   type-spec	Test.TypeSpec.Internal.Apply

   No documentation available.

9. (<$>>) :: HasTrie (Basis a) => (b -> c) -> (a :> b) -> a :> c

   vector-space	Data.Maclaurin

   Map a linear function over a derivative tower.

10. (<$>^) :: (a -> b) -> f a -> Aps f b

    ap-normalize	ApNormalize

    f <$>^ u :: Aps f b is a delayed representation of f <$> u :: f b, so that it can be fused with other applicative operations. f <$>^ u is a shorthand for f <$> liftAps u.

Page 9 of many | Previous | Next