Safe Haskell | Safe |
---|---|
Language | Haskell98 |
- type PP_Doc = Doc
- class Show a => PP a where
- disp :: PP_Doc -> Int -> ShowS
- hPut :: Handle -> PP_Doc -> Int -> IO ()
- data Doc
- (>|<) :: (PP a, PP b) => a -> b -> PP_Doc
- (>-<) :: (PP a, PP b) => a -> b -> PP_Doc
- (>#<) :: (PP a, PP b) => a -> b -> PP_Doc
- hlist :: PP a => [a] -> PP_Doc
- hlistReverse :: PP a => [a] -> PP_Doc
- vlist :: PP a => [a] -> PP_Doc
- hv :: PP a => [a] -> PP_Doc
- fill :: PP a => [a] -> PP_Doc
- indent :: PP a => Int -> a -> PP_Doc
- empty :: PP_Doc
- text :: String -> PP_Doc
- isSingleLine :: PP_Doc -> Bool
Documentation
class Show a => PP a where Source #
Interface for PP
PP Char Source # | |
PP Float Source # | |
PP Int Source # | |
PP Integer Source # | |
PP PP_Doc Source # | |
PP Nm Source # | |
PP GTm Source # | |
PP ConstraintSolvesVia Source # | |
PP Prio Source # | |
PP a => PP [a] Source # | |
PP s => PP (StackedVarLookup s) Source # | |
(Ord n, PP n) => PP (DpdGr n) Source # | |
PP k => PP (TreeTrieMp1Key k) Source # | |
PP k => PP (TreeTrie1Key k) Source # | |
(PP k, PP v) => PP (TreeTrie k v) Source # | |
(PP k, PP v) => PP (VarMp' k v) Source # | |
(PP k, PP v) => PP (VarMp' k v) Source # | |
(PP bp, PP c) => PP (RuleBodyAlt c bp) Source # | |
(PP (TTKey c), PP c, PP g) => PP (StoredCHR c g) Source # | |
(PP r, PP c) => PP (SolveStep' c r s) Source # | |
(PP c, PP g, PP p, PP bp) => PP (Rule c g bp p) Source # | |
(PP (TTKey c), PP c, PP g, PP bp, PP p) => PP (StoredCHR c g bp p) Source # | |
Doc structure
(>#<) :: (PP a, PP b) => a -> b -> PP_Doc infixr 3 Source #
PP horizontally aside with 1 blank in between
hlistReverse :: PP a => [a] -> PP_Doc Source #
PP list vertically reverse
Internal use only
isSingleLine :: PP_Doc -> Bool Source #
Is single line doc?