Safe Haskell | None |
---|---|
Language | Haskell2010 |
- type Doc = Doc
- comma :: TCM Doc
- colon :: TCM Doc
- equals :: TCM Doc
- pretty :: Pretty a => a -> TCM Doc
- prettyA :: (Pretty c, ToConcrete a c) => a -> TCM Doc
- prettyAs :: (Pretty c, ToConcrete a [c]) => a -> TCM Doc
- text :: String -> TCM Doc
- multiLineText :: String -> TCM Doc
- pwords :: String -> [TCM Doc]
- fwords :: String -> TCM Doc
- sep :: [TCM Doc] -> TCM Doc
- fsep :: [TCM Doc] -> TCM Doc
- hsep :: [TCM Doc] -> TCM Doc
- hcat :: [TCM Doc] -> TCM Doc
- vcat :: [TCM Doc] -> TCM Doc
- hang :: TCM Doc -> Int -> TCM Doc -> TCM Doc
- ($$) :: TCM Doc -> TCM Doc -> TCM Doc
- ($+$) :: TCM Doc -> TCM Doc -> TCM Doc
- (<>) :: TCM Doc -> TCM Doc -> TCM Doc
- (<+>) :: TCM Doc -> TCM Doc -> TCM Doc
- (<?>) :: TCM Doc -> TCM Doc -> TCM Doc
- nest :: Int -> TCM Doc -> TCM Doc
- braces :: TCM Doc -> TCM Doc
- dbraces :: TCM Doc -> TCM Doc
- brackets :: TCM Doc -> TCM Doc
- parens :: TCM Doc -> TCM Doc
- pshow :: Show a => a -> TCM Doc
- prettyList :: [TCM Doc] -> TCM Doc
- prettyList_ :: [TCM Doc] -> TCM Doc
- punctuate :: TCM Doc -> [TCM Doc] -> [TCM Doc]
- class PrettyTCM a where
- newtype PrettyContext = PrettyContext Context
- prettyTCMPatterns :: [NamedArg DeBruijnPattern] -> TCM [Doc]
- prettyTCMPatternList :: [NamedArg DeBruijnPattern] -> TCM Doc
- data WithNode n a = WithNode n a
Wrappers for pretty printing combinators
prettyList_ :: [TCM Doc] -> TCM Doc Source #
prettyList
without the brackets.
The PrettyTCM class
class PrettyTCM a where Source #
prettyTCMPatterns :: [NamedArg DeBruijnPattern] -> TCM [Doc] Source #
Proper pretty printing of patterns:
prettyTCMPatternList :: [NamedArg DeBruijnPattern] -> TCM Doc Source #