Hoogle Search

Within LTS Haskell 24.41 (ghc-9.10.3)

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

  1. (!$$?) :: Match a -> CaptureID -> Maybe a

    regex Text.RE.Replace

    an alternative for captureTextMaybe

  2. (!$?) :: Match a -> CaptureID -> Maybe (Capture a)

    regex Text.RE.Replace

    an alternative for capture captureMaybe

  3. (.$) :: forall (l :: Symbol) (r' :: Row Type) t (r :: Row Type) x . (KnownSymbol l, (r' .! l) ≈ t) => (Rec ((l .== t) .+ r) -> x) -> (Label l, Rec r') -> Rec r -> x

    row-types Data.Row.Records

    This function allows one to do partial application on a function of a record. Note that this also means that arguments can be supplied in arbitrary order. For instance, if one had a function like 

    xtheny r = (r .! #x) <> (r .! #y)
    and a record like 
    greeting = #x .== "hello " .+ #y .== "world!"
    Then all of the following would be possible: 
    >>> xtheny greeting
"hello world!"

    >>> xtheny .$ (#x, greeting) .$ (#y, greeting) $ empty
"hello world!"

    >>> xtheny .$ (#y, greeting) .$ (#x, greeting) $ empty
"hello world!"

    >>> xtheny .$ (#y, greeting) .$ (#x, #x .== "Goodbye ") $ empty
"Goodbye world!"

  4. (<$:) :: (CFunctor f, Dom f a, Dom f b) => a -> f b -> f a

    subcategories Control.Subcategory.Functor

    No documentation available.

  5. (<$:>) :: (CFunctor f, Dom f a, Dom f b) => (a -> b) -> f a -> f b

    subcategories Control.Subcategory.Functor

    No documentation available.

  6. (:$$$:) :: forall (docl :: Doc Symbol) (docr :: Doc Symbol) . SDoc docl -> SDoc docr -> SDoc (docl ':$$: docr)

    type-level-show TypeLevelShow.Doc

    No documentation available.

  7. (:$$:) :: Doc s -> Doc s -> Doc s

    type-level-show TypeLevelShow.Doc

    stack docs on top of each other (newline)

  8. (:$<>:) :: forall (docl :: Doc Symbol) (docr :: Doc Symbol) . SDoc docl -> SDoc docr -> SDoc (docl ':<>: docr)

    type-level-show TypeLevelShow.Doc

    No documentation available.

  9. (?$>) :: Alternative f => Bool -> a -> f a

    Agda Agda.Utils.Applicative

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

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

Page 68 of many | Previous | Next