Module De.ReaderSource

Sourcetype 'buffer reader = {
  1. inner : 'buffer;
  2. pos : 'buffer -> int;
  3. next : 'buffer -> char option;
  4. peek : 'buffer -> char option;
  5. drop : 'buffer -> unit;
  6. read_to_end : 'buffer -> string;
  7. skip_whitespace : 'buffer -> unit;
}
Sourcetype t
Sourceval pos : t -> int
Sourceval next : t -> char option
Sourceval peek : t -> char option
Sourceval drop : t -> unit
Sourceval read_to_end : t -> string
Sourceval skip_whitespace : t -> unit
Sourceval make : 'buffer reader -> t

create a new reader from a custom implementation of the reader interface.

Sourceval from_string : string -> t

create a new reader from an in-memory string