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. (?$>) :: Alternative f => Bool -> a -> f a

    Agda Agda.Utils.Applicative

    Guard: return the value a only if the boolean is True

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

    Agda Agda.Utils.Functor

    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)

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

    Agda Agda.Utils.Monad

    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

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

    Agda Agda.Utils.Monad

    Strict version of <$>.

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

    Agda Agda.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)

  6. (<$$>) :: Doc a -> Doc a -> Doc a

    annotated-wl-pprint Text.PrettyPrint.Annotated.Leijen

    The document (x <$$> y) concatenates document x and y with a linebreak in between. (infixr 5)

  7. (<$>) :: Doc a -> Doc a -> Doc a

    annotated-wl-pprint Text.PrettyPrint.Annotated.Leijen

    The document (x <$> y) concatenates document x and y with a line in between. (infixr 5)

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

    appar Text.Appar.ByteString

    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

    appar Text.Appar.ByteString

    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 -> f b -> f a

    appar Text.Appar.LazyByteString

    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

Page 68 of many | Previous | Next