Agda-2.4.2: 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

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

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

newtype Tel Source

Constructors

Tel Telescope 

Instances

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

smashTel :: Telescope -> TelescopeSource

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