package mpp

  1. Overview
  2. Docs

Module Mpp_charstreamSource

Sourceval debug : bool ref
Sourcetype charstream = {
  1. take : unit -> char option;
  2. push : char -> unit;
  3. insert : charstream -> unit;
  4. where : unit -> location;
}
Sourceand filename = string
Sourceand location = filename * line * column
Sourceand line = int
Sourceand column = int
Sourceval parse_error : ?start:location -> ?msg:string -> location -> unit
Sourceval output_charstream : out_channel -> charstream -> unit
Sourcemodule Mpp_charset = Mpp_charset
Sourceval charstream_take_n : int -> charstream -> string
Sourceval charstream_peek : ?n:int -> charstream -> string
Sourceval null_charstream : charstream
Sourceval charstream_of_inchannel : filename -> ?line:line -> ?column:int -> in_channel -> charstream
Sourceval charstream_of_string : ?location:location -> string -> charstream
Sourceval match_token : string -> charstream -> bool
Sourceval eat : Mpp_charset.t -> charstream -> unit
Sourceval read_until : ?caller:string -> ?failsafe:bool -> char -> charstream -> string
Sourceval read_until_one_of : ?caller:string -> ?failsafe:bool -> ?push_back:bool -> Mpp_charset.t -> ?exclude:Mpp_charset.t -> ?expect:string -> charstream -> string
Sourceval parse_int : charstream -> int
Sourceval read_until_word : ?failsafe:bool -> ?success:bool ref -> charstream -> string -> string
Sourceval split_on_char : ?keep_empty_strings:bool -> char -> string -> string list
Sourceval parse_a_string : charstream -> string
Sourceval stream_of_charstream : charstream -> char Stream.t
Sourceval delete_trailing_spaces : string -> string
Sourceval string_of_charstream : ?keepcs:bool -> charstream -> string