UU.Pretty.Basic

Documentation

class Show a => PP a where

Minimal complete definition

Nothing

Methods

pp :: a -> PP_Doc

ppList :: [a] -> PP_Doc

Instances

PP Char

Defined in UU.Pretty.Basic

Methods

pp :: Char -> PP_Doc

ppList :: [Char] -> PP_Doc

PP Float

Defined in UU.Pretty.Ext

Methods

pp :: Float -> PP_Doc

ppList :: [Float] -> PP_Doc

PP Int

Defined in UU.Pretty.Ext

Methods

pp :: Int -> PP_Doc

ppList :: [Int] -> PP_Doc

PP PP_Doc

Defined in UU.Pretty.Basic

Methods

pp :: PP_Doc -> PP_Doc

ppList :: [PP_Doc] -> PP_Doc

PP a => PP [a]

Defined in UU.Pretty.Basic

Methods

pp :: [a] -> PP_Doc

ppList :: [[a]] -> PP_Doc

data PP_Doc

Instances

Show PP_Doc

Defined in UU.Pretty.Basic

Methods

showsPrec :: Int -> PP_Doc -> ShowS

show :: PP_Doc -> String

showList :: [PP_Doc] -> ShowS

PP PP_Doc

Defined in UU.Pretty.Basic

Methods

pp :: PP_Doc -> PP_Doc

ppList :: [PP_Doc] -> PP_Doc

data PP_Exp

empty :: PP_Doc

text :: String -> PP_Doc

indent :: PP a => Int -> a -> PP_Doc

(>|<) :: (PP a, PP b) => a -> b -> PP_Doc infixr 3

(>-<) :: (PP a, PP b) => a -> b -> PP_Doc infixr 2

fill :: PP a => [a] -> PP_Doc

fillblock :: PP a => Int -> [a] -> PP_Doc

(>//<) :: (PP a, PP b) => a -> b -> PP_Doc infixr 1

join :: PP_Doc -> PP_Doc

par :: PP_Exp

(>>$<) :: PP a => PP_Exp -> [a] -> PP_Doc infixr 0

eindent :: Int -> PP_Exp -> PP_Exp

(>>|<<) :: PP_Exp -> PP_Exp -> PP_Exp infixr 3

(>>-<<) :: PP_Exp -> PP_Exp -> PP_Exp infixr 2

(>>//<<) :: PP_Exp -> PP_Exp -> PP_Exp infixr 1

ejoin :: PP_Exp -> PP_Exp

(>>$<<) :: PP_Exp -> [PP_Exp] -> PP_Exp infixr 0

render :: PP_Doc -> Int -> IO ()

renderAll :: PP_Doc -> Int -> IO ()

disp :: PP_Doc -> Int -> ShowS

c2e :: PP a => a -> PP_Exp

element_h1 :: PP_Doc -> PP_Doc

eelement_h1 :: PP_Exp -> PP_Exp

vcenter :: PP a => [a] -> PP_Doc

invisible :: PP_Doc -> PP_Doc

fpar :: PP_Exp

spar :: PP_Exp