I am sorry, I might have confused you. It appears that we have just a function for doing what you want; in UU.Pretty.Basic there is a function "invisible". From the manual page I quote: invisible ppd Makes the formatted element invisible (all its attributes are forgotten in order to always succeed, even if there is no space left!) In exceptional cases we want to escape to the page width limit, for example when you want to generate additional tags for markup languages such as LaTeX or HTML:
res_word rw = invisible (pp "{\\bf ") >|< rw >|< invisible (pp "}") and try render (res_word "let") 3.
Doaitse On Dec 14, 2006, at 9:57 AM, Christian Maeder wrote:
Doaitse Swierstra schrieb:
The Prettyprint library you can download from:
I've looked into your module UU.Pretty.Basic starting with:
-- $Header: /data/cvs-rep/uust/lib/pretty/UU/Pretty/Basic.hs,v 1.2 2003/02/26 11:18:27 uust Exp $
And I did not find the type Doc that you describe below.
Christian
and is described on:
http://www.cs.uu.nl/wiki/HUT/PrettyPrintingCombinators
contains amongst others the following code:
data Doc = Empty | Char Char -- invariant: char is not '\n' | Text !Int String -- invariant: text doesn't contain '\n' | Line !Bool -- True <=> when undone by group, do not insert a space | Cat Doc Doc | Nest !Int Doc | Union Doc Doc -- invariant: first lines of first doc longer than the first lines of the second doc | Column (Int -> Doc) | Nesting (Int -> Doc)
text "" = Empty text s = Text (length s) s
so if you define now:
wrap l t r = Text 0 l <|> text t <|> Text 0 r
you should be set and done,
Doaitse Swierstra