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.

Exact lookup

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

   ghc-lib-parser	GHC.Utils.Outputable

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

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

   ghc-lib-parser	GHC.Utils.Outputable

   Join two SDoc together vertically

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

   ghc-lib-parser	GHC.Utils.Ppr

   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.

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

   ghc-lib-parser	GHC.Utils.Ppr

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

5. ($$) :: Expr -> Expr -> Maybe Expr

   express	Data.Express

   O(n). Creates an Expr representing a function application. Just an Expr application if the types match, Nothing otherwise. (cf. :$)

   > value "id" (id :: () -> ()) $$ val ()
   Just (id () :: ())
   

   > value "abs" (abs :: Int -> Int) $$ val (1337 :: Int)
   Just (abs 1337 :: Int)
   

   > value "abs" (abs :: Int -> Int) $$ val 'a'
   Nothing
   

   > value "abs" (abs :: Int -> Int) $$ val ()
   Nothing
   

6. ($$<) :: Expr -> [Expr] -> [Expr]

   express	Data.Express

   Lists valid applications between an Expr and a list of Exprs.

   > notE >$$< [false, true, zero]
   [not False :: Bool,not True :: Bool]
   

7. ($$<) :: Expr -> [Expr] -> [Expr]

   express	Data.Express.Basic

   Lists valid applications between an Expr and a list of Exprs.

   > notE >$$< [false, true, zero]
   [not False :: Bool,not True :: Bool]
   

8. ($$) :: Expr -> Expr -> Maybe Expr

   express	Data.Express.Core

   O(n). Creates an Expr representing a function application. Just an Expr application if the types match, Nothing otherwise. (cf. :$)

   > value "id" (id :: () -> ()) $$ val ()
   Just (id () :: ())
   

   > value "abs" (abs :: Int -> Int) $$ val (1337 :: Int)
   Just (abs 1337 :: Int)
   

   > value "abs" (abs :: Int -> Int) $$ val 'a'
   Nothing
   

   > value "abs" (abs :: Int -> Int) $$ val ()
   Nothing
   

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

   foundation	Foundation

   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.

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

    prelude-compat	Prelude2010

    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.

Page 17 of many | Previous | Next