Header menu logo issie

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

this.Head

Full Usage: this.Head

Returns: char
Returns: char

this.IsEmpty

Full Usage: this.IsEmpty

Returns: bool
Returns: bool

this[index]

Full Usage: this[index]

Parameters:
    index : int

Returns: char
index : int
Returns: char

this.Length

Full Usage: this.Length

Returns: int
Returns: int

this.Tail

Full Usage: this.Tail

Returns: char list
Returns: char list

Static members

Static member Description

List.Empty

Full Usage: List.Empty

Returns: char list
Returns: char list

Type something to start searching.