UHC.Util.PrettySimple

Documentation

type PP_Doc = Doc

class Show a => PP a where

Interface for PP

Methods

pp :: a -> PP_Doc

ppList :: [a] -> PP_Doc

Instances

PP Char

Methods

pp :: Char -> PP_Doc

ppList :: [Char] -> PP_Doc

PP Float

Methods

pp :: Float -> PP_Doc

ppList :: [Float] -> PP_Doc

PP Int

Methods

pp :: Int -> PP_Doc

ppList :: [Int] -> PP_Doc

PP Integer

Methods

pp :: Integer -> PP_Doc

ppList :: [Integer] -> PP_Doc

PP PP_Doc

Methods

pp :: PP_Doc -> PP_Doc

ppList :: [PP_Doc] -> PP_Doc

PP Nm

Methods

pp :: Nm -> PP_Doc

ppList :: [Nm] -> PP_Doc

PP GTm

Methods

pp :: GTm -> PP_Doc

ppList :: [GTm] -> PP_Doc

PP ConstraintSolvesVia

Methods

pp :: ConstraintSolvesVia -> PP_Doc

ppList :: [ConstraintSolvesVia] -> PP_Doc

PP Prio

Methods

pp :: Prio -> PP_Doc

ppList :: [Prio] -> PP_Doc

PP a => PP [a]

Methods

pp :: [a] -> PP_Doc

ppList :: [[a]] -> PP_Doc

PP s => PP (StackedVarLookup s)

Methods

pp :: StackedVarLookup s -> PP_Doc

ppList :: [StackedVarLookup s] -> PP_Doc

(Ord n, PP n) => PP (DpdGr n)

Methods

pp :: DpdGr n -> PP_Doc

ppList :: [DpdGr n] -> PP_Doc

PP k => PP (TreeTrieMp1Key k)

Methods

pp :: TreeTrieMp1Key k -> PP_Doc

ppList :: [TreeTrieMp1Key k] -> PP_Doc

PP k => PP (TreeTrie1Key k)

Methods

pp :: TreeTrie1Key k -> PP_Doc

ppList :: [TreeTrie1Key k] -> PP_Doc

(PP k, PP v) => PP (TreeTrie k v)

Methods

pp :: TreeTrie k v -> PP_Doc

ppList :: [TreeTrie k v] -> PP_Doc

(PP k, PP v) => PP (VarMp' k v)

Methods

pp :: VarMp' k v -> PP_Doc

ppList :: [VarMp' k v] -> PP_Doc

(PP k, PP v) => PP (VarMp' k v)

Methods

pp :: VarMp' k v -> PP_Doc

ppList :: [VarMp' k v] -> PP_Doc

(PP bp, PP c) => PP (RuleBodyAlt c bp)

Methods

pp :: RuleBodyAlt c bp -> PP_Doc

ppList :: [RuleBodyAlt c bp] -> PP_Doc

(PP (TTKey c), PP c, PP g) => PP (StoredCHR c g)

Methods

pp :: StoredCHR c g -> PP_Doc

ppList :: [StoredCHR c g] -> PP_Doc

(PP r, PP c) => PP (SolveStep' c r s)

Methods

pp :: SolveStep' c r s -> PP_Doc

ppList :: [SolveStep' c r s] -> PP_Doc

(PP c, PP g, PP p, PP bp) => PP (Rule c g bp p)

Methods

pp :: Rule c g bp p -> PP_Doc

ppList :: [Rule c g bp p] -> PP_Doc

(PP (TTKey c), PP c, PP g, PP bp, PP p) => PP (StoredCHR c g bp p)

Methods

pp :: StoredCHR c g bp p -> PP_Doc

ppList :: [StoredCHR c g bp p] -> PP_Doc

disp :: PP_Doc -> Int -> ShowS

Display to string

hPut :: Handle -> PP_Doc -> Int -> IO ()

Display to Handle

data Doc

Doc structure

Constructors

Emp

Str !String

Hor !Cached !Doc !Doc

Ver !Cached !Doc !Doc

Ind !Int !Doc

Instances

Show PP_Doc

Methods

showsPrec :: Int -> PP_Doc -> ShowS

show :: PP_Doc -> String

showList :: [PP_Doc] -> ShowS

PP PP_Doc

Methods

pp :: PP_Doc -> PP_Doc

ppList :: [PP_Doc] -> PP_Doc

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

PP horizontally aside

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

PP vertically above

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

PP horizontally aside with 1 blank in between

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

PP list vertically

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

PP list vertically reverse

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

PP list horizontally

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

PP list vertically, alias for vlist

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

PP list horizontally, alias for hlist

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

Indent

empty :: PP_Doc

empty PP

text :: String -> PP_Doc

basic string

Internal use only

isSingleLine :: PP_Doc -> Bool

Is single line doc?