Filters
Return the indentation of a line, i.e., the number of spaces that appear before the first non-space character.
A replacement function that when given an integer n returns the
string "..." preceded by n spaces.
A replacement function that when given an integer n returns the
string "..." preceded by n spaces. The string argument s is
ignored.
A filter that limits the string s to at most n characters.
A filter that replaces runs of lines that have an indentation
level of at least n spaces.
A filter that replaces runs of lines that have an indentation
level of at least n spaces. A run of replaced lines will be
replaced by the result of a call mkrepl (n, l) where l is
the first line of the run. By default, mkrepl is
indentedEllipsis.
A filter that limits the string s to at most n completed
lines.
A filter that limits the string s to at most n completed
lines. The final end of line is included.
A filter that limits the string s to at most n words.
A filter that limits the string s to at most n words. A word
is one or more consecutive non-whitespace characters. The
whitespace after the last word (if any) is not included.
A collection of useful string filters. They are particularly intended to be filters for pretty-printer output so that the output can be tailored for a restricted setting in which it will be put. E.g., a program might be pretty-printed to show in a GUI window of a particular size, or lines indented greater than a certain amount might be omitted to show an overview.