MatchStream Type
The type of the input to the highlighter. This is a list of characters, since the input to the highlighter is a string. Matching operations have type: MatchStream -> (string * ElementType) * MatchStream. TODO: MatchStream could have state added to make the highlighting context-sensitive. E.g. to remember if the string being highlighted starts in a comment or not: MatchStream = bool * char list. More generally Matchstream = StateT * char list where StateT is a discriminated union.
Instance members
Instance member | Description |
Full Usage:
this.Head
Returns: char
|
|
Full Usage:
this.IsEmpty
Returns: bool
|
|
Full Usage:
this[index]
Parameters:
int
Returns: char
|
|
Full Usage:
this.Length
Returns: int
|
|
Full Usage:
this.Tail
Returns: char list
|
|
Static members
Static member | Description |
Full Usage:
List.Empty
Returns: char list
|
|