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

dbraces :: Doc -> Doc

arrow :: Doc

lambda :: Doc

underscore :: Doc

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

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

showString' :: String -> ShowS

showChar' :: Char -> ShowS

smashTel :: Telescope -> Telescope

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