Hoogle Search

Within LTS Haskell 24.6 (ghc-9.10.2)

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

  1. ($!) :: (a -> b) -> a -> b

    ihaskell IHaskellPrelude

    Strict (call-by-value) application operator. It takes a function and an argument, evaluates the argument to weak head normal form (WHNF), then calls the function with that value.

  2. ($!) :: (a -> b) -> a -> b

    incipit-base Incipit.Base

    Strict (call-by-value) application operator. It takes a function and an argument, evaluates the argument to weak head normal form (WHNF), then calls the function with that value.

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

    incipit-base Incipit.Base

    Flipped version of <$.

    Examples

    Replace the contents of a Maybe Int with a constant String: 
    >>> Nothing $> "foo"
Nothing

    >>> Just 90210 $> "foo"
Just "foo"
    Replace the contents of an Either Int Int with a constant String, resulting in an Either Int String: 
    >>> Left 8675309 $> "foo"
Left 8675309

    >>> Right 8675309 $> "foo"
Right "foo"
    Replace each element of a list with a constant String: 
    >>> [1,2,3] $> "foo"
["foo","foo","foo"]
    Replace the second element of a pair with a constant String: 
    >>> (1,2) $> "foo"
(1,"foo")

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

    liquid-fixpoint Text.PrettyPrint.HughesPJ.Compat

    Above, except that if the last line of the first argument stops at least one position before the first line of the second begins, these two lines are overlapped. For example: 

    text "hi" $$ nest 5 (text "there")
    lays out as 
    hi   there
    rather than 
    hi
there
    $$ is associative, with identity empty, and also satisfies
    • (x $$ y) <> z = x $$ (y <> z), if y non-empty.

  5. ($+$) :: Doc -> Doc -> Doc

    liquid-fixpoint Text.PrettyPrint.HughesPJ.Compat

    Above, with no overlapping. $+$ is associative, with identity empty.

  6. ($$) :: IsDoc doc => doc -> doc -> doc

    liquidhaskell-boot Liquid.GHC.API

    Join two docs together vertically. If there is no vertical overlap it "dovetails" the two onto one line.

  7. ($+$) :: SDoc -> SDoc -> SDoc

    liquidhaskell-boot Liquid.GHC.API

    Join two SDoc together vertically

  8. ($|) :: Semigroup t => IO a -> PerfT IO t a

    perf Perf.Types

    lift a monadic, unnamed function application to PerfT

  9. type family (a :: Factor Type) $= (b :: Factor Type) :: Bool

    units Data.Metrology

    Do these Factors represent the same dimension?

  10. type family (a :: Factor Type) $= (b :: Factor Type) :: Bool

    units Data.Metrology.Internal

    Do these Factors represent the same dimension?

Page 23 of many | Previous | Next