úÎ$V"ü     portable!Olaf Chitil <O.Chitil@kent.ac.uk>Safe*A Document represents a *set* of layouts. MA space, if the following still fits on the current line, otherwise newline. MNothing, if the following still fits on the current line, otherwise newline. 6Increase identation relative to the *current* column. !Combine with a space in between. Combine with a  in between. Combine with a  in between. Combine with a  in between. Combine with a  in between. )Combine non-empty list of documents with , i.e., a space separator. )Combine non-empty list of documents with  , i.e., a  separator. )Combine non-empty list of documents with  , i.e., a  separator. ;Combine non-empty list of documents vertically as a group. 4 Seperated by space instead if all fit on one line. )Combine non-empty list of documents with . )Combine non-empty list of documents with  , i.e., a  separator. )Combine non-empty list of documents with  , i.e., a  separator. GCombine non-empty list of documents, filling lines as far as possible. "The empty document; equal to text "". 3Atomic document consisting of just the given text.  There should be no newline \n in the string. Either a space or a new line. Either nothing () or a new line. *Horizontal composition of two documents.  Is associative with identity . FMark document as group, that is, layout as a single line if possible. M Within a group for all basic documents with several layouts the same layout ? is chosen, that is, they are all horizontal or all new lines. H Within a vertical group there can be a horizontal group, but within a = horizontal group all groups are also layouted horizontally. GIncreases current indentation level (absolute). Assumes argument >= 0. #Set indentation to current column. !Pretty print within given width. K Selects from the *set* of layouts that the document represents the widest # that fits within the given width. T If no such layout exists, then it will choose the narrowest that exceeds the given  width.           FPretty-1.0Text.PrettyPrint.FPrettyDocsoftline softbreakhang<+><$><$$>hsepvsepfillSepsephcatvcatfillCatcatemptytextline linebreak<>groupnestalignpretty