string_reader

string_reader(s)
      

Return a new input stream that will draw its input characters from the string s.

Examples:

let sr = string_reader("hello, world")
read_char(sr)
// \h
read_n_chars(2, sr)
// el
      

Also see:

Core Module Index | Contents