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.

  1. (<$!>) :: Monad m => (a -> b) -> m a -> m b

    basic-prelude BasicPrelude

    Strict version of <$>.

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

    basic-prelude CorePrelude

    Replace all locations in the input with the same value. The default definition is fmap . const, but this may be overridden with a more efficient version.

    Examples

    Perform a computation with Maybe and replace the result with a constant value if it is Just:
    >>> 'a' <$ Just 2
    Just 'a'
    
    >>> 'a' <$ Nothing
    Nothing
    

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

    basic-prelude CorePrelude

    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)
    

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

    classy-prelude ClassyPrelude

    Replace all locations in the input with the same value. The default definition is fmap . const, but this may be overridden with a more efficient version.

    Examples

    Perform a computation with Maybe and replace the result with a constant value if it is Just:
    >>> 'a' <$ Just 2
    Just 'a'
    
    >>> 'a' <$ Nothing
    Nothing
    

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

    classy-prelude ClassyPrelude

    Replace all locations in the input with the same value. The default definition is fmap . const, but this may be overridden with a more efficient version.

    Examples

    Perform a computation with Maybe and replace the result with a constant value if it is Just:
    >>> 'a' <$ Just 2
    Just 'a'
    
    >>> 'a' <$ Nothing
    Nothing
    

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

    classy-prelude ClassyPrelude

    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)
    

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

    classy-prelude ClassyPrelude

    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)
    

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

    ghc-lib-parser GHC.Prelude.Basic

    Replace all locations in the input with the same value. The default definition is fmap . const, but this may be overridden with a more efficient version.

    Examples

    Perform a computation with Maybe and replace the result with a constant value if it is Just:
    >>> 'a' <$ Just 2
    Just 'a'
    
    >>> 'a' <$ Nothing
    Nothing
    

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

    ghc-lib-parser GHC.Prelude.Basic

    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)
    

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

    ghc-lib-parser GHC.Utils.Monad

    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)
    

Page 59 of many | Previous | Next