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

Safe HaskellNone
LanguageHaskell98

Agda.Syntax.Concrete.Pretty

Description

Pretty printer for the concrete syntax.

Documentation

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

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

newtype Tel

Constructors

Tel Telescope 

Instances

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

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