Hoogle Search

Within LTS Haskell 24.49 (ghc-9.10.3)

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

   Separate by blank line.

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

   Agda	Agda.Compiler.JS.Pretty

   Separate by space that will be removed by minify. For non-removable space, use d <> " " <> d'.

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

   Agda	Agda.Syntax.Common.Pretty

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

4. (<+>) :: Doc a -> Doc a -> Doc a

   Agda	Agda.Syntax.Common.Pretty

   Beside, separated by space, unless one of the arguments is empty. <+> 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. ($++$) :: Doc -> Doc -> Doc

   BNFC	BNFC.PrettyPrint

   Separate vertically by a blank line.

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

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

8. (^+^) :: Vec -> Vec -> Vec

   LPFP	LPFP

   Vector addition.

9. (^+^) :: Vec -> Vec -> Vec

   LPFP	LPFP.SimpleVec

   Vector addition.

10. (<+>) :: Doc a -> Doc a -> Doc a

    annotated-wl-pprint	Text.PrettyPrint.Annotated.Leijen

    The document (x <+> y) concatenates document x and y with a space in between. (infixr 6)

Page 64 of many | Previous | Next