(++) [Pretty] |
Concatenates two documents.
|
A | |
align [Pretty] |
Mark the current column as the current indentation level.
|
append [Clist] |
Append two clists
|
B | |
break [Pretty] |
A document that consists of either a space or a line break.
|
bug [Errormsg] |
Similar to
error except that its output has the form Bug: ...
|
C | |
checkBeforeAppend [Clist] |
A useful check to assert before an append.
|
chr [Pretty] |
A document that prints a character.
|
countNewLines [Pretty] |
Keep a running count of the taken newlines.
|
D | |
d_hloc [Errormsg] | |
d_list [Pretty] |
sm: Yet another list printer.
|
d_loc [Errormsg] | |
d_map [Pretty.MakeMapPrinter] |
Format a map, analogous to d_list.
|
debugFlag [Errormsg] |
If set then print debugging info
|
docArray [Pretty] |
Formats an array.
|
docCList [Clist] |
A document for printing a clist (similar to
docList )
|
docList [Pretty] |
An alternative function for printing a list.
|
docMap [Pretty.MakeMapPrinter] |
Format a map, analogous to docList.
|
docOpt [Pretty] |
Prints an
'a option with None or Some
|
dprintf [Pretty] |
This function provides an alternative method for constructing
doc objects.
|
E | |
empty [Clist] |
The empty clist
|
eprintf [Pretty] |
Like
Pretty.fprintf applied to stderr
|
error [Errormsg] |
Prints an error message of the form
Error: ... .
|
F | |
fastMode [Pretty] |
If set to
true then optional breaks are taken only when the document
has exceeded the given width.
|
finishParsing [Errormsg] | |
flushOften [Pretty] |
If true the it flushes after every print
|
fold_left [Clist] |
A version of fold_left that works on clists
|
fprint [Pretty] |
Format the document to the given width and emit it to the given channel
|
fprintf [Pretty] |
Like
Pretty.dprintf followed by Pretty.fprint
|
fromList [Clist] |
Convert an ordinary list to a clist
|
G | |
getHPosition [Errormsg] |
high-level position
|
getLocation [Errormsg] | |
getPosition [Errormsg] | |
gprintf [Pretty] |
Like
Pretty.dprintf but more general.
|
H | |
hadErrors [Errormsg] |
This is set whenever one of the above error functions are called.
|
has_performance_counters [Stats] |
Check if we have performance counters
|
I | |
indent [Pretty] |
Indents the document.
|
insert [Pretty] |
A function that is useful with the
printf -like interface
|
iter [Clist] |
A version of iter that works on clists
|
L | |
lastTime [Stats] |
Time a function and set lastTime to the time it took
|
leftflush [Pretty] |
Use after a
Pretty.line to prevent the indentation.
|
length [Clist] |
Find the length of a clist
|
line [Pretty] |
A document that consists of a mandatory newline.
|
locUnknown [Errormsg] |
An unknown location for use when you need one but you don't have one
|
log [Errormsg] |
Print something to
logChannel
|
logChannel [Errormsg] |
A channel for printing log messages
|
logg [Errormsg] |
same as
Errormsg.log but do not wrap lines
|
M | |
map [Clist] |
Map a function over a clist.
|
mark [Pretty] |
Mark the beginning of a markup section.
|
markup [Pretty] |
Prints a document as markup.
|
N | |
newHline [Errormsg] | |
newline [Errormsg] | |
nil [Pretty] |
Constructs an empty document
|
null [Errormsg] |
Do not actually print (i.e.
|
num [Pretty] |
A document that prints an integer in decimal form
|
P | |
parse_error [Errormsg] | |
popContext [Errormsg] |
Removes the last registered context printing function
|
print [Stats] |
Print the current stats preceeded by a message
|
printDepth [Pretty] |
Specifies the nesting depth of the
align /unalign pairs at which
everything is replaced with ellipsis
|
printIndent [Pretty] |
If false then does not indent
|
printf [Pretty] |
Like
Pretty.fprintf applied to stdout
|
pushContext [Errormsg] |
Registers a context printing function
|
R | |
readingFromStdin [Errormsg] |
Records whether the stdin is open for reading the goal *
|
real [Pretty] |
A document that prints a real number
|
repeattime [Stats] |
repeattime is like time but runs the function several times until the total
running time is greater or equal to the first argument.
|
reset [Stats] |
Resets all the timings.
|
rev [Clist] |
Reverse a clist.
|
S | |
s [Errormsg] |
Stop the execution by raising an Error.
|
sample_pentium_perfcount_10 [Stats] |
Sample the current cycle count, in kilocycles.
|
sample_pentium_perfcount_20 [Stats] |
Sample the current cycle count, in megacycles.
|
seq [Pretty] |
Formats a sequence.
|
setCurrentFile [Errormsg] | |
setCurrentLine [Errormsg] | |
setHFile [Errormsg] | |
setHLine [Errormsg] | |
showContext [Errormsg] |
Show the context stack to stderr
|
single [Clist] |
Create a clist containing one element
|
sprint [Pretty] |
Format the document to the given width and emit it as a string
|
startParsing [Errormsg] | |
startParsingFromString [Errormsg] | |
T | |
text [Pretty] |
A document that prints the given string
|
time [Stats] |
Time a function and associate the time with the given string.
|
timethis [Stats] | |
toList [Clist] |
Convert a clist to an ordinary list
|
U | |
unalign [Pretty] |
Reverts to the last saved indentation level.
|
unimp [Errormsg] |
Similar to
error except that its output has the form Unimplemented: ...
|
unmark [Pretty] |
The end of a markup section
|
V | |
verboseFlag [Errormsg] | |
W | |
warn [Errormsg] |
Like
Errormsg.error but does not raise the Errormsg.Error
exception.
|
warnFlag [Errormsg] |
Set to true if you want to see all warnings.
|
warnOpt [Errormsg] |
Like
Errormsg.warn but optional.
|
withContext [Errormsg] |
To ensure that the context is registered and removed properly, use the
function below
|
withPrintDepth [Pretty] |
Invokes a thunk, with printDepth temporarily set to the specified value
|