Apply a strict left Fold to lazy text

Get the first character of a text stream or return Nothing if the stream is empty

Get the last character of a text stream or return Nothing if the text stream is empty

Returns True if the text stream is empty, False otherwise

Return the length of the text stream in characters

(any predicate) returns True if any character satisfies the predicate, False otherwise

(all predicate) returns True if all characters satisfy the predicate, False otherwise

Computes the maximum character

Computes the minimum character

(elem c) returns True if the text stream has a character equal to c, False otherwise

(notElem c) returns False if the text stream has a character equal to c, True otherwise

(find predicate) returns the first character that satisfies the predicate or Nothing if no character satisfies the predicate

(index n) returns the nth character of the text stream, or Nothing if the stream has an insufficient number of characters

(elemIndex c) returns the index of the first character that equals c, or Nothing if no character matches

(findIndex predicate) returns the index of the first character that satisfies the predicate, or Nothing if no character satisfies the predicate

(count c) returns the number of times c appears