Hoogle Search

Within LTS Haskell 24.52 (ghc-9.10.3)

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

Exact lookup

1. module Agda.Syntax.Common.Pretty

   Pretty printing functions.

2. pattern PStr :: () => String -> TextDetails

   Agda	Agda.Syntax.Common.Pretty

   Used to represent a Fast String fragment but now deprecated and identical to the Str constructor.

3. PageMode :: Mode

   Agda	Agda.Syntax.Common.Pretty

   Normal rendering (lineLength and ribbonsPerLine respected').

4. class Pretty a

   Agda	Agda.Syntax.Common.Pretty

   While Show is for rendering data in Haskell syntax, Pretty is for displaying data to the world, i.e., the user and the environment. Atomic data has no inner document structure, so just implement pretty as pretty a = text $ ... a ....

5. Paren :: Range -> Expr -> Expr

   Agda	Agda.Syntax.Concrete

   ex: (e)

6. ParenP :: Range -> Pattern -> Pattern

   Agda	Agda.Syntax.Concrete

   (p)
   

7. data Pattern

   Agda	Agda.Syntax.Concrete

   Concrete patterns. No literals in patterns at the moment.

8. PatternOrCopattern :: Range -> RecordDirective

   Agda	Agda.Syntax.Concrete

   If declaration pattern is present, give its range.

9. PatternSyn :: Range -> Name -> [WithHiding Name] -> Pattern -> Declaration

   Agda	Agda.Syntax.Concrete

   No documentation available.

10. Pi :: Telescope1 -> Expr -> Expr

    Agda	Agda.Syntax.Concrete

    ex: (xs:e) -> e or {xs:e} -> e

Page 1121 of many | Previous | Next