Text -is:module

Show the text as is.

A space efficient, packed, unboxed Unicode text type.

The data type representing some text, typically used as [Text]. The formatting is described by:

• Line values represent a paragraph of text, and may be wrapped depending on the TextFormat. If a Line value is wrapped then all leading space will be treated as an indent.
• Cols values represent columns of text. Within any [Text] all columns of the same length are grouped in tabs, with the final column being wrapped if necessary. All columns are placed adjacent with no space between them - for this reason most columns will start with a space.

Invariants: at least two characters long, does not contain 'n'. For empty documents, there is Empty; for singleton documents, there is Char; newlines should be replaced by e.g. Line. Since the frequently used length of Text is O(length), we cache it in this constructor.

A textual message. The second field might contain the decoded UTF-8 text for caching reasons. This field is computed lazily so if it's not accessed, it should have no performance impact.

A Text value

A space efficient, packed, unboxed Unicode text type.

A Text primitive consists of the string contents, text alignment and the transformation to be applied. The transformation is scale invarient, the average scale of the transform should always be 1. All text scaling is obtained from the FontSize attribute. This constructor should not be used directly. Use text, alignedText or baselineText.

Insertion point cursor for text.

Text                                     ~  Text

Some text to draw with a vector font.

Represents a textual component of an HTML-like label. It is assumed that a Label list is non-empty. It is preferable to "group" Str values together rather than have individual ones. Note that when printing, the individual values are concatenated together without spaces, and when parsing anything that isn't a tag is assumed to be a Str: that is, something like "<BR/> <BR/>" is parsed as:

[Newline [], Str " ", Newline []]