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

   Agda	Agda.Compiler.JS.Pretty

   No documentation available.

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

   Agda	Agda.Compiler.JS.Pretty

   Separate by blank line.

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

   Agda	Agda.Syntax.Common.Pretty

   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 a -> Doc a -> Doc a

   Agda	Agda.Syntax.Common.Pretty

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

5. ($$) :: Applicative m => m Doc -> m Doc -> m Doc

   Agda	Agda.TypeChecking.Pretty

   No documentation available.

6. ($+$) :: Applicative m => m Doc -> m Doc -> m Doc

   Agda	Agda.TypeChecking.Pretty

   No documentation available.

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

   Agda	Agda.Utils.Functor

   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")
   

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

   BNFC	BNFC.PrettyPrint

   Separate vertically by a blank line.

   >>> "foo" $++$ "bar"
   foo
   
   bar
   

   >>> "foo" $++$ empty
   foo
   

9. ($:) :: ToBuilder b => (Builder -> b) -> Builder -> b

   caster	System.Log.Caster

   Infix version of fix.

10. ($:) :: ToBuilder b => (Builder -> b) -> Builder -> b

    caster	System.Log.Caster.Core

    Infix version of fix.

Page 24 of many | Previous | Next