Safe Haskell | None |
---|---|
Language | Haskell2010 |
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 :: forall a. 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 :: forall a. Pretty a => QName -> [NamedArg (MaybePlaceholder a)] -> [Doc] Source #