Hoogle Search

Within LTS Haskell 24.4 (ghc-9.10.2)

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

   clash-prelude	Clash.HaskellPrelude

   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. (:$$:) :: ErrorMessage -> ErrorMessage -> ErrorMessage

   clash-prelude	Clash.Prelude

   Stack two pieces of error message on top of each other.

3. (:$$:) :: ErrorMessage -> ErrorMessage -> ErrorMessage

   clash-prelude	Clash.Prelude.Safe

   Stack two pieces of error message on top of each other.

4. (-$-) :: Expr -> Expr -> Expr

   code-conjure	Conjure.Engine

   $ lifted over Exprs

   > absE -$- one
   abs $ 1 :: Int
   

   Works for Int, Bool, Char argument types and their lists.

5. (:$) :: Expr -> Expr -> Expr

   code-conjure	Conjure.Engine

   function application between expressions

6. (>$$) :: [Expr] -> Expr -> [Expr]

   code-conjure	Conjure.Engine

   Lists valid applications between a list of Exprs and an Expr.

   > [plus, times] >$$ zero
   [(0 +) :: Int -> Int,(0 *) :: Int -> Int]
   

7. (>$$<) :: [Expr] -> [Expr] -> [Expr]

   code-conjure	Conjure.Engine

   Lists valid applications between lists of Exprs

   > [notE, plus] >$$< [false, true, zero]
   [not False :: Bool,not True :: Bool,(0 +) :: Int -> Int]
   

8. (-$-) :: Expr -> Expr -> Expr

   code-conjure	Conjure.Expr

   $ lifted over Exprs

   > absE -$- one
   abs $ 1 :: Int
   

   Works for Int, Bool, Char argument types and their lists.

9. (:$) :: Expr -> Expr -> Expr

   code-conjure	Conjure.Expr

   function application between expressions

10. (>$$) :: [Expr] -> Expr -> [Expr]

    code-conjure	Conjure.Expr

    Lists valid applications between a list of Exprs and an Expr.

    > [plus, times] >$$ zero
    [(0 +) :: Int -> Int,(0 *) :: Int -> Int]
    

Page 70 of many | Previous | Next