Module Parsers.ParserSource

Sourcetype stream

Abstract parser stream representation.

Sourcetype input

Abstract type for input.

Sourceexception Parse_error of Kernel.Basic.loc * string
Sourceval input_from_file : string -> input
Sourceval input_from_stdin : Kernel.Basic.mident -> input
Sourceval input_from_string : Kernel.Basic.mident -> string -> input
Sourceval md_of_input : input -> Kernel.Basic.mident
Sourceval md_of_file : string -> Kernel.Basic.mident
Sourceval file_of_input : input -> string option
Sourceval close : input -> unit

read str reads a single entry from the parser stream str. When no more entry is available, the End_of_file exception is raised.

Sourceval from : input -> stream

from_channel in creates a parser stream for the environment env env given the input in.

Sourceval handle : input -> (Entry.entry -> unit) -> unit

handle in f parses the input in in the environment env, using the action f on each entry. Note that the input is parsed lazily. This function can thus be applied to stdin.

Sourceval parse : input -> Entry.entry list

parse in completely parses the input in and returns the corresponding list of entries.