Safe Haskell | Safe |
---|---|
Language | Haskell2010 |
Documentation
class PrettyPrint a where Source #
prettyPrint :: a -> String Source #
PrettyPrint String Source # | |
PrettyPrint s => PrettyPrint (PDoc s) Source # | |
PrettyPrint n => PrettyPrint (Ty n) Source # | |
PrettyPrint a => PrettyPrint (LambdaExpr a) Source # | |
(PrettyPrint n, PrettyPrint t) => PrettyPrint (SystemFExpr n t) Source # | |
PDoc [s] |
intercalate :: [[s]] -> [s] -> PDoc [s] -> PDoc [s] Source #
upperLambda :: Char Source #