Agda-2.3.2: A dependently typed functional programming language and proof assistant

Safe Haskell	None

Agda.Syntax.Concrete.Pretty

Description

Pretty printer for the concrete syntax.

Documentation

braces' :: Doc -> Doc Source

dbraces :: Doc -> Doc Source

arrow :: Doc Source

lambda :: Doc Source

underscore :: Doc Source

pHidden :: Pretty a => Hiding -> a -> Doc Source

pRelevance :: Pretty a => Relevance -> a -> Doc Source

showString' :: String -> ShowS Source

showChar' :: Char -> ShowS Source

smashTel :: Telescope -> Telescope Source

prettyOpApp :: Pretty a => QName -> [a] -> [Doc]Source