Agda.TypeChecking.Pretty
- type Doc = Doc
- comma :: TCM Doc
- empty :: TCM Doc
- text :: String -> TCM Doc
- fsep :: [TCM Doc] -> TCM Doc
- hsep :: [TCM Doc] -> TCM Doc
- vcat :: [TCM Doc] -> TCM Doc
- sep :: [TCM Doc] -> TCM Doc
- (<>) :: TCM Doc -> TCM Doc -> TCM Doc
- (<+>) :: TCM Doc -> TCM Doc -> TCM Doc
- ($$) :: TCM Doc -> TCM Doc -> TCM Doc
- class PrettyTCM a where
- newtype PrettyContext = PrettyContext Context
Wrappers for pretty printing combinators
The PrettyTCM class
Instances