RichText Module
Functions and values
| Function or value |
Description
|
|
|
Full Usage:
collectParts mapping text
Parameters:
TaggedText -> TaggedText[]
text : RichText
Returns: RichText
|
Replaces every part with zero or more parts, e.g. to split parts containing line breaks
|
|
|
|
|
Text with no parts
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Creates text from a single part with the classification the name says, for the classifications a diagnostic message uses. mkText is unclassified text, i.e. text with nothing in it to classify. Prefer computing the classification from what is being named, as richTextOfEntityRefName and richTextOfValName do, over choosing one of these by hand.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
A dotted name, classifying the namespace and the dots, and the name itself with the given constructor. For names that arrive from metadata, reflection or a type provider as one string; not for an assembly-qualified name, since an assembly version has dots in it too.
|
|
A dotted type name whose kind is not known, e.g. because the type could not be dereferenced
|
|
|
|
fantomas