Index of values


(++) [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