cubical-0.1.0: Pretty.hs

-- Common functions used for pretty printing.
module Pretty where

--------------------------------------------------------------------------------
-- | Pretty printing combinators. Use the same names as in the pretty library.
(<+>) :: String -> String -> String
[] <+> y  = y
x  <+> [] = x
x  <+> y  = x ++ " " ++ y

infixl 6 <+>

hcat :: [String] -> String
hcat []     = []
hcat [x]    = x
hcat (x:xs) = x <+> hcat xs

ccat :: [String] -> String
ccat []     = []
ccat [x]    = x
ccat (x:xs) = x <+> ", " <+> ccat xs

parens :: String -> String
parens p = "(" ++ p ++ ")"

-- Angled brackets, not present in pretty library.
abrack :: String -> String
abrack p = "<" ++ p ++ ">"