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

Safe HaskellNone

Agda.Syntax.Concrete.Pretty

Description

Pretty printer for the concrete syntax.

Documentation

braces' :: Doc -> DocSource

dbraces :: Doc -> DocSource

bracesAndSemicolons :: [Doc] -> DocSource

arrow :: DocSource

lambda :: DocSource

underscore :: DocSource

pHidden :: Pretty a => ArgInfo -> a -> DocSource

pRelevance :: Pretty a => ArgInfo -> a -> DocSource

showString' :: String -> ShowSSource

showChar' :: Char -> ShowSSource

newtype Tel Source

Constructors

Tel Telescope 

Instances

pColors :: String -> [Color] -> DocSource

smashTel :: Telescope -> TelescopeSource

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