| Safe Haskell | None |
|---|---|
| Language | Haskell98 |
Agda.Syntax.Concrete.Pretty
Description
Pretty printer for the concrete syntax.
- braces' :: Doc -> Doc
- dbraces :: Doc -> Doc
- bracesAndSemicolons :: [Doc] -> Doc
- arrow :: Doc
- lambda :: Doc
- prettyHiding :: LensHiding a => a -> (Doc -> Doc) -> Doc -> Doc
- prettyRelevance :: LensRelevance a => a -> Doc -> Doc
- newtype Tel = Tel Telescope
- smashTel :: Telescope -> Telescope
- prettyOpApp :: Pretty a => QName -> [NamedArg (MaybePlaceholder a)] -> [Doc]
Documentation
bracesAndSemicolons :: [Doc] -> Doc Source
prettyHiding :: LensHiding a => a -> (Doc -> Doc) -> Doc -> Doc Source
prettyHiding info visible doc puts the correct braces
around doc according to info info and returns
visible doc if the we deal with a visible thing.
prettyRelevance :: LensRelevance a => a -> Doc -> Doc Source
prettyOpApp :: Pretty a => QName -> [NamedArg (MaybePlaceholder a)] -> [Doc] Source