A commonly used set of characters.
Record Field | Description |
|
|
Full Usage:
_CharacterRanges
Field type: (char * char) list
|
|
Full Usage:
_Name
Field type: string
|
|
Instance member | Description |
Full Usage:
this.CharacterRanges
Returns: (char * char) seq
|
A sequence of tuples that show the inclusive ranges of characters that belong to this set.
|
|
The set's characters.
|
Full Usage:
this.Count
Returns: int
|
The set's character count.
|
Full Usage:
this.Name
Returns: string
|
The set's name. Used for informative purposes.
|
Static member | Description |
Full Usage:
PredefinedSet.Create(name) (ranges)
Parameters:
string
ranges : (char * char) list
Returns: PredefinedSet
|
Creates a `PredefinedSet` with the specified name and character ranges.
|