Hoogle Search

Within LTS Haskell 24.10 (ghc-9.10.2)

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

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

    constrained-categories Control.Functor.Constrained

    No documentation available.

  2. (=$) :: Projectable d s t => Projection d s t -> (Stream t -> Stream t) -> Stream d

    copilot-language Copilot.Language.Operators.Array

    Update the value of a sub-element of a type in a stream of elements of that type, by applying a function on streams.

  3. (=$) :: Projectable d s t => Projection d s t -> (Stream t -> Stream t) -> Stream d

    copilot-language Copilot.Language.Operators.Projection

    Update the value of a sub-element of a type in a stream of elements of that type, by applying a function on streams.

  4. (=$) :: Projectable d s t => Projection d s t -> (Stream t -> Stream t) -> Stream d

    copilot-language Copilot.Language.Operators.Struct

    Update the value of a sub-element of a type in a stream of elements of that type, by applying a function on streams.

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

    copilot-language Copilot.Language.Prelude

    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

    copilot-language Copilot.Language.Prelude

    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. newtype (f :: Type -> Type) :$: x

    diff-loc DiffLoc.Starter

    A trick to reduce noise by hiding newtype wrapper constructors. This makes the documentation more palatable. 

    >>> show (NoShow (Plain 3) :: Plain :$: Int)
"3"

>>> show (Colline 4 2 :.. Vallee (offset 3) (offset 3) :: Interval (Colline N N))
"Colline 4 2 :.. Vallee (offset 3) (offset 3)"

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

    frisby Text.Parsers.Frisby

    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

    frisby Text.Parsers.Frisby

    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 GHC.HsToCore.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 85 of many | Previous | Next