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:??? -> ?msg:??? -> 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:??? -> charstream -> string
Sourceval null_charstream : charstream
Sourceval charstream_of_inchannel : filename -> ?line:??? -> ?column:??? -> in_channel -> charstream
Sourceval charstream_of_string : ?location:??? -> string -> charstream
Sourceval match_token : string -> charstream -> bool
Sourceval eat : Mpp_charset.t -> charstream -> unit
Sourceval read_until : ?caller:??? -> ?failsafe:??? -> char -> charstream -> string
Sourceval read_until_one_of : ?caller:??? -> ?failsafe:??? -> ?push_back:??? -> Mpp_charset.t -> ?exclude:??? -> ?expect:??? -> charstream -> string
Sourceval parse_int : charstream -> int
Sourceval read_until_word : ?failsafe:??? -> ?success:??? -> charstream -> string -> string
Sourceval split_on_char : ?keep_empty_strings:??? -> 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:??? -> charstream -> string